Archivo de la etiqueta: problema de Fagnano

Geometría Moderna I: Triángulo órtico

Por Rubén Alexander Ocampo Arellano

Introducción

Continuando con el estudio de triángulos asociados a un triangulo dado, en esta entrada veremos algunas propiedades del triángulo órtico de un triangulo dado.

Mostraremos solo las proposiciones referentes a triángulos acutángulos, por ser muy parecidas las correspondientes versiones para triángulos obtusángulos, quedaran como ejercicio.

Preliminares

Proposición 1. El vértice de un triángulo es el punto medio del arco formado por las intersecciones de su circuncírculo con las alturas del triángulo que no pasan por el vértice considerado.

Demostración. Sean $\triangle ABC$ y $D$, $E$, $F$ los pies de las alturas por $A$, $B$, $C$, respectivamente (figura 1).

Los triángulos rectángulos $\triangle BEA$ y $\triangle CFA$ son semejantes pues $\angle A$ es un ángulo en común, por lo tanto, $\angle EBA = \angle ACF$.

Por otro lado, consideremos $D’ = AD \cap (O, R)$, $E’ = BE \cap (O, R)$ y $F’ = CF \cap (O, R)$, las intersecciones de las alturas con el circuncírculo de $\triangle ABC$, entonces $\angle E’BA = \angle EBA = \angle ACF = \angle ACF’$.

Esto implica que los respectivos ángulos centrales son iguales $\angle E’OA = \angle AOF’$, por lo tanto, la longitud de arco es la misma $\overset{\LARGE{\frown}}{E’A} = \overset{\LARGE{\frown}}{AF’}$ y así $A$ es el punto medio de $\overset{\LARGE{\frown}}{E’F’}$.

Figura 1

De manera análoga vemos que $B$ y $C$ bisecan a los arcos $\overset{\LARGE{\frown}}{F’D’}$, $\overset{\LARGE{\frown}}{D’E’}$ respectivamente.

$\blacksquare$

Proposición 2. El pie de la altura de un triángulo acutángulo es el punto medio del segmento que une el ortocentro y la intersección de la altura considerada con el circuncentro.

Demostración. Por la proposición 1, $B$ es el punto medio del arco $\overset{\LARGE{\frown}}{F’D’}$, por lo tanto $\angle F’OB = \angle BOD’$ y así $\angle F’CB = \angle BCD’$.

De esto se sigue que los triángulos rectángulos $\triangle HCD$, $\triangle D’CD$ son congruentes por criterio ALA, por lo tanto, $HD = DD’$.

Por lo tanto, $D$ es el punto medio de $HD’$, de manera análoga podemos ver que $E$ y $F$ son los puntos medio de $HE’$ y $HF’$ respetivamente.

$\blacksquare$

Triángulo órtico

Definición 1. Al triángulo cuyos vértices son los pies de las alturas de un triángulo dado se le conoce como triangulo órtico del triángulo dado.

Proposición 3. El triángulo órtico de un triángulo y el triángulo cuyos vértices son las intersecciones de su circuncírculo con las alturas del triángulo son homotéticos.

Demostración. Por la proposición 2, $E$ y $F$ son puntos media de $HE’$ y $HF’$ respectivamente (figura 1), por tanto, $EF$ es un segmento medio del triángulo $\triangle HE’F’$, entonces $EF \parallel E’F’$ y $2EF = E’F’$.

De manera análoga podemos ver que $FD \parallel F’D’$, $2FD = F’D’$ y $DE \parallel D’E’$, $2DE = D’E’$.

De lo anterior concluimos que $\triangle DEF$ está en homotecia con $\triangle D’E’F’$ con centro en $H$ y razón $\dfrac{1}{2}$.

$\blacksquare$

Teorema 1. El ortocentro y los vértices de un triángulo acutángulo son en incentro y los excentros respectivamente de su triangulo órtico.

Demostración. Por la proposición 1, $A$ es el punto medio del arco $\overset{\LARGE{\frown}}{E’F’}$ (figura 1), por lo tanto, $\angle E’D’A = \angle AD’F’$.

Por la proposición 3, los lados de $\triangle DEF$ son paralelos a los lados de $\triangle D’E’F’$, por lo tanto $\angle EDA = \angle E’D’A = \angle AD’F’ = \angle ADF$.

Entonces $AD$ es bisectriz de $\angle EDF$, así podemos ver que las otras alturas de $\triangle ABC$ son las bisectrices de su triangulo órtico, con lo que $H$ es el incentro de $\triangle DEF$.

Como los lados del triángulo son perpendiculares a las alturas entonces son las respectivas bisectrices exteriores de su triangulo órtico, de esto se sigue el resultado.

$\blacksquare$

Triángulo tangencial

Definición 2. Al triangulo cuyos lados son las rectas tangentes al circuncírculo de un triángulo dado a través de sus vértices, se le conoce como triángulo tangencial del triángulo dado.

Proposición 4. Los radios del circuncírculo de un triángulo que pasan por los vértices del triángulo son perpendiculares a los respetivos lados de su triangulo órtico.

