Théorème de Ceva
En mathématiques, le théorème de Ceva est un théorème de géométrie affine plane qui donne une condition nécessaire et suffisante pour que trois droites passant par les trois sommets d'un triangle soient parallèles ou concourantes. Il s'interprète naturellement en géométrie euclidienne et se généralise en géométrie projective.
Il doit son nom au mathématicien italien Giovanni Ceva qui, quelques années après le mathématicien espagnol José Zaragoza, en énonce et démontre une version dans le De lineis rectis se invicem secantibus statica constructio en 1678[1]. Cependant, il était déjà connu, à la fin du XIe siècle, de Yusuf Al-Mu'taman ibn Hűd, géomètre et roi de Saragosse. Celui-ci le démontre dans son Livre de perfection (Kitab al-Istikmal, en arabe: كتاب الإستكمال), renommé en son temps et dont le texte a été redécouvert en 1985[2],[3].
Le théorème en géométrie euclidienne
modifierCette section présente un cas particulier du théorème de Ceva, celui où les trois droites passant par chacun des sommets du triangle sont intérieures à celui-ci. L'énoncé se simplifie : ces trois droites ne peuvent être parallèles, et il suffit de parler de rapports de longueurs.
Énoncé avec des distances
modifierOn appellera dans la suite cévienne d'un triangle une droite passant par un sommet et rencontrant le segment opposé[4]. Ici, les points D, E et F sont bien sur les côtés.
On va donner une démonstration ne faisant intervenir que des notions de proportionnalité de longueurs et d'aires, des outils qui étaient déjà disponibles à l'époque d'Euclide.
Énoncé sous forme trigonométrique
modifierOn peut déduire du théorème de Ceva par la loi des sinus une version trigonométrique de celui-ci[5].
Le théorème en géométrie affine
modifierIl s'avère que le théorème de Ceva (la première version), est un énoncé de géométrie affine, c'est-à-dire qu'il n'est pas besoin de parler de longueur, d'orthogonalité, ou d'angle, même si bien sûr le théorème reste valide a fortiori dans ce contexte. Pour cela on doit abandonner les longueurs et donner un énoncé en termes de rapports de mesures algébriques. Une mesure algébrique est intuitivement, en géométrie euclidienne, une longueur avec un signe qui dépend d'une orientation arbitraire sur une droite donnée. Mais on peut définir de façon purement affine, sans parler ni de longueur, ni d'orientation, le rapport de mesures algébriques suivant pour trois points P, Q, R alignés, Q et R étant distincts de P, soit :
- .
Il s'agit du rapport de la seule homothétie de centre P qui transforme Q en R, ou encore de façon équivalente, du seul scalaire vérifiant :
L'énoncé qui suit du théorème est donc bien un énoncé de géométrie affine.
Énoncé du théorème de Ceva
modifierIl existe de nombreuses démonstrations de ce théorème en géométrie affine. Plutôt que d'adapter la démonstration précédente, ce qui demande d'introduire une notion d'aire algébrique[6], on peut utiliser le barycentre[7].
Théorème de Ceva et théorème de Ménélaüs
modifierLe théorème de Ceva entretient des rapports étroits avec le théorème de Ménélaüs qui donne une condition très analogue (le même produit doit égaler 1), pour que trois points sur les côtés (en tant que droites) d'un triangle soient alignés.
La configuration du théorème de Ménélaüs est en effet duale de celle du théorème de Ceva : la dualité fait correspondre point et droite et prend tout son sens en géométrie projective, le dual d'un triangle est un triangle dont on a échangé les sommets et les côtés. Les points duaux des céviennes (passant par les sommets) sont des points sur les côtés du triangle dual. La condition de concours des céviennes devient une condition d'alignement de ces points[8].
D'autre part on montre une partie du théorème de Ceva en utilisant deux fois le théorème de Ménélaüs. Il s'agit de l'une des implications de l'équivalence du théorème, lorsqu'on suppose les trois droites concourantes[9].
Enfin on passe du théorème de Ceva au théorème de Menelaüs par une division harmonique. Dans le triangle ABC, les points D, E et F sont sur les côtés respectivement (BC), (AC) et (AB), tels que les droites (AD), (CF) et (BE) soient concourantes et la droite (FE) ne soit pas parallèle au côté (BC), le point D’ est alors l'intersection de ces deux droites, c'est-à-dire que D’ est sur (BC) et D’, F et E sont alignés ; alors les quatre points [D’,D,B,C] sont en division harmonique :
(AD) est la polaire de D' par rapport à (AB) et (AC).
On passe, par un simple produit ou quotient, de deux de ces résultats au troisième (voir l'article division harmonique pour la définition de la polaire et une démonstration de la propriété utilisée, c'est celle qui permet de construire la polaire, utilisant les faisceaux harmoniques). Une autre façon de mettre en évidence cette propriété est de remarquer que les quatre droites (AB), (BE), (CF) et (CA) sont les côtés d'un quadrilatère complet de sommets A, F, M, E, B et C : la diagonale [BC] est donc divisée par les deux diagonales (EF) et (AM) suivant une division harmonique.
Le théorème en géométrie projective
modifierDans le plan projectif, toutes les droites sont sécantes. On peut construire le plan projectif en ajoutant une droite, dite droite à l'infini, au plan affine. Les droites du plan affine d'une même direction sont sécantes en un même point (dit parfois point impropre) sur cette droite à l'infini. Il devient inutile de distinguer deux cas dans l'énoncé du théorème. Par contre les rapports de mesures algébriques ne sont pas des notions projectives. On peut parler de birapport : dans la construction du plan projectif comme complété du plan affine, le birapport [A, B, C, D] égale le rapport de la mesure algébrique de [CA] sur celle de [CB] quand D est à l'infini. On peut aussi donner une version du théorème en coordonnées homogènes, qui sont l'extension des coordonnées barycentriques au plan projectif.
Exemples d'applications
modifierLe théorème de Ceva permet de démontrer de nombreuses propriétés de droites concourantes.
- On peut l'appliquer à un cas simple comme le point d'intersection des médianes. Dans ce cas, D est le milieu de [BC] et donc BD = DC. De même pour les autres points. Tous les rapports intervenant dans le théorème valent 1, et donc leur produit aussi, ce qui prouve que les médianes d'un triangle sont concourantes.
- Les conjugués isogonaux et isotomiques sont deux autres exemples d'application du théorème de Ceva.
- Les droites reliant les sommets d'un triangle aux points de contact du cercle inscrit sont concourantes au point de Gergonne de ce triangle.
- Les droites reliant chaque sommet d'un triangle au point de contact d'un cercle exinscrit avec le côté opposé à ce sommet sont concourantes au point de Nagel de ce triangle.
- En conjuguant le théorème de Ceva avec le théorème de Carnot, on obtient que les pieds de trois céviennes concourantes sont les points de contact d'une conique inscrite.
- Le théorème de Ceva a permis de démontrer le théorème des sept cercles[10],[11],[12].
Notes et références
modifier- voir les références de l'article Giovanni Ceva (voir Giovanni Ceva, De lineis rectis se invicem secantibus statica constructio)
- (en) Jan Hogendijk, « Al-Mutaman ibn Hűd, 11the century king of Saragossa and brilliant mathematician », dans Historia Mathematica, vol. 22, 1995, p. 1-18
- (en) J. P. Hogendijk, « Discovery of an 11th-century geometrical compilation: The Istikmal of Yusuf al-Mu'taman ibn Hud, King of Saragossa », dans Historia Mathematica, vol. 13, 1986, p. 43-52
- Cette définition n'est pas universelle, il s'agit dans certains ouvrages d'un segment, et, dans d'autres une cévienne rencontre plus généralement la droite portant le côté opposé, voir par exemple Coxeter et Greitzer, premier chapitre et glossaire.
- Si, au lieu de prendre des angles géométriques, on prend des angles orientés, il faut remplacer la valeur 1 du second membre par la valeur -1. De plus, la formule avec les angles orientés est alors valide y compris si le point de concours M des céviennes est extérieur au triangle ABC.
- Rapportée à l'aire d'un triangle donné, on utilise le déterminant, voir par exemple (en) H. S. M. Coxeter, Introduction to Geometry [détail des éditions], chapitre sur la géométrie affine.
- Voir par exemple la question 4 de l'exercice corrigé correspondant sur Wikiversité : lien ci-dessous en annexe. On observe une parenté formelle entre cette démonstration et celle par les aires : M est barycentre des points A, B et C en prenant pour coefficients les aires des trois triangles MAB, MBC et MCA de la première démonstration.
- Michel Coste, « Dualité projective, théorèmes de Menelaüs et de Ceva », sur Université de Rennes I
- Voir par exemple la question 2 de l'exercice corrigé correspondant sur Wikiversité : lien ci-dessous en annexe.
- (en) Stanley Rabinowitz, « The seven circles theorem », Pi Mu Epsilon Journal, no 8, , p. 441-449 (lire en ligne)
- Daniel Barthes, « Le théorème des 7 cercles d'Evelyn, Money-Coutts et Tyrrell », Hors série Tangente, no 36, , p. 36-38
- Daniel Barthes, « Le théorème des 7 cercles d'Evelyn, Money-Coutts et Tyrrell », Bibliothèque Tangente, no 36, , p. 72-76
Annexes
modifierBibliographie
modifier- (en) H. S. M. Coxeter et S. L. Greitzer, Geometry Revisited, MAA (1967), traduction française Redécouvrons la géométrie, Dunod, Paris (1971).
- Jean Fresnel, Méthodes modernes en géométrie, Paris, Hermann, , 408 p. (ISBN 2-7056-1437-0).
- Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009 (ISBN 978-2-916352-08-4)
- Bruno Ingrao, Coniques affines, euclidiennes et projectives, Calvage & Mounet, 2011 (ISBN 978-2-916352-12-1)
- Yves Ladegaillerie, Géométrie : affine, projective, euclidienne et anallagmatique, Paris, Ellipses, , 515 p. (ISBN 2-7298-1416-7).
- Michel Chasles Aperçu historique sur l'origine et le développement des méthodes en géométrie, particulièrement de celles qui se rapportent à la géométrie moderne Bruxelles Hayez (1837), en particulier la note VII p 294 sur le de linea rectis .. de Ceva, accessible par google books.
Articles connexes
modifier- Cévienne
- Triangle cévien
- Symédiane
- Théorème de Routh, dont celui de Ceva peut être vu comme un cas particulier
- Théorème de van Aubel