Archivo de la etiqueta: circuncentro

Geometría Moderna I: Circunferencias tritangentes

Por Rubén Alexander Ocampo Arellano

Introducción

En esta ocasión estudiaremos algunas propiedades de las circunferencias tritangentes de un triángulo, esto nos permitirá entre otras cosas, derivar formulas para el área del triángulo.

Definición 1. El incírculo $(I, r)$ y los tres excírculos $(I_{a}, r_{a})$ , $(I_{b}, r_{b})$ y $(I_{c}, r_{c})$ de un triángulo a veces son referidos como las circunferencias tritangentes del triángulo, sus centros como centros tritangentes y sus radios, radios tritangentes.

Centros tritangentes

Teorema 1. El segmento que une dos centros tritangentes de un triángulo es el diámetro de una circunferencia que contiene dos de los vértices del triángulo, los cuales no son colineales con los centros tritangentes considerados.

Demostración. Sean $△ A B C$ , $Γ$ su circuncírculo, $I$ , $I_{a}$ , $I_{b}$ y $I_{c}$ sus centros tritangentes.

Consideremos la circunferencia $Γ (I I_{b})$ cuyo diámetro es $I I_{b}$ , como las bisectrices internas y externas de $∠ A$ , $A I$ y $A I_{b}$ son perpendiculares entonces $A \in Γ (I I_{b})$ , de manera análoga vemos que $C \in Γ (I I_{b})$ .

Como $A C$ es cuerda de $Γ (I I_{b})$ , entonces su mediatriz interseca a $I I_{b}$ en el centro $P$ de $Γ (I I_{b})$ . Ya que $A C$ es cuerda de $Γ$ , entonces su mediatriz interseca al circuncírculo de $△ A B C$ en el punto medio del arco $\overset{⌢}{C A}$ que no contiene a $B$ .

Como $I I_{b}$ es bisectriz de $∠ B$ entonces $I I_{b}$ interseca al circuncírculo de $△ A B C$ en el punto medio del arco $\overset{⌢}{C A}$ que no contiene a $B$ .

Por lo tanto, el centro $P$ de $Γ (I I_{b})$ pertenece al circuncírculo de $△ A B C$ .

Ahora consideremos la circunferencia $Γ (I_{a} I_{c})$ , cuyo diámetro es $I_{a} I_{c}$ , como las bisectrices interna y externa de $∠ A$ , son perpendiculares entonces $A \in Γ (I_{a} I_{c})$ , con un razonamiento análogo vemos que $C \in Γ (I_{a} I_{c})$ .

