Cercles inscrit et exinscrits d'un triangle
Étant donnés trois points non alignés A, B et C du plan, il existe quatre cercles tangents aux trois droites (AB), (AC) et (BC). Ce sont le cercle inscrit (celui qui est intérieur au triangle) et les cercles exinscrits du triangle ABC.
Bissectrices
[modifier | modifier le code]Un cercle tangent aux trois droites (AB), (BC), (CA) doit posséder un centre équidistant de ces trois droites. Or l'ensemble des points équidistants de deux droites sécantes (d1) et (d2) forme deux droites perpendiculaires, constituées des quatre demi-droites bissectrices chacune d'un des quatre secteurs angulaires construits par les droites (d1) et (d2), et appelées bissectrices des droites (d1) et (d2).
Si on considère les trois côtés du triangle en tant que droites, on dispose en tout de six bissectrices, deux pour chaque couple de droites. Par chacun des sommets du triangle, passe une bissectrice intérieure (qui rencontre le côté opposé du triangle) et une bissectrice extérieure.
Si une bissectrice issue de A rencontre une bissectrice issue de B alors le point d'intersection, étant équidistant de (AB) et (AC) et équidistant de (BA) et (BC), est à égale distance de (CA) et (CB) et appartient donc à l'une (et une seule) des bissectrices issues de C. Il y a donc quatre points de concours possibles.
Cas du cercle inscrit. Les bissectrices intérieures issues de A et B se coupent à l'intérieur des secteurs angulaires (BAC) et (ABC), c'est-à-dire dans le triangle ABC. Le point d'intersection est donc sur la bissectrice intérieure issue de C et plus exactement sur la demi-droite bissectrice du secteur angulaire (ACB). Le point d'intersection est alors le centre d'un cercle tangent aux trois côtés du triangle. C'est le cercle inscrit.
Cas des cercles exinscrits. Les bissectrices extérieures issues de A et de B se coupent dans le secteur angulaire (ACB) et rencontrent donc, eux aussi, la demi-droite bissectrice de l'angle (ACB). Le point d'intersection est alors le centre d'un cercle tangent au segment [AB] et aux demi-droites d'origines A et B, de supports (AC) et (BC) et ne contenant pas C. C'est un cercle exinscrit au triangle. Un raisonnement analogue peut être fait pour les deux autres couples de bissectrices extérieures.
Le cercle inscrit et les trois cercles exinscrits sont parfois appelés les quatre cercles tritangents du triangle[1].
Notations
[modifier | modifier le code]Dans cet article, a désigne la longueur du côté [BC], b la longueur du côté [AC] et c la longueur du côté [AB]. Enfin O désigne le centre du cercle inscrit et OA, OB et OC les trois centres des cercles exinscrits compris dans les secteurs angulaires issus respectivement de A, B, C.
Cercle inscrit
[modifier | modifier le code]Il existe un et un seul cercle intérieur au triangle et tangent à la fois à ses trois côtés. Ce cercle est appelé « cercle inscrit » dans le triangle. C'est le plus grand cercle que peut contenir ce triangle.
Centre
[modifier | modifier le code]Son centre est le point d'intersection des bissectrices ; par définition, ses coordonnées trilinéaires par rapport aux sommets sont donc 1 : 1 : 1 et c'est le barycentre du système . C'est le premier centre X(1) répertorié dans l'ETC.
Les distances du centre du cercle inscrit aux sommets sont données par ou et les formules permutées.
La relation d'Euler donne la distance d du centre du cercle inscrit au centre du cercle circonscrit : d2 = R2 - 2Rr (avec R rayon du cercle circonscrit, r celui du cercle inscrit) .
Rayon
[modifier | modifier le code]Le rayon du cercle inscrit est égal, d'après la preuve illustrée ci-contre, à
où S désigne l'aire du triangle et p = a + b + c2 son demi-périmètre.
Donc où sont les trois hauteurs du triangle : le rayon du cercle inscrit est le tiers de leur moyenne harmonique.
Compte-tenu de la formule de Héron, on obtient :
étant les points de contact du cercle inscrit avec les côtés , les distances des points de contact aux sommet, appelées "distances de contact", sont .
Comme a = y+z, b = z+x, c = x+y , on obtient :
d'où :
D'autre part, si l'on se souvient que , où désigne le rayon du cercle circonscrit au même triangle,
on a :
Dans le cas du triangle rectangle d'hypoténuse de longueur , l'expression du rayon se simplifie en .
Point de Gergonne
[modifier | modifier le code]D'après le théorème de Ceva, les trois céviennes joignant les sommets aux points de contact, sont concourantes. En effet, le produit des rapports est égal à 1.
Leur point de concours est appelé le point de Gergonne du triangle et le triangle TATBTC, le triangle de contact (ou triangle de Gergonne) du triangle ABC.
Ses coordonnées barycentriques dans ABC sont .
il est répertorié X(7) dans l'ETC.
De plus, Si T'A est le point d'intersection des droites (TBTC) et (BC) , les points T'A, B, TA et C sont en division harmonique.
Propriétés du triangle de contact
[modifier | modifier le code]- L'angle à l'un des sommets du triangle de Gergonne est égal à l'angle entre les deux bissectrices issues des sommets du triangle initial formant le côté où se trouve le sommet du triangle de Gergonne.
- Les points d'intersection des bissectrices avec les côtés du triangle de contact permettent de construire trois droites orthogonales aux bissectrices[2].
- Un triangle et son triangle de contact sont homologiques, de centre le conjugué isogonal du point de Gergonne pour le triangle de référence (nombre de Kimberling X55) et d'axe une droite appelée droite de Gergonne du triangle de référence. Les points d'intersection de l'homologie sont les points de Nobbs, qui sont donc par définition sur la droite de Gergonne, de même de que les points de Fletcher et d'Evans du triangle de référence[3].
Cercle inscrit dans le triangle médian
[modifier | modifier le code]Le centre du cercle inscrit dans le triangle médian IJK (I milieu de [BC], etc.), appelé point de Spieker, est le centre de gravité (ou d'inertie) de la ligne polygonale homogène formée par les côtés du triangle.
C'est en effet le barycentre du système ; ses coordonnées barycentriques dans le triangle de départ sont donc ; il est répertorié X(10) dans l'ETC.
Cercles exinscrits
[modifier | modifier le code]Il y a trois cercles exinscrits : chacun est tangent à un unique côté du triangle (considéré comme un segment). On note CA le cercle exinscrit touchant le côté [CB], CB le cercle exinscrit touchant le côté [AC] et CC le cercle exinscrit touchant le côté [AB].
Les rayons des cercles exinscrits sont respectivement (démonstration ci-contre) : donc
et .
De plus, le rayon du cercle circonscrit est donné par [4].
On peut noter les relations : [5], où est la hauteur issue de .
Leurs centres sont barycentres du système pour le premier, pour le second et pour le troisième.
Le terme "exinscrit" a été introduit par Simon Antoine Jean L'Huillier[6].
Le triangle formé par les centres des trois cercles exinscrits est également appelé triangle exinscrit, ou aussi triangle excentral ou triangle de Bevan.
Point de Nagel
[modifier | modifier le code]Notons UA le point de contact de CA avec [CB], UB le point de contact de CB avec [AC] et UC le point de contact de CC avec [AB].
Alors les droites (AUA), (BUB) et (CUC) sont concourantes : leur point d'intersection Na s'appelle le point de Nagel du triangle. On appelle le triangle UAUBUC le triangle de Nagel du triangle ABC.
Le point de Nagel Na, le centre du cercle inscrit I et le centre de gravité G sont alignés sur la droite de Nagel et liés par la relation INa = 3 IG. Le point de Spieker est aussi sur cette droite, c'est le centre du cercle inscrit dans le triangle médian.
Il est possible de construire en quelques secondes le point de Nagel d'un triangle en s'inspirant d'une construction qui aboutit au cercle de Conway[7].
Point de Bevan
[modifier | modifier le code]Les droites (OAUA), (OBUB) et (OCUC) sont également concourantes : leur point d'intersection Be s'appelle le point de Bevan du triangle ABC (portant le nom de Benjamin Bevan) et le triangle OAOBOC s'appelle le triangle de Bevan de ABC.
Le point de Bevan est le symétrique du centre du cercle inscrit dans ABC, par rapport au centre du cercle circonscrit à ABC. Le point de Bevan et ces deux centres sont donc alignés.
Le point de Bevan est le centre du cercle circonscrit au triangle de Bevan.
Le triangle de Bevan et le triangle de Gergonne sont homothétiques.
Point d'Apollonius
[modifier | modifier le code]Il existe un unique cercle tangent simultanément aux trois cercles exinscrits et qui les contienne (voir Problème des contacts) ; c'est le cercle d'Apollonius du triangle. Si l'on note VA, VB et VC les trois points de tangence alors les droites (AVA), (BVB) et (CVC) sont concourantes : leur point d'intersection Ap s'appelle le point d'Apollonius du triangle.
Mittenpunkt
[modifier | modifier le code]On appelle mittenpunkt du triangle ABC le point de concours des droites reliant les centres OA, OB, OC des trois cercles exinscrits aux milieux respectifs des côtés du triangle.
Le mittenpunkt Mi est situé sur la droite reliant le centre de gravité G au point de Gergonne Ge avec la relation MiGe= 3MiG.
Le mittenpunkt Mi est situé sur la droite reliant le centre du cercle inscrit au point de Lemoine .
Le mittenpunkt est également le point de Lemoine du triangle de Bevan OAOBOC, triangle formé par les bissectrices extérieures, de sommets les centres des trois cercles exinscrits.
Il est le centre de l'ellipse de Mandart du triangle (l'ellipse inscrite dans le triangle et tangente aux points de contact des cercles exinscrits UA, UB, UC).
Points de Feuerbach
[modifier | modifier le code]Les trois cercles exinscrits et le cercle inscrit sont tangents au cercle d'Euler du triangle ABC. Les points de contact Fe, Fe
A, Fe
B, Fe
C de ces cercles s'appellent les points de Feuerbach du triangle. Ce résultat constitue le théorème de Feuerbach.
Les trois points de tangence des cercles exinscrits forment le triangle de Feuerbach Fe
AFe
BFe
C du triangle ABC.
Soit S le point de concours des droites (AFe
A), (BFe
B), (CFe
C). Alors le point S, le centre du cercle inscrit, le centre du cercle d'Euler et le point de Feuerbach Fe sont alignés et en division harmonique.
Le cercle passant par les pieds des bissectrices intérieures du triangle ABC passe aussi par le point de Feuerbach Fe.
Le point de Feuerbach Fe est le centre de symétrie d'une hyperbole équilatère (dite hyperbole de Feuerbach) passant en particulier par :
- les trois sommets du triangle ;
- l'orthocentre ;
- le centre du cercle inscrit ;
- le point de Gergonne ;
- le point de Nagel ;
- le mittenpunkt.
Le point de Feuerbach est un des seuls centres du triangle sur l'ellipse de Mandart (ellipse tangente aux côtés du triangle aux points de contact des cercles exinscrits et ayant pour centre le mittenpunkt).
Notes et références
[modifier | modifier le code]- H.S.M. Coxeter et S.L. Greitzer, Redécouvrons la géométrie, Paris, Dunod, , 214 p., p. 14
- Démonstration sur tube.geogebra.org.
- (en) Eric W. Weisstein, « Gergonne Line », sur MathWorld
- David wells, Le dictionnaire Penguin des curiosités géométriques, Eyrolles, , p. 34
- Loïc Terrier, « Autre démonstration du théorème des co-hauteurs »
- Joseph Diez Gergonne, Annales de mathématiques pures et appliquées (lire en ligne) p. 139.
- Xavier Dussau, « Elementary construction of the Nagel point », sur HAL.
- Yvonne et René Sortais, La géométrie du triangle, Hermann, (ISBN 978-2-7056-1429-4).
- Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, (ISBN 978-2-91-635208-4).
Voir aussi
[modifier | modifier le code]Articles connexes
[modifier | modifier le code]- Cercle circonscrit au triangle
- Nombre de Kimberling
- Triplet pythagoricien ; le triangle associé possède des cercles inscrits et exinscrits très simples
- Carré inscrit dans un triangle
Liens externes
[modifier | modifier le code]- (en) A. Bogomolny, « Incircles and Excircles in a Triangle », sur Cut The Knot
- (en) Eric W. Weisstein, « Incircle », sur MathWorld
- (en) Eric W. Weisstein, « Excircles », sur MathWorld
- (en) Eric W. Weisstein, « Nagel Point », sur MathWorld
- (en) Eric W. Weisstein, « Gergonne Point », sur MathWorld
- (en) Eric W. Weisstein, « Bevan Point », sur MathWorld
- (en) Eric W. Weisstein, « Mittenpunkt », sur MathWorld