Parallelism implies Equal Alternate Interior Angles, Corresponding Angles, and Supplementary Interior Angles

From ProofWiki
Jump to navigation Jump to search

Theorem

In the words of Euclid:

A straight line falling on parallel straight lines makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the interior angles on the same side equal to two right angles.

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


Worded in more contemporary language:


Parallelism implies Equal Alternate Interior Angles

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


Parallelism implies Equal Corresponding Angles

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


Parallelism implies Supplementary Interior Angles

Given two infinite straight lines which are cut by a transversal, if the lines are parallel, then the interior angles on the same side of the transversal are supplementary.


Historical Note

This theorem is Proposition $29$ of Book $\text{I}$ of Euclid's The Elements.
The first part is the converse of Proposition $27$: Equal Alternate Interior Angles implies Parallel Lines, and the second and third parts form the converse of Proposition $28$: Equal Corresponding Angles or Supplementary Interior Angles implies Parallel Lines.

This is the first proposition of The Elements to make use of Euclid's fifth postulate.


Sources