Théorème de La Hire

Théorème mathématique
(Redirigé depuis Couple d'al-Tusi)

Le théorème de La Hire est démontré dans le traité des roulettes (publié en 1706) du mathématicien français Philippe de La Hire, mais il était connu bien avant La Hire. Il peut être séparé en deux propositions : la première est que tout point fixe d'un cercle C de rayon r roulant sans glisser intérieurement sur un cercle C′ de rayon 2r décrit un diamètre de C′, la seconde plus générale est que dans les mêmes conditions tout point lié au cercle mobile C décrit une ellipse. Le diamètre décrit par un point de C est un cas dégénéré d'hypocycloïde (2 points de rebroussement). L'ellipse décrite par un point lié à C est un cas très particulier d'hypotrochoïde.

Le petit cercle roule sans glisser à l'intérieur d'un cercle de rayon double : un point sur le cercle décrit un diamètre du grand cercle, un point lié au cercle, à l'intérieur ou à l'extérieur du disque délimité par celui-ci, décrit une ellipse, version animée.
La « droite de La Hire ».

La première proposition fournit la justification d'un mécanisme à base d'engrenages qui transforme un mouvement circulaire en un mouvement rectiligne. Appelé autrefois engrenage de La Hire ou mouche de La Hire celui-ci est déjà décrit par Jérôme Cardan en 1570. Ce mouvement rectiligne sur un diamètre a aussi joué un rôle important dans l'histoire de l'astronomie : il a permis en 1247 à Nasir ad-Din at-Tusi de donner une version du modèle géocentrique du système solaire qui n'utilise pas le point équant de Ptolémée. Il a été utilisé ensuite par Nicolas Copernic pour la première version de son modèle héliocentrique, publié en 1543.

Ni la première ni la seconde proposition ne sont dues à La Hire, qui n'en revendiquait d'ailleurs probablement pas la paternité. Ainsi le théorème, en particulier la première proposition, apparaît-il sous d'autres noms dans la littérature, Cardan (cercles de Cardan), Copernic, ou plus récemment al-Tusi après la redécouverte de ses travaux (couple d'al-Tusi). Au Ve siècle Proclus donnait déjà une forme assez voisine de ces deux propositions.

Description mathématique modifier

La première proposition du théorème est une conséquence directe du théorème de l'angle inscrit dans un cercle (l'angle au centre est le double de l'angle inscrit associé), et la seconde se démontre par des considérations élémentaires de trigonométrie.

Droite d'Al-Tusi modifier

 
Les arcs K1K et KM1 ont des longueurs égales à chaque instant

