![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/35/Conway_circle.svg/260px-Conway_circle.svg.png)
Le cercle de Conway d'un triangle est le cercle passant par les extrémités des segments obtenus en prolongeant chaque côté du triangle, à partir de chaque sommet, d'une longueur égale à la longueur du côté opposé à ce sommet (voir figure).
Démontrer que les six extrémités sont bien cocycliques ne nécessite que des outils de mathématiques élémentaires.
Ce cercle est nommé ainsi en hommage au mathématicien John Horton Conway que l'on voit arborer un T-shirt illustrant cette propriété[1].
Démonstrations
[modifier | modifier le code]Existence du cercle de Conway
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a2/Conway_circle_dem.svg/260px-Conway_circle_dem.svg.png)
De nombreuses démonstrations sont possibles[2], celle présentée ici ne fait intervenir que des notions de collège.
Dans la figure ci-contre, les côtés du triangle ABC ont été prolongés de telle sorte que
- AM=AN=BC ;
- BP=BQ=AC ;
- CR=CS=AB.
- Par construction, AM=AN. Donc le triangle AMN est isocèle. Donc la bissectrice intérieure de l’angle A est une médiatrice du triangle AMN. Comme bissectrice du triangle ABC, elle passe par ω, le centre de son cercle inscrit. Comme médiatrice du triangle AMN, ses points sont équidistants de M et N, donc : ωM=ωN.
- CN=CA+AN=BP+CB=CP. Donc le triangle CNP est isocèle, ce qui permet de conclure de la même façon ωN=ωP.
- De proche en proche, en considérant les triangles BPQ, AQR et CRS, également isocèles, on trouve : ωP=ωQ, ωQ=ωR et ωR=ωS. Finalement les six longueurs ωM, ωN, ωP, ωQ, ωR et ωS sont égales, ce qui permet de conclure que les six points M, N, P, Q, R, S sont cocycliques ; c’est le cercle qu’ils forment qu’on désigne sous le nom de cercle de Conway du triangle ABC.
Centre du cercle de Conway
[modifier | modifier le code]L’égalité, établie à la section précédente, entre les six longueurs ωM, ωN, ωP, ωQ, ωR et ωS, montre que le centre du cercle de Conway est le point ω. Autrement dit : le centre du cercle de Conway d’un triangle est le centre de son cercle inscrit.
Rayon du cercle de Conway
[modifier | modifier le code]Le rayon R du cercle de Conway se détermine, à l'aide du rayon r du cercle inscrit et du demi-périmètre p du triangle : remarquant que la corde [PS] a pour longueur PB+BC+CS = AC+BC+AB = 2p et se situe à une distance r de ω, l’application du théorème de Pythagore conduit à la formule simple[3] :
Exprimé en fonction des côtés du triangle ABC, le rayon R de son cercle de Conway est donné par la formule[4] :
Dans le cas particulier d’un triangle équilatéral de côtés le rayon de son cercle de Conway est donné par
Lien avec la notion de cercle de Taylor
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b4/Conway-Taylor-circle.svg/330px-Conway-Taylor-circle.svg.png)
Le théorème suivant relie la notion de cercle de Conway à celle de cercle de Taylor[5] :
Théorème — Le cercle de Taylor d'un triangle acutangle est le cercle de Conway du triangle médian de son triangle orthique.
Notations (voir figure ci-contre) : A1, B1 et C1 sont les pieds des hauteurs du triangle ABC (A1B1C1 est le triangle orthique de ABC) ; R et N sont les projetés orthogonaux de B1 sur BC et AB (donc, par définition, N et R sont sur le cercle de Taylor, et de manière analogue M et Q, et P et S) ; A'B'C' est le triangle médian du triangle A1B1C1 ; B2 et B3 sont les symétriques de B1 par rapport à AB et BC ;
On rappelle que les hauteurs d’un triangle sont les bissectrices de son triangle orthique.
Construction de Conway dans l'autre sens
[modifier | modifier le code]On considère un triangle scalène (les trois côtés ont des longueurs deux à deux distinctes). Si à partir de chaque sommet, on reporte la longueur du côté opposé dans l'autre sens, on obtient six points distincts. Il s'avère que ces points déterminent trois droites concourantes dont le point d'intersection est le point de Nagel du triangle[6] (Voir figure ci-dessous).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Easynagel.gif/480px-Easynagel.gif)
En reportant des longueurs multipliées par des coefficients, on obtient une généralisation étudiée par Davis Pouvreau dans son papier « Par-delà le théorème de cocyclicité de Conway : généralisation et alternative »[7].
Notes et références
[modifier | modifier le code]- (en) Tanya Khovanova (en), « Conway's Circle », sur Tanya Khovanova's Math Blog.
- Voir par exemple (en) Tanya Khovanova (en), « Conway's Circle », sur Tanya Khovanova's Math Blog ou (en) Stefan Dominte et Tudor-Dimitrie Popescu, « Concyclicities in Tucker-like configurations »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?), sur AwesomeMath.
- (en) Darij Grinberg et Eric W. Weisstein, « Conway circle », sur MathWorld
- On peut développer le calcul à partir de la formule donnant le rayon du cercle inscrit :
- d’où :
- Voir par exemple :
- Yvonne et René Sortais, La géométrie du triangle, exercices résolus, collection « Formation des enseignants et formation continue, Actualités scientifiques et industrielles 1429, Hermann, 1987, p. 36-41.
- Yves Ladegaillerie, Géométrie affine, projective, euclidienne et anallagmatique, Éditions ellipses, 2003, (ISBN 2-7298-1416-7), p. 243-244 et 333.
- (en) Xavier Dussau, « Elementary construction of the Nagel point », HAL, (lire en ligne)
- Davis Pouvreau, « Par-delà le théorème de cocyclicité de Conway : généralisation et alternative », Quadrature, no 119, , p. 10-22 (lire en ligne)
Lien externe
[modifier | modifier le code]- (en) Darij Grinberg et Eric W. Weisstein, « Conway circle », sur MathWorld
- Colin Beveridge: Conway’s Circle, a proof without words. The Aperiodical, 07 mai 2020
- Colin Beveridge, Elizabeth A. Williams: Conway’s Circle Theorem: a proof, this time with words. The Aperiodical, 11 juin 2020 (vidéo, 9:12 min.)