Proof: By Euclid
(related to Proposition: Prop. 11.07: Line joining Points on Parallel Lines is in Same Plane)
- For (if) not, and if possible, let it be in a more elevated (plane), such as $EGF$.
- And let a plane have been drawn through $EGF$.
- So it will make a straight cutting in the reference plane [Prop. 11.3].
- Let it make $EF$.
- Thus, two straight lines (with the same end-points), $EGF$ and $EF$, will enclose an area.
- The very thing is impossible.
- Thus, the straight line joining $E$ to $F$ is not in a more elevated plane.
- The straight line joining $E$ to $F$ is thus in the plane through the parallel (straight lines) $AB$ and $CD$.
- Thus, if there are two parallel straight lines, and random points are taken on each of them, then the straight line joining the two points is in the same plane as the parallel (straight lines).
- (Which is) the very thing it was required to show.
∎
Thank you to the contributors under CC BY-SA 4.0!
- Github:
-
- non-Github:
- @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"