Un cercle mobile   de centre   et de rayon   roule sans glisser dans un cercle fixe   de centre   et de rayon  .
Soient   le point de contact à un instant initial et   le point lié à   qui est en contact avec   à cet instant initial.
Si   est un point de contact ultérieur tel que  , le point de contact s'est déplacé d'un arc de longueur   sur  . Le point   s'est alors déplacé d'un arc de même longueur   sur le cercle mobile   en sens inverse, donc  .
  appartenant à  , on a   (voir théorème de l'angle inscrit), donc   est le deuxième point d'intersection de   avec  .
De plus, les points   restant alignés,   est un angle droit, donc   est le projeté orthogonal du point de contact   sur le diamètre de   passant par  .
  décrit ce diamètre lorsque   roule dans  .

Le diamètre décrit par le point   est un cas particulier d'hypocycloïde.

Ellipse de La Hire modifier

 

  est un point appartenant au plan du cercle mobile   tel que  . Soit   le point d'intersection de la demi-droite   avec  .
Quitte à faire rouler   jusqu'à ce que   soit en contact avec   en un point  , on choisit un repère tel que   et on désigne par   l'angle  .
Les coordonnées de   sont alors :
 
 

Lorsque   varie de   à  ,   décrit l'ellipse de centre  , de grand-axe   et de petit-axe  .

L'ellipse de La Hire est un cas particulier d'hypotrochoïde.

Histoire modifier

 
Le couple d'al-Tusi d'après une copie du XIVe siècle de son manuscrit (Vatican Arabic ms 319, fol. 28v; 13th. c.

La première proposition (le mouvement rectiligne) est connue de l'astronome perse Nasir ad-Din at-Tusi qui le décrit en 1247 dans son Tahrir al-Majisti (Commentaire de l'Almageste). Celui-ci, et plus largement les astronomes de l'école de Maragha, l'utilisent pour éliminer le point équant du modèle de Ptolémée du système solaire.

Elle apparait également dans le De revolutionibus orbium coelestium de Nicolas Copernic publié en 1543. Du fait que Copernic n'utilise que des mouvements circulaires, il doit composer ceux-ci pour remédier à certaines anomalies observées, vis-à-vis d'un modèle simplifié où les orbites des planètes seraient circulaires, et utilise pour ceci le couple d'al-Tusi pour des raisons analogues à ce dernier, même si son modèle est héliocentrique[1]. Il l'utilisait déjà dans un manuscrit (appelé aujourd'hui commentariolus) dont il a fait circuler un nombre très réduit d'exemplaires avant 1514. Copernic démontre la première proposition (le mouvement sur un diamètre) dans le De revolutionibus orbium coelestium, et mentionne qu'il est possible de l'utiliser mais opte finalement pour une solution un peu différente (toujours à base de mouvements circulaires). La seconde sur le mouvement elliptique apparait dans son manuscrit mais n'a pas été reprise dans l'ouvrage imprimé. Copernic comptait semble-t-il l'exploiter ultérieurement. On n'en a pas retrouvé de démonstration de sa main, mais celle-ci semble à sa portée[2]. Copernic ne décrit pas le résultat en termes de cercle roulant sans glisser, comme le fera La Hire, mais en termes d'épicycle[3] : la courbe est engendrée par un point lié à un cercle mobile (l'épicycle) tournant sur lui-même et dont le centre se déplace sur un cercle fixe (le déférent) est une ellipse si la rotation du cercle mobile sur lui-même se fait en sens inverse et à une vitesse double (relativement à la ligne des centres des deux cercles) de celle du déplacement sur le déférent[4].

Jérôme Cardan a donné la première proposition du théorème dans son Opus novum de proportionibus numerorum, motuum, ponderum, sonorum, aliorumque mensurandum paru en 1570[5]. Rien n'indique qu'il connaissait la seconde[2].

La seconde proposition, en fait un résultat un peu plus général, est brièvement signalée et attribuée à David Fabricius par Johannes Kepler dans une note du Epitome Astronomiae Copernicanae paru en 1615. Fabricius n'a pas lui-même publié le résultat, qu'il énonce toujours dans un cadre Ptoléméen mais à l'aide d'excentrique (un procédé équivalent à celui des épicycles) plutôt que d'épicycle[6],[2]. Kepler, en correspondance avec Fabricius, lui a signalé en 1604 sa découverte de la trajectoire elliptique de la planète Mars. Celui-ci ne se satisfait pas de l'abandon du mouvement circulaire, et dans une lettre datée de 1608, indique à Kepler la façon d'engendrer l'ellipse à la manière de Ptolémée. Mais le procédé de Fabricius ne permet pas de rendre compte de la loi des aires, publiée par Kepler en 1609[6]. Kepler ne cite pas Copernic, et ne sait donc probablement pas que le théorème est connu de celui-ci, mais on ne sait rien pour Fabricius[2].

François Viète utilise, peu de temps avant Fabricius, des constructions analogues dans l’harmonicon celeste un ouvrage inachevé et jamais publié sur lequel il travaille les toutes dernières années de sa vie, jusqu'à sa mort en 1603, sans connaître donc les travaux de Kepler, qui à la même époque est en train d'étudier patiemment l'orbite de Mars. Viète étudie et compare les systèmes de Ptolémée et de Copernic, introduisant plusieurs simplifications importantes dans les calculs, entre autres en mettant en évidence les ellipses engendrées par deux mouvements circulaires[7].

En 1645, Ismael Boulliau énonce et démontre les deux propositions dans son astronomia philolaica, où il utilise la seconde (la forme plus générale mentionnée ci-dessus) pour engendrer le mouvement elliptique des planètes, mais ne peut rendre compte de la seconde loi de Kepler, comme ce dernier l'avait déjà remarqué (à propos du résultat analogue de Fabricius) en 1615[2].

Dans son traité de 1706, La Hire démontre le théorème, d'une façon très semblable à celle de Boulliau[2]. L'ouvrage de Boulliau est largement connu, et il est peu vraisemblable que La Hire ne l'ait pas lu[2]. Ni Boulliau, ni La Hire ne donnent une source pour le théorème, ce qui ne signifie pas qu'ils se l'attribuent, mais peut vouloir dire simplement que celui-ci est bien connu parmi les mathématiciens parisiens de leur époque[2].

On trouve également le théorème (les deux propositions) brièvement décrit dans un commentaire de Proclus des éléments d'Euclide, qui date donc du Ve siècle[8], sans qu'on sache, dans l'histoire moderne, à partir de quand et par qui cela a été remarqué. Proclus décrit une sorte de réciproque, partant du mouvement d'un segment (correspondant à un diamètre du petit cercle) dont les extrémités se déplacent de façon rectiligne sur les côtés d'un angles droit. Le centre du segment décrit alors un cercle et les autres points des ellipses.

Mécanique modifier

 
Engrenage de La Hire.

Cette propriété géométrique est utilisée dans plusieurs mécanismes astucieux qui permettent la transformation d'un mouvement circulaire en un mouvement rectiligne, comme l'engrenage dit de La Hire[9], et d'autres à base de doigts coulissant dans deux rainures perpendiculaires[10].

Notes et références modifier

  1. Copernic ne cite pas al-Tusi, ni aucun des travaux de son école. Il existe quelques indices de ce que Copernic ait pu avoir une connaissance au moins indirecte des travaux de l'école de Maragha, mais cela fait aujourd'hui débat chez les historiens, cf. F. Jamil Ragep Copernicus and his Islamic Predecessors: Some Historical Remarks, Filozofski Vestnik, 2004 lire en ligne.
  2. a b c d e f g et h (en) Carl B. Boyer, « Note on Epicycles & the Ellipse from Copernicus to Lahire », Isis, vol. 38, nos 1/2,‎ , p. 54-56 (DOI 10.1086/348035, JSTOR 225449).
  3. Boyer 1947, p. 54.
  4. Copernic, et plus tard Boulliau et La Hire parlent de vitesse de rotation double, car elle est prise par rapport à la ligne des centres. Boyer 1947, p. 55, note 9. Comme le remarque Boyer on pourrait préférer dire que les vitesses de rotation de ces deux mouvements de même période sont identiques.
  5. Rudolf Franke, 1989, Histoire de l'articulation à cardan, Culture technique [ISSN 0223-4386], 1989, N° 19; p.14-19, notice, lire en ligne.
  6. a et b (en)J. L. E. Dreyer, A History of Astronomy from Thales to Kepler, 1906, p 402-404, lire en ligne.
  7. (en) Noel M. Swerdlow, The Planetary Theory of François Viète, Part 1, Journal for the History of Astronommy 1975, vol vi pp 185-208 lire en ligne.
  8. I. N. Veselovsky, "Copernicus and Nasir al-Din al-Tusi", Journal for the History of Astronomy, 4 (1973), p 128-30.
  9. Voir ci-dessous l'illustration du musée des Arts et Métiers
  10. Voir Rudolf Franke, 1989 article cité, p 19 ; un axe entraine en rotation une barre perpendiculaire portant deux doigts diamétralement opposés s'engageant dans deux rainures perpendiculaires tournant autour d'un autre axe parallèle au premier, positionné de façon que les doigts passent par le second axe quand le premier arbre fait un tour, le second fait un demi-tour.

Liens externes modifier

Sur les autres projets Wikimedia :