Book 11, Type prop

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