Propiedades de reflexión sobre el circuncírculo.
El Teorema de la Reflexión del Ortocentro es un resultado fundamental en la geometría euclidiana que establece una simetría muy bonita entre el ortocentro de un triángulo y su circuncírculo. El teorema dice que si reflejas el ortocentro sobre cualquiera de los tres lados del triángulo, el punto resultante cae en el circuncírculo. Además, si reflejas el ortocentro sobre el punto medio de cualquier lado, también obtienes un punto en el circuncírculo, específicamente el punto diametralmente opuesto al vértice correspondiente.
Este concepto aparece por todos lados en la geometría de olimpiadas (nivel AIME/USAMO) porque te permite pasar del "sistema ortocéntrico" (ángulos formados por las alturas) al circuncírculo. Básicamente convierte problemas que involucran al ortocentro en problemas de cuadriláteros cíclicos. Esta técnica es súper útil para hacer "angle chasing" (persecución de ángulos), probar conciclicidad y resolver problemas que involucran la Circunferencia de los Nueve Puntos o la Recta de Simson.
De forma intuitiva, esta propiedad surge porque los ángulos que forman las alturas en el ortocentro son suplementarios a los ángulos en los vértices del triángulo. Como los ángulos opuestos en un cuadrilátero cíclico deben sumar $180^\circ$, la reflexión (que mantiene la medida del ángulo) pone la imagen del ortocentro justo sobre el círculo definido por los vértices.
Sea $\triangle ABC$ un triángulo con ortocentro $H$ y circuncírculo $\Gamma$.
1. Reflexión sobre los Lados Sean $H_a, H_b, H_c$ las reflexiones de $H$ sobre los lados $BC$, $CA$ y $AB$ respectivamente. Entonces: $$H_a, H_b, H_c \in \Gamma$$ Esto implica que los cuadriláteros $ABH_aC$, $BCH_bA$ y $CAH_cB$ son cíclicos.
2. Reflexión sobre los Puntos Medios Sean $M_a, M_b, M_c$ los puntos medios de los lados $BC$, $CA$ y $AB$ respectivamente. Sean $H'_a, H'_b, H'_c$ las reflexiones de $H$ sobre estos puntos medios. Entonces: $$H'_a, H'_b, H'_c \in \Gamma$$ Además, $H'_a$ es el punto en $\Gamma$ diametralmente opuesto al vértice $A$.
3. Identidad de Ángulos del Ortocentro Una identidad clave que se usa para probar estas propiedades es la relación entre el ángulo en el ortocentro y el ángulo del vértice: $$\angle BHC = 180^\circ - \angle A$$ $$\angle AHC = 180^\circ - \angle B$$ $$\angle AHB = 180^\circ - \angle C$$
Teorema: Sea $H$ el ortocentro del $\triangle ABC$. Sea $H_a$ la reflexión de $H$ sobre el lado $BC$. Entonces $H_a$ está en el circuncírculo del $\triangle ABC$.
Demostración:
Paso 1: Determina el ángulo en el ortocentro. Sean $D$ y $E$ los pies de las alturas desde $A$ a $BC$ y de $B$ a $AC$, respectivamente. Las alturas se cruzan en $H$. Considera el cuadrilátero $CDHE$. Como $AD \perp BC$ y $BE \perp AC$, tienes que: $$\angle HDC = \angle HEC = 90^\circ$$ Como la suma de los ángulos en el cuadrilátero $CDHE$ es $360^\circ$, los ángulos restantes $\angle C$ y $\angle DHE$ deben sumar $180^\circ$. Por lo tanto: $$\angle DHE = 180^\circ - \angle C$$ Por ángulos opuestos por el vértice, $\angle AHB = \angle DHE = 180^\circ - \angle C$. De la misma forma, si consideras el cuadrilátero formado por las alturas desde $B$ y $C$, encuentras que: $$\angle BHC = 180^\circ - \angle A$$
Paso 2: Usa la propiedad de la reflexión. Como $H_a$ es la reflexión de $H$ sobre la recta $BC$, el triángulo $\triangle BHC$ es congruente al $\triangle BH_aC$ (específicamente, la transformación es una isometría). Por lo tanto, los ángulos correspondientes son iguales: $$\angle BH_aC = \angle BHC$$
Paso 3: Verifica la condición de conciclicidad. Sustituyendo el resultado del Paso 1 en la ecuación del Paso 2: $$\angle BH_aC = 180^\circ - \angle A$$ Ahora fíjate en el cuadrilátero $ABH_aC$. La suma de los ángulos opuestos $\angle BAC$ (que es $\angle A$) y $\angle BH_aC$ es: $$\angle BAC + \angle BH_aC = \angle A + (180^\circ - \angle A) = 180^\circ$$
Conclusión: Un cuadrilátero es cíclico si y solo si sus ángulos opuestos suman $180^\circ$. Como $\angle BAC + \angle BH_aC = 180^\circ$, los puntos $A, B, H_a, C$ son concíclicos. Así que $H_a$ está en el circuncírculo del $\triangle ABC$. $\square$