Los ángulos opuestos son iguales.
Los ángulos opuestos por el vértice son los pares de ángulos contrarios que se forman cuando dos rectas se cruzan en un solo punto. Aunque el nombre en inglés sea "vertical angles", no creas que tienen que estar alineados de forma vertical; más bien, lo que pasa es que comparten el mismo vértice y sus lados son rayos opuestos. En cualquier cruce de este tipo, vas a encontrar dos pares de ángulos opuestos por el vértice. La propiedad fundamental de estos ángulos es que siempre miden lo mismo (es decir, son congruentes).
Este concepto es la base del "angle chasing" (o cacería de ángulos), una habilidad clave en competencias que van desde el AMC 8 hasta la USAMO. En configuraciones geométricas complejas con varias transversales, cuadriláteros cíclicos o cuerdas que se cruzan, los ángulos opuestos por el vértice te permiten "pasar" la información de un ángulo de un lado al otro de un cruce sin tener que hacer cálculos. Reconocer estos ángulos al instante es súper importante para ganar velocidad y precisión, ya que muchas veces sirven como el puente que conecta dos partes del diagrama que parecen no tener relación.
Intuitivamente, los ángulos opuestos por el vértice son iguales porque comparten el mismo ángulo suplementario. Si te imaginas dos rectas que se cruzan como si fueran unas tijeras, al abrir las hojas (un par de ángulos opuestos) obligas a que los mangos (el otro par) se abran exactamente la misma cantidad. Como tanto el ángulo que te interesa como su opuesto forman un par lineal (suman $180^\circ$) con el ángulo adyacente que está en medio de ellos, no les queda de otra más que ser iguales entre sí.
El Teorema de los Ángulos Opuestos por el Vértice Si dos rectas se cruzan en un punto $P$, los ángulos opuestos por el vértice miden lo mismo.
Si la recta $AB$ y la recta $CD$ se cruzan en el punto $P$, entonces: $$ \angle APC = \angle BPD $$ $$ \angle APD = \angle BPC $$
Propiedad Relacionada del Par Lineal Aunque esta no es una fórmula para los ángulos opuestos como tal, la demostración y cómo los usamos dependen de que los ángulos adyacentes en una línea recta siempre suman $180^\circ$: $$ \angle APC + \angle APD = 180^\circ $$
Teorema: Los ángulos opuestos por el vértice son congruentes.
Dado: Dos rectas, $L_1$ y $L_2$, que se cruzan en un punto $O$. Sean $\alpha$ y $\beta$ un par de ángulos opuestos por el vértice formados por este cruce. Sea $\gamma$ un ángulo adyacente tanto a $\alpha$ como a $\beta$.
Objetivo: Demostrar que $\alpha = \beta$.
Paso 1: Identifica los pares lineales Como $L_1$ es una línea recta, los ángulos $\alpha$ y $\gamma$ forman un par lineal. Por el Axioma del Par Lineal, su suma es $180^\circ$: $$ \alpha + \gamma = 180^\circ \quad \text{(1)} $$
De la misma forma, como $L_2$ es una línea recta, los ángulos $\beta$ y $\gamma$ también forman un par lineal: $$ \beta + \gamma = 180^\circ \quad \text{(2)} $$
Paso 2: Iguala las expresiones Como ambas expresiones son iguales a $180^\circ$, puedes igualar la ecuación (1) con la ecuación (2): $$ \alpha + \gamma = \beta + \gamma $$
Paso 3: Despeja los ángulos Resta $\gamma$ de ambos lados de la ecuación: $$ \alpha = \beta $$
Así, queda demostrado que los ángulos opuestos por el vértice miden lo mismo.
$\square$