Teoria Retas paralelas cortadas por uma transversal (Postulado de Euclides)

Os pares de ângulos $\hat 1$ e $\hat 7$, $\hat 2$ e $\hat 8$ são denominados alternos externos e os pares $\hat 3$ e $\hat 5$, $\hat 4$ e $\hat 6$ são os alternos internos. Cada par é congruente entre si.

$$ \hat 1 \equiv \hat 7, \hat 2 \equiv \hat 8, \hat 3 \equiv \hat 5, \hat 4 \equiv \hat 6$$