Book 11
6
καὶ ἐπεὶ ἡ ΑΒ ὀρθή ἐστι πρὸς τὸ ὑποκείμενον ἐπίπεδον, καὶ πρὸς πάσας ἄρα τὰς ἁπτομένας αὐτῆς εὐθείας καὶ οὔσας ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ ὀρθὰς ποιήσει γωνίας. ἅπτεται δὲ τῆς ΑΒ ἑκατέρα τῶν ΒΔ, ΒΕ οὖσα ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ· ὀρθὴ ἄρα ἐστὶν ἑκατέρα τῶν ὑπὸ ΑΒΔ, ΑΒΕ γωνιῶν. διὰ τὰ αὐτὰ δὴ καὶ ἑκατέρα τῶν ὑπὸ ΓΔΒ, ΓΔΕ ὀρθή ἐστιν. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒ τῇ ΔΕ, κοινὴ δὲ ἡ ΒΔ, δύο δὴ αἱ ΑΒ, ΒΔ δυσὶ ταῖς ΕΔ, ΔΒ ἴσαι εἰσίν· καὶ γωνίας ὀρθὰς περιέχουσιν· βάσις ἄρα ἡ ΑΔ βάσει τῇ ΒΕ ἐστιν ἴση. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒ τῇ ΔΕ, ἀλλὰ καὶ ἡ ΑΔ τῇ ΒΕ, δύο δὴ αἱ ΑΒ, ΒΕ δυσὶ ταῖς ΕΔ, ΔΑ ἴσαι εἰσίν· καὶ βάσις αὐτῶν κοινὴ ἡ ΑΕ· γωνία ἄρα ἡ ὑπὸ ΑΒΕ γωνίᾳ τῇ ὑπὸ ΕΔΑ ἐστιν ἴση. ὀρθὴ δὲ ἡ ὑπὸ ΑΒΕ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΕΔΑ· ἡ ΕΔ ἄρα πρὸς τὴν ΔΑ ὀρθή ἐστιν. ἔστι δὲ καὶ πρὸς ἑκατέραν τῶν ΒΔ, ΔΓ ὀρθή. ἡ ΕΔ ἄρα τρισὶν εὐθείαις ταῖς ΒΔ, ΔΑ, ΔΓ πρὸς ὀρθὰς ἐπὶ τῆς ἁφῆς ἐφέστηκεν· αἱ τρεῖς ἄρα εὐθεῖαι αἱ ΒΔ, ΔΑ, ΔΓ ἐν ἑνί εἰσιν ἐπιπέδῳ. ἐν ᾧ δὲ αἱ ΔΒ, ΔΑ, ἐν τούτῳ καὶ ἡ ΑΒ· πᾶν γὰρ τρίγωνον ἐν ἑνί ἐστιν ἐπιπέδῳ· αἱ ἄρα ΑΒ, ΒΔ, ΔΓ εὐθεῖαι ἐν ἑνί εἰσιν ἐπιπέδῳ. καί ἐστιν ὀρθὴ ἑκατέρα τῶν ὑπὸ ΑΒΔ, ΒΔΓ γωνιῶν· παράλληλος ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ.
6
ἐὰν ἄρα δύο εὐθεῖαι τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ὦσιν, παράλληλοι ἔσονται αἱ εὐθεῖαι· ὅπερ ἔδει δεῖξαι.
7
ἐὰν ὦσι δύο εὐθεῖαι παράλληλοι, ληφθῇ δὲ ἐφʼ ἑκατέρας αὐτῶν τυχόντα σημεῖα, ἡ ἐπὶ τὰ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις.
7
ἔστωσαν δύο εὐθεῖαι παράλληλοι αἱ ΑΒ, ΓΔ, καὶ εἰλήφθω ἐφʼ ἑκατέρας αὐτῶν τυχόντα σημεῖα τὰ Ε, Ζ· λέγω, ὅτι ἡ ἐπὶ τὰ Ε, Ζ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις.
7
μὴ γάρ, ἀλλʼ εἰ δυνατόν, ἔστω ἐν μετεωροτέρῳ ὡς ἡ ΕΗΖ, καὶ διήχθω διὰ τῆς ΕΗΖ ἐπίπεδον· τομὴν δὴ ποιήσει ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ εὐθεῖαν. ποιείτω ὡς τὴν ΕΖ· δύο ἄρα εὐθεῖαι αἱ ΕΗΖ, ΕΖ χωρίον περιέξουσιν· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ Ζ ἐπιζευγνυμένη εὐθεῖα ἐν μετεωροτέρῳ ἐστὶν ἐπιπέδῳ· ἐν τῷ διὰ τῶν ΑΒ, ΓΔ ἄρα παραλλήλων ἐστὶν ἐπιπέδῳ ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ Ζ ἐπιζευγνυμένη εὐθεῖα.