Some Geometric Properties of the Yff Points of a Triangle

Resumen Técnico: Algunas Propiedades Geométricas de los Puntos de Yff de un Triángulo

Planteamiento del Problema
Los puntos de Yff ($Y_1$ y $Y_2$) de un triángulo, introducidos por Peter Yff en 1963, se definen por la concurrencia de cevianas construidas a partir de puntos en los lados del triángulo tales que segmentos específicos sean iguales a una raíz real $u$ de la ecuación cúbica $x^3 = (a-x)(b-x)(c-x)$. A pesar de su definición, la literatura contiene muy pocos hechos sobre estos puntos más allá de los hallazgos originales de Yff, los cuales establecieron su existencia, su estatus como conjugados isotómicos y la ortogonalidad de la línea que los conecta con la línea que conecta el incentro ($X_1$) y el circuncentro ($X_3$). El artículo aborda la falta de propiedades geométricas conocidas respecto a los puntos de Yff en triángulos de formas y configuraciones específicas.

Metodología
Los autores emplean un enfoque de "matemáticas descubiertas por computadora", utilizando el software Mathematica para generar y verificar conjeturas geométricas. El proceso consta de dos fases distintas:

1. Exploración Numérica: Los autores generan triángulos numéricos aleatorios y clases específicas de triángulos (por ejemplo, rectángulos, heptagonales, de progresión aritmética) y verifican numéricamente coincidencias geométricas (paralelismo, concurrencia, perpendicularidad, igualdad de ángulos) involucrando a los puntos de Yff y varios centros de triángulos conocidos ($X_n$) para $n, m \in [1, 30]$.
2. Verificación Simbólica: Una vez identificada una propiedad numéricamente (válida hasta 10 decimales), los autores cambian a la computación simbólica exacta. Utilizan coordenadas baricéntricas, productos vectoriales para intersecciones de líneas y teoría de la eliminación (específicamente bases de Gröbner y la función Eliminate) para probar formalmente los resultados. Esto implica sustituir la definición algebraica de $u$ (o eliminar $u$ mediante la ecuación cúbica definitoria) para verificar que las condiciones geométricas se cumplen identicamente para las clases específicas de triángulos.

Contribuciones Clave y Resultados
El artículo presenta una serie de teoremas que establecen nuevas propiedades geométricas de los puntos de Yff a través de diversas clasificaciones de triángulos:

• Propiedades Generales: El artículo reconfirma que $Y_1$ y $Y_2$ son conjugados isotómicos y que $Y_1Y_2 \perp X_1X_3$. Plantea la pregunta abierta de si existe una prueba puramente sintética para esto último.
• Triángulos Rectángulos:
  • En un triángulo rectángulo con el ángulo recto en $B$, las líneas $AY_2$, $CY_1$ y $X_8X_{20}$ son concurrentes.
  • En un triángulo rectángulo con $\angle B = 90^\circ$ y $\angle C = 30^\circ$, las líneas $AY_1$, $BY_2$ y $X_8X_{21}$ son concurrentes.
  • En un triángulo rectángulo con el ángulo recto en $B$, la línea $BX_8$ es perpendicular a $Y_1Y_2$.
• Triángulos de 60°: En un triángulo con $\angle C = 60^\circ$, las líneas $AY_1$, $BY_2$ y $X_3X_8$ son concurrentes.
• Triángulos Heptagonales: (Triángulos con ángulos $\pi/7, 2\pi/7, 4\pi/7$)
  • Si $Y'_1$ es la reflexión de $Y_1$ a través del lado $BC$, entonces $X_1Y_2 \parallel Y'_1C$.
  • Se establecen relaciones angulares específicas, tales como $\angle CX_1Y_2 + \angle X_1CY_1 = \pi/7$ y $\angle CX_1Y_2 = \angle Y_1CX_3$.
  • Se señalan otras igualdades angulares involucrando a los centros $X_5, X_{21}, X_{28}$, aunque las pruebas se omiten debido a la complejidad computacional.
• Triángulos Armónicos: Un triángulo es "armónico" (un lado es la media armónica de los otros dos) si y solo si la línea $Y_1Y_2$ pasa por un vértice, el incentro ($X_2$) o biseca un lado. En tales casos, $Y_1Y_2$ coincide con una mediana.
• Triángulos de Progresión Aritmética (PA): En un triángulo donde los lados están en progresión aritmética ($2a = b+c$), la línea $AX_1$ es paralela a $Y_1Y_2$.
• Triángulos de Ángulo Doble: En un triángulo donde $\angle A = 2\angle B$, las líneas $BY_2$, $CX_2$ y la reflexión de $AY_2$ a través de $BC$ son concurrentes.
• Triángulos Isósceles: El producto de las áreas de los triángulos formados por $Y$ y los lados ($K_b K_c$) es igual al cuadrado del tercer área ($K_a^2$) si y solo si el triángulo es isósceles con $AB=AC$.
• Área de Triángulos Cevianos: Los autores proporcionan una prueba puramente geométrica para la fórmula de Yff respecto al área del triángulo ceviano de $Y_1$ (y $Y_2$), mostrando que es igual a $u^3 / (2R)$, donde $R$ es el circunradio.
• Puntos Especiales: El artículo identifica el punto medio de $Y_1Y_2$ y el centro de la cónica que pasa por $A, B, C, Y_1, Y_2$ como nuevos centros de triángulo no catalogados actualmente en la Enciclopedia de Centros de Triángulos (ETC).

Significado y Reivindicaciones
Los autores enmarcan modestamente la contribución de su artículo como el descubrimiento de "algunas propiedades geométricas" que anteriormente eran desconocidas. La importancia radica en expandir el limitado cuerpo de conocimiento sobre los puntos de Yff, que ha permanecido prácticamente estático desde 1963. El artículo reconoce explícitamente que los hallazgos iniciales fueron numéricos y que las pruebas formales dependen fuertemente de sistemas de álgebra computacional, lo que resulta en computaciones "enormes" que carecen de elegancia sintética intuitiva. En consecuencia, el artículo concluye planteando preguntas abiertas sobre la existencia de "pruebas geométricas puramente sintéticas" para los teoremas presentados, particularmente para los resultados de los triángulos rectángulos y heptagonales. El trabajo sirve como un catálogo de propiedades verificadas para clases específicas de triángulos, invitando a una mayor investigación teórica sobre la geometría subyacente.