Some Geometric Properties of the Yff Points of a Triangle

Résumé Technique : Certaines Propriétés Géométriques des Points de Yff d'un Triangle

Énoncé du Problème
Les points de Yff ($Y_1$ et $Y_2$) d'un triangle, introduits par Peter Yff en 1963, sont définis par la concourance de ceviennes construites à partir de points sur les côtés du triangle tels que des segments spécifiques soient égaux à une racine réelle $u$ de l'équation cubique $x^3 = (a-x)(b-x)(c-x)$. Malgré leur définition, la littérature contient très peu de faits concernant ces points au-delà des découvertes originales de Yff, qui ont établi leur existence, leur statut de conjugués isotomiques, et l'orthogonalité de la droite reliant ces points à la droite reliant l'incentre ($X_1$) et l'centre circonscrit ($X_3$). L'article traite du manque de propriétés géométriques connues concernant les points de Yff dans des triangles de formes et de configurations spécifiques.

Méthodologie
Les auteurs emploient une approche de « mathématiques découvertes par ordinateur », utilisant le logiciel Mathematica pour générer et vérifier des conjectures géométriques. Le processus comprend deux phases distinctes :

1. Exploration Numérique : Les auteurs génèrent des triangles numériques aléatoires et des classes spécifiques de triangles (par exemple, rectangles, heptagonaux, en progression arithmétique). Ils vérifient numériquement des coïncidences géométriques (parallélisme, concourance, perpendicularité, égalité d'angles) impliquant les points de Yff et divers centres de triangles connus ($X_n$) pour $n, m \in [1, 30]$.
2. Vérification Symbolique : Une fois qu'une propriété est identifiée numériquement (valide à 10 décimales), les auteurs passent à un calcul symbolique exact. Ils utilisent les coordonnées barycentriques, les produits vectoriels pour les intersections de droites, et la théorie de l'élimination (spécifiquement les bases de Gröbner et la fonction Eliminate) pour prouver formellement les résultats. Cela implique de substituer la définition algébrique de $u$ (ou d'éliminer $u$ via l'équation cubique définissante) pour vérifier que les conditions géométriques sont identiquement vérifiées pour les classes de triangles spécifiques.

Contributions Clés et Résultats
L'article présente une série de théorèmes établissant de nouvelles propriétés géométriques des points de Yff à travers diverses classifications de triangles :

• Propriétés Générales : L'article reconfirme que $Y_1$ et $Y_2$ sont des conjugués isotomiques et que $Y_1Y_2 \perp X_1X_3$. Il pose la question ouverte de savoir si une preuve purement synthétique existe pour cette dernière.
• Triangles Rectangles :
  • Dans un triangle rectangle avec l'angle droit en $B$, les droites $AY_2$, $CY_1$ et $X_8X_{20}$ sont concourantes.
  • Dans un triangle rectangle avec $\angle B = 90^\circ$ et $\angle C = 30^\circ$, les droites $AY_1$, $BY_2$ et $X_8X_{21}$ sont concourantes.
  • Dans un triangle rectangle avec l'angle droit en $B$, la droite $BX_8$ est perpendiculaire à $Y_1Y_2$.
• Triangles à 60° : Dans un triangle où $\angle C = 60^\circ$, les droites $AY_1$, $BY_2$ et $X_3X_8$ sont concourantes.
• Triangles Heptagonaux : (Triangles avec des angles $\pi/7, 2\pi/7, 4\pi/7$)
  • Si $Y'_1$ est le reflet de $Y_1$ par rapport au côté $BC$, alors $X_1Y_2 \parallel Y'_1C$.
  • Des relations angulaires spécifiques sont établies, telles que $\angle CX_1Y_2 + \angle X_1CY_1 = \pi/7$ et $\angle CX_1Y_2 = \angle Y_1CX_3$.
  • Plusieurs autres égalités d'angles impliquant les centres $X_5, X_{21}, X_{28}$ sont notées, bien que les preuves soient omises en raison de la complexité computationnelle.
• Triangles Harmoniques : Un triangle est dit « harmonique » (un côté est la moyenne harmonique des deux autres) si et seulement si la droite $Y_1Y_2$ passe par un sommet, l'incentre ($X_2$), ou coupe un côté en son milieu. Dans ces cas, $Y_1Y_2$ coïncide avec une médiane.
• Triangles en Progression Arithmétique (PA) : Dans un triangle où les côtés sont en progression arithmétique ($2a = b+c$), la droite $AX_1$ est parallèle à $Y_1Y_2$.
• Triangles à Double Angle : Dans un triangle où $\angle A = 2\angle B$, les droites $BY_2$, $CX_2$ et le reflet de $AY_2$ par rapport à $BC$ sont concourantes.
• Triangles Isocèles : Le produit des aires des triangles formés par $Y$ et les côtés ($K_b K_c$) est égal au carré de la troisième aire ($K_a^2$) si et seulement si le triangle est isocèle avec $AB=AC$.
• Aire du Triangle Cevien : Les auteurs fournissent une preuve purement géométrique de la formule de Yff concernant l'aire du triangle cevien de $Y_1$ (et $Y_2$), montrant qu'elle est égale à $u^3 / (2R)$, où $R$ est le rayon du cercle circonscrit.
• Points Spéciaux : Le papier identifie le milieu de $Y_1Y_2$ et le centre de la conique passant par $A, B, C, Y_1, Y_2$ comme de nouveaux centres de triangles non répertoriés actuellement dans l'Encyclopedia of Triangle Centers (ETC).

Signification et Revendications
Les auteurs présentent modestement la contribution de l'article comme la découverte de « certaines propriétés géométriques » qui étaient auparavant inconnues. La signification réside dans l'extension du corpus limité de connaissances concernant les points de Yff, qui était resté largement statique depuis 1963. Le papier reconnaît explicitement que les découvertes initiales étaient numériques et que les preuves formelles reposent fortement sur des systèmes d'algèbre computationnelle, résultant en des calculs « énormes » qui manquent d'élégance synthétique intuitive. Par conséquent, l'article conclut en posant des questions ouvertes concernant l'existence de « preuves géométriques purement synthétiques » pour les théorèmes présentés, particulièrement pour les résultats des triangles rectangles et heptagonaux. Le travail sert de catalogue de propriétés vérifiées pour des classes de triangles spécifiques, invitant à de plus amples investigations théoriques sur la géométrie sous-jacente.