Théorème de Monge (géométrie élémentaire)
En géométrie élémentaire, le théorème de Monge (également théorème des cercles de Monge[1], ou théorème des trois cercles de Monge[2]), du nom du mathématicien français Gaspard Monge, affirme que dans un plan euclidien, pour trois cercles de rayons différents et dont les centres ne sont pas alignés (aucun cercle n'étant intégralement compris dans un autre), les trois points d'intersection de leurs six tangentes extérieures deux à deux sont alignés[1] - [3] - [4] - [5] - [6] - [7].
Une tangente extérieure à deux cercles de diamètres différents est une tangente commune aux deux cercles qui ne passe pas entre les deux figures. Chaque paire de cercles possède deux tangentes extérieures, qui ont un unique point d'intersection dans un plan projectif. Le théorème de Monge affirme que les trois points d'intersections des trois paires de tangentes extérieures d'un groupe de trois cercles se trouvent sur une même droite. Si deux cercles ont le même diamètre, leurs deux tangentes extérieures sont parallèles ; dans ce cas, le théorème de Monge affirme que les deux points d'intersections se trouvent sur une droite parallèle aux deux tangentes parallèles. En d'autres termes, si on considère que ces deux tangentes se rencontrent à un point à l'infini, alors les deux points d'intersection se trouvent sur une droite passant par ce même point à l'infini, de sorte que la droite qui les relie prenne le même angle que les deux premières tangentes extérieures.
Historique
Ce théorème a été énoncé par Jean le Rond D'Alembert puis démontré par Gaspard Monge.
Démonstrations
La démonstration la plus simple de ce théorème repose sur une analogie dans un espace tridimensionnel[7]. Supposons que les trois cercles correspondent à trois sphères ayant respectivement les mêmes rayons. Les cercles sont formés par les intersections des plans avec chaque sphère au niveau de leur centre. Les trois sphères peuvent être « prises en sandwich » entre deux plans seulement. Chaque paire de sphères possède deux tangentes extérieures qui permettent de décrire un cône, dont le sommet est le point d'intersection des deux tangentes, c'est-à-dire le centre d'homothétie (en) extérieur. Or, puisque les deux droites du cône se trouvent dans deux plans distincts, le sommet du cône se trouve dans les deux plans à la fois, c'est-à-dire à un point de la droite d'intersection des deux plans. Donc les centres d'homothétie des trois cônes sont alignés.
Le théorème de Monge peut aussi être démontré à l'aide du théorème de Desargues[8]. Une autre démonstration simple utilise le théorème de Ménélaüs, puisque les relations peuvent être calculées à l'aide des diamètres de chaque cercle, qui s'éliminent par formes cycliques lors de l'application du théorème de Ménélaüs.
Notes et références
- (en) Eric W. Weisstein, « Monge's Circle Theorem », sur MathWorld.
- Gilles Cohen (dir.), Bibliothèque Tangente : Le cercle. La perfection faite courbe., Éditions Pôle Paris, coll. « Bibliothèque tangente » (no 36), , 163 p. (ISBN 978-2-84884-105-2 et 2-84884-105-2, ISSN 2263-4908, présentation en ligne).
- (en) « Monge's Theorem of three circles and common tangents », sur Cut The Knot (consulté le ).
- « Les trois cercles de Monge », sur villemin.gerard.free.fr (consulté le ).
- (de) Theophil Lambacher et Wilhelm Schweizer (éd.), Mathematisches Unterrichtswerk für höhere Schulen : Geometrie. Ausgabe E. Teil 2, Stuttgart, Ernst Klett Verlag (de), , 13e éd., p. 152.
- (de) Johannes Kratz et Karl Wörle, Geometrie. II. Teil : Mit Trigonometrie, Munich, Bayerischer Schulbuchverlag, coll. « Mathematik für Gymnasien », , 4e éd., p. 66.
- (en) David Wells, The Penguin Dictionary of Curious and Interesting Geometry, New York, Penguin Books, , 285 p. (ISBN 0-14-011813-6), p. 153-154.
- (en) « Monge from Desargues », sur Cut The Knot (consulté le ).
Bibliographie
- (en) L. A. Graham, Ingenious Mathematical Problems and Methods, New York, Dover, , 237 p. (ISBN 0-486-20545-2, lire en ligne).
- (de) Hermann Athen et Jörn Bruhn (éd.), Lexikon der Schulmathematik und angrenzender Gebiete, vol. 2. F–K, Cologne, Aulis Verlag (de) Deubner & CO KG, (ISBN 3-7614-0242-2), pp. 404-405.