Demostración. $\triangle E’OF’$ es isósceles (figura 2), pues $OE’$ y $OF’$ son radios del circuncírculo de $\triangle ABC$.

Por la proposición 1, $A$ es el punto medio del arco $\overset{\LARGE{\frown}}{E’F’}$, por lo que $OA$ es bisectriz de $\angle E’OF’$, por lo tanto, $OA$ es mediatriz de $E’F’$.

Por la proposición 3, $E’F’ \parallel EF$ $\Rightarrow OA \perp EF$.

Figura 2

De manera análoga se ve que $OB \perp FD$ y $OC \perp DE$.

$\blacksquare$

Teorema 2. El triángulo órtico y el triángulo tangencial de un triángulo dado son homotéticos y el centro de homotecia se encuentra en la recta de Euler del triángulo dado.

Demostración.  Sean $\triangle DEF$ y $\triangle D’’E’’F’’$ el triángulo órtico y tangencial respectivamente de $\triangle ABC$ (figura 2).

Como los lados del triángulo tangencial son perpendiculares a los radios que pasan por los vértices del triángulo dado, por la proposición 4, los lados del triángulo órtico son paralelos a los lados del triángulo tangencial y esto implica que los triángulos son homotéticos.

Como $\triangle DEF$ y $\triangle D’’E’’F’’$ son homotéticos entonces sus respectivos incentros son puntos homólogos.

Por el teorema 1, el incentro de $\triangle DEF$ es el ortocentro de $\triangle ABC$ y por construcción el incentro de $\triangle D’’E’’F’’$ es el circuncentro de $\triangle ABC$.

Como el centro de homotecia se encuentra en la recta que pasa por cualquier par de puntos homólogos, entonces el centro de homotecia de $\triangle DEF$ y $\triangle D’’E’’F’’$ se encuentra en la recta determinada por $H$ y $O$, es decir, la recta de Euler de $\triangle ABC$.

$\blacksquare$

Perímetro del triángulo órtico

Proposición 5. Los lados del triángulo órtico de un triángulo acutángulo dividen al triángulo acutángulo en tres triángulos semejantes al triángulo dado.

Demostración. Sean $D$, $E$ y $F$ los pies de las alturas de un triangulo $\triangle ABC$ y $H$ su ortocentro, (figura 3).

Como la suma de los ángulos internos de todo cuadrilátero convexo es $2\pi$, en $\square HDCE$ tenemos $\angle D + \angle E = \pi$
$\Rightarrow \angle C + \angle H = \pi$
$\Rightarrow \angle DHE = \angle A + \angle B$

Como $\angle BHD + \angle DHE = \angle BHE = \pi$
$\Rightarrow \angle BHD = \angle C$.

Por otro lado, $\triangle FBH$ y $\triangle DBH$ son triángulos rectángulos que tienen la misma hipotenusa, por lo tanto $\square FBDH$ es cíclico.

Entonces $\angle BHD = \angle BFD$, pues abarcan el mismo arco
$\Rightarrow \angle BFD = \angle C$.

Por criterio de semejanza AA, $\triangle DBF \sim \triangle ABC$.

Figura 3

Podemos hacer un procedimiento similar para los demás triángulos.

Por lo tanto, $\triangle ABC \sim \triangle DBF \sim \triangle DEC \sim \triangle AEF$.

$\blacksquare$

Proposición 6. En un triángulo la distancia de uno de sus lados al circuncentro es igual a la mitad de la distancia del vértice opuesto al ortocentro del triángulo.

Demostración. Sea $(O, R)$ el circuncírculo de $\triangle ABC$, consideremos $C’$ el punto diametralmente opuesto a $C$ y $M$ el pie de la perpendicular a $AC$ desde $O$, (figura 3).

Notemos que $M$ es el punto medio de $AC$ pues $O$ está en la mediatriz de $AC$.

Como $O$ es el punto medio de $CC’$ entonces $OM$ es un segmento medio de $\triangle CAC’$, así $2OM = C’A$.

$\angle C’AC = \angle CBC’ = \dfrac{\pi}{2}$, pues $CC’$ es diámetro

Por lo tanto, $AH$ y $C’B$ son perpendiculares a $BC$
$\Rightarrow AH \parallel C’B$.

Y $C’A$ y $BH$ son perpendiculares a $AC$,
$\Rightarrow C’A \parallel BH$.

Entonces $\square AC’BH$ es un paralelogramo, por lo tanto, $BH = C’A = 2OM$.

$\blacksquare$

Proposición 7. La razón entre un lado de un triángulo acutángulo y el lado correspondiente a su triangulo órtico es igual a la razón entre el circunradio y la distancia del lado considerado al circuncentro.

Demostración. En la proposición 5 vimos que $\triangle ABC \sim \triangle DBF$ y que $A$, $F$, $H$ y $E$ están inscritos en una misma circunferencia cuyo diámetro es $BH$, (figura 3).