Considera el punto diametralmente opuesto a $P$ , $P^{'}$ en el circuncírculo de $△ A B C$ entonces $∠ P B P^{'}$ es ángulo recto y como $B P$ es la bisectriz interna de $∠ B$ entonces $B P^{'}$ es la bisectriz externa de $∠ B$ .

Como $A C$ es cuerda de $Γ (I_{a} I_{c})$ entonces su mediatriz $P P^{'}$ interseca a $I_{a} I_{c}$ en su punto medio.

Por lo tanto, el punto medio, $P^{'}$ , del arco $\overset{⌢}{A C}$ , es el punto medio del diámetro, $I_{a} I_{c}$ , de $Γ (I_{a} I_{c})$ .

Del mismo modo podemos ver que $Γ (I I_{c})$ , $Γ (I_{b} I_{a})$ pasan por los vértices $A$ , $B$ y que $Γ (I I_{a})$ , $Γ (I_{b} I_{c})$ pasan por los vertices $C$ , $B$ .

Puntos de contacto

Notación. Nos referiremos a los puntos de tangencia de los círculos tritangentes $(I, r)$ , $(I_{a}, r_{a})$ , $(I_{b}, r_{b})$ y $(I_{c}, r_{c})$ con el lado $B C$ de un triángulo $△ A B C$ como $X$ , $X_{a}$ , $X_{b}$ y $X_{c}$ respectivamente. Usaremos las letras $Y$ y $Z$ para los lados $A C$ y $A B$ respectivamente.

Emplearemos la letra $s$ para referirnos al semiperímetro $\frac{a + b + c}{2}$ de un triángulo $△ A B C$ donde $B C = a$ , $A C = b$ y $A B = c$ .

Proposición 1. La distancia desde el vértice de un triángulo al punto de tangencia de su circuncírculo en uno de sus lados adyacentes es igual al semiperímetro menos la longitud del lado opuesto.

Demostración. Sea $△ A B C$ y $(I, r)$ su circuncírculo. Como las tangentes desde un punto exterior a una circunferencia son iguales entonces $A Z = A Y$ , $B Z = B X$ y $C X = C Y$ .

Por otra parte, $A Z + B Z + B X + C X + C Y + A Y = c + a + b = 2 s$ .

Por lo tanto, $A Z + B X + C X = s$ .

Y así, $A Y = A Z = s - a$ .

Similarmente, $B Z = B X = s - b$ y $C X = C Y = s - c$ .

Proposición 2. La distancia desde el vértice de un triángulo al punto de tangencia del excírculo opuesto, a uno de los lados adyacentes al vértice considerado es igual al semiperímetro del triángulo.

Demostración. Sea $△ A B C$ y $(I_{a}, r_{a})$ , $(I_{b}, r_{b})$ y $(I_{c}, r_{c})$ sus excentros (figura 2). Como las tangentes desde un punto exterior a una circunferencia son iguales entonces
$A Z_{a} = A Y_{a}$ , $B X_{b} = B Z_{b}$ y $C X_{c} = C Y_{c}$ .

Por otro lado,
$A Z_{a} + A Y_{a} = A B + B Z_{a} + A C + C Y_{a}$
$= A B + A C + B X_{a} + C X_{a} = A B + A C + B C = 2 s$ .

Por lo tanto, $A Z_{a} = A Y_{a} = s$ .

Igualmente, $B X_{b} = B Y_{b} = C X_{c} = C Y_{c} = s$ .

Corolario 1. $A Z_{c} = A Y_{c} = s - b$ , y $A Y_{b} = A Z_{b} = s - c$ .

Demostración. En la figura 2 tenemos lo siguiente:
$A Y_{c} = C Y_{c} - A C = s - A C$ ,
$A Z_{b} = B Z_{b} - A B = s - A B$ .

Similarmente,
$B Z_{c} = B X_{c} = s - a$ , $B X_{a} = B Z_{a} = s - c$ ,
$C X_{a} = C Y_{a} = s - b$ , $C Y_{b} = C X_{b} = s - a$ .

Puntos isotómicos

Definición 2. Si dos puntos en uno de los lados de un triángulo equidistan al punto medio del lado considerado decimos que son puntos isotómicos.

Proposición 3. El punto de tangencia del incírculo con uno de los lados de un triángulo y el punto de tangencia del excírculo relativo al lado considerado, son puntos isotómicos.

Demostración. Por la proposición 1 y el corolario 1, tenemos que $B X = s - b = C X_{a}$ (figura 2).

Esto implica que el punto medio de $X X_{a}$ es el punto medio de $B C$ , por lo tanto, $X$ y $X_{a}$ son puntos isotómicos.

Análogamente vemos que $Z$ , $Z_{c}$ e $Y$ , $Y_{b}$ son pares de puntos isotómicos.

Proposición 4. Los dos puntos de contacto de un lado de un triángulo con los dos excírculos opuestos a los vértices que pasan por ese lado son isotómicos, además la distancia entre estos dos puntos es igual a la suma de los otros dos lados.

Demostración. En la figura 2, tenemos lo siguiente:
$B X_{c} = C X_{c} - B C = s - a$ , $C X_{b} = B X_{b} - B C = s - a$ .

Por lo tanto, el punto medio de $X_{c} X_{b}$ coincide con el punto medio de $B C$ .

Por otro lado, $X_{c} X_{b} = B X_{c} + a + C X_{b} = a + 2 (s - a) = 2 s - a = c + b$ .

Igualmente, $Y_{a} Y_{c} = a + c$ , $Z_{a} Z_{b} = a + b$ .

Radios tritangentes y área del triangulo

Proposición 5. El área de un triángulo es igual al producto del semiperímetro por el inradio.

Demostración. De la figura 2,
$(△ A B C) = (△ A I B) + (△ B I C) + (△ A I C) = \frac{c r}{2} + \frac{a r}{2} + \frac{b r}{2} = s r$ .

Proposición 6. El área de un triángulo es igual al producto de un exradio por la diferencia entre el semiperímetro y el lado relativo al excírculo considerado.

Demostración. En la figura 2,
$(△ A B C) = (△ A I_{a} B) + (△ A I_{a} C) - (△ B I_{a} C)$
$= \frac{c r_{a}}{2} + \frac{b r_{a}}{2} - \frac{a r_{a}}{2} = \frac{r_{a}}{2} (2 s - 2 a) = r_{a} (s - a)$ .

Corolario 2. El reciproco del inradio es igual a la suma de los recíprocos de los exradios.

Demostración. De las proposiciones 5 y 6 se sigue que
$\frac{1}{r_{a}} + \frac{1}{r_{b}} + \frac{1}{r_{c}} = \frac{(s - a) + (s - b) + (s - c)}{(△ A B C)} = \frac{s}{(△ A B C)} = \frac{1}{r}$ .

Proposición 7. El área de un triángulo es igual al producto de sus lados sobre cuatro veces su circunradio.

Demostración. Sean $△ A B C$ , $(O, R)$ su circuncírculo, $D$ el pie de la altura por $A$ , y $A^{'}$ el punto diametralmente opuesto a $A$ .

$∠ A B D = ∠ A A^{'} C$ , pues abarcan el mismo arco y $∠ A C A^{'} = \frac{π}{2}$ es recto ya que $A A^{'}$ es diámetro, así que $△ A B D \sim △ A A^{'} C$ , por criterio de semejanza AA.

Esto es, $\frac{A B}{A A^{'}} = \frac{A D}{A C}$ .

Se sigue que, $b c = 2 R A D$ y $a b c = a 2 R A D = 4 R (△ A B C)$ .

Por lo tanto, $\frac{a b c}{4 R} = (△ A B C)$ .

Formula de Herón y teorema de Carnot

Teorema 2, fórmula de Herón. Podemos calcular el área de un triángulo mediante la fórmula
$(△ A B C) = \sqrt{s (s - a) (s - b) (s - c)}$ .

Demostración. Como $∠ Y C I$ y $∠ I_{A} C Y_{a}$ son suplementarios, por criterio de semejanza AAA $△ Y C I \sim △ Y_{a} I_{a} C$ ,
por lo tanto, $\frac{Y_{a} I_{a}}{Y C} = \frac{Y_{a} C}{Y I}$ ,
es decir, $\frac{r_{a}}{s - c} = \frac{s - b}{r}$ .

También $△ A Y I \sim △ A Y_{a} I_{a}$ ,
por lo tanto, $\frac{Y_{a} I_{a}}{Y I} = \frac{A Y_{a}}{A Y}$ ,
es decir, $\frac{r_{a}}{r} = \frac{s}{s - a}$ ,
entonces $\frac{r s}{s - a} = \frac{(s - b) (s - c)}{r}$ .

Por la proposición 5, $(△ A B C) = r s$ ,
por lo tanto, $(△ A B C) = \frac{(s - a) (s - b) (s - c)}{\frac{(△ A B C)}{s}}$ ,
así que $(△ A B C)^{2} = s (s - a) (s - b) (s - c)$ .

En conclusión, $(△ A B C) = \sqrt{s (s - a) (s - b) (s - c)}$ .

Teorema 3, de Carnot. La suma de las distancias desde el circuncentro a los lados del triángulo es igual a la suma del circunradio y el inradio.

Demostración. Sea $△ A B C$ un triángulo acutángulo, $(O, R)$ su circuncírculo y $D$ , $E$ , $F$ las proyecciones de $O$ en $B C$ , $A C$ y $A B$ respectivamente.

Aplicando el teorema de Ptolomeo a $A F O E$ , $F B D O$ y $O D C E$ tenemos:
$A F \times O E + A E \times O F = O A \times E F$ ,
$B F \times O D + B D \times O F = O B \times D F$ ,
$C E \times O D + C D \times O E = O C \times D E$ .

Por otra parte, como $O$ está en la mediatriz de $B C$ , $A C$ y $A B$ entonces $D$ , $E$ y $F$ son los respectivos puntos medios y podemos aplicar el teorema del segmento medio. Si nombramos $O D = x$ , $O E = y$ , $O F = z$ , entonces:

$\frac{c y}{2} + \frac{b z}{2} = \frac{R a}{2}$ ,
$\frac{c x}{2} + \frac{a z}{2} = \frac{R b}{2}$ ,
$\frac{b x}{2} + \frac{a y}{2} = \frac{R c}{2}$ .

Sumamos las tres expresiones,

$x (c + b) + y (a + c) + z (a + b) = R (a + b + c)$
$\Rightarrow x (2 s - a) + y (2 s - b) + z (2 s - c) = R 2 s$
$\Rightarrow 2 s (x + y + z) - (a x + b y + c z) = R 2 s$
$\Rightarrow 2 s (x + y + z) - 2 (△ A B C) = R 2 s$ .

De la proposición 5 tenemos $(△ A B C) = r s$ ,
por lo tanto, $2 s (x + y + z) - 2 r s = R 2 s$ .

Como resultado, $x + y + z = R + r$ .

Más adelante…

Con la ayuda de las formulas para el calculo del área de un triángulo vistas en esta entrada, en la próxima entrada mostraremos algunas desigualdades geométricas.

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.

Muestra que:
$i)$ la bisectriz interna del ángulo de un triángulo es perpendicular al segmento que une los puntos donde las otras bisectrices internas intersecan al circuncírculo del triangulo,
$i i)$ la bisectriz externa del ángulo de un triángulo es paralela al segmento que une los puntos donde las bisectrices externas (internas) de los otros dos ángulos intersecan al circuncírculo del triángulo.
Demuestra que:
$i)$ la suma de los catetos de un triángulo rectángulo menos la hipotenusa es igual al diámetro de su incírculo,
$i i)$ el área de un triángulo rectángulo es igual al producto de los segmentos en los cuales la hipotenusa es dividida por el punto de tangencia de su incírculo.
Muestra que en la figura 2 se tienen las siguientes igualdades:
$i)$ $X X_{a} = b - c$ , $Y Y_{b} = a - c$ , $Z Z_{c} = a - b$ ,
$i i)$ $Z Z_{a} = Y Y_{a} = a$ , $X X_{b} = Z Z_{b} = b$ , $Y Y_{c} = X X_{c} = c$ ,
$i i i)$ $Y_{b} Y_{c} = Z_{b} Z_{c} = a$ , $X_{a} X_{c} = Z_{a} Z_{c} = b$ , $X_{a} X_{b} = Y_{a} Y_{b} = c$ .
Prueba que:
$i)$ el producto de los cuatro radios tritangentes de un triángulo es igual al cuadrado del área del triángulo $(△ A B C)^{2} = r r_{a} r_{b} r_{c}$
$i i)$ el reciproco del inradio de un triángulo es igual a la suma de los recíprocos de las alturas del triangulo, $\frac{1}{r} = \frac{1}{h_{a}} + \frac{1}{h_{b}} + \frac{1}{h_{c}}$ ,
$i i i)$ en la figura 2, $\frac{A Z \times B X \times C Y}{r} = (△ A B C)$ .
Demuestra que la razón entre el área de un triangulo y el area del triángulo formado por los puntos de contacto de su circuncírculo con sus lados es igual a la razón entre el inradio y el circundiámetro. En la figura 2, $\frac{(△ X Y Z)}{(△ A B C)} = \frac{r}{2 R}$ .
Muestra que en el teorema de Carnot, cuando $∠ A$ es obtuso (figura 4), entonces $y + z - x = R + r$ .
Sean $△ A B C$ , $α = ∠ B A C$ , $β = ∠ C B A$ , $γ = ∠ A C B$ , $R$ el circunradio y $r$ el inradio, muestra que:
$i)$ $\sin \frac{α}{2} = \sqrt{\frac{(s - b) (s - c)}{b c}}$ , $\sin \frac{β}{2} = \sqrt{\frac{(s - a) (s - c)}{a c}}$ , $\sin \frac{γ}{2} = \sqrt{\frac{(s - a) (s - b)}{a b}}$
$i i)$ $\cos α + \cos β + \cos γ = 1 + \frac{r}{R}$ .

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Trigonometría.
Siguiente entrada del curso: Desigualdades geométricas.
Otros cursos.

