Book 11, Type prop

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