Solid geometry: Book 11 Proposition 6
Translations
Ἐὰν δύο εὐθεῖαι τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ὦσιν, παράλληλοι ἔσονται αἱ εὐθεῖαι. Δύο γὰρ εὐθεῖαι αἱ ΑΒ, ΓΔ τῷ ὑποκειμένῳ ἐπιπέδῳ πρὸς ὀρθὰς ἔστωσαν: λέγω, ὅτι παράλληλός ἐστιν ἡ ΑΒ τῇ ΓΔ. Συμβαλλέτωσαν γὰρ τῷ ὑποκειμένῳ ἐπιπέδῳ κατὰ τὰ Β, Δ σημεῖα, καὶ ἐπεζεύχθω ἡ ΒΔ εὐθεῖα, καὶ ἤχθω τῇ ΒΔ πρὸς ὀρθὰς ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ ἡ ΔΕ, καὶ κείσθω τῇ ΑΒ ἴση ἡ ΔΕ, καὶ ἐπεζεύχθωσαν αἱ ΒΕ, ΑΕ, ΑΔ. Καὶ ἐπεὶ ἡ ΑΒ ὀρθή ἐστι πρὸς τὸ ὑποκείμενον ἐπίπεδον, καὶ πρὸς πάσας [ἄρα] τὰς ἁπτομένας αὐτῆς εὐθείας καὶ οὔσας ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ ὀρθὰς ποιήσει γωνίας. ἅπτεται δὲ τῆς ΑΒ ἑκατέρα τῶν ΒΔ, ΒΕ οὖσα ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ: ὀρθὴ ἄρα ἐστὶν ἑκατέρα τῶν ὑπὸ ΑΒΔ, ΑΒΕ γωνιῶν. διὰ τὰ αὐτὰ δὴ καὶ ἑκατέρα τῶν ὑπὸ ΓΔΒ, ΓΔΕ ὀρθή ἐστιν. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒ τῇ ΔΕ, κοινὴ δὲ ἡ ΒΔ, δύο δὴ αἱ ΑΒ, ΒΔ δυσὶ ταῖς ΕΔ, ΔΒ ἴσαι εἰσίν: καὶ γωνίας ὀρθὰς περιέχουσιν: βάσις ἄρα ἡ ΑΔ βάσει τῇ ΒΕ ἐστιν ἴση. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒ τῇ ΔΕ, ἀλλὰ καὶ ἡ ΑΔ τῇ ΒΕ, δύο δὴ αἱ ΑΒ, ΒΕ δυσὶ ταῖς ΕΔ, ΔΑ ἴσαι εἰσίν: καὶ βάσις αὐτῶν κοινὴ ἡ ΑΕ: γωνία ἄρα ἡ ὑπὸ ΑΒΕ γωνίᾳ τῇ ὑπὸ ΕΔΑ ἐστιν ἴση. ὀρθὴ δὲ ἡ ὑπὸ ΑΒΕ: ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΕΔΑ: ἡ ΕΔ ἄρα πρὸς τὴν ΔΑ ὀρθή ἐστιν. ἔστι δὲ καὶ πρὸς ἑκατέραν τῶν ΒΔ, ΔΓ ὀρθή. ἡ ΕΔ ἄρα τρισὶν εὐθείαις ταῖς ΒΔ, ΔΑ, ΔΓ πρὸς ὀρθὰς ἐπὶ τῆς ἁφῆς ἐφέστηκεν: αἱ τρεῖς ἄρα εὐθεῖαι αἱ ΒΔ, ΔΑ, ΔΓ ἐν ἑνί εἰσιν ἐπιπέδῳ. ἐν ᾧ δὲ αἱ ΔΒ, ΔΑ, ἐν τούτῳ καὶ ἡ ΑΒ: πᾶν γὰρ τρίγωνον ἐν ἑνί ἐστιν ἐπιπέδῳ: αἱ ἄρα ΑΒ, ΒΔ, ΔΓ εὐθεῖαι ἐν ἑνί εἰσιν ἐπιπέδῳ. καί ἐστιν ὀρθὴ ἑκατέρα τῶν ὑπὸ ΑΒΔ, ΒΔΓ γωνιῶν: παράλληλος ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ. Ἐὰν ἄρα δύο εὐθεῖαι τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ὦσιν, παράλληλοι ἔσονται αἱ εὐθεῖαι: ὅπερ ἔδει δεῖξαι.
If two straight lines be at right angles to the same plane, the straight lines will be parallel. For let the two straight lines AB, CD be at right angles to the plane of reference; I say that AB is parallel to CD. For let them meet the plane of reference at the points B, D, let the straight line BD be joined, let DE be drawn, in the plane of reference, at right angles to BD, let DE be made equal to AB, and let BE, AE, AD be joined. Now, since AB is at right angles to the plane of reference, it will also make right angles with all the straight lines which meet it and are in the plane of reference. [XI. Def. 3] But each of the straight lines BD, BE is in the plane of reference and meets AB; therefore each of the angles ABD, ABE is right. For the same reason each of the angles CDB, CDE is also right. And, since AB is equal to DE, and BD is common, the two sides AB, BD are equal to the two sides ED, DB; and they include right angles; therefore the base AD is equal to the base BE. [I. 4] And, since AB is equal to DE, while AD is also equal to BE, the two sides AB, BE are equal to the two sides ED, DA; and AE is their common base; therefore the angle ABE is equal to the angle EDA. [I. 8] But the angle ABE is right; therefore the angle EDA is also right; therefore ED is at right angles to DA. But it is also at right angles to each of the straight lines BD, DC; therefore ED is set up at right angles to the three straight lines BD, DA, DC at their point of meeting; therefore the three straight lines BD, DA, DC are in one plane. [XI. 5] But, in whatever plane DB, DA are, in that plane is AB also, for every triangle is in one plane; [XI. 2] therefore the straight lines AB, BD, DC are in one plane. And each of the angles ABD, BDC is right; therefore AB is parallel to CD. [I. 28]