Limaçon de Pascal

Le limaçon est une épitrochoïde, c'est-à-dire une trochoïde avec un cercle pour base du mouvement.
La courbe a pour équation complexe $z=2r{\mathrm{e}}^{it}-d{\mathrm{e}}^{i2t}$ où $r$ est le rayon des deux cercles et $d$ la distance séparant le point mobile du centre du second cercle.

Le limaçon de Pascal est une courbe plane fermée présentant éventuellement un point double, obtenue en traçant le mouvement décrit par un point d'un disque roulant (sans glisser) sur un cercle. La cardioïde en est un cas particulier : le point double dégénère alors un rebroussement de première espèce. Le limaçon trisecteur est un second cas particulier (à ne pas confondre avec la trisectrice de Maclaurin)

Les limaçons de Pascal sont aussi les podaires d'un cercle par rapport à un point quelconque.

Équations

Le limaçon a pour équation en coordonnées polaires :

$r=a+b\cos \theta$

Pour cette équation, le cercle porteur a pour rayon Modèle:Mvar et pour centre le point de coordonnées polaires (Modèle:Mvar;0). Le point mobile est à une distance Modèle:Mvar du centre du cercle mobile.

Elle a pour équation complexe:

$z=\frac{b}{2}+a{\mathrm{e}}^{i\theta }+\frac{b}{2}{\mathrm{e}}^{2i\theta }$

Le point $B(b/2,)$ est le foyer singulier du limaçon, intersection des asymptotes complexesModèle:Sfn.

En coordonnées cartésiennes, l'équation devientModèle:,Modèle:Sfn :

$(x^2+y^2{)}^2-(a^2+2bx)(x^2+y^2)+b^2{x}^2=0.$

C'est donc une quartique rationnelle, c'est-à-dire une courbe algébrique de degré 4 .

En tant que quartique unicursale, elle possède une paramétrisation rationnelleModèle:Sfn:

$\{\begin{array}{cc}x(t)& =(1-t^2)\frac{a+b+(a-b)t^2}{(1+t^2{)}^2}\\ y(t)& =2t\frac{a+b+(a-b)t^2}{(1+t^2{)}^2}\end{array},t\in ]-\mathrm{\infty };+\mathrm{\infty }]$

Histoire

Planche 40 de Underweysung des Messung de Dürer (1538) - Limaçon à point double construit comme une épitrochoïde.

La courbe est étudiée par Gilles Personne de Roberval vers 1640-1650Modèle:SfnModèle:, dans son Observations sur la composition des mouvements et le moyen de trouver les touchantes des lignes courbes où il en construit les tangentes, puis dans son Traité des indivisibles quand il en calcule l'aire inscriteModèle:Sfn. Il la mentionne sous le nom de «Limaçon de M. Paschal», en référence à Étienne Pascal, père de Blaise Pascal.

L'intérêt des Pascal pour les roulettes est bien documenté. Le limaçon, qui en est une généralisation, a été proposé vers 1630 comme sujet d'étude par Étienne Pascal, père de Blaise Pascal, Modèle:Refnec. Étienne Pascal l'utilise dans le cas de la trisection de l'angle et il est probable que ce soit la motivation de sa construction.

Cependant l'étude de cette courbe est probablement antérieure puisqu'on la trouve déjà chez Dürer dans son Underweysung der Messung (Instructions pour la mesure à la règle et au compas) dont la première publication date de 1525. Dürer en indique le tracé avec des outils de dessin et lui donne le nom de ligne araignée (en allemand, Spinnen Lini Modèle:, et en latin aranei linea).

Allure générale

Selon les valeurs de Modèle:Mvar, l'allure de la courbe change :

• si Modèle:Mvar < 1, le limaçon est dit elliptique, c'est l'inverse d'une ellipse par rapport à un de ses foyers. La forme ressemble à un cercle déformé pour Modèle:Mvar<1/2, pour Modèle:Mvar=1/2, la courbe possède un méplat et pour Modèle:Formule, la courbe ressemble à un haricot;
• si Modèle:Mvar = 1 la courbe est une cardioïde;
• si Modèle:Mvar > 1, le limaçon est dit hyperbolique, c'est l'inverse d'une hyperbole par rapport à un de ses foyers. La courbe possède une boucle. Le cas Modèle:Mvar = 2 conduit à une courbe trisectrice.

Propriétés différentielles

L'équation de la tangente au point de coordonnées polaires $(\rho ;\theta )$ estModèle:SfnModèle:,

$(a\cos \theta +b\cos 2\theta )x+(a\sin \theta +b\sin 2\theta )y={\rho }^2.$

