Proposition: 1.30: Transitivity of Parallel Lines

(Proposition 30 from Book 1 of Euclid's “Elements”)

(Straight-lines) parallel to the same straight line are also parallel to one another.

fig30e

Modern Formulation

Straight lines parallel to the same straight line are also parallel to one another, i.e. if \(AB\parallel EF\) and \(EF\parallel CB\) then \(AB\parallel CB\).

Proofs: 1

Proofs: 1 2


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Calahan
@Casey
@Fitzpatrick


References

Adapted from CC BY-SA 3.0 Sources:

  1. Callahan, Daniel: "Euclid’s 'Elements' Redux" 2014

Adapted from (Public Domain)

  1. Casey, John: "The First Six Books of the Elements of Euclid"

Adapted from (subject to copyright, with kind permission)

  1. Fitzpatrick, Richard: Euclid's "Elements of Geometry"