Elementa

εὐθείας γραμμῆς μέρος μέν τι οὐκ ἔστιν ἐν τῷ ὑποκειμένῳ, ἐπιπέδῳ, μέρος δέ τι ἐν μετεωροτέρῳ.

εἰ γὰρ δυνατόν, εὐθείας γραμμῆς τῆς ΑΒΓ μέρος μέν τι τὸ ΑΒ ἔστω ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ, μέρος δέ τι τὸ ΒΓ ἐν μετεωροτέρῳ.

ἔσται δή τις τῇ ΑΒ συνεχὴς εὐθεῖα ἐπʼ εὐθείας ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ. ἔστω ἡ ΒΔ· δύο ἄρα εὐθειῶν τῶν ΑΒΓ, ΑΒΔ κοινὸν τμῆμά ἐστιν ἡ ΑΒ· ὅπερ ἐστὶν ἀδύνατον, ἐπειδήπερ ἐὰν κέντρῳ τῷ Β καὶ διαστήματι τῷ ΑΒ κύκλον γράψωμεν, αἱ διάμετροι ἀνίσους ἀπολήψονται τοῦ κύκλου περιφερείας.

εὐθείας ἄρα γραμμῆς μέρος μέν τι οὐκ ἔστιν ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ, τὸ δὲ ἐν μετεωροτέρῳ· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο εὐθεῖαι τέμνωσιν ἀλλήλας, ἐν ἑνί εἰσιν ἐπιπέδῳ, καὶ πᾶν τρίγωνον ἐν ἑνί ἐστιν ἐπιπέδῳ.

δύο γὰρ εὐθεῖαι αἱ ΑΒ, ΓΔ τεμνέτωσαν ἀλλήλας κατὰ τὸ Ε σημεῖον· λέγω, ὅτι αἱ ΑΒ, ΓΔ ἐν ἑνί εἰσιν ἐπιπέδῳ, καὶ πᾶν τρίγωνον ἐν ἑνί ἐστιν ἐπιπέδῳ.

εἰλήφθω γὰρ ἐπὶ τῶν ΕΓ, ΕΒ τυχόντα σημεῖα τὰ Ζ, Η, καὶ ἐπεζεύχθωσαν αἱ ΓΒ, ΖΗ, καὶ διήχθωσαν αἱ ΖΘ, ΗΚ· λέγω πρῶτον, ὅτι τὸ ΕΓΒ τρίγωνον ἐν ἑνί ἐστιν ἐπιπέδῳ. εἰ γάρ ἐστι τοῦ ΕΓΒ τριγώνου μέρος ἤτοι τὸ ΖΘΓ ἢ τὸ ΗΒΚ ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ, τὸ δὲ λοιπὸν ἐν ἄλλῳ, ἔσται καὶ μιᾶς τῶν ΕΓ, ΕΒ εὐθειῶν μέρος μέν τι ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ, τὸ δὲ ἐν ἄλλῳ. εἰ δὲ τοῦ ΕΓΒ τριγώνου τὸ ΖΓΒΗ μέρος ᾖ ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ, τὸ δὲ λοιπὸν ἐν ἄλλῳ, ἔσται καὶ ἀμφοτέρων τῶν ΕΓ, ΕΒ εὐθειῶν μέρος μέν τι ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ, τὸ δὲ ἐν ἄλλῳ· ὅπερ ἄτοπον ἐδείχθη. τὸ ἄρα ΕΓΒ τρίγωνον ἐν ἑνί ἐστιν ἐπιπέδῳ. ἐν ᾧ δέ ἐστι τὸ ΕΓΒ τρίγωνον, ἐν τούτῳ καὶ ἑκατέρα τῶν ΕΓ, ΕΒ, ἐν ᾧ δὲ ἑκατέρα τῶν ΕΓ, ΕΒ, ἐν τούτῳ καὶ αἱ ΑΒ, ΓΔ. αἱ ΑΒ, ΓΔ ἄρα εὐθεῖαι ἐν ἑνί εἰσιν ἐπιπέδῳ, καὶ πᾶν τρίγωνον ἐν ἑνί ἐστιν ἐπιπέδῳ· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο ἐπίπεδα τέμνῃ ἄλληλα, ἡ κοινὴ αὐτῶν τομὴ εὐθεῖά ἐστιν.

