Proposition: Prop. 11.08: Line Parallel to Perpendicular Line to Plane is Perpendicular to Same Plane

Euclid's Formulation

If two straight lines are parallel, and one of them is at right angles to some plane, then the remaining (one) will also be at right angles to the same plane.

Modern Formulation

(not yet contributed)

Proofs: 1

Proofs: 1 2 3 4 5


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

Github:
bookofproofs
non-Github:
@Fitzpatrick


References

Adapted from (subject to copyright, with kind permission)

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

Adapted from CC BY-SA 3.0 Sources:

  1. Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016