Ellipse (mathématiques)

Ellipse
Représentation d'une ellipse Axes de l'ellipse Demi-grand axe a Demi-petit axe b Demi-distance focale c O : Centre de l'ellipse F et F' : Foyers M : Point courant Équation cartésienne  : ${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1}$ Équation bifocale  : ${\displaystyle \mathrm {MF} +\mathrm {MF'} =2a}$
Type	Section conique
Aire	${\displaystyle S=\pi ab}$
Périmètre	${\displaystyle L=4a\int _{0}^{1}{\frac {\sqrt {1-e^{2}u^{2}}}{\sqrt {1-u^{2}}}}\mathrm {d} u}$
modifier

En géométrie, une ellipse est une courbe plane fermée obtenue par l’intersection d’un cône de révolution avec un plan, à condition que celui-ci coupe l'axe de rotation du cône ou du cylindre : c'est une conique d'excentricité strictement comprise entre 0 et 1. On peut également la définir comme le lieu des points dont la somme des distances à deux points fixes, dits foyers, est constante (sa construction par la méthode du jardinier est très simple).

Dans la vie courante, l’ellipse est la forme qu'on perçoit en regardant un cercle en perspective, ou la figure formée par l’ombre d'un disque sur une surface plane.

On retrouve aussi, en première approximation^[1], des ellipses dans les trajectoires des corps célestes (planètes, comètes ou satellites artificiels) en orbite autour d'une étoile ou d’une autre planète. La Terre parcourt approximativement une ellipse dont le Soleil est un foyer.

Les différentes définitions de l'ellipse peuvent conduire, dans certains cas extrêmes à la construction d'un point, d'un segment ou d'un cercle, qui sont alors considérés comme des ellipses dégénérées n'en possédant pas toutes les propriétés géométriques.

L'ellipse est l'ensemble des points dont la somme des distances à deux points fixes, dits foyers, est constante.

Section du cône ou projection du cercle.

Définitions géométriques

Section d’un cône

Construction d'une ellipse par section d'un cône.

L’ellipse est une courbe plane qui fait partie de la famille des coniques. Elle est obtenue par l’intersection d'un plan avec un cône de révolution (non dégénéré à une droite ou un plan) lorsque ce plan traverse de part en part le cône.

Le cercle est alors un cas particulier de l'ellipse (quand le plan de coupe est perpendiculaire à l'axe du cône, sans passer toutefois par son sommet).

Directrice et foyer

Construction d'une ellipse par foyer et directrice. Ici avec une excentricité de 1/2.

Le cadre est l'espace affine euclidien de dimension 2. Soient (d) une droite, F un point n'appartenant pas à (d), e un réel dans ]0,1[. Soit P le plan affine déterminé par (d) et F. On appelle ellipse de droite directrice (d), de foyer F et d'excentricité e l'ensemble des points M du plan P vérifiant :

${\displaystyle {\frac {\operatorname {d} (\mathrm {M} ,\mathrm {F} )}{\operatorname {d} (\mathrm {M} ,(d))}}=e}$

où d(M, F) mesure la distance du point M au point F et d(M, (d)) = d(M, H) celle de M à la droite (d).

La constante e de proportionnalité des deux distances, appelée excentricité de l’ellipse, est sans dimension ; elle est caractéristique de la forme de l'ellipse, indépendamment de ses isométries (translations et/ou rotations) ou homothéties (de rapport non nul) dans le plan affine, et donc du choix arbitraire de repère orthonormé pour ce plan ; elle détermine tous les autres rapports de distances (et toutes les différences angulaires) mesurés sur l'ellipse.

Notons K le projeté orthogonal de F sur (d). La droite (KF) est alors clairement un axe de symétrie de l'ellipse appelé axe focal. Les points d'intersection de l'ellipse avec son axe focal sont appelés des sommets de l'ellipse. La médiatrice du segment dont les extrémités sont ces deux sommets est également un axe de symétrie de l'ellipse, appelé petit axe de l'ellipse.

Une telle ellipse a donc deux droites directrices, symétriques l'une de l'autre par rapport au petit axe de l’ellipse et deux foyers associés également symétriques par rapport au petit axe.

Une ellipse est également entièrement déterminée par la position de ses foyers et son excentricité, ou bien encore par la position de ses droites directrices (parallèles entre elles), et son excentricité.

En géométrie euclidienne, cette définition de l'ellipse exclut le cercle, le segment de droite et le point.

Définition bifocale de l'ellipse

Construction de l'ellipse par deux foyers et une ficelle de longueur constante.

Soient F et F’ deux points distincts du plan. On appelle ellipse de foyers F et F’, l'ensemble des points M du plan vérifiant la propriété suivante :

${\displaystyle \operatorname {d} (\mathrm {M} ,\mathrm {F} )+\operatorname {d} (\mathrm {M} ,\mathrm {F} ')=2a=2{\sqrt {c^{2}+b^{2}}},\quad a\in \mathbb {R} _{+}^{*},\quad b\in \mathbb {R} _{+}^{*}}$

où 2a est la longueur du grand axe, 2c = d(F, F’) et 2b est la longueur du petit axe (perpendiculaire au grand axe). Cette relation exprime que la somme des distances d'un point M aux foyers est constante et vaut la longueur du grand axe.

Cette définition de l'ellipse permet de tracer un cercle de rayon a lorsque les deux foyers sont confondus mais on ne peut plus alors parler d'axe focal ni de petit axe. Elle permet aussi de tracer un segment de droite lorsque 2a = 2c.

Le théorème de Dandelin permet de placer géométriquement les deux foyers de l'ellipse obtenue par section d'un cône de révolution par un plan, à l'aide des deux sphères inscrites dans le cône et tangentes au plan de section. Un raisonnement analogue permet de prouver que la section d'un cylindre ou d'un hyperboloïde à une nappe par un plan coupant son axe est également une ellipse dont les foyers sont les points de tangence des sphères inscrites dans la surface de révolution et tangentes au plan.

Image d'un cercle par une affinité

L'ellipse et les deux cercles de l'affinité.

Soient (C₁) un cercle de centre O et de rayon b, (C₂) un cercle de centre O et de rayon a (b < a), appelé cercle principal, et (xx’) une droite passant par O. On appelle ellipse de centre O, de demi-grand axe a et de demi-petit axe b l'image du cercle (C₂) par l'affinité d'axe (xx’), de direction perpendiculaire à (xx’) et de rapport b/a.

Pour construire le point M de l'ellipse, image du point M₂ du grand cercle, on construit le point M₁ du cercle (C₁) situé sur [OM₂]. On mène par M₂ une perpendiculaire à (xx’) et par M₁ une parallèle à (xx’). Les droites se coupent en M. En effet, si m est le projeté orthogonal de M₂ sur (xx’), on a, d'après le théorème de Thalès,

${\displaystyle {\frac {m\mathrm {M} }{m\mathrm {M} _{2}}}={\frac {\mathrm {OM} _{1}}{\mathrm {OM} _{2}}}={\frac {b}{a}}}$

Une telle définition de l'ellipse permet de tracer un cercle lorsque le rapport de l'affinité est 1 ou un segment quand le rapport de l'affinité est 0.

Si A est un point de tangence entre l'ellipse et le grand cercle, l'angle ${\displaystyle {\widehat {\mathrm {AOM} }}_{1}={\widehat {\mathrm {AOM} }}_{2}}$ est appelé l'anomalie excentrique et peut servir de paramètre simple dans une équation paramétrée de l'ellipse.

Construction par un cercle directeur

Ellipse et une portion de son cercle directeur.

Soient F et F’ deux points distincts, (C) un cercle de centre F’ et de rayon 2a (2a > FF’).

On appelle ellipse de cercle directeur (C) et de foyer F, l'ensemble des centres des cercles tangents intérieurement à (C) et passant par F.

Pour construire le point M sur l'ellipse, centre du cercle tangent à (C) en m, on trace la médiatrice du segment [Fm] : cette médiatrice rencontre le rayon [F’m] en M (le centre du cercle tangent) ; cette médiatrice est aussi une tangente en M de l’ellipse. On peut également obtenir l'ellipse par pliages : sur une feuille de papier, on dessine le cercle directeur et le foyer F et on plie la feuille de papier de manière à superposer un point du cercle avec le foyer F, l'ensemble des pliures obtenues dessine le faisceau des tangentes à l'ellipse.

La figure obtenue est symétrique par rapport au segment [FF’]. L'ellipse possède donc un autre cercle directeur de centre F et de rayon 2a.

Lorsque les deux points F et F’ sont confondus, une telle définition permet de tracer un cercle de centre F et de rayon a. Lorsque le rayon du cercle directeur est exactement égal à la distance FF’, la construction conduit au tracé du segment [FF’] : lorsque le point m est en F, les centres des cercles tangents intérieurement (C) décrivent le segment [FF’], lorsque m est distinct de F, le seul cercle tangent à (C) et passant par F est le cercle (C) lui-même et son centre est F’.

On peut également remarquer que le foyer F se projette orthogonalement sur la tangente en M en un point m’ appartenant au cercle principal de l'ellipse (le cercle de centre O et de rayon a). Plus précisément, l'ensemble des projetés de F sur les tangentes à l'ellipse dessine le cercle principal de l'ellipse^[2], ce qui fait du cercle principal la podaire de l'ellipse par rapport à son foyer, et de l'ellipse l'anti-podaire du cercle principal par rapport au foyer.

Hypotrochoïde

Construction d'une ellipse comme hypotrochoïde : le cercle noir tourne à l'intérieur du cercle bleu, le point rouge décrit alors une ellipse.

Si on fait rouler sans glissement un cercle de centre O’ de rayon R à l'intérieur d'un cercle de centre O et de rayon 2R, le lieu parcouru par un point M, solidaire du petit cercle, situé à une distance d du centre O’ parcourt une ellipse. Son centre est O, ses demi-axes sont R + d et |R – d|. L'ellipse est donc un cas particulier d'hypotrochoïde.

Propriétés géométriques

Éléments de symétrie

« L’axe focal » (FF'), aussi appelé « axe principal », passant par les foyers et perpendiculaire aux directrices, est un axe de symétrie de l'ellipse ; il en est de même pour « l'axe secondaire », perpendiculaire à l'axe focal et passant par le « centre de l'ellipse » au milieu du « segment focal » [FF'].

L'intersection de l'axe focal et de l'axe secondaire, au centre de l'ellipse, est aussi un centre de symétrie.

Les points d'intersection de l'ellipse avec son axe focal sont appelés sommets principaux, ceux de l'ellipse avec son axe secondaire sont les sommets secondaires.

Le segment diamétral qui joint les sommets principaux (respectivement secondaires) en passant par le centre de l'ellipse est appelée « grand axe » (respectivement « petit axe »), comme aussi toute mesure de sa longueur une fois fixée l'unité arbitraire de longueur.

Tangente et bissectrice

La bissectrice du secteur angulaire formé par les droites reliant un point de l'ellipse aux foyers est perpendiculaire à la tangente en ce point.

Soit une ellipse dont les foyers sont F et F'. En un point M de cette ellipse, considérons la bissectrice du secteur angulaire (FMF'). Alors, cette bissectrice est perpendiculaire à la tangente en M.

Cette propriété, aussi appelée « propriété de réflexivité », est utilisée en optique géométrique dans les miroirs elliptiques : un rayon lumineux qui passe par un des foyers, lorsqu'il est réfléchi, passe par l'autre foyer. Ainsi, si l'on met une ampoule à un foyer d'un miroir elliptique, le faisceau lumineux se concentre sur l'autre foyer. Elle est également utilisée dans la construction de réflecteur de phare associé à une lentille convergente^[3].

Chambre à écho, gravure de Friedrich Schultes dans Neue Hall- und Thon-Kunst d'Athanasius Kircher et Tobias Nislen (1684).

On la retrouve en acoustique : dans une pièce de forme elliptique, une personne placée à l'un des foyers peut entendre aisément ce que murmure une personne placée à l'autre. En effet, si la source d'un son se trouve à l’un des foyers, cette propriété assure que tous les sons réfléchis vont converger vers l'autre foyer, compensant la perte d'énergie sonore due à la distance parcourue, par la concentration vers le même point des multiples faisceaux réfléchis. Cependant, cette propriété de convergence spatiale ne suffit pas à assurer que le son perçu soit identique au son émis au foyer source car les signaux suivant différents trajets doivent pour cela arriver en phase à l'autre foyer. Si la nature du milieu est homogène (air ambiant par exemple), la vitesse de propagation du son y est constante, il faut alors pour que les signaux convergent en phase que les distances parcourues selon les différents trajets soient identiques. Or la somme des distances d'un point de l'ellipse aux foyers est constante pour tout point ce qui assure donc la convergence temporelle des signaux. C'est le cumul de ces deux propriétés de l'ellipse qui permet à la fois de comprendre à un foyer des paroles prononcées à l’autre (égale longueur des trajets maintenant les signaux en phase), et de les entendre même si elles ne sont que murmurées (convergence des trajets concentrant l’énergie des signaux). Cette propriété acoustique des voûtes elliptiques est connue au moins depuis le XVII^e siècle^[4]. Elle serait à l'origine de la construction de chambres à écho^[5], de confessionnaux pour lépreux^[6] et expliquerait les qualités sonores des stations de métro parisiennes^[6]. La rotonde du Capital Building à Washington et le Mormon Tabernacle à Salt Lake City sont des exemples de cette sorte de galeries^[7].

Cette propriété est également utilisée en urologie dans les lithotriteurs extra-corporels : les ondes de choc émises à l'un des foyers de l'ellipse se concentrent, après réflexion sur un réflecteur ellipsoïde, sur l'autre foyer placé judicieusement sur le calcul à détruire^[8].

Cercle orthoptique

Ellipse et son cercle orthoptique.

L'ensemble des points M qui « regardent » l'ellipse suivant un angle droit, c'est-à-dire dont partent deux tangentes à l'ellipse perpendiculaires, dessine un cercle de même centre que l'ellipse et de rayon ${\displaystyle {\sqrt {a^{2}+b^{2}}}}$, appelé cercle orthoptique, ou cercle de Monge de l'ellipse^[9],[10].

Relations entre les grandeurs

Une ellipse avec ses axes, son centre, un foyer et la directrice associée.

Les grandeurs (géométriques ou numériques) d’une ellipse sont :

• la longueur du grand rayon (ou demi-grand axe), généralement notée a ;
• la longueur du petit rayon (ou demi-petit axe), généralement notée b ;
• la distance séparant le centre de l'ellipse et un des foyers, généralement notée c ;
• la distance séparant un foyer F de sa directrice (d) associée, généralement notée h ;
• la distance séparant le centre de l’ellipse et une de ses deux directrices, généralement notée f ;
• l'excentricité de l’ellipse (strictement comprise entre 0 et 1), généralement notée e ;
• le « paramètre » de l’ellipse, généralement noté p, représentant le demi latus rectum (corde parallèle à la directrice et passant par le foyer).

Des relations existent entre ces grandeurs :

• si l’ellipse est définie par son excentricité e et la distance h entre le foyer F et la directrice (d), alors :

  ${\displaystyle a={eh \over 1-e^{2}},\,b={eh \over {\sqrt {1-e^{2}}}},\,c={e^{2}h \over 1-e^{2}},\,f={h \over 1-e^{2}},\,p=eh\,;}$

• si l’ellipse est donnée par ses rayons a et b où a > b :

  ${\displaystyle c={\sqrt {a^{2}-b^{2}}},\,h={b^{2} \over {\sqrt {a^{2}-b^{2}}}},\,f={a^{2} \over {\sqrt {a^{2}-b^{2}}}},\,e={{\sqrt {a^{2}-b^{2}}} \over a},\,p={b^{2} \over a}\,;}$

• lorsque l’on connait le grand rayon a et l’excentricité e :

  ${\displaystyle b=a{\sqrt {1-e^{2}}},\,c=ae,\,h={a(1-e^{2}) \over e},\,f={a \over e},\,p=a(1-e^{2})\,.}$

• enfin, dans la définition bifocale de l'ellipse où sont connues la longueur 2a et la distance 2c entre les foyers :

  ${\displaystyle b={\sqrt {a^{2}-c^{2}}},\,e={\frac {c}{a}},\,h={a^{2}-c^{2} \over c},\,f={a^{2} \over c},\,p={a^{2}-c^{2} \over a}\,.}$

Équations caractéristiques

Équation cartésienne

Dans le repère Oxy où Ox est l'axe focal, son équation est  :

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1}$

avec ${\displaystyle a>b>0}$. La distance du centre de l'ellipse à l'un des foyers vaut :

${\displaystyle c={\sqrt {a^{2}-b^{2}}}}$

et donc l'excentricité vaut :

${\displaystyle e={\frac {c}{a}}={\sqrt {1-{\frac {b^{2}}{a^{2}}}}}.}$

Si l'axe focal est Oy alors ${\displaystyle a}$ et ${\displaystyle b}$ sont inversés.

Si le centre de l'ellipse n'est pas l'origine du repère, mais ${\displaystyle \left(x_{C};y_{C}\right)}$ et que son grand axe et son petit axe restent parallèles aux axes du repère, l'équation cartésienne de l'ellipse devient :

${\displaystyle \left({\frac {x-x_{C}}{a}}\right)^{2}+\left({\frac {y-y_{C}}{b}}\right)^{2}=1.}$

Dans le cas où les axes de l'ellipse ne sont pas parallèles avec les axes du repère, on pose ${\displaystyle \theta }$ l'angle orienté entre l'axe Ox et l'axe focal et l'équation cartésienne de l'ellipse devient :

${\displaystyle \left[{\frac {(x-x_{C})\cos \theta +(y-y_{C})\sin \theta }{a}}\right]^{2}+\left[{\frac {(x-x_{C})\sin \theta -(y-y_{C})\cos \theta }{b}}\right]^{2}=1.}$

Comme toute conique, une ellipse possède une équation de la forme :

${\displaystyle Ax^{2}+By^{2}+Cxy+Dx+Ey+F=0}$

avec la contrainte ${\displaystyle C^{2}-4AB<0}$.

Si ${\displaystyle C}$ est réel, ${\displaystyle A}$ et ${\displaystyle B}$ sont non nuls et de même signe car ${\displaystyle AB>\left({\frac {C}{2}}\right)^{2}\geqslant 0}$.

On a alors les relations :

${\displaystyle \quad {\begin{cases}x_{C}={\frac {2BD-CE}{C^{2}-4AB}}\\y_{C}={\frac {2AE-CD}{C^{2}-4AB}}.\end{cases}}}$

Si les axes de l'ellipse sont parallèles à ceux du repère, ${\displaystyle C=0}$ ; sinon ${\displaystyle C\neq 0}$.

On a, à un coefficient de proportionnalité près :

• si ${\displaystyle C\neq 0}$ :

${\displaystyle \qquad {\begin{cases}A={\frac {\cos ^{2}\theta }{a^{2}}}+{\frac {\sin ^{2}\theta }{b^{2}}}\\B={\frac {\sin ^{2}\theta }{a^{2}}}+{\frac {\cos ^{2}\theta }{b^{2}}}\\C=\left({\frac {1}{a^{2}}}-{\frac {1}{b^{2}}}\right)\sin \left(2\theta \right)\\D=-2Ax_{C}-Cy_{C}\\E=-2By_{C}-Cx_{C}\\F=\left({\frac {x_{C}\cos \theta +y_{C}\sin \theta }{a}}\right)^{2}+\left({\frac {x_{C}\sin \theta -y_{C}\cos \theta }{b}}\right)^{2}-1\;;\end{cases}}}$

• si ${\displaystyle C=0}$ :

${\displaystyle \qquad {\begin{cases}A={\frac {1}{a^{2}}}\\B={\frac {1}{b^{2}}}\\D={\frac {-2x_{C}}{a^{2}}}\\E={\frac {-2y_{C}}{b^{2}}}\\F={\frac {x_{C}^{2}}{a^{2}}}+{\frac {y_{C}^{2}}{b^{2}}}-1.\end{cases}}}$

Réciproquement, une équation de la forme ${\displaystyle Ax^{2}+By^{2}+Dx+Ey+F=0}$ dans laquelle ${\displaystyle A,B}$et ${\displaystyle K={\frac {D^{2}}{4A}}+{\frac {E^{2}}{4B}}-F}$ sont de même signe, est l'équation d'une ellipse (où les axes de l'ellipse sont parallèles avec les axes du repère) pour laquelle :

${\displaystyle \qquad {\begin{cases}a\;\;\,={\sqrt {\frac {K}{A}}}\\b\;\;\,={\sqrt {\frac {K}{B}}}\\x_{C}=-{\frac {D}{2A}}\\y_{C}=-{\frac {E}{2B}}.\end{cases}}}$

Démonstration

${\displaystyle \left[{\frac {(x-x_{C})\cos \theta +(y-y_{C})\sin \theta }{a}}\right]^{2}+\left[{\frac {(x-x_{C})\sin \theta -(y-y_{C})\cos \theta }{b}}\right]^{2}=1}$

${\displaystyle \Leftrightarrow (x-x_{C})^{2}\left({\frac {\cos ^{2}\theta }{a^{2}}}+{\frac {\sin ^{2}\theta }{b^{2}}}\right)+(y-y_{C})^{2}\left({\frac {\sin ^{2}\theta }{a^{2}}}+{\frac {\cos ^{2}\theta }{b^{2}}}\right)+(x-x_{C})(y-y_{C})\sin \left(2\theta \right)\left({\frac {1}{a^{2}}}-{\frac {1}{b^{2}}}\right)=1}$

${\displaystyle \Leftrightarrow Ax^{2}+By^{2}+Cxy+Dx+Ey+F=0}$

${\displaystyle \Rightarrow {\begin{cases}A&={\frac {\cos ^{2}\theta }{a^{2}}}+{\frac {\sin ^{2}\theta }{b^{2}}}\\B&={\frac {\sin ^{2}\theta }{a^{2}}}+{\frac {\cos ^{2}\theta }{b^{2}}}\\C&=\left({\frac {1}{a^{2}}}-{\frac {1}{b^{2}}}\right)\sin \left(2\theta \right)\\D&=-2\left({\frac {\cos ^{2}\theta }{a^{2}}}+{\frac {\sin ^{2}\theta }{b^{2}}}\right)x_{C}-\left({\frac {1}{a^{2}}}-{\frac {1}{b^{2}}}\right)\sin \left(2\theta \right)y_{C}\\E&=-2\left({\frac {\sin ^{2}\theta }{a^{2}}}+{\frac {\cos ^{2}\theta }{b^{2}}}\right)y_{C}-\left({\frac {1}{a^{2}}}-{\frac {1}{b^{2}}}\right)\sin \left(2\theta \right)x_{C}\\F&=\left({\frac {\cos ^{2}\theta }{a^{2}}}+{\frac {\sin ^{2}\theta }{b^{2}}}\right)x_{C}^{2}+\left({\frac {\sin ^{2}\theta }{a^{2}}}+{\frac {\cos ^{2}\theta }{b^{2}}}\right)y_{C}^{2}+\left({\frac {1}{a^{2}}}-{\frac {1}{b^{2}}}\right)\sin \left(2\theta \right)x_{C}y_{C}-1\\&=\left({\frac {x_{C}\cos \theta +y_{C}\sin \theta }{a}}\right)^{2}+\left({\frac {x_{C}\sin \theta -y_{C}\cos \theta }{b}}\right)^{2}-1\end{cases}}}$

Ces coefficients peuvent être multipliés par n'importe quelle constante. De plus :

${\displaystyle {\begin{aligned}C^{2}-4AB&=4\left({\frac {1}{a^{4}}}+{\frac {1}{b^{4}}}-{\frac {2}{a^{2}b^{2}}}\right)\cos ^{2}\theta \sin ^{2}\theta -4{\frac {\cos ^{2}\theta \sin ^{2}\theta }{a^{4}}}-4{\frac {\cos ^{2}\theta \sin ^{2}\theta }{b^{4}}}-4{\frac {\cos ^{4}\theta +\sin ^{4}\theta }{a^{2}b^{2}}}\\&=-{\frac {4\left(2\cos ^{2}\theta \sin ^{2}\theta +\cos ^{4}\theta +\sin ^{4}\theta \right)}{a^{2}b^{2}}}=-{\frac {4\left(\cos ^{2}\theta +\sin ^{2}\theta \right)^{2}}{a^{2}b^{2}}}=-{\frac {4}{a^{2}b^{2}}}<0\end{aligned}}}$

En outre :

${\displaystyle {\begin{cases}D&=-2Ax_{C}-Cy_{C}\\E&=-2By_{C}-Cx_{C}\end{cases}}}$

${\displaystyle \Rightarrow {\begin{cases}x_{C}={\frac {-E-2By_{C}}{C}}={\frac {-E+2B{\frac {D+2Ax_{C}}{C}}}{C}}={\frac {2BD-CE+4ABx_{C}}{C^{2}}}={\frac {2BD-CE}{C^{2}-4AB}}\\y_{C}={\frac {-E-Cx_{C}}{2B}}={\frac {-E-C{\frac {-CE+2BD}{C^{2}-4AB}}}{2B}}={\frac {4ABE-2BCD}{2B\left(C^{2}-4AB\right)}}={\frac {2AE-CD}{C^{2}-4AB}}\end{cases}}}$

Enfin :

${\displaystyle Ax^{2}+By^{2}+Cxy+Dx+Ey+F=0}$

${\displaystyle \Leftrightarrow A\left(x+{\frac {D}{2A}}\right)^{2}+B\left(y+{\frac {E}{2B}}\right)^{2}={\frac {D^{2}}{4A^{2}}}+{\frac {E^{2}}{4B^{2}}}-F=K}$

${\displaystyle \Rightarrow {\begin{cases}a\;\;\,={\sqrt {\frac {K}{A}}}\\b\;\;\,={\sqrt {\frac {K}{B}}}\\x_{C}=-{\frac {D}{2A}}\\y_{C}=-{\frac {E}{2B}}\end{cases}}}$

Forme matricielle

Nous pouvons exprimer l'équation cartésienne sous forme matricielle^[11] :

${\displaystyle ^{\mathrm {t} }\mathbf {x} \mathbf {A} \mathbf {x} +^{\mathrm {t} }\mathbf {b} \mathbf {x} +c=0}$

où

• ${\displaystyle \mathbf {x} ={\begin{pmatrix}x\\y\end{pmatrix}}}$ ; ${\displaystyle ^{\mathrm {t} }\mathbf {x} }$ est la transposée de x ;
• ${\displaystyle \mathbf {A} }$ est une matrice symétrique réelle définie positive 2×2, ${\displaystyle \mathbf {A} ={\begin{pmatrix}\mathrm {A} &\mathrm {B} /2\\\mathrm {B} /2&\mathrm {C} \end{pmatrix}}}$ ;
• ${\displaystyle \mathbf {b} ={\begin{pmatrix}\mathrm {D} \\\mathrm {E} \end{pmatrix}}}$ ; ${\displaystyle ^{\mathrm {t} }\mathbf {b} }$ est la transposée de ${\displaystyle \mathbf {b} }$ ;
• c= F.

On peut effectuer une rotation de matrice Q et une translation de matrice t, en effectuant un changement de coordonnées :

${\displaystyle \mathbf {x} =\mathbf {Q} {\bar {\mathbf {x} }}+\mathbf {t} }$

l'équation devient :

${\displaystyle ^{\mathrm {t} }{\bar {\mathbf {x} }}(^{\mathrm {t} }\mathbf {Q} \mathbf {A} \mathbf {Q} )^{\mathrm {t} }{\bar {\mathbf {x} }}+(2^{\mathrm {t} }\mathbf {t} \mathbf {A} +^{\mathrm {t} }\mathbf {b} )\mathbf {Q} {\bar {\mathbf {x} }}+^{\mathrm {t} }\mathrm {t} \mathbf {A} \mathbf {t} +^{\mathrm {t} }\mathbf {b} \mathbf {t} +c=0}$.

En posant :

${\displaystyle {\bar {\mathbf {A} }}=^{\mathrm {t} }\mathbf {Q} \mathbf {A} \mathbf {Q} }$

${\displaystyle {\bar {\mathbf {b} }}=(2^{\mathrm {t} }\mathbf {t} \mathbf {A} +^{\mathrm {t} }\mathbf {b} )\mathbf {Q} }$

${\displaystyle {\bar {c}}=^{\mathrm {t} }\mathbf {t} \mathbf {A} \mathbf {t} +^{\mathrm {t} }\mathbf {b} \mathbf {t} +c}$

on obtient l'équation

${\displaystyle ^{\mathrm {t} }{\bar {\mathbf {x} }}{\bar {\mathbf {A} }}{\bar {\mathbf {x} }}+^{\mathrm {t} }{\bar {\mathbf {b} }}{\bar {\mathbf {x} }}+{\bar {c}}=0}$.

On peut alors choisir Q de sorte que ${\displaystyle {\bar {\mathbf {A} }}}$ soit une matrice diagonale

${\displaystyle {\bar {\mathbf {A} }}={\begin{pmatrix}\lambda _{1}&0\\0&\lambda _{2}\end{pmatrix}}}$

et ${\displaystyle \mathbf {t} }$ de sorte que ${\displaystyle {\bar {\mathbf {b} }}}$ soit nulle. L'équation cartésienne s'écrit alors

${\displaystyle \lambda _{1}{\bar {x}}^{2}+\lambda _{2}{\bar {y}}^{2}+{\bar {c}}=0}$.

Le centre de l'ellipse a alors pour coordonnées t, et les grand et petit axes valent :

${\displaystyle a={\sqrt {-{\bar {c}}/\lambda _{1}}}}$ ;

${\displaystyle b={\sqrt {-{\bar {c}}/\lambda _{2}}}}$.

Démonstration

Existence de la matrice Q

A étant définie positive, il existe une matrice Q orthogonale telle que ^tQAQ est diagonale. Q étant orthogonale, elle peut s'interpréter comme une matrice de rotation.

Détermination de Q

La matrice de rotation s'écrit

${\displaystyle \mathbf {Q} ={\begin{pmatrix}\cos \varphi &-\sin \varphi \\\sin \varphi &\cos \varphi \end{pmatrix}}}$.

Le développement du produit donne

${\displaystyle {\bar {\mathbf {A} }}(1,2)={\bar {\mathbf {A} }}(2,1)={\frac {\mathrm {B} }{2}}(\cos ^{2}\varphi -\sin ^{2}\varphi )+(\mathrm {C} -\mathrm {A} )\cos \varphi \sin \varphi }$

On désire déterminer φ de sorte que A(1, 2) = 0. En utilisant les formules de trigonométrie classiques on peut réécrire

${\displaystyle {\frac {\mathrm {B} }{2}}\cos \left(2\varphi \right)+{\frac {\mathrm {C} -\mathrm {A} }{2}}\sin \left(2\varphi \right)=0}$

On en tire

${\displaystyle \varphi ={\frac {1}{2}}\arctan \left({\frac {\mathrm {B} }{\mathrm {A} -\mathrm {C} }}\right)}$

Détermination de t

La matrice Q n'est pas nulle. Donc, pour que b soit nulle, il faut et il suffit que

${\displaystyle 2^{\mathrm {t} }\mathbf {t} \mathbf {A} +^{\mathrm {t} }\mathbf {b} =0}$.

Posons

${\displaystyle \mathbf {t} ={\begin{pmatrix}x_{\mathrm {c} }\\y_{\mathrm {c} }\end{pmatrix}}}$

cette condition devient

${\displaystyle \left\{{\begin{aligned}2\mathrm {A} x_{\mathrm {c} }+\mathrm {B} y_{\mathrm {c} }+\mathrm {D} =0\\\mathrm {B} x_{\mathrm {c} }+2\mathrm {C} y_{\mathrm {c} }+\mathrm {E} =0\end{aligned}}\right.}$

soit

${\displaystyle \left\{{\begin{aligned}x_{\mathrm {c} }={\frac {2\mathrm {C} \mathrm {D} -\mathrm {B} \mathrm {E} }{\delta }}\\y_{\mathrm {c} }={\frac {2\mathrm {A} \mathrm {E} -\mathrm {B} \mathrm {D} }{\delta }}\end{aligned}}\right.}$

avec δ = B² - 4AC (non nul pour une ellipse).

Équation paramétrique

Dans un repère orthonormé du plan affine, dont les vecteurs directeurs sont parallèles aux axes de l'ellipse et où (x_C, y_C) sont les coordonnées du centre de l'ellipse, un paramétrage possible de l'ellipse est :

${\displaystyle {\begin{cases}x=x_{\mathrm {C} }+a\cos t\\y=y_{\mathrm {C} }+b\sin t\end{cases}}\quad t\in \mathbb {R} }$

Ce paramétrage est périodique, de période 2π, ce qui signifie qu'on peut aussi le restreindre à un intervalle semi-ouvert de longueur minimale égale à cette période, par exemple à ${\displaystyle t\in [0,2\pi [}$. Toute restriction du paramètre à un intervalle fermé de longueur inférieure donne un arc fermé ne parcourant qu'une partie de l'ellipse.

Pour ce paramétrage, le rayon de courbure r au point M de paramètre t est donné par

${\displaystyle r(t)={\frac {a^{2}}{b}}\left(1-e^{2}\cos ^{2}t\right)^{3/2}\qquad t\in \mathbb {R} }$

D'où, en particulier, aux sommets :

• ${\displaystyle r(0)={\frac {b^{2}}{a}}}$
• ${\displaystyle r(\pi /2)={\frac {a^{2}}{b}}}$

Ces deux rayons de courbures permettent une construction approchée de l'ellipse à l'aide de 4 arcs de cercle^[12].

Si l'on travaille dans le plan complexe, la représentation paramétrique de l'ellipse de centre C et de demi-axes a et b est

${\displaystyle z=z_{\mathrm {C} }+{\frac {a+b}{2}}\mathrm {e} ^{\mathrm {i} t}+{\frac {a-b}{2}}\mathrm {e} ^{-\mathrm {i} t}\quad t\in \mathbb {R} }$

Si maintenant les axes de l'ellipse ne sont plus alignés avec les axes du plan mais tourné d'un angle θ, on obtient l'équation paramétrique en multipliant les coordonnées relatives au centre par la matrice de rotation :

${\displaystyle {\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}\times {\begin{pmatrix}a\cos t\\b\sin t\end{pmatrix}}={\begin{pmatrix}a\cos \theta \cos t-b\sin \theta \sin t\\a\sin \theta \cos t+b\cos \theta \sin t\end{pmatrix}}}$

et l'équation paramétrique devient

${\displaystyle {\begin{cases}x=x_{\mathrm {C} }+a\cos \theta \cos t-b\sin \theta \sin t\\y=y_{\mathrm {C} }+a\sin \theta \cos t+b\cos \theta \sin t\end{cases}}\quad t\in \mathbb {R} }$

que l'on peut aussi noter^[13] :

${\displaystyle {\begin{cases}x=x_{\mathrm {C} }+a_{x}\cos t+b_{x}\sin t\\y=y_{\mathrm {C} }+a_{y}\cos t+b_{y}\sin t\end{cases}}\quad t\in \mathbb {R} }$

avec

• a_x = a cos θ ;
• a_y = a sin θ ;
• b_x = –b sin θ ;
• b_y = b cos θ.

Équation polaire

Dans le repère défini par le foyer F et l'axe focal, avec l'origine des angles du côté opposé de la directrice, l'équation polaire de l'ellipse est :

${\displaystyle \qquad r_{1}(\theta _{1})={\frac {p}{1-e\cos \theta _{1}}}={\frac {(a-c)(a+c)}{a-c\cos \theta _{1}}}\qquad \theta \in \mathbb {R} .}$

La 1^re forme permet de retrouver la définition de p (le demi latus rectum) avec ${\displaystyle r_{1}\left({\pi \over 2}\right)=p}$

La 2^e forme permet de voir immédiatement

${\displaystyle r_{1}(0)=a+c\quad {\text{ et }}\quad r_{1}(\pi )=a-c}$

Remarque : ${\displaystyle \qquad r_{1}(\theta _{1})={\frac {p}{1+e\cos \theta _{1}}}}$ quand l'origine des angles est prise du côté de la directrice.

Dans le repère défini par le centre 0 et l'axe focal, l'équation polaire est :

${\displaystyle \qquad r_{2}^{2}(\theta _{2})={\frac {b^{2}}{1-e^{2}\cos ^{2}\theta _{2}}}={\frac {a^{2}b^{2}}{a^{2}\sin ^{2}\theta _{2}+b^{2}\cos ^{2}\theta _{2}}}\qquad \theta \in \mathbb {R} .}$

La 2^e forme permet de voir immédiatement ${\displaystyle r_{2}(0)=r_{2}(\pi )=a}$ et ${\displaystyle r_{2}\left({\pi \over 2}\right)=r_{2}\left({3\pi \over 2}\right)=b}$

Paramètres d'une ellipse

Le paramétrage d'une ellipse est un point important pour les algorithmes de régression ou de reconnaissance de forme. Une ellipse est décrite par cinq paramètres.

Paramétrisation de l'ellipse

Définition	Paramètres	Détails
Foyer, directrice et excentricité	x, y, a, b, e	Coordonnées (x, y) de F, paramètres de la droite provenant de l'équation cartésienne — pente et ordonnées à l'origine (a, b) — ou bien de l'équation normale — (ρ, θ) —, et excentricité e.
Foyers et grand axe	x1, y1, x2, y2, a	Coordonnées (x1, y1) de F1, (x2, y2) de F2 et longueur du demi grand axe a.
Équation cartésienne	BA, CA, DA, EA, FA ou bien AB, CB, DB, EB, FB	l'équation quadratique Ax^2 + By^2 + Cxy + Dx + Ey + F = 0 définit l'ellipse ; A et B sont non-nuls, on peut donc diviser chaque membre de l'équation par l'un des deux pour la normaliser : x^2 + BAy^2 + CAxy + DAx + EAy + FA = 0 ou bien ABx^2 + y^2 + CBxy + DBx + EBy + FB = 0.
Équation paramétrique	x, y, a, b, θ ou bien x, y, ax, ay, bx, by	Coordonnées (x, y) du centre C, longueurs des demi axes a et b, inclinaison θ du grand axe par rapport à l'axe des x. L'équation paramétrique peut aussi s'écrire avec ax = a cos θ, ay = bsin θ, bx = –bsin θ et by = bcos θ.

Circonférence

Le calcul d'un arc d'ellipse s'obtient par une intégrale elliptique du second type

Le calcul de la longueur d'un arc de l'ellipse de demi grand axe a, de demi petit axe b et d'excentricité e, compris dans le premier quadrant conduit au calcul de

${\displaystyle L(\mathrm {B} ,\mathrm {M} )=a\int _{0}^{x/a}{\frac {\sqrt {1-e^{2}u^{2}}}{\sqrt {1-u^{2}}}}\,\mathrm {d} u}$

ou à celui de

${\displaystyle L(\mathrm {B} ,\mathrm {M} )=a\int _{0}^{\theta }{\sqrt {1-e^{2}\sin ^{2}t}}\,\mathrm {d} t}$

pour la longueur de l'arc entre le point B (0, b) et le point ${\displaystyle M(x=a\sin(\theta ),y=b\cos(\theta ))}$. Cependant, ces intégrales ne s'expriment pas à l'aide des fonctions classiques (fonctions algébriques, trigonométriques, logarithmes ou exponentielles). Cette rectification, entreprise dès le début du XVIII^e siècle après la mise en place du calcul infinitésimal, conjointement à celle de la lemniscate de Bernoulli, a conduit à une nouvelle classe d'intégrales. Une telle intégrale est appelée intégrale elliptique incomplète de seconde espèce.

La circonférence de l'ellipse, c'est-à-dire son périmètre ou son orbite, s'exprime alors sous forme intégrale par

${\displaystyle L=4a\int _{0}^{1}{\frac {\sqrt {1-e^{2}u^{2}}}{\sqrt {1-u^{2}}}}\mathrm {d} u}$

ou encore

${\displaystyle L=4a\int _{0}^{\pi /2}{\sqrt {1-e^{2}\sin ^{2}t}}\mathrm {d} t=4a{\rm {E(e)}}}$

où E est la fonction intégrale elliptique complète de deuxième espèce^[14].

Il n'existe pas d'expression simple du résultat final mais des développements en série à convergence plus ou moins rapide dont les premiers sont l'œuvre de Colin Maclaurin de 1742^[15] ou Euler en 1749^[16] et 1773^[17] et des approximations dont celles de Johannes Kepler de 1609^[18], Giulio Fagnano de 1750^[19] et de Ramanujan du début du XX^e siècle.

Développements en séries

Le premier développement en série est attribué à Colin Maclaurin mais on en trouve également une démonstration chez Euler en 1749^[16]. Il s'obtient en utilisant le développement en série de ${\displaystyle (1-x)^{1/2}}$ pour x plus petit que 1 puis en intégrant par récurrence des expressions comme ${\displaystyle \int _{0}^{1}{\frac {u^{2n}}{\sqrt {1-e^{2}u^{2}}}}\mathrm {d} u}$ pour Euler^[16] ou bien en utilisant les intégrales de Wallis, si c'est la forme trigonométrique qui est privilégiée^[20]. Il s'exprime en fonction de a, demi grand axe et e excentricité par :

${\displaystyle {\begin{aligned}L&=2\pi a\sum _{n=0}^{+\infty }\left[{\dfrac {(2n)!}{(2^{n}\cdot n!)^{2}}}\right]^{2}{\frac {-e^{2n}}{2n-1}}\\&=2\pi a\left[1-\left({\dfrac {1}{2}}\right)^{2}e^{2}-\left({\dfrac {1\cdot 3}{2\cdot 4}}\right)^{2}{\dfrac {e^{4}}{3}}-\left({\dfrac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right)^{2}{\dfrac {e^{6}}{5}}-\cdots \right]\\&=2\pi a\left[1-{\dfrac {1}{4}}e^{2}-{\dfrac {3}{64}}e^{4}-{\dfrac {5}{256}}e^{6}-{\dfrac {175}{16384}}e^{8}-{\dfrac {441}{65536}}e^{10}\cdots \right]\end{aligned}}}$

On peut aussi l'exprimer par :

${\displaystyle L=2\pi a\cdot {}_{2}{\rm {F}}_{1}\left(-{\frac {1}{2}},{\frac {1}{2}};1;e^{2}\right)}$,

où ${\displaystyle {}_{2}{\rm {F}}_{1}}$ est la série hypergéométrique de Gauss.

Le principal défaut de la série ci-dessus est que sa convergence est très lente pour des excentricités proches de 1, c'est-à-dire pour des ellipses aplaties^[21]. Elle reste toutefois utile sur le plan théorique car elle permet de comparer les autres formules donnant des approximations de la circonférence, puisqu'on peut toujours les développer sous forme de série de Taylor, et par différence déterminer la série de Taylor donnant les erreurs relatives commises par ces formules alternatives, en fonction de l'excentricité.

Le second développement intéressant est démontré par Sir James Ivory en 1796^[22]. Il porte également le nom de série de Gauss-Kummer pour leur travail consistant à prouver l'équivalence entre plusieurs séries hypergéométriques^[17]. C'est un développement symétrique en a et b s'exprimant à l'aide de la quantité ${\displaystyle h=\left({a-b \over a+b}\right)^{2}}$ :

${\displaystyle {\begin{aligned}L&=\pi (a+b)\cdot {}_{2}{\rm {F}}_{1}\left(-{\frac {1}{2}},-{\frac {1}{2}};1;h\right)\\&=\pi (a+b)\sum _{n=0}^{+\infty }{{\frac {1}{2}} \choose n}^{2}h^{n}=\pi (a+b)\sum _{n=0}^{+\infty }\left[{{\dfrac {(2n)!}{(n!)^{2}}}{\frac {1}{(1-2n)(-4)^{n}}}}\right]^{2}h^{n}\\&=\pi (a+b)\left[1+{\dfrac {h}{4}}+{\dfrac {h^{2}}{64}}+{\dfrac {h^{3}}{256}}+{\dfrac {25h^{4}}{16384}}+{\dfrac {49h^{5}}{65536}}+\cdots \right]\end{aligned}}}$

Cette série a meilleure convergence que celle de Maclaurin sur la totalité de la plage des excentricités mais l'erreur relative pour les ellipses aplaties laisse encore à désirer^[23].

On peut également citer la série d'Euler^[15] de 1773, développement symétrique en a et b s'exprimant à l'aide de la quantité ${\displaystyle d=\left({a^{2}-b^{2} \over a^{2}+b^{2}}\right)^{2}}$.

${\displaystyle L=\pi {\sqrt {2(a^{2}+b^{2})}}\cdot {}_{2}{\rm {F}}_{1}\left(-{\frac {1}{4}},-{\frac {1}{4}};1;d\right)}$

Cette série converge légèrement plus vite que la série de Maclaurin mais moins vite que celle de Gauss-Kummer^[24].

Pour les ellipses à forte excentricité, la série d’Arthur Cayley (établie en 1876)^[25] offre une meilleure convergence et s'exprime à l'aide de la quantité ${\displaystyle x=1-e^{2}=\left({b \over a}\right)^{2}}$ par :

${\displaystyle L=4a\left(1+\sum _{n=1}^{+\infty }{x^{n} \over 2}\left[{(2n)! \over (2^{n}n!)^{2}}\right]^{2}{2n \over 2n-1}\left[\ln \left({16 \over x}\right)-\left(\sum _{k=1}^{n}{4 \over (2k-1)2k}\right)+{2 \over (2n-1)2n}\right]\right)}$

qui se développe en :

${\displaystyle {\begin{aligned}{L \over 4a}-1&={\frac {x}{4}}\left[\ln \left({\frac {16}{x}}\right)-1\right]+{\frac {3x^{2}}{32}}\left[\ln \left({\frac {16}{x}}\right)-{\frac {13}{6}}\right]+{15x^{3} \over 256}\left[\ln \left({16 \over x}\right)-{\frac {12}{5}}\right]+{175x^{4} \over 4096}\left[\ln \left({16 \over x}\right)-{\frac {1051}{420}}\right]+\cdots \\&\ +{x^{n} \over 2}{1^{2} \over 2^{2}}{3^{2} \over 4^{2}}\cdots {(2n-3)^{2} \over (2n-2)^{2}}{(2n-1) \over 2n}\left[\ln \left({16 \over x}\right)-{4 \over 1\times 2}-{4 \over 3\times 4}-\cdots -{4 \over (2n-3)(2n-2)}-{2 \over (2n-1)(2n)}\right]+\cdots \end{aligned}}}$

Cette série exacte converge pour toute la plage des excentricités, mais n’a une convergence excellente et bien plus rapide que les séries de Maclaurin et de Gauss-Kummer que pour les excentricités élevées, où elle est également stable numériquement. Dans les évaluations numériques rapides, on peut donc associer cette série de Cayley à la série de Gauss-Kummer plus simple à calculer et convergeant plus rapidement pour les excentricités faibles et modérées, en fixant arbitrairement la coupure entre les deux méthodes à une valeur d’excentricité voisine de 96 % (qui correspond aussi à un rapport d’aspect b/a voisin de 28 % ou une valeur de x voisine de 7,84 %)^[25].

Valeurs approchées

Une première approximation très simple est présentée par Kepler en 1609^[18] et consiste à approcher la circonférence de l'ellipse par la circonférence de deux cercles dont les rayons sont respectivement la moyenne géométrique et la moyenne arithmétique des quantités a et b :

${\displaystyle 2\pi {\sqrt {ab}}\leq L\quad \mathrm {et} \quad L\approx \pi (a+b)}$

Une seconde approximation date de 1750 et provient de Giulio Carlo Fagnano^[19]:

${\displaystyle L\approx \pi \left({\frac {3}{2}}(a+b)-{\sqrt {ab}}\right)}$

Euler, quant à lui, propose^[26] une approximation par excès d'une précision équivalente à celle par défaut obtenue en prenant la moyenne des deux demi-axes :

${\displaystyle L\approx \pi {\sqrt {2(a^{2}+b^{2})}}}$

On trouve également, dans des formulaires, cette approximation quadratique^[21], moyenne quadratique des approximations de Kepler et d'Euler :

${\displaystyle L\approx \pi {\sqrt {2(a^{2}+b^{2})-{\frac {1}{2}}(a-b)^{2}}}}$

En exprimant b en fonction de e et en développant en série

${\displaystyle {\begin{matrix}L\approx 2\pi a{\sqrt {{\frac {3}{4}}+{\frac {1}{4}}{\sqrt {1-e^{2}}}-{\frac {3}{8}}e^{2}}}=2\pi a\left[1-{\frac {1}{4}}e^{2}-{\frac {3}{64}}e^{4}-{\frac {5}{256}}e^{6}-{\frac {89}{8192}}e^{8}-{\frac {231}{32768}}e^{10}\cdots \right]\end{matrix}}}$

on obtient un développement dont les 4 premiers termes correspondent à la série de Maclaurin^[27] ; l'erreur commise par les coefficients incorrects des termes de degré supérieur est alors très faible.

À partir du XIX^e siècle les formules d'approximations se multiplient ^[28] , chacun cherchant à trouver des formules simples ayant le maximum de précision. Une mention doit être faite pour les deux formules de Srinivasa Ramanujan de 1914

Première formule de Srinivasa Ramanujan^[29]:

${\displaystyle L\approx \pi \left[3(a+b)-{\sqrt {(3a+b)(a+3b)}}\right]=\pi (a+b)\left[3-{\sqrt {4-h}}\right]}$,

où ${\displaystyle h=\left({\frac {a-b}{a+b}}\right)^{2}}$.

Deuxième formule de Srinivasa Ramanujan^[30] :

${\displaystyle L\approx \pi \left(a+b\right)\left[1+{3h \over 10+{\sqrt {4-3h}}}\right]}$

Ces dernières formules sont très précises pour des excentricités modérées^[31]. En revanche pour b = 0, la deuxième formule de Ramanujan conduit à une approximation de π de 22/7^[32].

Aire du domaine intérieur à une ellipse

Il existe différentes manières de calculer l'aire d'une ellipse. On peut se placer dans le repère porté par les axes où l'équation de l'ellipse s'écrit :

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1}$

Avec les symétries établies plus haut, il suffit de calculer par exemple l'aire de la portion d'ellipse dans le quart supérieur droit du plan rapporté à ce repère. L'équation de la portion d'ellipse correspondante est :

${\displaystyle y=b{\sqrt {1-\left({\frac {x}{a}}\right)^{2}}}}$

pour x dans [0,a]. D'où l'aire du quart supérieur droit d'ellipse :

${\displaystyle I=\int _{0}^{a}b{\sqrt {1-\left({\frac {x}{a}}\right)^{2}}}\,\mathrm {d} x=ab\int _{0}^{1}{\sqrt {1-t^{2}}}\,\mathrm {d} t=ab\int _{0}^{\frac {\pi }{2}}\cos ^{2}u\,\mathrm {d} u}$

la dernière réécriture obtenue avec le changement de variable ${\displaystyle u\mapsto \sin u=t}$ de ${\displaystyle [0,\pi /2]}$ sur ${\displaystyle [0,1]}$. Reste à linéariser ${\displaystyle \cos ^{2}u}$ pour trouver le quart de l'aire d'une ellipse :

${\displaystyle I=ab\int _{0}^{\frac {\pi }{2}}{\frac {1+\cos 2u}{2}}\,\mathrm {d} u={\frac {\pi ab}{4}}}$

et pour l'aire de toute l'ellipse :

${\displaystyle S=\pi ab}$

On peut remarquer que pour le cas a = b, on revient à un disque et la formule permet bien de retrouver l'aire du disque.

Tracer une ellipse

Méthode des deux points et de la corde : selon la définition bifocale, la somme ${\displaystyle AF+AF'}$ des distances entre un point ${\displaystyle A}$ de l'ellipse et ses deux foyers F et F' est constante. Ainsi, on plante deux piquets dans le sol (les deux foyers), on prend une corde non élastique de longueur donnée (la somme constante) que l'on attache aux piquets ; le trajet que l'on parcourt en maintenant la corde tendue est une ellipse. On nomme cette technique celle de « l'ellipse du jardinier ».

Ellipse servant à représenter un perçage droit vu en perspective (figure de droite) ; le trait d'axe vertical figure l'axe du perçage.

En dessin industriel, une ellipse est en général un cercle vu en perspective (une pièce est rarement elliptique même si ce n'est pas exclu), ou bien un perçage en biais par rapport à la surface de la pièce.

Ellipse servant à représenter un perçage oblique vu de face (figure de droite).

L'ellipse se représente donc avec les mêmes traits d'axe que pour le cercle. Dans le cas d'un cercle vu en perspective, ces traits d'axe sont inclinés et suivent les directions de référence. Dans le cas d'une forme réellement elliptique, les traits d'axes sont perpendiculaires.

Tracé d'une ellipse à main levée à l'aide d'un parallélogramme.

Tracé à main levée, méthode du parallélogramme exinscrit : on a vu ci-dessus qu'une ellipse pouvait être considérée comme un cercle vu en perspective. De même qu'un cercle est inscrit dans un carré, une ellipse est inscrite dans un parallélogramme qui n'est autre que ce carré vu en perspective cavalière (notez qu'il existe une infinité de parallélogrammes circonscrits, il suffit d'en choisir un). On trace d'abord un parallélogramme, on le divise en quatre quartiers selon les parallèles aux côtés passant par les milieux des autres côtés ; dans chaque quartier, on trace un arc passant par les milieux des côtés et tangent aux côtés en ces milieux (certaines caractéristiques de sécantes dans le cercle permettent de trouver d'autres points de passage intermédiaires de ces arcs).

Construction de l'ellipse par la méthode du parallélogramme.

On peut également tracer une ellipse en continu à l'aide d'un instrument mécanique appelé ellipsographe. Il en existe de plusieurs types exploitant chacun une propriété spécifique de l'ellipse.

Tracé à la règle, méthode du parallélogramme^[33] : dans un rectangle de dimensions 2a et 4b, on découpe les côtés de longueurs 2a en 2n parties égales et les côtés de longueurs 4b, en 4n parties égales. On trace alors les segments comme sur la figure ci-contre. Leurs points d'intersection sont sur l'ellipse de demi-axes a et b. Le principe en est le suivant : une telle construction appliquée au cas où b = a conduit à tracer des segments perpendiculaires. Leur intersection est donc sur le cercle de diamètre 2a. La figure ci-contre est la déformation par une affinité de rapport b/a, de la figure qui conduit à la construction du cercle. Cette figure conduit donc à la construction de l'ellipse.

Notes et références

1. voir problème à deux corps et problème à N corps.
2. Tauvel 2005, p. 384.
3. Les différents projecteurs sur le site educauto.org.
4. Voir par exemple le livre d'Athanasius Kircher, Musurgia universalis sive ars magna consoni et dissoni, 1650 tome II,p. 300.
5. La chambre des échos de La Chaise Dieu, sur le site de l'Union des professeurs de physique et de chimie.
6. D^r Bernard Auriol, Le confessionnal des lépreux.
7. Swokowski (trad. Micheline Citta), Analyse, 5^e édition, p. 621.
8. Association Française d'Urologie, Qu'est-ce que la lithotritie extra corporelle (LEC) ?.
9. Voir par exemple Tauvel 2005, p. 387, ou cet exercice corrigé sur Wikiversité.
10. Romain Bondil et Charles Boubel, « Courbe orthoptique d’une conique » [PDF], 16 avril 2009.
11. (en) Walter Gander, Gene H. Golub et Rolf Strebel, « Least-Squares Fitting of Circles and Ellipses », BIT Numerical Mathematics, Springer, vol. 34, n^o 4,‎ décembre 1994, p. 558-578 (ISSN 0006-3835 et 1572-9125, lire en ligne).
12. W Gellert, H. Küstner, M. Hellwich et H. Kästner, Petite encyclopédie des mathématiques, Didier, 1980, p. 197.
13. (en) A. S. Aguado et M. S. Nixon, A new Hough transform mapping for ellipse detection, 1995 (lire en ligne).
14. Attention aux confusions sur la notation de la fonction E ; par exemple dans le programme Mathematica et sur le site Wolfram, on trouve définie une fonction EllipticE similaire, mais différente, ${\displaystyle {\rm {EllipticE}}(x)={\rm {E}}({\sqrt {x}})}$, de sorte que la formule à utiliser est alors ${\displaystyle L=4a\,{\rm {EllipticE}}(e^{2})}$.
15. Almkvist et Berndt 1988, p. 14-598.
16. (la) Euler, Animadversiones in rectificationem ellipsis, sur le site [Eulerarchive].
17. (en) Numericana, Exact Expansions for the Perimeter of an Ellipse.
18. Almkvist et Berndt 1988, p. 15-599.
19. Serge Mehl, FAGNANO Giulio Carlo sur le site Chronomath.
20. Serge Mehl, Longueur de l'ellipse sur le site Chronomath.
21. (en) Numericana, Circumference of an Ellipse.
22. (en) James Ivory, A new séries for the rectification of the ellipsis (Almkvist et Berndt 1988, p. 14-598 note 25).
23. (en) Numericana, Gauss-Kummer Series.
24. (en) Numericana, Euler's Expansion.
25. (en) Numericana, Cayley's series.
26. (en) Numericana, Euler's formula and the naive formula.
27. (en) Numericana, Best quadratic formula.
28. Almkvist et Berndt 1988, p. 16-600; 17-601.
29. (en) Numericana, Ramanujan (I) & Lindner.
30. (en) Numericana, Ramanujan (II).
31. À titre d'exemple, Gerard Michon indique dans From Kepler's lower bound to Muir's lower bound, les erreurs pour le calcul d'un méridien terrestre (e proche de 0,082) de l'ordre de ${\displaystyle 1,75\times 10^{-12}}$ mètre pour la première formule et ${\displaystyle 1,63\times 10^{-25}}$ mètre pour la seconde.
32. Almkvist et Berndt 1988, p. 18-602.
33. (en) Computer Drafting, Rex Bookstore, Inc., Drawing ellipse using parallelogram method - p. 46.

Voir aussi

Bibliographie et sources

• Patrice Tauvel, Géométrie : Agrégation-2^e cycle/master, Dunod, 2005
• Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009, (ISBN 978-2-91-635208-4)
• Méthodes modernes en géométrie de Jean Fresnel
• Bruno Ingrao, Coniques affines, euclidiennes et projectives, C&M, (ISBN 978-2-916352-12-1)
• (en) Gert Almkvist et Bruce Berndt, « Gauss, Landen, Ramanujan, the Arithmetic-Geometric Mean, Ellipses, Pi and the Ladies Diary », Amer. Math. Monthly, vol. 95, n^o 1,‎ août-septembre 1988 (lire en ligne)
• (en) Gerard P. Michon, Perimeter of an Ellipse - Final Answers, sur Numericana.com

Articles connexes

• Coniques
  • Hyperbole
  • Parabole
• Régression elliptique
• Transformée de Hough > Détection d'ellipses
• Ovale
• Théorème de Marden
• Ellipsographe
• Ellipsoïde

Liens externes

• Bernard Gisin, « Propriétés de l'ellipse avec démonstrations » [PDF], août 2006
• Sections d'un cône et théorème de Dandelin
• Robert Ferréol, Jacques Mandonnet et Alain Esculier, « Ellipse », sur Encyclopédie des formes mathématiques remarquables, 2012
• (en) Eric W. Weisstein, « Ellipse », sur MathWorld