Por lo tanto, la razón entre sus circundiametros guarda la razón de semejanza, es decir,
$\dfrac{AC}{DF} = \dfrac{2R}{BH} = \dfrac{2R}{2OM} = \dfrac{R}{OM}$.

Donde $R$ es el circunradio y la segunda igualdad se debe a la proposición 6.

$\blacksquare$

 Teorema 3. El perímetro del triángulo órtico de un triángulo acutángulo es igual a dos veces el área del triángulo acutángulo dividido por el circunradio (figura 3).

Demostración. Consideremos $N$, $M$ y $L$ los pies de las perpendiculares a $BC$, $AC$ y $AB$ desde $O$ respectivamente.

Por la proposición 7 tenemos que
$DE + EF + FD = \dfrac{OL \times AB + ON \times BC + OM \times AC}{R}$.

Y notemos que
$(\triangle ABC) = (\triangle BOC) + (\triangle COA) + (\triangle AOB)$
$= \dfrac{ON \times BC + OM \times AC + OL \times AB}{2}$.

Por lo tanto, $DE + EF + FD = \dfrac{2(\triangle ABC)}{R}$.

$\blacksquare$

Problema de Fagnano

Teorema 4. De entre todos los triángulos inscritos en un triángulo acutángulo, su triángulo órtico es el de menor perímetro.

Demostración. Sean $\triangle ABC$ un triángulo acutángulo, $\triangle DEF$ su triangulo órtico y $\triangle GHI$ cualquier otro triangulo inscrito en $\triangle ABC$.

Hacemos una sucesión de reflexiones del triángulo $\triangle ABC$ a través de uno de sus lados, empezando por $AC$, luego $B_1C$, $B_1A_1$, $A_1C_1$ y finalmente $B_2C_1$ (figura 4).

El camino que sigue el segmento $AB$ es el siguiente, primerio una rotación $2\angle A$ alrededor de $A$ en sentido antihorario, después una rotación $2\angle B$ alrededor de $B_1$ en sentido antihorario, a continuación, una rotación $2\angle A$ alrededor de $A_1$ en sentido horario y finalmente una rotación $2\angle B$ alrededor de $B_2$ en sentido horario.

Figura 4

Por lo tanto, $AB$ y $A_2B_2$ son paralelas, se sigue que $F$, $G \in AB$ y sus respectivas imágenes $F_4$, $G_4 \in A_2B_2$ forman un paralelogramo por lo que $FF_4 = GG_4$.

Por otro lado, la simetría de $D$ y $D_1$ nos garantiza que $\angle DEC = \angle CED_1$, además, por el teorema 1, $BE$ es bisectriz de $\angle FED$, por lo tanto, $\angle AEF = \angle DEC$.

Entonces, $\angle FED_1 = \angle FED + \angle DEC + \angle CED_1 = \angle FED + \angle 2DEC = \pi$, por lo tanto, $F$, $E$ y $D_1$ son colineales.

Por lo anterior podemos afirmar que $FED_1F_2E_2D_3F_4$ es una recta, coincide con $FF_4$ y es igual a dos veces el perímetro del triángulo órtico.

Como no podemos hacer las mismas afirmaciones para $\triangle GHI$, tenemos que el camino $GHI_1G_2H_2I_3G_4$ es igual a dos veces el perímetro de $\triangle GHI$ y es claramente mayor o igual que el segmento $GG_4$ que equivale a dos veces el perímetro de $\triangle DEF$.

$\blacksquare$

Más adelante…

En la siguiente entrada veremos como los circuncírculos del triángulo medial y del triángulo órtico, coinciden para cualquier triangulo dado.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Verifica que las proposiciones $1$, $2$, $3$, $4$, y los teoremas $1$ y $2$ se cumplen también para triángulos con un ángulo obtuso.
  2. Construye un triángulo dados los puntos de intersección de las alturas con el circuncírculo del triángulo.
  3. Si $P$ y $Q$ son los pies de las perpendiculares desde los vértices $B$ y $C$ de un triangulo $\triangle ABC$, a los lados $DF$ y $DE$ respectivamente de su triangulo órtico, muestra que $EQ = FP$.
Figura 5
  1. Muestra que los pies de las perpendiculares trazadas desde el pie de una altura en un lado de un triángulo a los otros lados y las otras alturas del triángulo son colineales.
Figura 6
  1. Demuestra que el perímetro del triángulo órtico de un triángulo acutángulo es menor o igual que dos veces cualquiera de las alturas del triángulo acutángulo.

Entradas relacionadas

Fuentes

  • Altshiller, N., College Geometry. New York: Dover, 2007, pp 97-102.
  • Coxeter, H. y Greitzer, L., Geometry Revisited. Washington: The Mathematical Association of America, 1967, pp 16-18, 88-89.
  • Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 84-85.
  • Johnson, R., Advanced Euclidean Geometry. New York: Dover, 2007, pp 168-169.
  • Honsberger, R., Episodes in Nineteenth and Twentieth Century Euclidean Geometry. Washington: The Mathematical Association of America, 1995, pp 17-26.

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»