Στοιχεῖα Εὐκλείδου ια΄
[Βιβλίον XI]
Αἱ Προτάσεις τῶν Στοιχείων ια΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις κβ΄. [22]
Ἐὰν ὦσι τρεῖς γωνίαι ἐπίπεδοι, ὧν αἱ δύο τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι, περιέχωσι δὲ αὐτὰς ἴσαι εὐθεῖαι, δυνατόν ἐστιν ἐκ τῶν ἐπιζευγνυουσῶν τὰς ἴσας εὐθείας τρίγωνον συστήσασθαι.
Ἔστωσαν τρεῖς γωνίαι ἐπίπεδοι αἱ ὑπὸ ΑΒΓ, ΔΕΖ, ΗΘΚ, ὧν αἱ δύο τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι, αἱ μὲν ὑπὸ ΑΒΓ, ΔΕΖ τῆς ὑπὸ ΗΘΚ, αἱ δὲ ὑπὸ ΔΕΖ, ΗΘΚ τῆς ὑπὸ ΑΒΓ, καὶ ἔτι αἱ ὑπὸ ΗΘΚ, ΑΒΓ τῆς ὑπὸ ΔΕΖ, καὶ ἔστωσαν ἴσαι αἱ ΑΒ, ΒΓ, ΔΕ, ΕΖ, ΗΘ, ΘΚ εὐθεῖαι, καὶ ἐπεζεύχθωσαν αἱ ΑΓ, ΔΖ, ΗΚ· λέγω, ὅτι δυνατόν ἐστιν ἐκ τῶν ἴσων ταῖς ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι, τουτέστιν ὅτι τῶν ΑΓ, ΔΖ, ΗΚ δύο ὁποιαιοῦν τῆς λοιπῆς μείζονές εἰσιν.
Εἰ μὲν οὖν αἱ ὑπὸ ΑΒΓ, ΔΕΖ, ΗΘΚ γωνίαι ἴσαι ἀλλήλαις εἰσίν, φανερόν, ὅτι καὶ τῶν ΑΓ, ΔΖ, ΗΚ ἴσων γινομένων δυνατόν ἐστιν ἐκ τῶν ἴσων ταῖς ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι. εἰ δὲ οὔ, ἔστωσαν ἄνισοι, καὶ συνεστάτω πρὸς τῇ ΘΚ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Θ τῇ ὑπὸ ΑΒΓ γωνίᾳ ἴση ἡ ὑπὸ ΚΘΛ· καὶ κείσθω μιᾷ τῶν ΑΒ, ΒΓ, ΔΕ, ΕΖ, ΗΘ, ΘΚ ἴση ἡ ΘΛ, καὶ ἐπεζεύχθωσαν αἱ ΚΛ, ΗΛ. καὶ ἐπεὶ δύο αἱ ΑΒ, ΒΓ δυσὶ ταῖς ΚΘ, ΘΛ ἴσαι εἰσίν, καὶ γωνία ἡ πρὸς τῷ Β γωνίᾳ τῇ ὑπὸ ΚΘΛ ἴση, βάσις ἄρα ἡ ΑΓ βάσει τῇ ΚΛ ἴση.
καὶ ἐπεὶ αἱ ὑπὸ ΑΒΓ, ΗΘΚ τῆς ὑπὸ ΔΕΖ μείζονές εἰσιν, ἴση δὲ ἡ ὑπὸ ΑΒΓ τῇ ὑπὸ ΚΘΛ, ἡ ἄρα ὑπὸ ΗΘΛ τῆς ὑπὸ ΔΕΖ μείζων ἐστίν. καὶ ἐπεὶ δύο αἱ ΗΘ, ΘΛ δύο ταῖς ΔΕ, ΕΖ ἴσαι εἰσίν, καὶ γωνία ἡ ὑπὸ ΗΘΛ γωνίας τῆς ὑπὸ ΔΕΖ μείζων, βάσις ἄρα ἡ ΗΛ βάσεως τῆς ΔΖ μείζων ἐστίν. ἀλλὰ αἱ ΗΚ, ΚΛ τῆς ΗΛ μείζονές εἰσιν. πολλῷ ἄρα αἱ ΗΚ, ΚΛ τῆς ΔΖ μείζονές εἰσιν. ἴση δὲ ἡ ΚΛ τῇ ΑΓ· αἱ ΑΓ, ΗΚ ἄρα τῆς λοιπῆς τῆς ΔΖ μείζονές εἰσιν. ὁμοίως δὴ δείξομεν, ὅτι καὶ αἱ μὲν ΑΓ, ΔΖ τῆς ΗΚ μείζονές εἰσιν, καὶ ἔτι αἱ ΔΖ, ΗΚ τῆς ΑΓ μείζονές εἰσιν. δυνατὸν ἄρα ἐστὶν ἐκ τῶν ἴσων ταῖς ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ια΄.
Περιεχόμενα Στοιχείων Εὐκλείδου