δύο γὰρ ἐπίπεδα τὰ ΑΒ, ΒΓ τεμνέτω ἄλληλα, κοινὴ δὲ αὐτῶν τομὴ ἔστω ἡ ΔΒ γραμμή· λέγω, ὅτι ἡ ΔΒ γραμμὴ εὐθεῖά ἐστιν.

εἰ γὰρ μή, ἐπεζεύχθω ἀπὸ τοῦ Δ ἐπὶ τὸ Β ἐν μὲν τῷ ΑΒ ἐπιπέδῳ εὐθεῖα ἡ ΔΕΒ, ἐν δὲ τῷ ΒΓ ἐπιπέδῳ εὐθεῖα ἡ ΔΖΒ. ἔσται δὴ δύο εὐθειῶν τῶν ΔΕΒ, ΔΖΒ τὰ αὐτὰ πέρατα, καὶ περιέξουσι δηλαδὴ χωρίον· ὅπερ ἄτοπον. οὐκ ἄρα αἱ ΔΕΒ, ΔΖΒ εὐθεῖαί εἰσιν. ὁμοίως δὴ δείξομεν, ὅτι οὐδὲ ἄλλη τις ἀπὸ τοῦ Δ ἐπὶ τὸ Β ἐπιζευγνυμένη εὐθεῖα ἔσται πλὴν τῆς ΔΒ κοινῆς τομῆς τῶν ΑΒ, ΒΓ ἐπιπέδων.

ἐὰν ἄρα δύο ἐπίπεδα τέμνῃ ἄλληλα, ἡ κοινὴ αὐτῶν τομὴ εὐθεῖά ἐστιν· ὅπερ ἔδει δεῖξαι.

ἐὰν εὐθεῖα δύο εὐθείαις τεμνούσαις ἀλλήλας πρὸς ὀρθὰς ἐπὶ τῆς κοινῆς τομῆς ἐπισταθῇ, καὶ τῷ διʼ αὐτῶν ἐπιπέδῳ πρὸς ὀρθὰς ἔσται.

εὐθεῖα γάρ τις ἡ ΕΖ δύο εὐθείαις ταῖς ΑΒ, ΓΔ τεμνούσαις ἀλλήλας κατὰ τὸ Ε σημεῖον ἀπὸ τοῦ Ε πρὸς ὀρθὰς ἐφεστάτω· λέγω, ὅτι ἡ ΕΖ καὶ τῷ διὰ τῶν ΑΒ, ΓΔ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν.

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

ἐὰν ἄρα εὐθεῖα δύο εὐθείαις τεμνούσαις ἀλλήλας πρὸς ὀρθὰς ἐπὶ τῆς κοινῆς τομῆς ἐπισταθῇ, καὶ τῷ διʼ αὐτῶν ἐπιπέδῳ πρὸς ὀρθὰς ἔσται· ὅπερ ἔδει δεῖξαι.

ἐὰν εὐθεῖα τρισὶν εὐθείαις ἁπτομέναις ἀλλήλων πρὸς ὀρθὰς ἐπὶ τῆς κοινῆς τομῆς ἐπισταθῇ, αἱ τρεῖς εὐθεῖαι ἐν ἑνί εἰσιν ἐπιπέδῳ.

εὐθεῖα γάρ τις ἡ ΑΒ τρισὶν εὐθείαις ταῖς ΒΓ, ΒΔ, ΒΕ πρὸς ὀρθὰς ἐπὶ τῆς κατὰ τὸ Β ἁφῆς ἐφεστάτω· λέγω, ὅτι αἱ ΒΓ, ΒΔ, ΒΕ ἐν ἑνί εἰσιν ἐπιπέδῳ.

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

ἐὰν ἄρα εὐθεῖα τρισὶν εὐθείαις ἁπτομέναις ἀλλήλων ἐπὶ τῆς ἁφῆς πρὸς ὀρθὰς ἐπισταθῇ, αἱ τρεῖς εὐθεῖαι ἐν ἑνί εἰσιν ἐπιπέδῳ· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο εὐθεῖαι τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ὦσιν, παράλληλοι ἔσονται αἱ εὐθεῖαι.

δύο γὰρ εὐθεῖαι αἱ ΑΒ, ΓΔ τῷ ὑποκειμένῳ ἐπιπέδῳ πρὸς ὀρθὰς ἔστωσαν· λέγω, ὅτι παράλληλός ἐστιν ἡ ΑΒ τῇ ΓΔ.