Fuentes

Altshiller, N., College Geometry. New York: Dover, 2007, pp 73-79, 87-91.
Coxeter, H. y Greitzer, L., Geometry Revisited. Washington: The Mathematical Association of America, 1967, pp 11-13.
Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 86-89, 97-98.
Quora
Cut the Knot

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»

Geometría Moderna I: Cuadrángulo ortocéntrico

Por Rubén Alexander Ocampo Arellano

Deja un comentario

Introducción

En esta entrada veremos que los cuatro triángulos que se forman con los vértices de un cuadrángulo ortocéntrico, tienen la misma circunferencia de los nueve puntos y derivaremos algunas otras propiedades.

Cuadrángulo ortocéntrico

Definición. Un cuadrángulo ortocéntrico es el conjunto de puntos formado por los vértices de un triángulo y su ortocentro.

Nos referiremos a los cuatro triángulos que se pueden formar con los cuatro puntos de un cuadrángulo ortocéntrico como grupo ortocéntrico de triángulos.

Teorema 1. Cualquier punto de un cuadrángulo ortocéntrico es el ortocentro del triángulo formado por los otros tres puntos y los triángulos de este grupo ortocéntrico tienen el mismo triangulo órtico.

Demostración. Sea $△ A B C$ y $H$ su ortocentro.

Notemos que el ortocentro de $△ B H C$ es $A$ pues $A B ⊥ H C$ , $A H ⊥ B C$ y $A C ⊥ H B$ .

De manera análoga podemos ver que $B$ es el ortocentro de $△ A H C$ y $C$ es el ortocentro de $△ A H B$ .

Por otro lado, los pares de rectas perpendiculares $A H$ , $B C$ ; $B H$ , $A C$ y $C H$ , $A B$ , se intersecan en $D$ , $E$ y $F$ , respectivamente.

Por lo tanto, estos tres puntos son fijos, así el triángulo órtico es el mismo para los cuatro triángulos $△ A B C$ , $△ H A B$ , $△ H A C$ y $△ H B C$ .

Corolario 1. Las circunferencias de los nueve puntos de un grupo ortocéntrico de triángulos coinciden y sus circunradios son iguales.

Demostración. Como el circuncírculo del triángulo órtico de un triángulo dado es la circunferencia de los nueve puntos, por el teorema 1, los triángulos de un grupo ortocéntrico tienen la misma circunferencia de los nueve puntos.

En la entrada anterior vimos que el radio de la circunferencia de los nueve puntos es igual a la mitad del circunradio de su triángulo de referencia.

Por lo tanto, $△ A B C$ , $△ H A B$ , $△ H A C$ y $△ H B C$ tienen el mismo circunradio (figura 1).

Circuncentros

Teorema 2. Los circuncentros de un grupo ortocéntrico de triángulos forman un cuadrángulo ortocéntrico.

Demostración. Por el teorema 2 de la entrada anterior, sabemos que el circuncentro de un triángulo es la reflexión de su ortocentro respecto de $N$ , el centro de los nueve puntos.

Como los triángulos de un grupo ortocéntrico tienen el mismo centro de los nueve puntos, los circuncentros $O_{a}$ , $O_{b}$ , $O_{c}$ y $O$ de $△ H B C$ , $△ H A C$ , $△ H A B$ y $△ A B C$ son las reflexiones de $A$ , $B$ , $C$ y $H$ respectivamente respecto a $N$ .

Dado que una reflexión es una homotecia de razón $- 1$ entonces las figuras $A B C H$ y $O_{a} O_{b} O_{c} O$ son congruentes y por lo tanto $O_{a} O_{b} O_{c} O$ es un cuadrángulo ortocéntrico.

Corolario 2. Un grupo ortocéntrico de triángulos y el grupo ortocéntrico de triángulos formado por sus circuncentros tienen la misma circunferencia de los nueve puntos.

Demostración. Como las figuras $A B C H$ y $O_{a} O_{b} O_{c} O$ son simétricas respecto a $N$ entonces también sus circunferencias de los nueve puntos son simétricas respecto a $N$ .

Como $N$ es el centro de una de estas circunferencias, entonces coinciden.

Observación. Notemos que como $O_{a} O_{b} O_{c} O$ es un grupo ortocéntrico de triángulos, entonces la reflexión de sus ortocentros respecto al centro de los nueve puntos $N$ será el conjunto de sus circuncentros.

Entonces $A$ , $B$ , $C$ y $H$ son los circuncentros de $△ O_{b} O_{c} O$ , $△ O_{a} O_{c} O$ , $△ O_{a} O_{b} O$ y $△ O_{a} O_{b} O_{c}$ respectivamente.

Problema. Construye un triángulo $△ A B C$ dados el centro de los nueve puntos $N$ y los circuncentros $O_{b}$ y $O_{c}$ de los triángulos $△ C A H$ y $△ A B H$ respectivamente donde $H$ es el ortocentro de $△ A B C$ .

Solución. $O_{b}$ y $O_{c}$ son los ortocentros de $△ O_{a} O_{c} O$ y $△ O_{a} O_{b} O$ respectivamente y si los reflejamos respecto a $N$ obtendremos a los circuncentros de sus respectivos triángulos, estos son los vértices $B$ y $C$ del triángulo requerido.

Ahora tenemos dos vértices y el centro de los nueve puntos, este problema lo resolvimos en la entrada anterior.

Centroices

Teorema 3. Los cuatro centroides de un grupo ortocéntrico de triángulos forman un cuadrángulo ortocéntrico.

Demostración. Sea $△ A B C$ y $H$ su ortocentro.

Sabemos que el centro de los nueve puntos $N$ de $△ A B C$ divide internamente al segmento $H G$ en razón $3 : 1$ , donde $G$ es el centroide de $△ A B C$ .

Como el grupo ortocéntrico de triángulos $△ A B C$ , $△ H B C$ , $△ H A C$ , $△ H A B$ tienen el mismo centro de los nueve puntos $N$ , entonces sus respectivos centroides $G$ , $G_{a}$ , $G_{b}$ , $G_{c}$ están en homotecia con $H$ , $A$ , $B$ , $C$ respectivamente desde $N$ y la razón de homotecia es $- 3$ .

Como dos figuras homotéticas son semejantes, entonces $G G_{a} G_{b} G_{c}$ es un cuadrángulo ortocéntrico.

Corolario 3. La circunferencia de los nueve puntos de un grupo ortocéntrico de triángulos y la circunferencia de los nueve puntos del grupo ortocéntrico formado por sus centroides son concéntricas.

Demostración. Como las figuras $H A B C$ y $G G_{a} G_{b} G_{c}$ están en homotecia desde el centro de los nueve puntos $N$ de $△ A B C$ entonces sus respetivas circunferencias de los nueve puntos también están en homotecia desde $N$ .

Como $N$ es el centro de una de ellas, entonces son concéntricas.

Corolario 4. Dado un cuadrángulo ortocéntrico, el cuadrángulo ortocéntrico formado por sus circuncentros y el cuadrángulo ortocéntrico formado por sus centroides tienen el mismo centro de los nueve puntos y además existe una homotecia entre ellos con centro en este punto.

Demostración. Por los corolarios 2 y 3, $O O_{a} O_{b} O_{c}$ y $G G_{a} G_{b} G_{c}$ tienen el mismo centro de los nueve puntos que $H A B C$ y son homotéticos con este último precisamente desde $N$ en razón $- 1$ y $- 3$ respectivamente.

Por lo tanto, existe una homotecia con centro en $N$ y razón $3$ que lleva a $G G_{a} G_{b} G_{c}$ en $O O_{a} O_{b} O_{c}$ .

Incentro y excentros

Teorema 4. El incentro y los excentros de un triángulo dado forman un cuadrángulo ortocéntrico y el circuncírculo del triángulo dado es la circunferencia de los nueve puntos de este grupo ortocéntrico de triángulos.

