# Equal Corresponding Angles implies Parallel Lines

Jump to navigation
Jump to search

## Theorem

Given two infinite straight lines which are cut by a transversal, if the corresponding angles are equal, then the lines are parallel.

In the words of Euclid:

*If a straight line falling on two straight lines make the exterior angle equal to the interior and opposite angle on the same side, or the interior angles on the the same side equal to two right angles, the straight lines will be parallel to one another.*

(*The Elements*: Book $\text{I}$: Proposition $28$)

## Proof

Let $AB$ and $CD$ be infinite straight lines.

Let $EF$ be a transversal that cuts them.

Let at least one pair of corresponding angles be equal.

Without loss of generality, let $\angle EGB = \angle GHD$.

By the Vertical Angle Theorem:

- $\angle GHD = \angle EGB = \angle AGH$

Thus by Equal Alternate Angles implies Parallel Lines:

- $AB \parallel CD$

$\blacksquare$

## Historical Note

This proof is the first part of Proposition $28$ of Book $\text{I}$ of Euclid's *The Elements*.

It is the converse of the second part of Proposition $29$: Parallelism implies Equal Corresponding Angles.

## Sources

- 1926: Sir Thomas L. Heath:
*Euclid: The Thirteen Books of The Elements: Volume 1*(2nd ed.) ... (previous) ... (next): Book $\text{I}$. Propositions