Lemniscate de Bernoulli

La lemniscate de Bernoulli est une courbe plane unicursale. Elle porte le nom du mathématicien et physicien suisse Jacques Bernoulli.

Histoire[modifier | modifier le code]

La lemniscate de Bernoulli fait partie d'une famille de courbes décrite par Jean-Dominique Cassini en 1680, les ovales de Cassini. Jacques Bernoulli la redécouvre en 1694 au détour de travaux sur l'ellipse^[1], et la baptise lemniscus (« ruban » en latin). Le problème de la longueur des arcs de la lemniscate est traité par Giulio Fagnano en 1750.

Définition géométrique[modifier | modifier le code]

Une lemniscate de Bernoulli est l'ensemble des points $M$ vérifiant la relation :

{\rm {MF\times MF'=OF^{2}}}

où $F$ et $F'$ sont deux points fixes et $O$ leur milieu. Les points $F$ et $F'$ sont appelés les foyers de la lemniscate, et $O$ son centre.

Alternativement, on peut définir une lemniscate de Bernoulli comme l'ensemble des points $M$ vérifiant la relation :

{\rm {|MF-MF'|=OM\,{\sqrt {2}}.}}

Démonstration

${\begin{aligned}{\rm {(MF-MF')^{2}}}&={\rm {MF^{2}+MF'^{2}-2\,MF\cdot MF'}}\\&={\rm {(OM^{2}+OF^{2}-2\,OM\cdot OF\cos \theta )+(OM^{2}+OF'^{2}+2\,OM\cdot OF'\cos \theta )-2\,MF\cdot MF'}}\\&={\rm {2(OM^{2}+OF^{2}-MF\cdot MF')}}\end{aligned}}$

On voit bien que :

${\rm {MF\cdot MF'=OF^{2}~~\Leftrightarrow ~~(MF-MF')^{2}=2\,OM^{2}.}}$

La première relation est appelée « équation bipolaire », et la seconde « équation tripolaire ».

La courbe ainsi définie fait partie de la famille des lemniscates (courbes en forme de 8), dont elle est l'exemple le plus connu et le plus riche en propriétés. Pour sa définition, elle est l'exemple le plus remarquable d'ovale de Cassini. Elle représente aussi la section d'un tore particulier par un plan tangent intérieurement.

Équations dans différents systèmes de coordonnées[modifier | modifier le code]

Au moyen de la demi-distance focale $OF = d$ [modifier | modifier le code]

Posons $OF = d$ . En coordonnées polaires (l'axe polaire étant $OF$ ), la lemniscate de Bernoulli admet pour équation :

\rho ^{2}=2d^{2}\cos {2\theta }~\left(-{\tfrac {\pi }{4}}\leq \theta \,[\pi ]\leq +{\tfrac {\pi }{4}}\right).

Démonstration

La relation $MF\cdotMF' = OF 2$ peut s'écrire $MF 2 \cdotMF' 2 = OF 4$ donc :

{\rm {(OM^{2}+OF^{2}-2\,OM\cdot OF\cos \theta )(OM^{2}+OF'^{2}+2\,OM\cdot OF'\cos \theta )=OF^{4}}}

c.-à-d. :

(\rho ^{2}+d^{2}-2\rho d\cos \theta )(\rho ^{2}+d^{2}+2\rho d\cos \theta )-d^{4}=0.

ou :

\rho ^{2}\,[\rho ^{2}-2d^{2}(2\cos ^{2}\theta -1)]=0

ce qui donne bien, puisque $\cos {2\theta }=2\cos ^{2}\theta -1$ :

{\begin{cases}\rho =0~(\forall \,\theta )\\\rho ^{2}=2d^{2}\cos {2\theta }~\left(-{\tfrac {\pi }{4}}\leq \theta \leq +{\tfrac {\pi }{4}},\,\mathrm {modulo} \,\pi \right)\end{cases}}

En coordonnées cartésiennes (l'axe des abscisses étant $OF$ ), la lemniscate de Bernoulli a pour équation (implicite) :

(x^{2}+y^{2})^{2}=2d^{2}\,(x^{2}-y^{2}).

Démonstration

Passons des coordonnées polaires aux coordonnées cartésiennes :

\rho ^{2}=x^{2}+y^{2}

et

\cos \theta ={\frac {x}{\sqrt {x^{2}+y^{2}}}}

donc

\cos {2\theta }=2\cos ^{2}\theta -1={\frac {x^{2}-y^{2}}{x^{2}+y^{2}}}.

L'équation polaire $\rho ^{2}=2d^{2}\cos {2\theta }$ devient ainsi $x^{2}+y^{2}=2d^{2}\,{\frac {x^{2}-y^{2}}{x^{2}+y^{2}}},$ ce qui est bien équivalent à $(x^{2}+y^{2})^{2}=2d^{2}\,(x^{2}-y^{2}).$

L'abscisse $x$ décrit l'intervalle $\left[-d\,{\sqrt {2}},d\,{\sqrt {2}}\right]$ (les bornes sont atteintes pour $y = 0$ ). L'ordonnée $y$ décrit l'intervalle $\left[-{\tfrac {d}{2}},{\tfrac {d}{2}}\right]~$ (les bornes sont atteintes pour $x=\pm \,d\,{\tfrac {\sqrt {3}}{2}}$ ).

Il est possible d'expliciter $y$ en fonction de $x$ :

y=\pm \,d\,{\sqrt {{\sqrt {1+4\left({\frac {x}{d}}\right)^{2}}}-\left[1+\left({\frac {x}{d}}\right)^{2}\right]}}~~\left(|x|\leq d{\sqrt {2}}\right)

Démonstration

Posons $Y = y 2$ ; l'équation implicite devient :

(x^{2}+Y)^{2}=2d^{2}\,(x^{2}-Y)

c.-à-d., en développant :

Y^{2}+2(d^{2}+x^{2})Y-x^{2}(2d^{2}-x^{2})=0.

Cette équation du second degré a pour unique solution ( $Y$ ne devant pas être négatif) :

{\begin{aligned}Y&=-(d^{2}+x^{2})+{\sqrt {(d^{2}+x^{2})^{2}+x^{2}(2d^{2}-x^{2})}}~~{\text{pourvu que}}~2d^{2}-x^{2}\geq 0~~{\text{c.-à-d.}}~~|x|\leq d{\sqrt {2}}~~({\text{sinon}}~Y\!<0)\\&=-(d^{2}+x^{2})+{\sqrt {d^{2}(d^{2}+4x^{2})}}\\&=d^{2}\left\{{\sqrt {1+4\left({\frac {x}{d}}\right)^{2}}}-\left[1+\left({\frac {x}{d}}\right)^{2}\right]\right\}\end{aligned}}

d'où l'on déduit $y$ en écrivant $y=\pm {\sqrt {Y}}.$

mais il est généralement plus pratique de manipuler l'équation implicite que d'utiliser cette expression explicite de $y$ .

Représentations paramétriques[modifier | modifier le code]

En partant de l'équation en coordonnées polaires $ρ 2 = 2 d 2 cos 2 θ$ on peut représenter la lemniscate de Bernoulli par les deux équations suivantes, en prenant pour paramètre l'angle polaire $θ$ :

{\begin{cases}x=d\,\cos \theta \,{\sqrt {2\cos 2\theta }}\\y=d\,\sin \theta \,{\sqrt {2\cos 2\theta }}\end{cases}}

Démonstration

On passe des coordonnées polaires aux coordonnées cartésiennes par les relations $x = ρ cos θ$ et $y = ρ sin θ$ . De $ρ 2 = 2 d 2 cos 2 θ$ on déduit $| ρ |$ . On peut ne garder que la valeur positive car il est équivalent de changer le signe de $ρ$ ou d'augmenter $θ$ de $π$ .

Cette représentation présente cependant le défaut que pour parcourir une fois la lemniscate il faut faire varier $θ$ de $-π/4$ à $+π/4$ puis de $3π/4$ à $5π/4$ , une variation qui n'est pas continue ni monotone.

Une meilleure représentation paramétrique est donnée par :

{\begin{cases}x=d{\sqrt {2}}\;{\dfrac {\sin \varphi }{1+\cos ^{2}\varphi }}\\\\y=d{\sqrt {2}}\;{\dfrac {\sin \varphi \cos \varphi }{1+\cos ^{2}\varphi }}\end{cases}}

Démonstration

Partons de la représentation précédente et exprimons tout en fonction de $tan θ$ (voir par exemple l'article Identité trigonométrique) :

\cos \theta ={\frac {1}{\sqrt {1+\tan ^{2}\theta }}},~\sin \theta ={\frac {\tan \theta }{\sqrt {1+\tan ^{2}\theta }}},~\cos 2\theta ={\frac {1-\tan ^{2}\theta }{1+\tan ^{2}\theta }}

donc :

x=d{\sqrt {2}}\;{\frac {\sqrt {1-\tan ^{2}\theta }}{1+\tan ^{2}\theta }},~y=d{\sqrt {2}}\;{\frac {\tan \theta \,{\sqrt {1-\tan ^{2}\theta }}}{1+\tan ^{2}\theta }}

Posons $cos φ = tan θ$ :

x=d{\sqrt {2}}\;{\frac {\sqrt {1-\cos ^{2}\varphi }}{1+\cos ^{2}\varphi }},~y=d{\sqrt {2}}\;{\frac {\cos \varphi \,{\sqrt {1-\cos ^{2}\varphi }}}{1+\cos ^{2}\varphi }}

Il ne reste plus qu'à remplacer ${\sqrt {1-\cos ^{2}\varphi }}$ par $\sin \varphi .$

La lemniscate est parcourue une fois en faisant varier $φ$ de $-π$ à $+π$ . Le paramètre $φ$ est directement relié à l'angle polaire par la relation $cos φ = tan θ$ , ou $θ = arctan(cos φ)$ .

On peut aussi convertir la représentation précédente, trigonométrique, en une représentation paramétrique rationnelle :

{\begin{cases}x=d{\sqrt {2}}\;{\dfrac {t+t^{3}}{1+t^{4}}}\\\\y=d{\sqrt {2}}\;{\dfrac {t-t^{3}}{1+t^{4}}}~.\end{cases}}

Démonstration

Partons de la représentation précédente et exprimons tout en fonction de $t = tan(φ /2)$ (voir par exemple l'article Identité trigonométrique) :

\sin \varphi ={\frac {2t}{1+t^{2}}},~\cos \varphi ={\frac {1-t^{2}}{1+t^{2}}},~1+\cos ^{2}\varphi ={\frac {2(1+t^{4})}{(1+t^{2})^{2}}}

donc :

x=d{\sqrt {2}}\;{\frac {t(1+t^{2})}{1+t^{4}}},~y=d{\sqrt {2}}\;{\frac {t(1-t^{2})}{1+t^{4}}}.

La lemniscate est parcourue une fois en faisant varier $t$ de $-\infty$ à $+\infty$ . Le paramètre $t$ est directement relié à l'angle $φ$ par la relation $t = tan(φ /2)$ .

Au moyen du demi-axe $OA = a$ [modifier | modifier le code]

La plupart des équations précédentes sont un peu plus simples et naturelles si l'on pose $a=d\,{\sqrt {2}}$ (demi-axe de la lemniscate).

En coordonnées polaires (l'axe polaire étant $OA$ ), la lemniscate de Bernoulli admet pour équation :

\rho ^{2}=a^{2}\cos {2\theta }~\left(-{\tfrac {\pi }{4}}\leq \theta \,[\pi ]\leq +{\tfrac {\pi }{4}}\right).

En coordonnées cartésiennes (l'axe des abscisses étant $OA$ ), la lemniscate de Bernoulli a pour équation (implicite) :

(x^{2}+y^{2})^{2}=a^{2}\,(x^{2}-y^{2}).

L'abscisse $x$ décrit l'intervalle $[- a, a]$ (les bornes sont atteintes pour $y = 0$ ). L'ordonnée $y$ décrit l'intervalle $\left[-{\tfrac {a}{2{\sqrt {2}}}},{\tfrac {a}{2{\sqrt {2}}}}\right]~$ (les bornes sont atteintes pour $x=\pm \,a\,{\tfrac {\sqrt {6}}{4}}$ ). La demi-distance focale est $\mathrm {OF} =\mathrm {OF'} ={\tfrac {a}{\sqrt {2}}}.$

Il est possible d'expliciter $y$ en fonction de $x$ :

y=\pm \,{\frac {a}{\sqrt {2}}}\,{\sqrt {{\sqrt {1+8\left({\frac {x}{a}}\right)^{2}}}-\left[1+2\left({\frac {x}{a}}\right)^{2}\right]}}~~(|x|\leq a)

mais il est généralement plus pratique de manipuler l'équation implicite que d'utiliser cette expression explicite de $y$ .

Représentations paramétriques[modifier | modifier le code]

En partant de l'équation en coordonnées polaires $ρ 2 = a 2 cos 2 θ$ on peut représenter la lemniscate de Bernoulli par les deux équations suivantes, en prenant pour paramètre l'angle polaire $θ$ :

{\begin{cases}x=a\,\cos \theta \,{\sqrt {\cos 2\theta }}\\y=a\,\sin \theta \,{\sqrt {\cos 2\theta }}\end{cases}}

Cette représentation présente cependant le défaut que pour parcourir une fois la lemniscate il faut faire varier $θ$ de $-π/4$ à $+π/4$ puis de $5π/4$ à $3π/4$ , une variation qui n'est pas continue ni monotone.

Une meilleure représentation paramétrique est donnée par :

{\begin{cases}x=a\;{\dfrac {\sin \varphi }{1+\cos ^{2}\varphi }}\\\\y=a\;{\dfrac {\sin \varphi \cos \varphi }{1+\cos ^{2}\varphi }}\end{cases}}

La lemniscate est parcourue une fois en faisant varier $φ$ de $-π$ à $+π$ . Le paramètre $φ$ est directement relié à l'angle polaire par la relation $cos φ = tan θ$ , ou $θ = arctan(cos φ)$ .

On peut aussi convertir la représentation précédente, trigonométrique, en une représentation paramétrique rationnelle :

{\begin{cases}x=a\;{\dfrac {t+t^{3}}{1+t^{4}}}\\\\y=a\;{\dfrac {t-t^{3}}{1+t^{4}}}~.\end{cases}}

La lemniscate est parcourue une fois en faisant varier $t$ de $-\infty$ à $+\infty$ . Le paramètre $t$ est directement relié à l'angle $φ$ par la relation $t = tan(φ /2)$ .

Propriétés[modifier | modifier le code]

Longueur[modifier | modifier le code]

La longueur de la lemniscate de Bernoulli vaut :

L={\frac {2\pi \,a}{M(1,{\sqrt {2}})}}=4a\int _{0}^{1}{\frac {\mathrm {d} t}{\sqrt {1-t^{4}}}}=2{\sqrt {2}}\,K\left({\frac {1}{\sqrt {2}}}\right)\,a={\frac {\left(\operatorname {\Gamma } (1/4)\right)^{2}}{\sqrt {2\pi }}}\,a\simeq 5{,}24412\,a

où $M (u, v)$ désigne la moyenne arithmético-géométrique de deux nombres $u$ et $v$ , $K(1/{\sqrt {2}})$ est une intégrale elliptique de première espèce et $Γ$ est la fonction gamma.

Superficie[modifier | modifier le code]

L'aire de la lemniscate de Bernoulli est égale à l'aire des deux carrés bleus

L'aire délimitée par la lemniscate de Bernoulli vaut :

S=a^{2}=2d^{2}.

Quadrature de la lemniscate : impossible pour le cercle, la quadrature exacte est possible pour la lemniscate de Bernoulli. Son aire est en effet égale à celle de deux carrés égaux (le côté des carrés étant la distance entre le centre et un foyer de la lemniscate^[a]). Cette aire est aussi égale à l'aire d'un carré dont le côté est la distance séparant le centre d'un sommet de la lemniscate.

Familles de courbes[modifier | modifier le code]

La lemniscate de Bernoulli est un cas particulier d'ovale de Cassini, de lemniscate de Booth, de spirale sinusoïdale et de spirique de Persée.

Relation avec l'hyperbole équilatère[modifier | modifier le code]

La podaire d'une hyperbole équilatère par rapport à son centre est une lemniscate de Bernoulli.

Relation avec les triangles[modifier | modifier le code]

Pour deux points B et C et un angle α aigu fixe, une lemniscate de Bernoulli est le lieu des points A tels que, dans le triangle ABC, la médiane issue de A et sa symédiane forment un angle α ; le centre de la lemniscate est alors le milieu de [BC]^[2].

Le symbole de l'infini ?[modifier | modifier le code]

La lemniscate de Bernoulli est souvent considérée comme une courbe qui se parcourt sans fin. Cette caractéristique de la lemniscate serait à l'origine du symbole de l'infini, ∞, mais une autre version vient contredire cette hypothèse, l'invention du symbole étant attribuée au mathématicien John Wallis, contemporain de Bernoulli^[3].

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

↑ Cette distance OF = OF' est aussi égale au petit diamètre de Féret de la lemniscate, c.-à-d. à son épaisseur perpendiculairement à la direction F'OF.

Références[modifier | modifier le code]

↑ (en) Eric W. Weisstein, « Lemniscate », sur MathWorld.
↑ (en) Francisco Javier García Capitán, « Lemniscates and a Locus Related to a Pair of Median and Symmedian », Forum Geometricorum, vol. 15,‎ 2015, p. 123–125 (ISSN 1534-1178)
↑ John Wallis, De sectionibus conicis nova methodo expositis tractatus (1655), section I, Prop.1, p. 4.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

Lemniscate de Bernoulli, sur Wikimedia Commons

Fonction lemniscatique

Liens externes[modifier | modifier le code]

Coup d’œil sur la lemniscate de Bernoulli, sur le site du CNRS.
Lemniscate de Bernoulli, sur MathCurve.
(en) Eric W. Weisstein, « Lemniscate », sur MathWorld

Portail de la géométrie

[2] Cette distance OF = OF' est aussi égale au petit diamètre de Féret de la lemniscate, c.-à-d. à son épaisseur perpendiculairement à la direction F'OF.

[1] (en) Eric W. Weisstein, « Lemniscate », sur MathWorld.

[3] (en) Francisco Javier García Capitán, « Lemniscates and a Locus Related to a Pair of Median and Symmedian », Forum Geometricorum, vol. 15,‎ 2015, p. 123–125 (ISSN 1534-1178)

[4] John Wallis, De sectionibus conicis nova methodo expositis tractatus (1655), section I, Prop.1, p. 4.

[1]

[a]

[2]

[3]

v · m Exemples de courbes
Coniques	Cercle Ellipse Hyperbole Parabole
Cissoïdes	Cissoïde de Dioclès
Courbes cycloïdales	Cycloïde Épicycloïde Cardioïde Néphroïde Hypocycloïde Astroïde Deltoïde Épitrochoïde Limaçon de Pascal
Spirales (Liste)	Archimède À centre multiple Cotes Épi Euler Fermat Hyperbolique Lituus Logarithmique D'or Poinsot Sinusoïdale Ulam
Lemniscates	Bernoulli Booth Courbe du diable Gerono
Isochrones	Isochrone de Leibniz
Autres	Brachistochrone Chaînette Conchoïde Folium de Descartes Hélice Hypotrochoïde Ovale de Cassini Quadratrice d'Hippias Strophoïde Spirique de Persée Trajectoire Glissette

Lemniscate de Bernoulli

Histoire[modifier | modifier le code]

Définition géométrique[modifier | modifier le code]

Équations dans différents systèmes de coordonnées[modifier | modifier le code]

Au moyen de la demi-distance focale OF = d[modifier | modifier le code]

Représentations paramétriques[modifier | modifier le code]

Au moyen du demi-axe OA = a[modifier | modifier le code]

Représentations paramétriques[modifier | modifier le code]

Propriétés[modifier | modifier le code]

Longueur[modifier | modifier le code]

Superficie[modifier | modifier le code]

Familles de courbes[modifier | modifier le code]

Relation avec l'hyperbole équilatère[modifier | modifier le code]

Relation avec les triangles[modifier | modifier le code]

Le symbole de l'infini ?[modifier | modifier le code]

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

Références[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Liens externes[modifier | modifier le code]

€4.95

Au moyen de la demi-distance focale $OF = d$ [modifier | modifier le code]

Au moyen du demi-axe $OA = a$ [modifier | modifier le code]