Archivo de la etiqueta: área del triángulo

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: Teorema de Pitágoras

Por Rubén Alexander Ocampo Arellano

Deja un comentario

Introducción

En esta ocasión veremos el teorema de Pitágoras que relaciona la hipotenusa de un triangulo rectángulo con la longitud de sus catetos, esta propiedad permite definir una métrica en el espacio euclidiano, en particular, con esto podemos calcular la longitud de un segmento si conocemos un triángulo rectángulo que tenga como hipotenusa dicho segmento.

Geométricamente el teorema de Pitágoras nos habla sobre el área de cuadrados construidos sobre los lados de un triángulo rectángulo, así que necesitamos presentar un concepto nuevo.

Definición. Definimos el área de un rectángulo como el producto de dos de sus lados adyacentes. De esta manera el área de un cuadrado será su lado al cuadrado.

Como las diagonales de todo rectángulo lo dividen en dos triángulos rectángulos congruentes, de la definición se sigue que el área de un triángulo rectángulo es el semiproducto de sus catetos.

Teorema de Pitágoras

Teorema 1, de Pitágoras. El área de un cuadrado de lado igual a la hipotenusa de un triángulo rectángulo es igual a la suma de las áreas de cuadrados de lados igual a los catetos del triángulo rectángulo.

Demostración. Consideremos un triángulo rectángulo de catetos $a$ , $b$ e hipotenusa $c$ .

Construimos un cuadrado $A B C D$ de lados $a + b$ , y puntos $P \in A B$ , $Q \in B C$ , $R \in C D$ y $S \in A D$ , tales que $A P = B Q = C R = D S = a$ y $B P = C Q = D R = A S = b$ .

Como los ángulos en las esquinas son rectos entonces por criterio LAL
$\begin{matrix} (1) & △ A S P ≅ △ B P Q ≅ △ C Q R ≅ △ D R S, \end{matrix}$
en particular $P Q = Q R = R S = S P$ .

Por $(1)$ , $∠ C Q R$ y $∠ P Q B$ son complementarios en consecuencia $∠ R Q P = \frac{π}{2}$ .

De manera análoga se ve que
$∠ S R Q = ∠ Q P S = ∠ P S R = ∠ R Q P = \frac{π}{2}$ .

Por lo tanto, $P Q R S$ es un cuadrado de lado $c$ .

Ahora construimos otro cuadrado $A^{'} B^{'} C^{'} D^{'}$ de lados $a + b$ , y puntos $P^{'} \in A^{'} B^{'}$ y $Q^{'} \in B^{'} C^{'}$ tales que $A^{'} P^{'} = B^{'} Q^{'} = b$ y $B^{'} P^{'} = C^{'} Q^{'} = a$ .

Trazamos una perpendicular a $A^{'} B^{'}$ por $P^{'}$ que interseca a $C^{'} D^{'}$ en $R^{'}$ , y una perpendicular a $B^{'} C^{'}$ por $Q^{'}$ que interseca a $A^{'} D^{'}$ en $S^{'}$ .

Como $A^{'} B^{'} ∥ C^{'} D^{'}$ entonces $P^{'} R^{'} ⊥ C^{'} D^{'}$ , análogamente $Q^{'} S^{'} ⊥ A^{'} D^{'}$ y entonces $P^{'} R^{'} ⊥ Q^{'} S^{'}$ .

Por lo tanto, $A^{'} P^{'} E S^{'}$ , $E Q^{'} C^{'} R^{'}$ , $P^{'} B^{'} Q^{'} E$ y $S^{'} E R^{'} D^{'}$ son rectángulos.

Como los lados opuestos de todo rectángulo son iguales, concluimos que $A^{'} P^{'} E S^{'}$ y $E Q^{'} C^{'} R^{'}$ son cuadrados de lados $b$ y $a$ respectivamente.

$B^{'} E$ y $E D^{'}$ dividen a $P^{'} B^{'} Q^{'} E$ y $S^{'} E R^{'} D^{'}$ en cuatro triángulos rectángulos congruentes entre si pues los rectángulos son congruentes.

Pero al mismo tiempo los triángulos en $A^{'} B^{'} C^{'} D^{'}$ son congruentes con los triángulos en $A B C D$ , pues tienen los mismos lados $a$ y $b$ , y todos son triángulos rectángulos.

Finalmente, como $A B C D$ y $A^{'} B^{'} C^{'} D^{'}$ son congruentes entonces sus áreas son iguales y podemos sustraer a cada uno el área de los cuatro triángulos resultando así que el área del cuadrado rosa es igual a la suma de las áreas de los cuadrados verde y naranja.

Por lo tanto, $c^{2} = a^{2} + b^{2}$ .

Reciproco del Teorema de Pitágoras

Teorema 2. Reciproco del teorema de Pitágoras. Si en un triángulo el cuadrado de uno de sus lados es igual a la suma de los cuadrados de los otros dos lados entonces el triángulo es rectángulo.

Demostración. Sea $△ A B C$ un triángulo tal que $A C^{2} = A B^{2} + B C^{2}$ .

Construimos un punto $D$ del lado opuesto a $C$ respecto de $A B$ tal que $B D = B C$ y $B D ⊥ A B$ .

Por construcción $△ A B D$ es rectángulo, por el teorema de Pitágoras, $A D^{2} = A B^{2} + B D^{2}$ .

Como $B D = B C$ $\Rightarrow B D^{2} = B C^{2}$ , por lo tanto, $A D^{2} = A B^{2} + B C^{2} = A C^{2}$ .

Por hipótesis, $A C^{2} = A B^{2} + B C^{2} \Rightarrow A D^{2} = A C^{2} \Rightarrow A D = A C$ .

Por criterio LLL, $△ A B C ≅ △ A D C$ , en particular $∠ C B A = ∠ A B C = \frac{π}{2}$ .

Caracterización de un ángulo interior

Sea $△ A B C$ entonces por los teoremas 1 y 2
$∠ B = \frac{π}{2} \Leftrightarrow A C^{2} = A B^{2} + B C^{2}$ .

Ahora consideremos un triángulo $△ A^{'} B^{'} C^{'}$ con $A^{'} B^{'} = A B$ y $B^{'} C^{'} = B C$ pero $∠ B^{'} > \frac{π}{2}$ , entonces por la proposición 2 de la entrada desigualdad del triángulo y su reciproco, esto ocurre si y solo si $A^{'} C^{'} > A C$
$\Leftrightarrow A^{'} C^{' 2} > A C^{2} = A B^{2} + B C^{2} = A^{'} B^{' 2} + B^{'} C^{' 2}$

Por otra parte, si tenemos $△ A^{″} B^{″} C^{″}$ tal que $A^{″} B^{″} = A B$ y $B^{″} C^{″} = B C$ pero $∠ B^{″} < \frac{π}{2}$ , por el resultado antes mencionado, esto ocurre si y solo si $A^{″} C^{″} < A C$
$\Leftrightarrow A^{″} C^{″ 2} < A C^{2} = A B^{2} + B C^{2} = A^{″} B^{″ 2} + B^{″} C^{″ 2}$

Resumiendo, tenemos lo siguiente para cualquier triángulo $△ A B C$ , $∠ B$ es:

recto $\Leftrightarrow A C^{2} = A B^{2} + B C^{2}$ ,
obtuso $\Leftrightarrow A C^{2} > A B^{2} + B C^{2}$ ,
agudo $\Leftrightarrow A C^{2} < A B^{2} + B C^{2}$ .

Ley del paralelogramo

Teorema 3, ley del paralelogramo. La suma de los cuadrados de los lados de un paralelogramo es igual a la suma de los cuadrados de sus diagonales.

Demostración. Sean $A B C D$ un paralelogramo, $E$ y $F$ los pies de las perpendiculares a $B C$ trazadas desde $A$ y $D$ respectivamente.

Recordemos que los lados opuestos de un paralelogramo son iguales, por lo que $A B = C D$ y $A D = B C$ , además $A E F D$ es un rectángulo y todo rectángulo es paralelogramo, por lo tanto, $A E = D F$ y $E F = A D = B C$ , $\Rightarrow B E = C F$ .

Aplicando el teorema de Pitágoras a los triángulos $△ A B E$ , $△ D B F$ y $△ A E C$ obtenemos:

$\begin{matrix} (2) & A B^{2} = A E^{2} + B E^{2} . \end{matrix}$

$D B^{2} = D F^{2} + B F^{2}$
$= A E^{2} + (B C + C F)^{2} = A B^{2} - B E^{2} + (B C + B E)^{2}$
$= A B^{2} - B E^{2} + B C^{2} + 2 B C \times B E + B E^{2}$
$\begin{matrix} (3) & = A B^{2} + B C^{2} + 2 B C \times B E . \end{matrix}$

$A C^{2} = A E^{2} + E C^{2}$
$= A E^{2} + (B C - B E)^{2} = A B^{2} - B E^{2} + B C^{2} - 2 B C \times B E + B E^{2}$
$\begin{matrix} (4) & = A B^{2} + B C^{2} - 2 B C \times B E . \end{matrix}$

Sumamos $(3)$ y $(4)$ para obtener
$A C^{2} + B D^{2} = 2 A B^{2} + 2 B C^{2}$ .

Teorema de Apolonio

Teorema 4, de Apolonio. En todo triangulo la suma de los cuadrados de dos lados es igual a dos veces el cuadrado de la mitad del tercer lado más dos veces el cuadrado de la mediana que biseca al tercer lado.

Demostración. Sean $△ A B C$ y $M$ el punto medio de $B C$ . Por demostrar que $A B^{2} + A C^{2} = 2 (B M^{2} + A M^{2})$ .

Sea $D$ el pie de la perpendicular a $B C$ trazada desde $A$ , aplicamos el teorema de Pitágoras a los triángulos $△ A D M$ , $△ A D B$ y $△ A D C$ .

$\begin{matrix} (5) & A M^{2} = A D^{2} + D M^{2} . \end{matrix}$

$A B^{2} = A D^{2} + B D^{2}$
$= A M^{2} - D M^{2} + (D M - B M)^{2} = A M^{2} - D M^{2} + D M^{2} - 2 D M \times B M + B M^{2}$
$\begin{matrix} (6) & = A M^{2} + B M^{2} - 2 D M \times B M . \end{matrix}$

$A C^{2} = A D^{2} + D C^{2}$
$= A M^{2} - D M^{2} + (D M + M C)^{2} = A M^{2} - D M^{2} + D M^{2} + 2 D M \times M C + M C^{2}$
$\begin{matrix} (7) & = A M^{2} + 2 D M \times M C + M C^{2} . \end{matrix}$

Como $B M = M C$ sumando $(6)$ y $(7)$ obtenemos
$A B^{2} + A C^{2} = 2 A M^{2} + 2 M C^{2}$ .

Caracterización de las alturas de un triángulo

Proposición. Sean $B C$ un segmento y $P$ un punto en el plano, considera $D$ el pie de la perpendicular a $B C$ trazada desde $P$ , entonces $P B^{2} - P C^{2} = D B^{2} - D C^{2}$ .

Demostración. Los triángulos $△ P D B$ y $△ P D C$ son rectángulos, por el teorema de Pitágoras tenemos que $P B^{2} = P D^{2} + D B^{2}$ y $P C^{2} = P D^{2} + D C^{2}$ .

Despejando $P D^{2}$ de ambas ecuaciones e igualando tenemos que $P B^{2} - D B^{2} = P C^{2} - D C^{2}$
$\Rightarrow P B^{2} - P C^{2} = D B^{2} - D C^{2}$ .

Teorema 5. Sea $△ A B C$ un triángulo entonces un punto $P$ está en la altura por $A$ si y solo si $P B^{2} - P C^{2} = A B^{2} - A C^{2}$ .

Demostración. Supongamos que $P$ es un punto en la altura desde $A$ entonces podemos considerar el triángulo $△ P B C$ .

Por la proposición tenemos que los puntos $P$ y $A$ cumplen que $P B^{2} - P C^{2} = D B^{2} - D C^{2}$ y $A B^{2} - A C^{2} = D B^{2} - D C^{2}$ donde $D$ es el pie de la altura.

Por lo tanto $P B^{2} - P C^{2} = A B^{2} - A C^{2}$ .

Ahora supongamos que $P$ es un punto en el plano tal que $P B^{2} - P C^{2} = A B^{2} - A C^{2}$ por la proposición sabemos que $A B^{2} - A C^{2} = D B^{2} - D C^{2}$ , con $D$ el pie de la altura desde $A$ .

Por transitividad se tiene que $P B^{2} - P C^{2} = D B^{2} - D C^{2}$ .

Sea $E$ el pie de la perpendicular a $B C$ trazada desde $P$ , nuevamente por la proposición tenemos que $P B^{2} - P C^{2} = E B^{2} - E C^{2}$ $\Rightarrow D B^{2} - D C^{2} = E B^{2} - E C^{2}$

Supongamos que $D$ está en el segmento $B C$ y $E$ fuera del segmento y del lado de $B$ (figura 9), otros casos se muestran de manera similar, entonces $E B = E D - B D$ y $E C = E D + D C$ .

$\Rightarrow D B^{2} - D C^{2} = (E D - B D)^{2} - (E D + D C)^{2}$
$= E D^{2} - 2 E D \times B D + B D^{2} - E D^{2} - 2 E D \times D C - D C^{2}$
$\Rightarrow 0 = E D \times B D + E D \times D C = E D (B D + D C)$

Como $B D + D C \neq 0 \Rightarrow E D = 0$
$\Rightarrow E = D$

De esto se concluye que $P$ está en la altura trazada desde $A$ .

Más adelante…

En la siguiente entada estudiaremos el teorema de Tales también conocido como teorema de la proporcionalidad.

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.

Dado un segmento unitario construye un segmento de longitud $\sqrt{2}$ , $\sqrt{3}$ , $\sqrt{5}$ …
Si $a$ , $b$ , $c$ , $d$ , y $e$ son las longitudes de cinco segmentos tales que con cualesquiera tres de ellos es posible construir un triángulo, muestra que al menos uno de los triángulos es acutángulo.
Sea $P$ un punto en el interior de $△ A B C$ , considera $D$ , $E$ y $F$ las proyecciones de $P$ a los lados $B C$ , $A C$ y $A B$ respectivamente, expresa $A E$ en términos de $A F$ , $F B$ , $B D$ , $D C$ y $C E$ .
Muestra que en un triángulo con ángulos interiores iguales a $\frac{π}{2}$ , $\frac{π}{3}$ y $\frac{π}{6}$ , se tiene que el cateto opuesto al ángulo de $\frac{π}{6}$ es igual a la mitad de la hipotenusa y el cateto opuesto al ángulo de $\frac{π}{3}$ es igual a $\frac{\sqrt{3}}{2}$ veces la hipotenusa.
Si dos de los lados de un triángulo miden $a$ y $b$ y el ángulo entre ellos mide $\frac{3 π}{4}$ encuentra la longitud del segmento medio entre los lados dados.

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Paralelogramos.
Siguiente entrada del curso: Teorema de Tales.

Fuentes

Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 22-27, 43-44.
Posamentier, A. y Salkind, C; Challenging Problems in Geometry. New York: Dover, 1996, pp 11-14.
Cárdenas, S., Notas de Geometría. México: Ed. Prensas de Ciencias, 2013, pp 39-41.
Wikipedia
Geometría interactiva
Geometry Help

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: Teorema de Tales

Por Rubén Alexander Ocampo Arellano

1 respuesta

Introducción

En esta entrada estudiaremos el teorema de Tales y algunas aplicaciones. Este teorema nos dice que dos rectas paralelas cortan a otras dos en segmentos proporcionales.

En la entrada anterior definimos el área de un rectángulo y vimos que como consecuencia de esto el área de un triángulo rectángulo era el semiproducto de sus catetos. En esta ocasión necesitaremos hablar del área de un triángulo en general.

Denotaremos al área de un triángulo $△ A B C$ como $(△ A B C)$ .

Área del triángulo

Proposición 1. El área de un triángulo es el producto de la altura trazada por uno de sus vértices por la base o lado contrario a dicho vértice.

Demostración. Sea $△ A B C$ un triángulo, tracemos la altura desde el vértice $A$ , existen dos posibilidades, el pie de la altura $D$ , se encuentra en el segmento $B C$ o está en la extensión del segmento.

Caso 1, $D \in B C$ .

Notemos que se forman dos triángulos rectángulos, $△ A B D$ y $△ A D C$ .
$\Rightarrow (△ A B C) = (△ A B D) + (△ A D C)$
$= \frac{B D \times A D}{2} + \frac{D C \times A D}{2}$
$= \frac{(B D + D C) A D}{2} = \frac{B C \times A D}{2}$ .

Caso 2, $D \notin B C$ .

Notemos que se forman dos triángulos rectángulos, $△ A D B$ y $△ A D C$ .
$\Rightarrow (△ A B C) = (△ A D C) - (△ A D B)$
$= \frac{D C \times A D}{2} - \frac{D B \times A D}{2}$
$= \frac{(D C - D B) A D}{2} = \frac{B C \times A D}{2}$ .

Proposición 2. Si dos triángulos tienen una misma altura entonces las razones entre sus áreas es igual a la razón entre las bases perpendiculares a las alturas.

Demostración. Sean $△ A B C$ y $△ A^{'} B^{'} C^{'}$ dos triángulos tales que las alturas trazadas desde $A$ y $A^{'}$ son iguales, digamos $h$ .

$\frac{(△ A B C)}{(△ A^{'} B^{'} C^{'})} = \frac{\frac{B C \times h}{2}}{\frac{B^{'} C^{'} \times h}{2}}$
$= \frac{B C \times h}{B^{'} C^{'} \times h} = \frac{B C}{B^{'} C^{'}}$ .

Teorema fundamental de la proporcionalidad

Teorema 1, de Tales. Sean $△ A B C$ , $B^{'}$ y $C^{'}$ en $A B$ y $A C$ respectivamente tales que $B^{'} C^{'} ∥ B C$ , entonces
$i)$ $\frac{A B}{B^{'} B} = \frac{A C}{C^{'} C}$ , $\frac{A B}{A B^{'}} = \frac{A C}{A C^{'}}$ y $\frac{A B^{'}}{B^{'} B} = \frac{A C^{'}}{C^{'} C}$ ,
$i i)$ $\frac{A B}{A B^{'}} = \frac{A C}{A C^{'}} = \frac{B C}{B^{'} C^{'}}$ .

Demostración. Como $△ B^{'} C^{'} B$ y $△ B^{'} C^{'} C$ tienen la misma base $B^{'} C^{'}$ y están contenidos en las mismas paralelas, lo que implica que su altura es la misma, entonces tienen la misma área.

$\begin{matrix} (8) & (△ B^{'} C^{'} B) = (△ B^{'} C^{'} C) \end{matrix}$
$\Rightarrow (△ A B^{'} C^{'}) + (△ B^{'} C^{'} B) = (△ A B^{'} C^{'}) + (△ B^{'} C^{'} C)$
$\begin{matrix} (9) & \Rightarrow (△ A C^{'} B) = (△ A B^{'} C) . \end{matrix}$

De las escuaciones $(1)$ y $(2)$ y la proposición 2 obtenemos
$\frac{(△ A C^{'} B)}{(B^{'} C^{'} B)} = \frac{(△ A B^{'} C)}{(△ B^{'} C^{'} C)}$
$\Rightarrow \frac{A B}{B^{'} B} = \frac{A C}{C^{'} C}$ .

Notemos que $\frac{A B}{B^{'} B} = \frac{A C}{C^{'} C}$ , $\frac{A B}{A B^{'}} = \frac{A C}{A C^{'}}$ y $\frac{A B^{'}}{B^{'} B} = \frac{A C^{'}}{C^{'} C}$ son equivalentes.

$\frac{A B}{B^{'} B} = \frac{A C}{C^{'} C}$
$\Leftrightarrow \frac{A B^{'} + B^{'} B}{B^{'} B} = \frac{A C^{'} + C^{'} C}{C^{'} C}$
$\Leftrightarrow \frac{A B^{'}}{B^{'} B} = \frac{A C^{'}}{C^{'} C}$

$\frac{A B}{A B^{'}} = \frac{A C}{A C^{'}}$ , equivale a
$\frac{A B^{'} + B^{'} B}{A B^{'}} = \frac{A C^{'} + C^{'} C}{A C^{'}}$
$\Leftrightarrow \frac{B^{'} B}{A B^{'}} = \frac{C^{'} C}{A C^{'}}$
$\Leftrightarrow \frac{A B^{'}}{B^{'} B} = \frac{A C^{'}}{C ´ C}$ .

Para la parte $i i)$ trazamos una paralela a $A B$ por $C^{'}$ que interseca a $B C$ en $D$ , por la parte $i)$ , se cumple
$\frac{A C}{A C^{'}} = \frac{B C}{B D}$ .

Como $B^{'} B D C$ es paralelogramo $B D = B^{'} C^{'}$
$\Rightarrow \frac{A C}{A C^{'}} = \frac{B C}{B^{'} C^{'}}$ .

Reciproco del teorema de Tales.

Teorema 2, reciproco del teorema de Tales. Sean $△ A B C$ , $B^{'}$ y $C^{'}$ en $A B$ y $A C$ respectivamente tales que, $\frac{A B}{B^{'} B} = \frac{A C}{C^{'} C}$ o $\frac{A B}{A B^{'}} = \frac{A C}{A C^{'}}$ o $\frac{A B^{'}}{B^{'} B} = \frac{A C^{'}}{C^{'} C}$ , entonces $B^{'} C^{'} ∥ B C$ .

Demostración. Supongamos que $B^{'} C^{'}$ y $B C$ no son paralelas, sea $D \in A C$ tal que $B^{'} D ∥ B C$ , por el teorema de Tales, $\frac{A B}{B^{'} B} = \frac{A C}{D C}$ .

Pero por hipótesis $\frac{A B}{B^{'} B} = \frac{A C}{C^{'} C}$ , y por transitividad
$\frac{A C}{D C} = \frac{A C}{C^{'} C}$
$\Rightarrow D C = C^{'} C \Rightarrow D = C^{'} \Rightarrow B^{'} C^{'} ∥ B C$ .

Por la equivalencia entre las expresiones $\frac{A B}{B^{'} B} = \frac{A C}{C^{'} C}$ , $\frac{A B}{A B^{'}} = \frac{A C}{A C^{'}}$ y $\frac{A B^{'}}{B^{'} B} = \frac{A C^{'}}{C^{'} C}$ ,
queda demostrado el teorema.

Teorema de la bisectriz

Teorema 3, de la bisectriz. Las bisectrices interna y externa del ángulo de un triángulo dividen al lado opuesto en segmentos proporcionales a los otros dos lados del triángulo.

Demostración. Consideremos un triángulo $△ A B C$ y la bisectriz interior de $A$ , la cual interseca a $B C$ en $D$ .

Trazamos la paralela a $A D$ por $C$ , y sea $E$ la intersección de la extensión de $A B$ con la paralela.

Como $A D ∥ C E$ entonces $∠ B A D = ∠ A E C$ por ser ángulos correspondientes entre paralelas y $∠ D A C = ∠ E C A$ por ser ángulos alternos internos entre paralelas.

Ya que $A D$ es bisectriz de $A$ entonces $∠ B A D = ∠ D A C$ y por lo tanto $∠ A E C = ∠ E C A$
$\Rightarrow △ A C E$ es isósceles, es decir, $A C = A E$ .

Aplicando el teorema de Tales a $△ B C E$ tenemos que
$\frac{B D}{D C} = \frac{A B}{A E} = \frac{A B}{A C}$ .

Definición. Una ceviana es un segmento que tiene extremos en el vértice de un triángulo y en el lado opuesto a dicho vértice.

Reciproco del teorema de la bisectriz

Teorema 4, reciproco del teorema de la bisectriz. Si una ceviana divide internamente al lado de un triángulo en segmentos proporcionales a los otros lados del triángulo entonces es la bisectriz interna del ángulo por donde pasa.

Demostración. Sea $△ A B C$ y $A D$ con $D \in B C$ tal que $\frac{A B}{A C} = \frac{B D}{D C}$ .

Extendemos $A B$ del lado de $A$ hasta $E$ talque $A E = A C$ (figura 7), como $△ A E C$ es isósceles entonces
$\begin{matrix} (10) & ∠ A E C = ∠ E C A . \end{matrix}$

En el triángulo $△ B C E$ tenemos que $\frac{A B}{A E} = \frac{B D}{D C}$ ,
por el reciproco del teorema de Tales, $A D ∥ E C$ ,
$\Rightarrow ∠ B A D = ∠ A E C$ , por ser ángulos correspondientes,
$\Rightarrow ∠ D A C = ∠ E C A$ , por ser ángulos alternos internos.

Por $(3)$ se sigue que $∠ B A D = ∠ D A C$ , por lo tanto, $A D$ es la bisectriz interna de $A$ .

El caso para la bisectriz exterior se deja como ejercicio.

Construcciones

Problema. Dados dos segmentos y un segmento unitario, construye el producto y el cociente de los segmentos dados.

Solución. Sean $a$ y $b$ la magnitud de los segmentos dados.

Sea $A B$ el segmento unitario, extendemos $A B$ hasta $B^{'}$ tal que $B B^{'} = a$ .

Levantamos sobre $A B$ en $A$ un segmento $A C = b$ , unimos $B$ con $C$ y trazamos por $B^{'}$ la paralela a $B C$ .

Sea $C^{'}$ la intersección de $A C$ con la paralela trazada, por el teorema de Tales aplicado a $△ A B^{'} C^{'}$ , $\frac{A B}{B B^{'}} = \frac{A C}{C C^{'}}$ .
$\Rightarrow A B \times C C^{'} = A C \times B B^{'}$
$\Rightarrow C C^{'} = a b$ .

Para el cociente seguimos el mismo procedimiento, pero esta vez con $A B = a$ y $B B^{'} = 1$ , por el teorema de Tales obtendremos
$a = \frac{b}{C C^{'}} \Rightarrow C C^{'} = \frac{b}{a}$ .

Más adelante…

En la siguiente entrada y con la ayuda del Teorema de Tales veremos otra herramienta importante en el estudio de la geometría, los criterios de semejanza de triángulos.

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 la suma de las distancias de un punto interior a los lados de un triangulo equilátero es constante. Este resultado es conocido como teorema de Viviani.

$i)$ Muestra que si dos rectas $l_{1}$ y $l_{2}$ son transversales a tres paralelas $A A^{'}$ , $B B^{'}$ y $C C^{'}$ (figura 11), entonces $\frac{A B}{B C} = \frac{A^{'} B^{'}}{B^{'} C^{'}}$ .
$i i)$ Recíprocamente si $\frac{A B}{B C} = \frac{A^{'} B^{'}}{B^{'} C^{'}}$ y dos de las tres rectas $A A^{'}$ , $B B^{'}$ , $C C^{'}$ son paralelas, entonces las tres rectas son paralelas.

Usando el teorema de Tales,
$i)$ muestra que el segmento que une puntos medios de dos lados de un triangulo es paralelo e igual a la mitad del tercer lado,
$i i)$ recíprocamente muestra que si una recta pasa por el punto medio de un triangulo y es paralela a un segundo lado entonces pasa por el punto medio del tercer lado.
Prueba que un segmento que pasa por el vértice de un triangulo divide externamente al lado opuesto en segmentos proporcionales a los restantes lados del triangulo si y solo si es la bisectriz exterior del ángulo.

Divide un segmento dado en una razón dada.
Divide un segmento dado en $n$ partes iguales.

Entradas relacionadas

Ir a Geometría Moderna I
Entrada anterior del curso: Teorema de Pitágoras.
Siguiente entrada del curso: Semejanza de triángulos.

Fuentes

Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 13-18, 74-75.
Cárdenas, S., Notas de Geometría. México: Ed. Prensas de Ciencias, 2013, pp 27-30.
Geometría interactiva
Wikipedia
Math Bits Notebook

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»