Demostración. Como las bisectrices interna y externa de los ángulos de un triángulo $△ A B C$ son perpendiculares entre si entonces el incentro $I$ es el ortocentro del triángulo formado por los excentros $△ I_{a} I_{b} I_{c}$ y el triángulo $△ A B C$ es el triángulo órtico de $△ I_{a} I_{b} I_{c}$ .

Entonces, por el teorema 1 y corolario 1, $I_{a} I_{b} I_{c} I$ es un grupo ortocéntrico de puntos y su circunferencia de los nueve puntos es el circuncírculo de $△ A B C$ .

Proposición. El segmento que une el ortocentro de un triángulo dado con el circuncentro del triángulo formado por los excentros del triángulo dado es bisecado por el incentro del triángulo medial del triángulo dado.

Demostración. Sea $△ A B C$ un triángulo, $I$ , $I_{a}$ , $I_{b}$ , $I_{c}$ , el incentro y sus respectivos excentros, $O$ y $O_{e}$ los circuncentros de $△ A B C$ y $△ I_{a} I_{b} I_{c}$ respectivamente.

Por el teorema anterior, $I$ y $O$ son el ortocentro y el centro de los nueve puntos respectivamente de $△ I_{a} I_{b} I_{c}$ , por lo tanto, $O$ es el punto medio de $I O_{e}$ .

Sean $H$ y $G$ el ortocentro y el centroide respectivamente de $△ A B C$ , como $H$ , $G$ y $O$ son colineales y $G$ triseca el segmento $O H$ , entonces, $G$ es el centroide de $△ I O_{e} H$ .

Por lo tanto, $I G$ biseca a $O_{e} H$ en $I^{'}$ y $\frac{I G}{2} = G I^{'}$ .

Por otro lado, sabemos que existe una homotecia con centro en $G$ y razón $\frac{- 1}{2}$ , que lleva a $△ A B C$ , a su triangulo medial $△ A^{'} B^{'} C^{'}$ , por lo que sus respectivos incentros $I$ y $I_{m}$ son puntos homólogos de esta homotecia, es decir $I$ , $G$ y $I_{m}$ son colineales y $G$ triseca al segmento $I I_{m}$ .

Como $I^{'}$ cumple con estas características entonces $I^{'} = I_{m}$ .

Más adelante…

En la próxima entrada estudiaremos otra recta notable del triángulo, la recta de Simson, veremos que la intersección de dos rectas de Simson se intersecan en la circunferencia de los nueve puntos y que cierto conjunto de rectas de Simson forman un cuadrángulo ortocéntrico.

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.

Muestra que las rectas de Euler de los cuatro triángulos de un grupo ortocéntrico son concurrentes.
Demuestra que el simétrico del circuncentro de un triángulo con respecto a uno de los lados del triángulo coincide con el simétrico del vértice opuesto al lado considerado respecto al centro de los nueve puntos del triángulo.
Muestra que los vértices de un grupo ortocéntrico de triángulos pueden ser considerados como los centroides de otro grupo ortocéntrico de triángulos.
Sea $△ A B C$ un triángulo rectángulo con $∠ A = \frac{π}{2}$ , $D$ el pie de la altura por $A$ , las bisectrices de $∠ B A D$ y $∠ D A C$ intersecan a $B C$ en $P$ y $P^{'}$ respectivamente. Las bisectrices de $∠ D B A$ y $∠ A C D$ intersecan a $A D$ en $Q$ y $Q^{'}$ respectivamente.
$i)$ Muestra que $P P^{'} Q Q^{'}$ es un cuadrángulo ortocéntrico,
$i i)$ si $I$ , $J$ y $K$ son los incentros de $△ A B C$ , $△ A B D$ y $△ A D C$ , muestra que $A I J K$ es un cuadrángulo ortocéntrico.
Prueba que la suma de los cuadrados de dos segmentos no adyacentes que unen vértices de un cuadrángulo ortocéntrico es igual al cuadrado del circundiámetro de los triángulos de este grupo ortocéntrico.
Construye un triángulo $△ A B C$ dados su circuncentro $O$ , y los circuncentros de los triángulos $△ I I_{b} I_{c}$ y $△ I I_{a} I_{c}$ , donde $I$ , $I_{a}$ , $I_{b}$ y $I_{c}$ es el incentro y los excentros de $△ A B C$ .

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Circunferencia de los nueve puntos.
Siguiente entrada del curso: Recta de Simson.
Otros cursos.

Fuentes

Altshiller, N., College Geometry. New York: Dover, 2007, pp 109-115.
Johnson, R., Advanced Euclidean Geometry. New York: Dover, 2007, pp 165-167.
Shively, L., Introducción a la Geómetra Moderna. México: Ed. Continental, 1961, pp 58.

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»

Geometría Moderna I: Triángulo medial y recta de Euler

Por Rubén Alexander Ocampo Arellano

2 respuestas

Introducción

Continuando con el estudio de las propiedades del centroide, en esta entrada veremos que es colineal con el ortocentro y el circuncentro, y que además triseca al segmento que une dichos puntos. Para establecer estos resultados, veremos primero algunos resultados del triángulo medial de un triángulo dado.

Triángulo medial

Definición 1. Al triángulo que tiene como vértices los puntos medios de un triángulo dado se le conoce como triángulo medial o triángulo complementario del triángulo dado.

Teorema 1. Un triángulo y su triángulo medial son homotéticos además comparten el mismo centroide.

