El exterior es la suma de los interiores remotos.
El Teorema del Ángulo Exterior es una herramienta fundamental en la geometría euclidiana, específicamente en el área de "angle chasing" (persecución de ángulos). Dice que la medida de un ángulo exterior de un triángulo es igual a la suma de las medidas de sus dos ángulos interiores remotos (los que no están junto a él). Aunque el Teorema de la Suma de los Ángulos del Triángulo (los ángulos interiores suman $180^\circ$) es súper conocido, el Teorema del Ángulo Exterior suele ser más eficiente en las olimpiadas de matemáticas porque te permite saltarte el cálculo del tercer ángulo interior. Así, reduces el número de pasos y variables que necesitas para resolver un problema.
En competencias como el AMC y el AIME, este teorema es clave para ganar velocidad y claridad. Te da una conexión directa entre ángulos en diferentes partes de un diagrama, sobre todo cuando hay triángulos "apilados" o cuando el dibujo tiene líneas transversales complejas. Una buena forma de entender este teorema es con la idea de "caminar por el perímetro". Si caminas por la orilla de un polígono, la suma de los giros que haces (los ángulos exteriores) al final te tiene que regresar a tu dirección original, sumando un círculo completo ($360^\circ$). El Teorema del Ángulo Exterior es la versión local de esta propiedad aplicada a un solo vértice de un triángulo.
Ángulo Exterior de un Triángulo Si tienes un triángulo $\triangle ABC$ y extiendes el lado $BC$ hasta un punto $D$, entonces $\angle ACD$ es el ángulo exterior en el vértice $C$. El teorema dice que: $$ \angle ACD = \angle A + \angle B $$ O, usando la notación estándar donde $\alpha, \beta, \gamma$ son los ángulos interiores en $A, B, C$ respectivamente, y $\gamma_{ext}$ es el ángulo exterior en $C$: $$ \gamma_{ext} = \alpha + \beta $$
Desigualdad del Ángulo Exterior Un corolario directo que se usa en problemas de desigualdades es que el ángulo exterior es estrictamente mayor que cualquiera de los ángulos interiores remotos: $$ \angle ACD > \angle A \quad \text{y} \quad \angle ACD > \angle B $$
Suma de Ángulos Exteriores (Polígono) Para cualquier $n$-ágono convexo, la suma de los ángulos exteriores (uno por cada vértice) es constante: $$ \sum_{i=1}^{n} \text{ext}_i = 360^\circ $$
Teorema: La medida de un ángulo exterior de un triángulo es igual a la suma de las medidas de sus dos ángulos interiores remotos.
Demostración: Toma un triángulo $\triangle ABC$. Extiende el lado $BC$ después del vértice $C$ hasta un punto $D$. La idea es demostrar que $\angle ACD = \angle A + \angle B$.
Suma de Ángulos del Triángulo: Por el Teorema de la Suma de los Ángulos del Triángulo, la suma de los ángulos interiores de $\triangle ABC$ es $180^\circ$. $$ \angle A + \angle B + \angle BCA = 180^\circ $$
Postulado del Par Lineal: Los ángulos $\angle BCA$ y $\angle ACD$ forman un par lineal sobre el segmento $BD$. Por lo tanto, son suplementarios y suman $180^\circ$. $$ \angle BCA + \angle ACD = 180^\circ $$
Igualar las Expresiones: Como ambas expresiones valen $180^\circ$, puedes igualarlas: $$ \angle A + \angle B + \angle BCA = \angle BCA + \angle ACD $$
Simplificación: Resta $\angle BCA$ de ambos lados de la ecuación. $$ \angle A + \angle B = \angle ACD $$
Así, el ángulo exterior $\angle ACD$ es igual a la suma de los ángulos interiores remotos $\angle A$ y $\angle B$.
$\square$