συμβαλλέτωσαν γὰρ τῷ ὑποκειμένῳ ἐπιπέδῳ κατὰ τὰ Β, Δ σημεῖα, καὶ ἐπεζεύχθω ἡ ΒΔ εὐθεῖα, καὶ ἤχθω τῇ ΒΔ πρὸς ὀρθὰς ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ ἡ ΔΕ, καὶ κείσθω τῇ ΑΒ ἴση ἡ ΔΕ, καὶ ἐπεζεύχθωσαν αἱ ΒΕ, ΑΕ, ΑΔ.

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

ἐὰν ἄρα δύο εὐθεῖαι τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ὦσιν, παράλληλοι ἔσονται αἱ εὐθεῖαι· ὅπερ ἔδει δεῖξαι.

ἐὰν ὦσι δύο εὐθεῖαι παράλληλοι, ληφθῇ δὲ ἐφʼ ἑκατέρας αὐτῶν τυχόντα σημεῖα, ἡ ἐπὶ τὰ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις.

ἔστωσαν δύο εὐθεῖαι παράλληλοι αἱ ΑΒ, ΓΔ, καὶ εἰλήφθω ἐφʼ ἑκατέρας αὐτῶν τυχόντα σημεῖα τὰ Ε, Ζ· λέγω, ὅτι ἡ ἐπὶ τὰ Ε, Ζ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις.

μὴ γάρ, ἀλλʼ εἰ δυνατόν, ἔστω ἐν μετεωροτέρῳ ὡς ἡ ΕΗΖ, καὶ διήχθω διὰ τῆς ΕΗΖ ἐπίπεδον· τομὴν δὴ ποιήσει ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ εὐθεῖαν. ποιείτω ὡς τὴν ΕΖ· δύο ἄρα εὐθεῖαι αἱ ΕΗΖ, ΕΖ χωρίον περιέξουσιν· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ Ζ ἐπιζευγνυμένη εὐθεῖα ἐν μετεωροτέρῳ ἐστὶν ἐπιπέδῳ· ἐν τῷ διὰ τῶν ΑΒ, ΓΔ ἄρα παραλλήλων ἐστὶν ἐπιπέδῳ ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ Ζ ἐπιζευγνυμένη εὐθεῖα.

ἐὰν ἄρα ὦσι δύο εὐθεῖαι παράλληλοι, ληφθῇ δὲ ἐφʼ ἑκατέρας αὐτῶν τυχόντα σημεῖα, ἡ ἐπὶ τὰ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐν τῷ αὐτῷ ἐπιπέδῳ ἐστὶ ταῖς παραλλήλοις· ὅπερ ἔδει δεῖξαι.

ἐὰν ὦσι δύο εὐθεῖαι παράλληλοι, ἡ δὲ ἑτέρα αὐτῶν ἐπιπέδῳ τινὶ πρὸς ὀρθὰς ᾖ, καὶ ἡ λοιπὴ τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ἔσται.

ἔστωσαν δύο εὐθεῖαι παράλληλοι αἱ ΑΒ, ΓΔ, ἡ δὲ ἑτέρα αὐτῶν ἡ ΑΒ τῷ ὑποκειμένῳ ἐπιπέδῳ πρὸς ὀρθὰς ἔστω· λέγω, ὅτι καὶ ἡ λοιπὴ ἡ ΓΔ τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ἔσται.

