recta de Nagel archivos - El blog de Leo

Introducción

En esta entrada mostraremos la existencia del punto de Nagel como el conjugado isotómico del punto de Gergonne; estudiaremos algunas propiedades de otros objetos geométricos relacionados con el punto de Nagel, a saber, la recta de Nagel, la circunferencia de Spieker y la circunferencia de Fuhrmann.

Punto de Nagel

Teorema 1. Las rectas que unen los vértices de un triángulo con el punto de tangencia entre el lado opuesto y el excírculo relativo a ese lado son concurrentes, al punto de concurrencia, $N_{a}$ , se le conoce como punto de Nagel.

Demostración. Sean $△ A B C$ y $X_{a} \in B C$ , $Y_{b} \in C A$ , $Z_{c} \in A B$ , los puntos de tangencia de los excírculos opuestos a $A$ , $B$ , $C$ respectivamente

Considera $X$ , $Y$ , $Z$ los puntos de tangencia del incírculo con $B C$ , $C A$ y $A B$ .

En la entrada triángulos en perspectiva vimos que $A X$ , $B Y$ , $C Z$ concurren en el punto de Gergonne, $G_{e}$ .

En la entrada circunferencias tritangentes vimos que los pares de puntos $X$ , $X_{a}$ ; $Y$ , $Y_{b}$ ; $Z$ , $Z_{b}$ son puntos isotómicos, es decir, su punto medio coincide con el punto medio del lado al que pertenecen.

Por la proposición 1 de la entrada anterior, $A X_{a}$ , $B Y_{b}$ , $C Z_{c}$ concurren en el conjugado isotómico de $G_{e}$ .

Recta de Nagel

Teorema 2.
$i)$ El incentro de un triángulo es el punto de Nagel de su triángulo medial,
$i i$ ) el incentro $I$ , el centroide $G$ y el punto de Nagel $N_{a}$ , de un triángulo, son colineales, a dicha recta se le conoce como recta de Nagel,
$i i i)$ $I G = 2 G N_{a}$ .

Demostración. Sean $△ A B C$ , $Γ (I)$ su incírculo y $Γ (I_{c})$ el excírculo opuesto al vértice $C$ .

Considera $Z$ y $Z_{c}$ los puntos de tangencia de $B C$ con $Γ (I)$ y $Γ (I_{c})$ respectivamente, sea $T$ el punto diametralmente opuesto a $Z$ en $Γ (I)$ .

Como $C A$ y $B C$ son tangentes exteriores comunes a $Γ (I)$ y $Γ (I_{c})$ , entonces $C$ es un centro de homotecia entre $Γ (I)$ y $Γ (I_{c})$ .

Por otra parte, como $I$ , $I_{c}$ son puntos correspondientes de esta homotecia y $I_{c} Z_{c} ∥ I T$ entonces $I_{c} Z_{c}$ , $I T$ son rectas homotéticas.

Por lo tanto, $Z_{c}$ y $T$ son puntos homólogos y así, $Z_{c}$ , $T$ y $C$ son colineales.

Ahora consideremos $△ A^{'} B^{'} C^{'}$ , el triángulo medial de $△ A B C$ , recordemos que existe una homotecia con centro en $G$ y razón $- 2$ , que lleva a $△ A^{'} B^{'} C^{'}$ en $△ A B C$ .