Le rayon de courbure estModèle:Sfn:

$R=\frac{(b^2+2ab\cos \theta +a^2{)}^{\frac{3}{2}}}{2b^2+3ab\cos \theta +a^2}$

Pour $\frac{a}{2}<b<a$ la courbe possède deux points d'inflexionModèle:SfnModèle:, pour $\theta =\pm \arccos (-\frac{2b^2+a^2}{3ab})$ et $\rho =\frac{2(a^2-b^2)}{3a}$.

Ces points deviennent des points d'ondulation si $b=\frac{a}{2}$

Si $b\ne a$, la longueur d'un arc de limaçon entre $M(0)$ et $M(\theta )$ nécessite l'utilisation d'une intégrale elliptique de deuxième espèceModèle:Sfn:

$L(\theta )=2(a+b)\underset{0}{\overset{\theta /2}{\int }}\sqrt{1-\frac{4ab}{(a+b{)}^2}{\sin }^2\phi }\mathrm{d}\phi .$

L'aire balayée par le vecteur $\overrightarrow{OM}(\theta )$ pour $\theta$ variant de 0 à ${\theta }_1$ est Modèle:Sfn:

$A({\theta }_1)=\frac{2a^2+b^2}{4}{\theta }_1+\frac{b^2}{8}\sin 2{\theta }_1+ab\sin {\theta }_1.$

En particulier, l'aire d'un limaçon sans boucle (cas où $b\le a$ est Modèle:SfnModèle:,:

$A=(a^2+\frac{b^2}{2})\pi .$

Autres systèmes de construction

Podaire

Le limaçon d'équation $r=a+b\cos \theta$ est la podaire du cercle de centre $B(b;0)$ et de rayon $a$ par rapport à l'origine $O$ du repèreModèle:Sfn.

En effet dans l'image ci-dessous on considère le projeté de O sur la tangente au cercle en T. Les coordonnées polaires de $\overrightarrow{HM}=\overrightarrow{BT}$ sont $(a;\theta )$ et celles de $\overrightarrow{OH}$ sont $(b\cos \theta ;\theta )$. Celles de M sont donc $(a+b\cos \theta ;\theta )$ pour $\theta$ variant de 0 à $2\pi$. Ce qui correspond à l'équation polaire du limaçon. Modèle:Multiple image

Conchoïde

Ce même limaçon est la conchoïde du cercle de diamètre OB où B a pour coordonnées polaires $(b;0)$, de pôle O et de module $a$Modèle:Sfn.

En effet par un raisonnement analogue au précédent, pour $\theta \in [-\pi /2,\pi /2]$, on a $M_1(a+b\cos \theta ;\theta )$ et $M_2(b\cos \theta -a;\theta )$. Or le point $M_2$ est confondu avec $N(a+b\cos (\theta +\pi );\theta +\pi )$. Le point $M_1$ parcourt une première partie du limaçon, tandis que $M_2$ en parcourt l'autre partie.

Inverse de conique

L'équation polaire d'un conique par rapport à un de ses foyers et suivant l'axe focal est $\rho =\frac{p}{1+e\cos (\theta )}$.

Le limaçon d'équation polaire $r=a+b\cos \theta$ est donc la courbe inverse de la conique de foyer O, de même axe principal, de paramètre $1/a$ et d’excentricité $b/a$ par rapport au cercle unitéModèle:Sfn.

Enveloppe de cercles

Le limaçon est l'enveloppe de tous les cercles passant par un point fixe (O) et dont le centre est sur un cercle donnéModèle:Sfn.

Le limaçon d'équation polaire $r=a+b\cos \theta$ est l'enveloppe des cercles passant par O et dont les centres sont sur le cercle de centre Modèle:Formule et de rayon Modèle:Mvar.

Ovale de Descartes

Pour $a\ne b$, un limaçon de Pascal d'équation $\rho =a+b\cos \theta$ est un ovale de Descartes completModèle:Sfn de foyers O et $F(\frac{b^2-a^2}{2b},0)$ - foyer double - d'équation $|aOM\pm b{F}_{1}M|=bO{F}_1$

Bibliographie

• Modèle:Ouvrage

  traduit de l’original en espagnol de 1899, revu et très augmenté. Réédition: dans les Obras sobre Matemática, volume V, 1908–1915; Chelsea Publishing Co, New York, 1971; Éditions Jacques Gabay, Paris, 1995 Modèle:Lire en ligne.

• Modèle:Ouvrage
• Modèle:Ouvrage

Voir aussi

• Limaçon de Pascal sur MathCurve.
• Modèle:MacTutor