Ángulos Alternos Internos
Los ángulos alternos internos son pares de ángulos en lados opuestos de una transversal, entre dos rectas, iguales en medida cuando las rectas son paralelas.
Formula
\text{angle } A = \text{angle } B \text{ (when lines are parallel)}
Definition
Los ángulos alternos internos se ubican entre dos rectas y en lados opuestos de una transversal, formando una "Z"; cuando las rectas son paralelas, los ángulos alternos internos son congruentes (el Teorema de los Ángulos Alternos Internos), y esto también equivale al postulado de las paralelas. Una rotación de $180^\circ$ (media vuelta) alrededor del punto medio del segmento de la transversal entre las dos paralelas lleva cada recta a la otra y cada ángulo alterno interno a su par, demostrando la congruencia mediante esta simetría puntual.
Example
Si una transversal cruza dos rectas paralelas, el ángulo interior a la izquierda en la intersección superior es igual al ángulo interior a la derecha en la inferior, formando una Z (o Z invertida). Para las rectas paralelas $p$ y $q$ cortadas por la transversal $t$: el ángulo $3$ (debajo de $p$, a la izquierda de $t$) y el ángulo $6$ (encima de $q$, a la derecha de $t$) son ángulos alternos internos, así que si el ángulo $3 = 75^\circ$, entonces el ángulo $6 = 75^\circ$ también.
Key Insight
Los ángulos alternos internos a menudo se llaman "ángulos Z" por la forma que hacen la transversal y los segmentos paralelos. Son iguales porque cada uno es igual a un ángulo correspondiente, y los ángulos correspondientes son iguales para rectas paralelas, una cadena de dos pasos que modela la geometría deductiva. La demostración por simetría de media vuelta es más reveladora que la demostración por ángulos correspondientes: revela que la igualdad de los ángulos alternos internos es una consecuencia directa de la simetría rotacional de $180^\circ$ de la configuración de rectas paralelas, el tipo de argumento de simetría que es un sello distintivo de la geometría axiomática moderna.