Recordemos que $Z$ y $Z_{c}$ son puntos isotómicos, por lo tanto, $\frac{Z C^{'}}{C^{'} Z_{c}} = \frac{Z I}{I T} = 1$ , por el reciproco del teorema de Tales, $C^{'} I ∥ Z_{c} T$ .

Como $C^{'}$ y $C$ son puntos homólogos de esta homotecia y $C I ∥ C Z_{c}$ , entonces $C^{'} I$ y $C Z_{c}$ son rectas homotéticas.

Como $C Z_{c}$ pasa por $N_{a}$ , el punto de Nagel de $△ A B C$ , entonces $C I$ pasa por el punto de Nagel de $△ A^{'} B^{'} C^{'}$ .

Igualmente podemos ver que $B^{'} I$ , $A^{'} I$ pasan por el punto de Nagel de $△ A^{'} B^{'} C^{'}$ .

Por lo tanto, el incentro de $△ A B C$ es el punto de Nagel de $△ A^{'} B^{'} C^{'}$ .

Como los puntos notables de dos triángulos homotéticos son puntos homólogos, entonces $I$ , $G$ y $N_{a}$ son colineales.

Dado que la razón de homotecia es $- 2$ , entonces $G$ triseca al segmento $I N_{a}$ , es decir, $I G = 2 G N_{a}$ .

Circunferencia de Spieker

Definición 1. El incírculo del triángulo medial de un triángulo dado se conoce como circunferencia de Spieker y su centro $S$ , como punto de Spieker.

Teorema 3. El punto de Spieker está en la recta de Nagel y biseca al segmento que une al incentro con el punto de Nagel.

Demostración. Sean $△ A B C$ , $I$ el incentro, $N_{a}$ el punto de Nagel y consideremos $S$ el punto medio de $I N_{a}$ .

Por el teorema anterior, $3 I G = I N_{a}$ , como $2 I S = I N_{a}$ entonces $I G = \frac{2}{3} I S$ , donde $G$ es el centroide de $△ A B C$ .

Por lo tanto, $I G = 2 G S$ .

Sea $△ A^{'} B^{'} C^{'}$ el triángulo medial de $△ A B C$ , como $A G = 2 G A^{'}$ , por criterio de semejanza LAL, $△ G A I \sim △ G A^{'} S$

Por lo tanto, $∠ I A G = ∠ S A^{'} G$ , es decir $A I ∥ S A^{'}$ .

Consideremos la homotecia con centro en $G$ que lleva a $△ A B C$ en $△ A^{'} B^{'} C^{'}$ .

Como $A$ y $A^{'}$ son puntos correspondientes de esta homotecia, $A I ∥ A^{'} S$ y $A I$ es bisectriz de $∠ B A C$ entonces $A^{'} S$ es bisectriz de $∠ B^{'} A^{'} C^{'}$ .

Igualmente podemos ver que $B^{'} S$ y $C^{'} S$ son bisectrices de $∠ C^{'} B^{'} A^{'}$ y $∠ A^{'} C^{'} B^{'}$ respectivamente, por lo tanto, $S$ es el incentro de $△ A^{'} B^{'} C^{'}$ .

Proposición 1. La circunferencia de Spieker está inscrita en el triángulo cuyos vértices son los puntos medios de los segmentos que unen el punto de Nagel con los vértices del triángulo.

Demostración. Sean $△ A B C$ , $N_{a}$ su punto de Nagel, $A^{″}$ , $B^{″}$ , $C^{″}$ los puntos medios de $A N_{a}$ , $B N_{b}$ , $C N_{c}$ respectivamente.

En $△ A B N_{a}$ , $A^{″} B^{″}$ es un segmento medio por lo que $A B ∥ A^{″} B^{″}$ y $A B = 2 A^{″} B^{″}$ .

Igualmente podemos ver que $B C ∥ B^{″} C^{″}$ , $B C = 2 B^{″} C^{″}$ y $C A ∥ C^{″} A^{″}$ y $C A = 2 C^{″} A^{″}$ .

Como los lados de $△ A B C$ también son paralelos y duplican a los lados de $△ A^{'} B^{'} C^{'}$ , su triangulo medial, entonces $△ A^{'} B^{'} C^{'}$ y $△ A^{″} B^{″} C^{″}$ son congruentes y están en homotecia.

Por otra parte, sea $I$ el incentro de $△ A B C$ y $S$ el punto de Spieker, en $△ N_{a} A I$ , $A^{″} S$ es un segmento medio por lo que $A^{″} S ∥ A I$ .

Por el teorema anterior, $A^{'} S ∥ A I$ , en consecuencia, $A^{'}$ , $S$ y $A^{″}$ son colineales.

De manera análoga podemos ver que $B^{'}$ , $S$ , $B^{″}$ y $C^{'}$ , $S$ , $C^{″}$ son colineales.

Por lo tanto, $S$ es el centro de homotecia entre $△ A^{'} B^{'} C^{'}$ y $△ A^{″} B^{″} C^{″}$ .

Como $△ A^{'} B^{'} C^{'}$ y $△ A^{″} B^{″} C^{″}$ son congruentes y $S$ es su centro de homotecia, entonces sus incírculos coinciden.

Corolario. El punto de Nagel es un centro de homotecia entre el incírculo y la circunferencia de Spieker de un triángulo.

Demostración. Se sigue de que $△ A B C$ y $△ A^{″} B^{″} C^{″}$ están en homotecia desde el punto de Nagel y que el incírculo de $△ A^{″} B^{″} C^{″}$ es la circunferencia de Spieker.

Circunferencia de Fuhrmann

Definición 2. Considera el circuncírculo de un triángulo $△ A B C$ , el triángulo cuyos vértices son las reflexiones de los puntos medios de los arcos $\overset{⌢}{A B}$ , $\overset{⌢}{B C}$ y $\overset{⌢}{C A}$ que no contienen a $C$ , $A$ y $B$ respectivamente, se conoce como triángulo de Fuhrmann y su circuncírculo como circunferencia de Fuhrmann.

Teorema 4. El segmento que une al ortocentro con el punto de Nagel de un triángulo, es diámetro de su circunferencia de Fuhrmann.

Demostración. Sean $△ A B C$ y $M_{a}$ , $M_{b}$ , $M_{c}$ , los puntos medios de los arcos $\overset{⌢}{B C}$ , $\overset{⌢}{C A}$ , $\overset{⌢}{A B}$ respectivamente, $M_{a}^{'}$ , $M_{b}^{'}$ , $M_{c}^{'}$ , sus respectivas reflexiones respecto de los lados $B C$ , $C A$ y $A B$ .

Sean $O$ el circuncentro de $△ A B C$ , $A^{'}$ el punto medio de $B C$ y $M$ el punto diametralmente opuesto de $M_{a}$ .

Notemos que $M_{a}$ , $A^{'}$ , $O$ , $M_{a}^{'}$ y $M$ son colineales y entonces
$M_{a}^{'} M = M_{a} M - M_{a} M_{a}^{'} = 2 (M_{a} O - M_{a} A^{'}) = 2 A^{'} O$ .

Por otro lado, sabemos que $A H = 2 O A^{'}$ donde $H$ es el ortocentro de $△ A B C$ .

Como $A H = M_{a}^{'} M$ y $A H ∥ M_{a}^{'} M$ , entonces $A H M_{a}^{'} M$ es paralelogramo.

Ya que $M_{a} M$ es diámetro entonces $A M ⊥ A M_{a}$ , en consecuencia, $H M_{a}^{'} ⊥ A M_{a}$ .

Sean $I$ el incentro, $N_{a}$ el punto de Nagel, $S$ el punto de Spieker, respectivamente y considera $L = N_{a} A^{'} \cap A M_{a}$ .

Por el teorema anterior $A^{'} S ∥ I L$ y como $S$ es el punto medio del $I N_{a}$ entonces $A^{'}$ es el punto medio de $N_{a} L$ .

Como $A^{'}$ también es el punto medio de $M_{a} M_{a}^{'}$ entonces $L M_{a} N_{a} M_{a}^{'}$ es paralelogramo, es decir $M_{a}^{'} N_{a} ∥ A M_{a}$ .

En consecuencia, $H M_{a}^{'} ⊥ M_{a}^{'} N_{a}$ y por lo tanto $M_{a}^{'}$ está en la circunferencia de diámetro $H N_{a}$ .

De manera análoga vemos que $M_{b}^{'}$ y $M_{c}^{'}$ pertenecen a la misma circunferencia.

Proposición 2. La circunferencia de Fuhrmann interseca a las alturas de un triángulo, en un punto (distinto del ortocentro) que está a una distancia del vértice respectivo, del doble del inradio del triángulo.

Demostración. Sea $△ A B C$ y $N_{a}$ su punto de Nagel, consideremos $△ A^{″} B^{″} C^{″}$ su triángulo anticomplementario, el triángulo cuyos lados son paralelos a los de $△ A B C$ y pasan por lo vértices de $△ A B C$ .

Como $△ A B C$ es el triángulo medial de $△ A^{″} B^{″} C^{″}$ entonces $N_{a}$ es el incentro de $△ A^{″} B^{″} C^{″}$ , sea $X$ la proyección de $N_{a}$ en $B^{″} C^{″}$ , entonces $N_{a} X$ es el inradio de $△ A^{″} B^{″} C^{″}$ .

Por lo tanto $N_{a} X$ es dos veces el inradio r, de $△ A B C$ .

Completemos el rectángulo $A T N_{a} X$ de lados $N_{a} X$ y $A X$ , entonces $A T = 2 r$ y $A T$ es la altura por $A$ .

Como $H$ , el ortocentro de $△ A B C$ , está en $A T$ o su extensión y $∠ N_{a} T H = \frac{π}{2}$ , entonces $T$ está en la circunferencia de Fuhrnamm de $△ A B C$ .

Más adelante…

En la próxima entrada veremos algunas propiedades de la división armónica, las cuales nos ayudaran a demostrar el teorema de Feuerbach.

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.

Considera los puntos de tangencia de los lados de un triángulo con un excírculo, muestra que las rectas que unen los vértices del triángulo con el punto de tangencia en el lado opuesto son concurrentes.
Prueba que la recta que pasa por el incentro y el circuncentro de un triángulo es paralela a la recta que pasa por el ortocentro y el punto de Nagel y que $H N_{a} = 2 O I$ .
A la recta que pasa por el punto medio de un triángulo y su punto de Spieker se le conoce como cuchilla, demuestra que las tres cuchillas de un triángulo bisecan su perímetro.
Muestra que la reflexión del incentro de un triángulo respecto del centro de los nueve puntos es el centro de su circunferencia de Fuhrmann.
En la figura 5, muestra que $△ M_{a} M_{b} M_{c}$ y $△ M_{a}^{'} M_{b}^{'} M_{c}^{'}$ son semejantes.

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Teorema de Ceva.
Siguiente entrada del curso: División armónica.
Otros cursos.

Fuentes

Altshiller, N., College Geometry. New York: Dover, 2007, pp 160-162.
Johnson, R., Advanced Euclidean Geometry. New York: Dover, 2007, pp 225-229.
Honsberger, R., Episodes in Nineteenth and Twentieth Century Euclidean Geometry. Washington: The Mathematical Association of America, 1995, pp 49-52.
University of Crete
Wolfram MathWorld
Wikipedia

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»

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: recta de Nagel

Geometría Moderna I: Punto de Nagel