συμβαλλέτωσαν γὰρ αἱ ΑΒ, ΓΔ τῷ ὑποκειμένῳ ἐπιπέδῳ κατὰ τὰ Β, Δ σημεῖα, καὶ ἐπεζεύχθω ἡ ΒΔ· αἱ ΑΒ, ΓΔ, ΒΔ ἄρα ἐν ἑνί εἰσιν ἐπιπέδῳ. ἤχθω τῇ ΒΔ πρὸς ὀρθὰς ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ ἡ ΔΕ, καὶ κείσθω τῇ ΑΒ ἴση ἡ ΔΕ, καὶ ἐπεζεύχθωσαν αἱ ΒΕ, ΑΕ, ΑΔ. καὶ ἐπεὶ ἡ ΑΒ ὀρθή ἐστι πρὸς τὸ ὑποκείμενον ἐπίπεδον, καὶ πρὸς πάσας ἄρα τὰς ἁπτομένας αὐτῆς εὐθείας καὶ οὔσας ἐν τῷ ὑποκειμένῳ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν ἡ ΑΒ· ὀρθὴ ἄρα ἐστὶν ἑκατέρα τῶν ὑπὸ ΑΒΔ, ΑΒΕ γωνιῶν. καὶ ἐπεὶ εἰς παραλλήλους τὰς ΑΒ, ΓΔ εὐθεῖα ἐμπέπτωκεν ἡ ΒΔ, αἱ ἄρα ὑπὸ ΑΒΔ, ΓΔΒ γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν. ὀρθὴ δὲ ἡ ὑπὸ ΑΒΔ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΓΔΒ· ἡ ΓΔ ἄρα πρὸς τὴν ΒΔ ὀρθή ἐστιν. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒ τῇ ΔΕ, κοινὴ δὲ ἡ ΒΔ, δύο δὴ αἱ ΑΒ, ΒΔ δυσὶ ταῖς ΕΔ, ΔΒ ἴσαι εἰσίν· καὶ γωνία ἡ ὑπὸ ΑΒΔ γωνίᾳ τῇ ὑπὸ ΕΔΒ ἴση· ὀρθὴ γὰρ ἑκατέρα· βάσις ἄρα ἡ ΑΔ βάσει τῇ ΒΕ ἴση. καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν ΑΒ τῇ ΔΕ, ἡ δὲ ΒΕ τῇ ΑΔ, δύο δὴ αἱ ΑΒ, ΒΕ δυσὶ ταῖς ΕΔ, ΔΑ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ. καὶ βάσις αὐτῶν κοινὴ ἡ ΑΕ· γωνία ἄρα ἡ ὑπὸ ΑΒΕ γωνίᾳ τῇ ὑπὸ ΕΔΑ ἐστιν ἴση. ὀρθὴ δὲ ἡ ὑπὸ ΑΒΕ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΕΔΑ· ἡ ΕΔ ἄρα πρὸς τὴν ΑΔ ὀρθή ἐστιν. ἔστι δὲ καὶ πρὸς τὴν ΔΒ ὀρθή· ἡ ΕΔ ἄρα καὶ τῷ διὰ τῶν ΒΔ, ΔΑ ἐπιπέδῳ ὀρθή ἐστιν. καὶ πρὸς πάσας ἄρα τὰς ἁπτομένας αὐτῆς εὐθείας καὶ οὔσας ἐν τῷ διὰ τῶν ΒΔΑ ἐπιπέδῳ ὀρθὰς ποιήσει γωνίας ἡ ΕΔ. ἐν δὲ τῷ διὰ τῶν ΒΔΑ ἐπιπέδῳ ἐστὶν ἡ ΔΓ, ἐπειδήπερ ἐν τῷ διὰ τῶν ΒΔΑ ἐπιπέδῳ εἰσὶν αἱ ΑΒ, ΒΔ, ἐν ᾧ δὲ αἱ ΑΒ, ΒΔ, ἐν τούτῳ ἐστὶ καὶ ἡ ΔΓ. ἡ ΕΔ ἄρα τῇ ΔΓ πρὸς ὀρθάς ἐστιν· ὥστε καὶ ἡ ΓΔ τῇ ΔΕ πρὸς ὀρθάς ἐστιν. ἔστι δὲ καὶ ἡ ΓΔ τῇ ΒΔ πρὸς ὀρθάς. ἡ ΓΔ ἄρα δύο εὐθείαις τεμνούσαις ἀλλήλας ταῖς ΔΕ, ΔΒ ἀπὸ τῆς κατὰ τὸ Δ τομῆς πρὸς ὀρθὰς ἐφέστηκεν· ὥστε ἡ ΓΔ καὶ τῷ διὰ τῶν ΔΕ, ΔΒ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν. τὸ δὲ διὰ τῶν ΔΕ, ΔΒ ἐπίπεδον τὸ ὑποκείμενόν ἐστιν· ἡ ΓΔ ἄρα τῷ ὑποκειμένῳ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν.

ἐὰν ἄρα ὦσι δύο εὐθεῖαι παράλληλοι, ἡ δὲ μία αὐτῶν ἐπιπέδῳ τινὶ πρὸς ὀρθὰς ᾖ, καὶ ἡ λοιπὴ τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ἔσται· ὅπερ ἔδει δεῖξαι.