Demostración. Sean $△ A B C$ , $A^{'}$ , $B^{'}$ y $C^{'}$ los puntos medios de $B C$ , $A C$ y $A B$ respectivamente.

Por el teorema del segmento medio, los lados del triángulo medial $△ A^{'} B^{'} C^{'}$ son paralelos a los lados de $△ A B C$ y por lo tanto son homotéticos.

Ya que las rectas determinadas por dos puntos homólogos, $A A^{'}$ , $B B^{'}$ y $C C^{'}$ son las medianas de $△ A B C$ , entonces el centroide $G$ es el centro de homotecia y sabemos que $A G = 2 G A^{'}$ , por lo que la razón de homotecia es $\frac{- 1}{2}$ , donde el signo menos indica que dos puntos homólogos de esta homotecia se encuentran en lados opuestos respecto del centro de homotecia.

Como $B C$ y $B^{'} C^{'}$ son rectas homotéticas, entonces el punto homólogo de $A^{'} \in B C$ es $E = A^{'} G \cap B^{'} C^{'}$ , y como $A^{'}$ es el punto medio de $B C$ entonces $E$ es el punto medio de $B^{'} C^{'}$ , pues la homotecia preserva las proporciones.

Por lo tanto, $A^{'} G$ es mediana de $△ A^{'} B^{'} C^{'}$ , de manera similar podemos ver que $B^{'} G$ y $C^{'} G$ son medianas de $△ A^{'} B^{'} C^{'}$ , por lo tanto, $G$ es el centroide de $△ A^{'} B^{'} C^{'}$ .

Proposición 1. El circuncentro de un triángulo es el ortocentro de su triángulo medial.

Demostración. Se sigue del hecho de que las mediatrices de un triángulo son las alturas de su triángulo medial, esto es así porque los vértices del triángulo medial son, por definición, los puntos medios de un triángulo dado y los lados del triángulo medial son paralelos a los lados del triángulo dado.

Triángulo anticomplementario

Definición 2. Dado un triángulo, al triángulo formado por las rectas paralelas a los lados del triángulo dado a través de los respectivos vértices opuestos, se le conoce como triángulo anticomplementario del triángulo dado.

Proposición 2. Un triángulo y su triángulo anticomplementario son homotéticos y tienen el mismo centroide.

Demostración. Consideremos $△ A B C$ y $△ A^{″} B^{″} C^{″}$ su triángulo anticomplementario.

Como $C^{″} B C A$ y $A B C B^{″}$ son paralelogramos entonces $C^{″} A = B C = A B^{″}$ , por lo tanto, $A$ es el punto medio de $B^{″} C^{″}$ . De manera análoga vemos que $B$ y $C$ son puntos medio de $A^{″} C^{″}$ y $A^{″} B^{″}$ respectivamente,

Por lo tanto, $△ A B C$ es el triángulo medial de $△ A^{″} B^{″} C^{″}$ y por el teorema 1 se tiene el resultado.

Circunferencia de Droz Farny

Proposición 3. El producto de los segmentos en que el ortocentro divide a la altura de un triángulo es igual para las tres alturas del triángulo.

Demostración. Sean $△ A B C$ y $D$ , $E$ y $F$ los pies de las alturas por $A$ , $B$ y $C$ respectivamente y $H$ el ortocentro.

Notemos que $△ A F H \sim △ C D H$ y $△ A E H \sim △ B D H$ (son semejantes) pues son triángulos rectángulos y comparten un ángulo opuesto por el vértice, por lo tanto
$\frac{A H}{C H} = \frac{F H}{D H}$ $\Rightarrow A H \times D H = C H \times H F$ ,
$\frac{A H}{B H} = \frac{E H}{D H}$ $\Rightarrow A H \times D H = B H \times H E$ .

De esto se sigue que
$C H \times H F = A H \times D H = B H \times H E$ .

Teorema 2. Si tomamos los vértices de un triángulo como centros de circunferencias del mismo radio, estas cortaran a los respectivos lados de su triángulo medial en tres pares de puntos que son equidistantes del ortocentro del triángulo.

Demostración. Sean $△ A B C$ y $△ A^{'} B^{'} C^{'}$ su triángulo medial, tracemos tres circunferencias del mismo radio $(A, r)$ , $(B, r)$ y $(C, r)$ las cuales intersecan a $B^{'} C^{'}$ , $A^{'} C^{'}$ y $A^{'} B^{'}$ en $P$ , $P^{'}$ ; $Q$ , $Q^{'}$ y $R$ , $R^{'}$ , respectivamente.

Sean $D \in B C$ el pie de la altura por $A$ , y $M = A D \cap B^{'} C^{'}$ , por el teorema de Pitágoras en $△ A M P$ y $△ H M P$ tenemos
$A P^{2} - A M^{2} = M P^{2} = H P^{2} - H M^{2}$
$\Rightarrow A P^{2} - H P^{2} = A M^{2} - H M^{2} = (A M + H M) (A M - H M)$ .

Como $△ A C^{'} B^{'} ≅ △ C^{'} B A^{'}$ son congruentes por criterio LLL entonces sus alturas desde $A$ y $C^{'}$ , respectivamente, son iguales , por lo tanto $A M = M D$ ,
$\Rightarrow A P^{2} - H P^{2} = (M D + H M) A H = H D \times A H$ .

Por otra parte, $△ P A P^{'}$ es isósceles y como $A M$ es altura entonces $A M$ es mediatriz de $P P^{'}$ , por lo tanto $H P = H P^{'}$ $\Rightarrow$
$\begin{matrix} (1) & H P^{' 2} = H P^{2} = A P^{2} - A H \times H D . \end{matrix}$ .

Si consideramos $E$ y $F$ los pies de las alturas por $B$ y $C$ respectivamente podemos encontrar fórmulas análogas
$\begin{matrix} (2) & H Q^{' 2} = H Q^{2} = B Q^{2} - B H \times H E, \end{matrix}$
$\begin{matrix} (3) & H R^{' 2} = H R^{2} = C R^{2} - C H \times H F . \end{matrix}$ .

Como $(A, r)$ , $(B, r)$ y $(C, r)$ tienen el mismo radio, entonces $A P = B Q = C R$ y por la proposición 3, $A H \times D H = B H \times H E = C H \times H F$ .

Tomando lo anterior en cuenta y a las ecuaciones $(1)$ , $(2)$ y $(3)$ se sigue que
$H P = H P^{'} = H Q = H Q^{'} = H R = H R^{'}$ .

Recta de Euler

Teorema 3. El circuncentro, el centroide y el ortocentro de todo triangulo son colineales, con el centroide siempre en medio, a la recta determinada por estos tres puntos se le conoce como recta de Euler del triángulo, además $H G = 2 G O$ .

Demostración. Sean $△ A B C$ y $△ A^{'} B^{'} C^{'}$ su triángulo medial, por el teorema 1, $△ A B C$ y $△ A^{'} B^{'} C^{'}$ están en homotecia desde $G$ , el centroide, que es el mismo para ambos triángulos, y la razón de homotecia es $\frac{- 1}{2}$ .

Consideremos la altura $A D$ de $△ A B C$ , la homotecia de $A D$ es una recta paralela a ella y que pasa por el punto homólogo de $A$ , $A^{'}$ , es decir la homotecia de una altura de $△ A B C$ es una altura de $△ A^{'} B^{'} C^{'}$ .

Como el ortocentro $H$ de $△ A B C$ es la intersección de sus alturas, entonces su punto homologo bajo la homotecia estará en la intersección de las alturas de $△ A^{'} B^{'} C^{'}$ , esto es, el ortocentro de $△ A^{'} B^{'} C^{'}$ , $H^{'}$ .

Con esto tenemos que el ortocentro de $△ A^{'} B^{'} C^{'}$ es colineal con $G$ el centroide y el ortocentro de $△ A B C$ respectivamente, además, debido a la razón de homotecia, $H G = 2 G H^{'}$ .

Por la proposición 1, el ortocentro del triángulo medial $△ A^{'} B^{'} C^{'}$ es el circuncentro $O$ de $△ A B C$ .

Así, $O$ , $G$ y $H$ son colineales y $H G = 2 G O$ .

Observación. Notemos que si el triángulo es equilátero el ortocentro, el centroide y el circuncentro son el mismo punto y por lo tanto la recta de Euler degenera en un punto.

Problema. Construye un triángulo $△ A B C$ dados el vértice $A$ , el circuncentro $O$ y las distancias de $A$ al ortocentro $A H$ , y al centroide $A G$ .

Solución. El centroide $G$ se encuentra en la circunferencia con centro en $A$ y radio $A G$ , $(A, A G)$ , el ortocentro $H$ se encuentra en la circunferencia con centro en $A$ y radio $H$ , $(A, A H)$ .

Por el teorema 3 sabemos que $H$ , $G$ y $O$ son colineales y que $H O = 3 G O$ , por lo que $H$ y $G$ se encuentran en homotecia desde $O$ .

Entonces, a $(A, A H)$ le aplicamos una homotecia con centro en $O$ y razón $\frac{1}{3}$ , esto será una circunferencia $Γ$ y $G$ resultara de la intersección de $Γ$ con $(A, A G)$ .

Teniendo a $G$ construido, como tenemos el circuncírculo $(O, O A)$ y un vértice del triángulo, el problema se reduce a la solución del problema 2 de la entrada anterior.

Distancia entre puntos notables

Teorema 4. Para un triángulo con lados $a$ , $b$ , $c$ , ortocentro $H$ , centroide $G$ , y circuncírculo $(O, R)$ tenemos:
$O H^{2} = 9 R^{2} - (a^{2} + b^{2} + c^{2})$ ,
$H G^{2} = 4 R^{2} - \frac{4}{9} (a^{2} - b^{2} + c^{2})$ .

Demostración. Por el teorema 3 sabemos que $O H = 3 O G$ y $H G = 2 G O$ , además en la entrada anterior calculamos
$O G^{2} = R^{2} - (\frac{a^{2} + b^{2} + c^{2}}{9})$ .

Por lo tanto,
$O H^{2} = 9 O G^{2} = 9 R^{2} - (a^{2} + b^{2} + c^{2})$ ,
$H G^{2} = 4 O G^{2} = 4 R^{2} - \frac{4}{9} (a^{2} + b^{2} + c^{2})$ .

Corolario. Podemos calcular la suma de los cuadrados de las distancias del ortocentro a los vértices del triángulo en función del circunradio y los lados del triángulo con la siguiente fórmula.
$H A^{2} + H B^{2} + H C^{2} = 12 R^{2} + (a^{2} + b^{2} + c^{2})$ .

Demostración. Por el teorema 4, y usando las fórmulas encontradas en la entrada anterior
$H A^{2} + H B^{2} + H C^{2} = G A^{2} + G B^{2} + G C^{2} + 3 H G^{2}$ ,
$G A^{2} + G B^{2} + G C^{2} = \frac{a^{2} + b^{2} + c^{2}}{3}$ .

Esto implica que,
$H A^{2} + H B^{2} + H C^{2} = \frac{a^{2} + b^{2} + c^{2}}{3} + 12 R^{2} - \frac{4}{3} (a^{2} + b^{2} + c^{2})$
$= 12 R^{2} - (a^{2} + b^{2} + c^{2})$ .

Más adelante…

En la siguiente entrada estudiaremos otro triángulo asociado a un triángulo dado, aquel cuyos vértices son los pies de las alturas del triángulo 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.

Muestra que el triángulo complementario y el triángulo anticomplementario de un triángulo dado son homotéticos, encuentra el centro y la razón de homotecia.
Sea $△ A B C$ y $P$ un punto en el plano, considera $A^{'}$ , $B^{'}$ y $C^{'}$ los pies de las perpendiculares dese $P$ a $B C$ , $A C$ y $A B$ respectivamente. Desde los puntos medios de $A^{'} B^{'}$ , $A^{'} C^{'}$ y $B^{'} C^{'}$ traza perpendiculares a los lados de $A B$ , $A C$ y $B C$ respectivamente, muestra que este último conjunto de perpendiculares son concurrentes.
Sean $D$ , $D^{'} \in B C$ de un triangulo $△ A B C$ , tal que el punto medio de $B C$ es el punto medio de $D D^{'}$ , sea $E = A D \cap B^{'} C^{'}$ , donde $B^{'}$ y $C^{'}$ son los puntos medios de $A C$ y $A B$ respectivamente, muestra que $E D^{'}$ pasa por el centroide de $△ A B C$ .
Muestra que la recta de Euler de un triángulo pasa por uno de los vértices del triángulo si y solo si el triángulo es isósceles o rectángulo.
Prueba que la recta que une el centroide de un triangulo con un punto $P$ en su circuncírculo biseca al segmento que une el punto diametralmente opuesto a $P$ con el ortocentro.
Sean $H$ , $G$ , $(O, R)$ y $(I, r)$ , el ortocentro, el centroide, el circuncírculo y el incírculo de un triángulo, muestra que:
$i)$ $H I^{2} + 2 O I^{2} = 3 (I G^{2} + 2 O G^{2})$ ,
$i i)$ $3 (I G^{2} + \frac{H G^{2}}{2}) - I H^{2} = 2 R (R - 2 r)$ .

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Medianas y centroide.
Siguiente entrada del curso: Triángulo órtico.
Otros cursos.

Fuentes

Altshiller, N., College Geometry. New York: Dover, 2007, pp 68-69, 94-96, 101-102.
Coxeter, H. y Greitzer, L., Geometry Revisited. Washington: The Mathematical Association of America, 1967, pp 18-19.
Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 65-68.

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»

Geometría Moderna I: Puntos notables del triángulo

Por Rubén Alexander Ocampo Arellano

Deja un comentario

Introducción

En esta entrada estudiamos la concurrencia de rectas importantes en el triangulo, a saber, las medianas, mediatrices, bisectrices y alturas. Mencionamos también consecuencias inmediatas de los puntos de concurrencia.

Centroide

Teorema 1. Las medianas de todo triángulo concurren en un punto que las triseca.

Demostración. Sean $△ A B C$ , $B^{'}$ y $C^{'}$ los puntos medios de $A C$ y $A B$ respectivamente, por el teorema del segmento medio sabemos que $C^{'} B^{'} = \frac{B C}{2}$ y $C^{'} B^{'} ∥ B C$ .

Sea $G$ la intersección de las medianas $B B^{'}$ y $C C^{'}$ , en $△ G B C$ consideremos $M$ y $N$ los puntos medios de los lados $G B$ y $G C$ respectivamente, entonces
$M N = \frac{B C}{2}$ y $M N ∥ B C$ .

Por transitividad $C^{'} B^{'} = M N$ y $C^{'} B^{'} ∥ M N$ , esto implica que $C^{'} M N B^{'}$ es un paralelogramo y por lo tanto sus diagonales se bisecan, es decir,
$C^{'} G = G N$ y $M G = G B^{'}$ .

Por construcción, $M G = B M$ y $G N = N C$
$\Rightarrow G B^{'} = \frac{B B^{'}}{3}$ y $C^{'} G = \frac{C C^{'}}{3}$ ,
esto es, la medianas $B B^{'}$ y $C C^{'}$ se trisecan

Si repetimos el mismo procedimiento pero ahora con las medianas $A A^{'}$ y $B B^{'}$ encontraremos un punto $G^{'}$ en donde las medianas se trisecaran, $G^{'} B^{'} = \frac{B B^{'}}{3}$ y $G^{'} A^{'} = \frac{A A^{'}}{3}$ .

Como $G B^{'} = \frac{B B^{'}}{3} = G^{'} B^{'}$ , concluimos que $G^{'} = G$ .

Por lo tanto, las medianas de un triángulo concurren en un punto que las triseca.

Definición 1. Decimos que el punto en que concurren las medianas de un triángulo es el gravicentro, baricentro o centroide del triángulo y lo denotamos con la letra $G$ mayúscula.

Circuncentro

Teorema 2. Las mediatrices de los lados de todo triángulo son concurrentes.

Demostración. Sea $△ A B C$ , consideremos las mediatrices $l_{c}$ y $l_{b}$ de $A B$ y $A C$ respectivamente y $O = l_{b} \cap l_{c}$ .

En la entrada desigualdad del triángulo y lugar geométrico mostramos que un punto está en la mediatriz de un segmento si y solo si equidista a los puntos extremos del segmento.

Ya que $O \in l_{c}$ y $O \in l_{b}$ , entonces $O A = O B$ y $O A = O C$
$\Rightarrow O B = O C$ .

Por el resultado mencionado anteriormente $O B = O C$ implica que $O \in l_{a}$ , la mediatriz de $B C$ .

Por lo tanto, las mediatrices de un triángulo son concurrentes.

Corolario. Tres puntos distintos y no colineales se encuentran en una única circunferencia.

Demostración. Sea $△ A B C$ , por el teorema anterior las mediatrices de los segmentos determinados por los vértices del triángulo concurren en un punto $O$ cuya distancia a cada uno de los vértices es la misma $R = O A = O B = O C$ .

Por definición de circunferencia, $A$ , $B$ y $C$ pertenecen a la circunferencia con centro en $O$ y radio $R$ , $A$ , $B$ , $C \in (O, R) = Γ$ .

Ahora supongamos que existe $Γ^{'} = (O^{'}, R^{'})$ tal que $A$ , $B$ , $C \in Γ^{'}$ , entonces, por definición, $O^{'} A = O^{'} B = O^{'} C = R^{'}$ .

Esto implica que $O^{'} \in l_{a}$ , $O^{'} \in l_{b}$ y $O^{'} \in l_{c}$ , las mediatices de $B C$ , $A C$ y $A B$ respectivamente,
$\Rightarrow O \in l_{a} \cap l_{b} \cap l_{c}$ .

Como ya probamos que las mediatrices son concurrentes entonces $O^{'} = O$ y $R^{'} = R$ , así que $Γ$ es única.

Definición 2. Al punto de concurrencia de las mediatrices de los lados de un triángulo le llamamos circuncentro y lo denotamos como $O$ .

A la distancia constante de $O$ a los vértices del triángulo le llamamos circunradio denotado con la letra $R$ mayúscula.

A la circunferencia única $(O, R)$ determinada por los vértices del triángulo se le conoce como circuncírculo.

Incentro

Teorema 3. Las bisectrices interiores de todo triángulo son concurrentes.

Demostración. Sean $l_{B}$ y $l_{C}$ las bisectrices de los ángulos interiores en $∠ B$ y $∠ C$ respectivamente e $I = l_{B} \cap l_{C}$ .

En la entrada desigualdad del triángulo y lugar geométrico mostramos que un punto está en la bisectriz de un ángulo si y solo si equidista a los lados que forman el ángulo. Recordemos que la distancia de un punto a una recta es la longitud del punto al pie de la perpendicular a la recta trazada desde el punto.

Denotamos la distancia de un punto $P$ a una recta $l$ como $(P, l)$ .

Como $I \in l_{b}$ e $I \in l_{c}$ , entonces $(I, A B) = (I, B C)$ y $(I, B C) = (I, A C)$ ,
$\Rightarrow (I, A B) = (I, A C)$ .

Por el resultado citado anteriormente, $(I, A B) = (I, A C)$ implica que $I \in l_{A}$ , la bisectriz interior de $∠ A$ .

Por tanto, las bisectrices interiores de un triángulo son concurrentes.

Si consideramos los pies de las perpendiculares a los lados del triángulo trazados desde el punto en que concurren las bisectrices, encontramos tres puntos distintos que equidistan a un punto fijo y por el corolario anterior estos determinan una única circunferencia, esto motiva la siguiente definición.

Definición 3. Al punto de concurrencia de las bisectrices interiores de un triángulo se le conoce como incentro del triángulo y lo denotamos con la letra $I$ mayúscula.

A la distancia de $I$ a los lados del triángulo le llamamos inradio y lo denotamos como $r = (I, A B) = (I, B C) = (I, A C)$ .

La circunferencia con centro en $I$ y radio $r$ , $(I, r)$ , se llama incírculo.

Excentros

Teorema 4. En todo triángulo las bisectrices exteriores de dos ángulos y la bisectriz interior del tercer ángulo son concurrentes.

Demostración. Sea $△ A B C$ , $l_{A}$ y $l_{C}$ las bisectrices exteriores de $∠ A$ y $∠ C$ respectivamente e $I_{b} = l_{A} \cap l_{C}$ .

De manera análoga al caso de las bisectrices internas tenemos que
como $I_{b} \in l_{A}$ e $I_{b} \in l_{C}$ , entonces $(I_{b}, A B) = (I_{b}, A C)$ y $(I_{b}, A C) = (I_{b}, B C)$ ,
$\Rightarrow (I_{b}, A B) = (I_{b}, B C)$ .

Como $I_{b}$ está en la región acotada por el ángulo $∠ C B A$ entonces $I \in l_{B}$ , la bisectriz interior de $∠ B$ .

Por lo tanto, la bisectriz interna de $∠ B$ y las bisectrices externas de $A$ y $C$ son concurrentes.

De manera análoga probamos que las bisectrices externas de $∠ A$ y $∠ B$ concurren con la bisectriz interna de $∠ C$ , y las bisectrices externas de $∠ B$ y $∠ C$ concurren con la bisectriz interna de $∠ A$ .

Similarmente a como lo hicimos con el incentro, notamos que, para cada uno de estos tres puntos de concurrencia, existen tres puntos distintos, uno en cada lado del triángulo que equidistan a un punto fijo y por lo tanto determinan una única circunferencia.

Definición 4. A los puntos en que concurren dos bisectrices externas y una bisectriz interna de un triángulo les llamamos excentros del triángulo y los denotamos como $I_{a}$ , $I_{b}$ e $I_{c}$ de acuerdo a si se encuentran en la bisectriz interna de $∠ A$ , $∠ B$ o $∠ C$ respectivamente y decimos que son opuestos a dichos vértices.

Las distancias de $I_{a}$ , $I_{b}$ e $I_{c}$ a los lados del triángulo son los exradios y se les denota como $r_{a}$ , $r_{b}$ y $r_{c}$ respectivamente.

A las circunferencias $(I_{a}, r_{a})$ , $(I_{b}, r_{b})$ y $(I_{c}, r_{c})$ se les conoce como excírculos del triángulo.

Ortocentro

Teorema 5. Las alturas de todo triángulo son concurrentes.

Demostración. Sea $△ A B C$ , tracemos en cada vértice la paralela al lado opuesto.

Sean $A^{'}$ la intersección de la paralela a $A B$ trazada en $C$ con la paralela a $A C$ trazada en $B$ , de manera análoga definimos $B^{'}$ y $C^{'}$ .

Por construcción, $A B C B^{'}$ es un paralelogramo por lo que $A B^{'} = B C$ , también $C^{'} B C A$ es paralelogramo así que $C^{'} A = B C$ ,
$\Rightarrow A B^{'} = B C = C^{'} A \Rightarrow A$ es el punto medio de $C^{'} B^{'}$ .

De manera similar podemos ver que $B$ es el punto medio de $C^{'} A^{'}$ y $C$ es el punto medio de $A^{'} B^{'}$ .

En consecuencia, las alturas del triángulo $△ A B C$ son las mediatrices del triángulo $△ C^{'} A^{'} B^{'}$ y ya probamos que las mediatrices de los lados de todo triangulo son concurrentes, por lo tanto, las alturas de $△ A B C$ son concurrentes.

Definición 5. Al punto en común en que las tres alturas de un triángulo se intersecan le llamamos ortocentro y lo denotamos con la letra $H$ mayúscula.

Más adelante…

En la siguiente entrada demostraremos algunos teoremas que nos permitirán calcular la magnitud de ángulos relativos a una circunferencia.

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.

¿Qué puntos notables vistos en esta entrada, caen siempre dentro del triangulo y cuales siempre fuera?
Muestra que una recta paralela a un lado de un triangulo a través del centroide divide el área del triangulo en dos partes tal que la razón de esta áreas es $\frac{4}{5}$ .
Considera un triangulo rectángulo $△ A B C$ con $∠ B = \frac{π}{2}$ , sean $C C^{'}$ la mediana por $C$ y $D$ el pie de la perpendicular a $C C^{'}$ trazada desde $B$ (figura 11), calcula la distancia de $D$ al centroide $G$ del triangulo en términos de los catetos.

Un triángulo rectángulo tiene un ángulo interior de $\frac{π}{3}$ , calcula la distancia del vértice donde se intersecan los catetos al incentro $I$ del triángulo en términos de la hipotenusa.
Sea $△ A B C$ un triángulo tal que la mediana $A D$ es perpendicular a la mediana $B E$ , encuentra $A B$ si $B C = a$ y $A C = b$ .

Entradas relacionadas

Ir a Geometría Moderna I
Entrada anterior del curso: Segmentos dirigidos y teorema de Stewart.
Siguiente entrada del curso: Ángulos en la circunferencia.

Fuentes

Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 29-34.
Altshiller, N., College Geometry. New York: Dover, 2007, pp 65-94.
Geometría interactiva

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»

Geometría analítica I: Aplicaciones a geometría del triángulo

Por Elsa Fernanda Torres Feria

Deja un comentario

Introducción

En esta entrada usaremos la forma normal de la recta para demostrar dos teoremas conocidos como teoremas de concurrencia de líneas.

Medianas y baricentro

Cerremos la entrada con la enunciación y la demostración del siguiente teorema.

Teorema. Dado un triángulo PQR, sus tres medianas concurren en un punto que divide al segmento dentro del triángulo (de cada mediana) en proporción 1:2.

Demostración.

Para empezar la demostración, construimos un triángulo PQR.

Para construir las medianas, primero localizamos los puntos medios de cada segmento (A, B, C) cuyas coordenadas baricéntricas están dadas por

$\begin{aligned} A & = \frac{1}{2} P + \frac{1}{2} Q \\ B & = \frac{1}{2} Q + \frac{1}{2} R \\ C & = \frac{1}{2} R + \frac{1}{2} P \end{aligned}$

Ya que queremos que se encuentren justo en el punto medio de cada segmento.

Al trazar la mediana del segmento $P Q$ tenemos lo siguiente

La manera en la que procederemos a partir de ahora, es que localizaremos el punto en el segmento de cada mediana que lo divide en proporción 1:2 esperando llegar a que los tres puntos son el mismo.

Comencemos con el punto $G$ que divide al segmento $A R$ en proporción 1:2, esto es que $G$ sea:

$G = \frac{1}{3} R + \frac{2}{3} A$

AL sustituir el valor de $A$ , tenemos como resultado
$\begin{aligned} G & = \frac{1}{3} R + \frac{2}{3} (\frac{1}{2} P + \frac{1}{2} Q) \\ = \frac{1}{3} R + \frac{1}{3} P + \frac{1}{3} Q \end{aligned}$

Lo que puede ser replicado para cada segmento. Para el $B P$ se tiene

$\begin{aligned} G^{'} & = \frac{1}{3} P + \frac{2}{3} B \\ = \frac{1}{3} P + \frac{2}{3} (\frac{1}{2} Q + \frac{1}{2} R) \\ = \frac{1}{3} P + \frac{1}{3} Q + \frac{1}{3} R \\ = \frac{1}{3} R + \frac{1}{3} P + \frac{1}{3} Q \end{aligned}$

Y para el $C Q$

$\begin{aligned} G » & = \frac{1}{3} Q + \frac{2}{3} C \\ = \frac{1}{3} Q + \frac{2}{3} (\frac{1}{2} R + \frac{1}{2} P) \\ = \frac{1}{3} Q + \frac{1}{3} R + \frac{1}{3} P \\ = \frac{1}{3} R + \frac{1}{3} P + \frac{1}{3} Q \end{aligned}$

$∴$ $G = G^{'} = G »$

Acabamos de demostrar que los puntos que dividen a cada mediana en una proporción 1:2 son el mismo para cada una, por lo que las tres medianas concurren en este punto.

A este punto $G$ se le conoce como el baricentro del triángulo, y podrás imaginar después de que discutimos la idea física de estas coordenadas, que $G$ corresponde al centro de masa o punto de equilibrio del triángulo.

Utiliza el siguiente interactivo para asegurarte de que esto es válido con cualquier triángulo, puedes mover los puntos P,Q y R y aún existirá el punto $G$ de intersección de las 3 medianas. Si te da curiosidad, puedes usar la herramienta de distancia de GeoGebra para medir la longitud de cada segmento de la mediana y verificar que efectivamente, está en una relación 1:2 con respecto al punto $G$ .

Teoremas de concurrencia

Para poder realizar las demostraciones, definiremos a la altura de un triángulo como la recta que pasa por uno de sus vértices y es ortogonal al lado opuesto. Ahora, enunciemos y demostremos el primer teorema.

Teorema 1. Las alturas de un triángulo son concurrentes.

Demostración

Comencemos esta demostración con un interactivo que ilustre un triángulo y sus alturas.

Las rectas verdes son las alturas del triángulo y en el interactivo es bastante evidente que concurren en un punto y que esto pasa para cualquier triángulo (para comprobarlo puedes mover con tu cursor los vértices para modificar el triángulo). Sin embargo en este curso de geometría analítica, queremos demostrarlo de manera algebraica.

Para esta demostración algebraica, notemos que los vértices del triángulo son $A$ , $B$ , y $C$ y las alturas asociadas a cada vértice son $a$ , $b$ y $c$ respectivamente. Escribamos la forma normal de cada una de estas rectas (alturas). Para $a$ tenemos

$a$ : $(C - B) \cdot x = (C - B) \cdot A$

pues la recta $a$ es ortogonal al lado del triángulo que pasa por los vértices $C$ y $B$ , por lo que este lado tiene dirección $(C - B)$ y pasa por el punto $A$ . De manera análoga, sabemos que $b$ es perpendicular a la recta que pasa por $A$ y $C$ con dirección $A - C$ y pasa también por el punto $B$ , así

$b$ : $(A - C) \cdot x = (A - C) \cdot B$

Y de la misma forma para $c$ tenemos

$c$ : $(B - A) \cdot x = (B - A) \cdot C$

Nota que si sumamos las dos primeras ecuaciones, obtendremos la ecuación negativa de $c$ :

$\begin{aligned} (C - B) \cdot x + (A - C) \cdot x & = (C - B) \cdot A + (A - C) \cdot B \\ (C - B + A - C) \cdot x & = C \cdot A - B \cdot A + A \cdot B - C \cdot B \\ (- B + A) \cdot x & = C \cdot A - A \cdot B + A \cdot B - C \cdot B \\ (- B + A) \cdot x & = C \cdot A - C \cdot B \\ (- B + A) \cdot x & = (A - B) \cdot C \end{aligned}$

Esto es importante, pues si tomamos un elemento en la intersección de las alturas $a$ y $b$ ( $x \in a \cap b$ ), entonces también está en la suma y está última nos da como resultado el negativo de la ecuación de la recta $c$ , por lo tanto $x \in c$ .

De manera análoga, si sumamos $b$ y $c$ obtenemos

$(B - C) \cdot x = (B - C) \cdot A$

que corresponde a la ecuación negativa de $a$ , por lo que si $x \in b \cap c$ , entonces $x$ está en la suma de las ecuaciones y por tanto está en $a$ .

Para completar la demostración, deberíamos realizar el mismo procedimiento al sumar las ecuaciones de $c$ y $a$ y confirmar que un punto en su intersección está en $b$ .

$∴$ si dos de las alturas se intersectan, entonces la tercera recta también y en el mismo punto.

$s q u a r e$

Teorema 2.

Demuestra que las tres mediatrices de un triángulo son concurrentes.

Demostración

Para comenzar la demostración, recordemos que la mediatriz de un segmento es la recta que es ortogonal a este y pasa por su punto medio.

De nuevo, es claro que las tres mediatrices del triángulo con vértices $D$ , $E$ y $F$ concurren en un punto. Denominamos a los puntos medios de cada lado como $a$ , $b$ y $c$ , que es por donde pasan las mediatrices.

Ahora, para comenzar la parte algebraica de la demostración, definamos en su forma normal la primera miediatriz $i$ . Siguiendo la idea de la demostración pasada, $i$ es ortogonal a $(E - F)$ y pasa por el punto $a$ por lo que

$i$ : $(E - F) \cdot x = (E - F) \cdot a$

De la misma manera, $j$ es ortogonal a $(D - E)$ y pasa por $b$ , así

$j$ : $(D - E) \cdot x = (D - E) \cdot b$

Y para $k$ tenemos

$k$ : $(F-D) \cdot x = (F-D) \cdot c

Sigamos la intuición de la demostración anterior y sumemos las expresiones de $i$ y $j$

$\begin{aligned} (E - F) \cdot x + (D - E) \cdot x & = (E - F) \cdot a + (D - E) \cdot b \\ E \cdot x - F \cdot x + D \cdot x - E \cdot x & = E \cdot a - F \cdot a + D \cdot b - E \cdot b \\ D \cdot x - F \cdot x & = E \cdot a - F \cdot a + D \cdot b - E \cdot b \end{aligned}$

Para seguir avanzando con nuestra demostración, debemos recordar que $a,$ , $b$ y $c$ son los puntos medios de cada lado del triángulo, por lo que podemos expresarlos en términos de los vértices de la siguiente manera

$a = \frac{F + E}{2}$ , $b = \frac{E + D}{2}$ Y $c = \frac{D + F}{2}$

Con esto en mente, podemos sustituir $a$ y $b$ en la ecuación anterior y desarrollar

$D \cdot x - F \cdot x = E \cdot (\frac{F + E}{2}) - F \cdot (\frac{F + E}{2}) + D \cdot (\frac{E + D}{2}) - E \cdot (\frac{E + D}{2})$

Al realizar todo el desarrollo obtenemos que

$D \cdot x - F \cdot x = \frac{1}{2} (D \cdot D - F \cdot F)$

Ahora, en la demostración pasada queríamos llegar a algún múltiplo de $k$ para demostrar que las 3 rectas se intersectaban, siguiendo con esa lógica, desarrollemos el lado derecho de $k$ tomando en cuenta a $c$ como punto medio de un lado

$\begin{aligned} (F - D) \cdot c & = (F - D) \cdot \frac{D + F}{2} \\ = \frac{1}{2} (F - D) \cdot (D + F) \\ = \frac{1}{2} (F \cdot D + F \¢ d o t F - D \cdot D - F \cdot D) \\ = \frac{1}{2} (F \cdot F - D \cdot D) \end{aligned}$

Que es justamente el negativo de lo que obtuvimos arriba, por lo que al sumar las expresiones de $i$ y $j$ obtenemos el negativo de la expresión de $k$ . Así, si un punto $x$ está en $i \cap j$ , entonces está en la suma y por lo tanto está en $k$ .

El procedimiento es análogo para cada uno de los casos faltantes.

Para concluir esta entrada, denotaremos al punto en el que concurren las mediatrices como circuncentro.

Más adelante…

En las próximas entradas discutiremos la forma normal de un elemento geométrico en el espacio $R^{3}$ que no será la recta y hablaremos de la norma de un vector, que de cierta manera apareció en nuestras demostraciones pero no lo hemos discutido con formalidad hasta ahora.

Tarea moral

Completa los casos faltantes en la demostración del primer teorema.
Completa los casos faltantes en la demostración del segundo teorema.
Encuentra el circuncentro del triángulo que tiene como vértices los puntos $(5, 3)$ , $(2, - 1)$ y $(8, 0)$ .