Solid geometry: Book 11 Proposition 7
Translations
Ἐὰν ὦσι δύο εὐθεῖαι παράλληλοι, ληφθῇ δὲ ἐφ' ἑκατέρας αὐτῶν τυχόντα σημεῖα, ἡ ἐπὶ τὰ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις. Ἔστωσαν δύο εὐθεῖαι παράλληλοι αἱ ΑΒ, ΓΔ, καὶ εἰλήφθω ἐφ' ἑκατέρας αὐτῶν τυχόντα σημεῖα τὰ Ε, Ζ: λέγω, ὅτι ἡ ἐπὶ τὰ Ε, Ζ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις. Μὴ γάρ, ἀλλ' εἰ δυνατόν, ἔστω ἐν μετεωροτέρῳ ὡς ἡ ΕΗΖ, καὶ διήχθω διὰ τῆς ΕΗΖ ἐπίπεδον: τομὴν δὴ ποιήσει ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ εὐθεῖαν. ποιείτω ὡς τὴν ΕΖ: δύο ἄρα εὐθεῖαι αἱ ΕΗΖ, ΕΖ χωρίον περιέξουσιν: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ Ζ ἐπιζευγνυμένη εὐθεῖα ἐν μετεωροτέρῳ ἐστὶν ἐπιπέδῳ: ἐν τῷ διὰ τῶν ΑΒ, ΓΔ ἄρα παραλλήλων ἐστὶν ἐπιπέδῳ ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ Ζ ἐπιζευγνυμένη εὐθεῖα. Ἐὰν ἄρα ὦσι δύο εὐθεῖαι παράλληλοι, ληφθῇ δὲ ἐφ' ἑκατέρας αὐτῶν τυχόντα σημεῖα, ἡ ἐπὶ τὰ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις: ὅπερ ἔδει δεῖξαι.
If two straight lines be parallel and points be taken at random on each of them, the straight line joining the points is in the same plane with the parallel straight lines. Let AB, CD be two parallel straight lines, and let points E, F be taken at random on them respectively; I say that the straight line joining the points E, F is in the same plane with the parallel straight lines. For suppose it is not, but, if possible, let it be in a more elevated plane as EGF, and let a plane be drawn through EGF; it will then make, as section in the plane of reference, a straight line. [XI. 3] Let it make it, as EF; therefore the two straight lines EGF, EF will enclose an area: which is impossible. Therefore the straight line joined from E to F is not in a plane more elevated; therefore the straight line joined from E to F is in the plane through the parallel straight lines AB, CD.