En géométrie, les droites centrales sont des droites particulières liées à un triangle plan. Ces droites sont directement liées à l'un des centres du triangle, qui sert de base pour exprimer l'équation de la droite en coordonnées trilinéaires. Le concept de droite centrale a été introduit par Clark Kimberling dans un article de 1994[1],[2].
Soit ABC un triangle du plan et (x : y : z) les coordonnées trilinéaires d'un point arbitraire du plan de ce triangle.
Une droite dans le plan du triangle ABC dont l'équation en coordonnées trilinéaires est de la forme
où le point de coordonnées trilinéaires (f (a, b, c) : g (a, b, c) : h (a, b, c)) est un centre du triangle, est une droite centrale dans le plan du triangle ABC relativement au triangle ABC[2],[3],[4].
La relation géométrique entre une droite centrale et son centre du triangle associé peut être exprimée avec les concepts de polaires trilinéaires et les conjugués isogonaux.
Soit X = (u (a, b, c) : v (a, b, c) : w (a, b, c)) un centre du triangle. La droite dont l'équation est
est la polaire trilinéaire de X[2],[5]. De plus, le point Y = (1 / u (a, b, c) : 1 / v (a, b, c) : 1 / w (a, b, c)) est le conjugué isogonal de X.
Ainsi, la droite centrale donnée par l'équation
est la polaire trilinéaire du conjugué isogonal du centre du triangle défini par les coordonnées trilinéaires (f (a, b, c) : g (a, b, c) : h (a, b, c) ).
Soit X un centre du triangle ABC. On trace les droites AX, BX et CX, ainsi que leurs images respectives par symétrie avec les bissectrices internes en A, B, C. Les droites images sont concourantes en Y, qui est par définition le conjugué isogonal de X.
Les céviennes AY, BY et CY croisent les côtés opposés en A', B', C' respectivement. Le triangle A'B'C' est donc le triangle cévien de Y. Le triangle ABC et le triangle cévien A'B'C' sont homologiques ; soit DEF l'axe de l'homologie entre les deux triangles. La droite DEF est la polaire trilinéaire du point Y, et la droite centrale associée au centre du triangle X.
Pour le centre Xn de l'Encyclopedia of Triangle Centers de Clark Kimberling, on note Ln la droite centrale qui lui est associée. Certains droites centrales sont en effet connues et ont été étudiées.
La droite centrale associée au centre du cercle inscrit X1 = ( 1 : 1 : 1 ) (aussi noté I) a pour équation trilinéaire
Cette droite est l'axe anti-orthique du triangle ABC[6].
Le centre du cercle inscrit est son propre conjugué isogonal. Donc l'axe anti-orthique, qui est la droite centrale associée à X1, est l'axe de l'homologie entre le triangle ABC et le triangle cévien du centre du cercle inscrit au triangle ABC.
L'axe anti-orthique du triangle ABC est aussi l'axe de l'homologie entre le triangle ABC et son triangle de Bevan, formé par les bissectrices extérieures et de sommets les centres des cercles exinscrits I1I2I3[6].
Le triangle dont les côtés sont tangents extérieurement aux cercles exinscrits du triangle ABC est le triangle extangent du triangle ABC. Un triangle ABC et son triangle extangent sont homologiques, d'axe l'axe anti-orthique du triangle ABC.
Les coordonnées trilinéaires du centre de gravité X2 (aussi noté G) du triangle ABC sont (1/a : 1/b : 1/c). Donc la droite centrale associée au centre de gravité est la droite d'équation trilinéaire est
Cette droite est la droite de Lemoine, ou axe de Lemoine du triangle ABC.
Le conjugué isogonal du centre de gravité X2 est le point de Lemoine X6 (aussi noté K) de coordonnées trilinéaires (a : b : c). Donc la droite de Lemoine de triangle ABC est la polaire triliénaire du point de Lemoine du triangle ABC.
Le triangle tangentiel du triangle ABC est le triangle TATBTC formé par les tangentes au cercle circonscrit du triangle ABC en ses sommets. Le triangle ABC et son triangle tangentiel sont homologiques et l'axe de l'homologie est la droite de Lemoine du triangle ABC.
Les coordonnées trilinéaires du centre du cercle circonscrit X3 (aussi noté O) d'un triangle ABC sont (cos A : cos B : cos C). Donc la droite centrale associée au centre du cercle circonscrit est la droite de coordonnées trilinéaires est
Cette droite est l'axe orthique du triangle ABC[7].
Le conjugué isogonal du centre du cercle circonscrit X6 est l'orthocentre X4 (aussi noté H) de coordonnées (sec A : sec B : sec C). Donc l'axe orthique du triangle ABC est la polaire trilinéaire de l'orthocentre du triangle ABC. L'axe orthique du triangle ABC est l'axe de l'homologie entre le triangle ABC et son triangle orthiqueHAHBHC.
Les coordonnées trilinéaires de l'orthocentre X4 (noté souvent H) d'un triangle ABC sont (sec A : sec B : sec C). Donc la droite centrale associée à l'orthocentre est la droite d'équation trilinéaire
Le conjugué isogonal de l'orthocentre d'un triangle est le centre du cercle circonscrit au même triangle. Donc la droite centrale associée à l'orthocentre est la polaire trilinéaire du centre du cercle circonscrit.
Les coordonnées trilinéaires du centre du cercle d'Euler X5 (aussi noté N) d'un triangle ABC sont (cos (B−C) : cos (C−A) : cos (A−B))[8]. Ainsi, la droite centrale associée à ce centre est la droite d'équation trilinéaire
Le conjugué isogonal du centre du cercle d'Euler d'un triangle ABC est le point de Kosnita X54 d'un triangle ABC[9],[10]. Donc la droite centrale associée au centre du cercle d'Euler est la polaire trilinéaire du point de Kosnita. Ce point se construit ainsi :
Ce nom a été donné par John Rigby[11].
Cette droite est également l'axe d'homologie entre le triangle ABC et le triangle formé par les symétriques des sommets de ABC par rapport à leurs côtés respectifs[12].
Les coordonnées trilinéaires du point de Lemoine X6 (aussi noté K) du triangle ABC sont (a : b : c). Donc la droite centrale associée à ce centre est la droite d'équation trilinéaire
Cette droite est à l'infini dans le plan du triangle ABC. En effet, le conjugué isogonal du point de Lemoine d'un triangle ABC est le centre de gravité du triangle ABC. Ainsi l'axe central associé au point de Lemoine est la polaire trilinéaire du centre de gravité. C'est donc l'axe de l'homologie entre le triangle ABC et son triangle médian. Or, ici, les deux côtés homologiques sont parallèles, donc cet axe de l'homologie est à l'infini.
La droite d'Euler d'un triangle ABC est la droite passant par le centre de gravité, le centre du cercle circonscrit, l'orthocentre et le centre du cercle d'Euler de ce triangle. Son équation trilinéaire est
Le centre associé à cette droite est le centre X647, qui est le centre radical du cercle circonscrit, du cercle d'Euler et du cercle de Brocard du triangle ABC.
La droite de Nagel d'un triangle ABC est la droite passant par le centre de gravité, le centre du cercle inscrit, le centre de Spieker et le point de Nagel de ce triangle. Son équation trilinéaire est
Le centre associé à cette droite est le centre X649, qui est aussi l'intersection de l'axe anti-orthique et de l'axe de Lemoine.
L'axe de Brocard d'un triangle ABC est la droite passant par le centre du cercle circonscrit et le point de Lemoine de ce triangle. Son équation trilinéaire est
Le centre associé à cette droite est le centre X523, qui est aussi le conjugué isgonal du foyer de la parabole de Kiepert du triangle ABC.
La droite de Gergonne d'un triangle ABC est l'axe de l'homologie entre le triangle et son triangle de contact (les points de tangence entre les côtés de triangle et son cercle inscrit). Son équation trilinéaire est
où p désigne le demi-périmètre du triangle. Le centre associé à cette droite est le centre X55, qui est aussi le centre d'homothétie interne entre le cercle circonscrit et le cercle inscrit du triangle de référence (ce centre existe, même si on est ici dans un cas dégénéré où le cercle inscrit est à l'intérieur du cercle circonscrit.