Théorème de La Hire
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a3/Circles2ellipseAnimated.svg/250px-Circles2ellipseAnimated.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Hypocycloid_simple_animation.gif/250px-Hypocycloid_simple_animation.gif)
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.
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
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/53/La_Hire-Al_Tusi.png/250px-La_Hire-Al_Tusi.png)
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f8/Ellipse_de_La_Hire.png/250px-Ellipse_de_La_Hire.png)
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/33/Tusi_couple.jpg/250px-Tusi_couple.jpg)
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/LaHire.gif/250px-LaHire.gif)
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
- ↑ 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.
- ↑ 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).
- ↑ Boyer 1947, p. 54.
- ↑ 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.
- ↑ Rudolf Franke, 1989, Histoire de l'articulation à cardan, Culture technique [ISSN 0223-4386], 1989, N° 19; p.14-19, notice, lire en ligne.
- ↑ a et b (en) J. L. E. Dreyer, A History of Astronomy from Thales to Kepler, 1906, p 402-404, lire en ligne.
- ↑ (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.
- ↑ I. N. Veselovsky, "Copernicus and Nasir al-Din al-Tusi", Journal for the History of Astronomy, 4 (1973), p 128-30.
- ↑ Voir ci-dessous l'illustration du musée des Arts et Métiers
- ↑ 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
Sur les autres projets Wikimedia :
- Théorème de La Hire, sur Wikimedia Commons
- musée des arts et métiers (n° inv. 8384), « Modèle : Engrenage cylindrique intérieur de La Hire, à denture hélicoïdale transmettant un mouvement rectiligne à un piston de pompe », sur www.arts-et-metiers.net ou bien « Engrenage cylindrique intérieur de La Hire, fin XVIIIe siècle. Modèle réalisé par Alexandre Clair, vers 1860 », sur www.savoirs.essonne.fr.
- « Droite de La Hire », sur mathcurve.com
Portail de la géométrie
Portail de l’astronomie