Limaçon de Pascal

Un article de Wikipédia, l'encyclopédie libre.
animation montrant la génération d'un limaçon par le mouvement d'un disque sur un cercle
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 est le rayon des deux cercles et 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[modifier | modifier le code]

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

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

Elle a pour équation complexe[1]:

Le point est le foyer singulier du limaçon, intersection des asymptotes complexes[2].

En coordonnées cartésiennes, l'équation devient[1],[3] :

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

En tant que quartique unicursale, elle possède une paramétrisation rationnelle[4]:

Histoire[modifier | modifier le code]

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-1650[5],[1] dans son Observations sur la composition des mouvements et le moyen de trouver les touchantes des lignes courbes[n 2] où il en construit les tangentes, puis dans son Traité des indivisibles quand il en calcule l'aire inscrite[5]. 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[1] comme sujet d'étude par Étienne Pascal, père de Blaise Pascal, au père Mersenne[réf. nécessaire]. É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[6].

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 [7],[n 3] et en latin aranei linea[n 4]).

Allure générale[modifier | modifier le code]

Selon les valeurs de b/a, l'allure de la courbe change[1] :

  • si b/a < 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 b/a<1/2, pour b/a=1/2, la courbe possède un méplat et pour 1/2 < b/a < 1, la courbe ressemble à un haricot;
  • si b/a = 1 la courbe est une cardioïde;
  • si b/a > 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 b/a = 2 conduit à une courbe trisectrice.
Cas b/a = 0.5 : le limaçon a un méplat
Cas b/a = 1 : le limaçon est une cardioïde
Cas b/a = 2 : le limaçon est une courbe trisectrice

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

L'équation de la tangente au point de coordonnées polaires est[8],[n 5]

Le rayon de courbure est[9]:

Pour la courbe possède deux points d'inflexion[10],[11] pour et .

Ces points deviennent des points d'ondulation si

Si , la longueur d'un arc de limaçon entre et nécessite l'utilisation d'une intégrale elliptique de deuxième espèce[12]:

L'aire balayée par le vecteur pour variant de 0 à est [13]:

En particulier, l'aire d'un limaçon sans boucle (cas où est [13],[1]:

Autres systèmes de construction[modifier | modifier le code]

Podaire[modifier | modifier le code]

Le limaçon d'équation est la podaire du cercle de centre et de rayon par rapport à l'origine du repère[14].

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 sont et celles de sont . Celles de M sont donc pour variant de 0 à . Ce qui correspond à l'équation polaire du limaçon.

Limaçon de Pascal comme podaire d'un cercle
Limaçon de Pascal comme podaire d'un cercle- Animation

Conchoïde[modifier | modifier le code]

Ce même limaçon est la conchoïde du cercle de diamètre OB où B a pour coordonnées polaires , de pôle O et de module [5].

En effet par un raisonnement analogue au précédent, pour , on a et . Or le point est confondu avec . Le point parcourt une première partie du limaçon, tandis que en parcourt l'autre partie.

Limaçon de Pascal comme conchoïde
Limaçon de Pascal comme conchoïde - Animation

Inverse de conique[modifier | modifier le code]

L'équation polaire d'un conique par rapport à un de ses foyers et suivant l'axe focal est .

Le limaçon d'équation polaire est donc la courbe inverse de la conique de foyer O, de même axe principal, de paramètre et d’excentricité par rapport au cercle unité[15].

Enveloppe de cercles[modifier | modifier le code]

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é[16].

Le limaçon d'équation polaire est l'enveloppe des cercles passant par O et dont les centres sont sur le cercle de centre B(b;0) et de rayon a.

Limaçon de Pascal comme enveloppe de cercles. Ici et
Limaçon de Pascal comme enveloppe de cercles - Animation. Ici et

Ovale de Descartes[modifier | modifier le code]

Pour , un limaçon de Pascal d'équation est un ovale de Descartes complet[17] de foyers O et - foyer double - d'équation

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

Note[modifier | modifier le code]

  1. La courbe en équation polaire et la courbe en équation quartique coïncident sur tous leurs points à l'exception de l'origine qui est toujours un point de la quartique mais n'en est pas un pour le limaçon si a > b. Teixeira ($ 215 p. 202) indique que dans ce cas, l'origine est un «point isolé» de la courbe.
  2. L'ouvrage n'est publié qu'en 1693, mais dès 1640, on sait par une lettre de Roberval à Fermat, qu'il travaille sur le sujet (cf Guillaume Moussard (collectif), Histoires de Calcul infinitésimal : De l'étude des courbes aux dérivées et aux intégrale, Éditions Ellipses, , 28)
  3. Dürer parle de ligne arachnéenne, par allusion à l'araignée d'un astrolabe[Information douteuse] : cf. Albrecht Dürer (trad. de l'allemand par Jeanne Peiffer), Géométrie [« Underweysung der Messung »], Paris, éditions du Seuil, , 410 p. (ISBN 2-02-012427-0), p. 183
  4. Dans Alberti Dureri Institutionum Geometricarum Libri Quatuor (1605), p. 37, planche 40) à cause de sa similarité avec les pieds d'une araignée ( L'Intermédiaire des mathematiciens, vol. IV, (lire en ligne), p. 13).
  5. Cette équation est bien celle d'une droite à l'exception du cas a=b et , seul cas où le vecteur d'affixe est nul.

References[modifier | modifier le code]

  1. a b c d e et f Robert Ferréol, « Limaçon de Pascal », sur Encyclopédie des formes mathématiques remarquables
  2. Teixeira 1909, p. 207.
  3. Teixeira 1909, $ 214.
  4. Teixeira 1909, $ 221 p.205.
  5. a b et c Teixeira 1909, $ 213.
  6. Descartes - Œuvres, vol. XII : Vie et œuvre de Descartes, Charles Adam et Jules Tannery Fac-similé disponible sur Wikisource (Wikisource), p. 209, note c
  7. Underweysung der Messung, planche 40)
  8. Teixeira 1909, p. 205.
  9. Teixeira 1909, § 216.
  10. Teixeira 1909, p. 203.
  11. (en) C. G. Gibson, Elementary Geometry of differential curves : An Undergraduate Introduction, Cambridge University Press, (ISBN 9781139173377), p.71
  12. Teixeira 1909, § 228.
  13. a et b Teixeira 1909, § 229.
  14. Teixeira 1909, $ 218.
  15. Teixeira 1909, $ 219.
  16. Wells 2000, p. 125.
  17. a et b Teixeira 1909, § 223 p.207.

Bibliographie[modifier | modifier le code]

  • Francisco Gomes Teixeira, Traité des Courbes Spéciales Remarquables Planes et Gauches, t. 2, Coimbra, Imprensa da Universidade,
    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 [lire en ligne].
  • David Wells, Le dictionnaire Penguin des curiosités géométriques, Éditions Eyrolles,
  • Jean Aymes, Ces problèmes qui font les mathématiques : la trisection de l'angle, APMEP,

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :