Segmentos de tangente que miden lo mismo.
El concepto de las longitudes de las tangentes desde el incírculo se basa en la propiedad geométrica fundamental de que dos segmentos tangentes trazados desde un mismo punto exterior a un círculo miden lo mismo. Cuando inscribes un círculo en un triángulo (el incírculo), este toca los tres lados en tres puntos de tangencia distintos. Estos puntos dividen el perímetro del triángulo en tres pares de segmentos iguales. Específicamente, los dos segmentos que salen del vértice $A$ son iguales, al igual que los pares que salen del vértice $B$ y del vértice $C$.
Esta técnica aparece por todos lados en las matemáticas de competencia, sobre todo en el AMC 10/12 y el AIME. Te da un puente algebraico muy útil entre las longitudes de los lados de un triángulo ($a, b, c$) y su semiperímetro ($s$). Al expresar los segmentos de los lados en términos de $s$, puedes simplificar problemas geométricos complejos que involucren el incentro, el inradio y cevianas (como los puntos de Gergonne) en expresiones algebraicas fáciles de manejar. Es especialmente útil cuando calculas el área del triángulo usando la fórmula de Herón o cuando aplicas la Ley de Cosenos en subtriángulos específicos cerca de los vértices.
La idea clave es ver el perímetro no solo como la suma de tres lados, sino como la suma de seis segmentos formados por tres pares iguales. Si llamas $x, y$ y $z$ a las longitudes de los segmentos tangentes desde los vértices $A, B$ y $C$ respectivamente, los lados se vuelven sumas de estas variables (por ejemplo, $c = x + y$). Esto crea un sistema de ecuaciones lineales que te permite encontrar la distancia específica desde cualquier vértice hasta los puntos donde el incírculo toca los lados adyacentes.
Imagina que el $\triangle ABC$ tiene lados $a = BC$, $b = AC$ y $c = AB$. El semiperímetro es $s = \frac{a+b+c}{2}$. Digamos que el incírculo del $\triangle ABC$ es tangente a los lados $BC$, $AC$ y $AB$ en los puntos $D$, $E$ y $F$ respectivamente.
Las longitudes de los segmentos tangentes desde los vértices son: $$ AF = AE = s - a $$ $$ BD = BF = s - b $$ $$ CD = CE = s - c $$
Relaciones Útiles: La suma de estas longitudes tangentes es igual al semiperímetro: $$ (s-a) + (s-b) + (s-c) = s $$
En un triángulo rectángulo con hipotenusa $c$ y catetos $a, b$, el inradio $r$ se relaciona con estas longitudes de forma sencilla: $$ r = s - c = \frac{a + b - c}{2} $$
Teorema: En el $\triangle ABC$, deja que el incírculo toque los lados $AB$, $BC$ y $CA$ en los puntos $F$, $D$ y $E$ respectivamente. Entonces, la longitud del segmento tangente desde el vértice $A$ es $AE = AF = s-a$, donde $s$ es el semiperímetro.
Demostración:
Establece que las tangentes son iguales: Sea $I$ el incentro del $\triangle ABC$. Considera los triángulos $\triangle AIE$ y $\triangle AIF$.
Define las variables: Digamos que $x = AE = AF$. Digamos que $y = BD = BF$. Digamos que $z = CD = CE$.
Arma el sistema de ecuaciones: Los lados del triángulo son las sumas de estos segmentos: $$ \begin{cases} y + z = a \quad (\text{lado } BC) \ x + z = b \quad (\text{lado } AC) \ x + y = c \quad (\text{lado } AB) \end{cases} $$
Despeja $x$: Primero, suma las tres ecuaciones: $$ (y+z) + (x+z) + (x+y) = a + b + c $$ $$ 2x + 2y + 2z = a + b + c $$ Divide entre 2: $$ x + y + z = \frac{a + b + c}{2} $$ Por definición, el semiperímetro es $s = \frac{a+b+c}{2}$, así que: $$ x + y + z = s $$
Para aislar $x$, resta la ecuación del lado $a$ ($y + z = a$) de esta suma: $$ (x + y + z) - (y + z) = s - a $$ $$ x = s - a $$
Conclusión: Al sustituir $x$ de nuevo en la definición, tienes: $$ AE = AF = s - a $$ Por simetría, la misma lógica te da $BD = s-b$ y $CD = s-c$.
$\square$