Euclid, Elements
J. L. Heiberg, Ed.

ἔστωσαν τρεῖς γωνίαι ἐπίπεδοι αἱ ὑπὸ ΑΒΓ, ΔΕΖ, ΗΘΚ, ὧν αἱ δύο τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι, αἱ μὲν ὑπὸ ΑΒΓ, ΔΕΖ τῆς ὑπὸ ΗΘΚ, αἱ δὲ ὑπὸ ΔΕΖ, ΗΘΚ τῆς ὑπὸ ΑΒΓ, καὶ ἔτι αἱ ὑπὸ ΗΘΚ, ΑΒΓ τῆς ὑπὸ ΔΕΖ, καὶ ἔστωσαν ἴσαι αἱ ΑΒ, ΒΓ, ΔΕ,
10ΕΖ, ΗΘ, ΘΚ εὐθεῖαι, καὶ ἐπεζεύχθωσαν αἱ ΑΓ, ΔΖ, ΗΚ: λέγω, ὅτι δυνατόν ἐστιν ἐκ τῶν ἴσων ταῖς ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι, τουτέστιν ὅτι τῶν ΑΓ, ΔΖ, ΗΚ δύο ὁποιαιοῦν τῆς λοιπῆς μείζονές εἰσιν.

εἰ μὲν οὖν αἱ ὑπὸ ΑΒΓ, ΔΕΖ, ΗΘΚ γωνίαι ἴσαι
10ἀλλήλαις εἰσίν, φανερόν, ὅτι καὶ τῶν ΑΓ, ΔΖ, ΗΚ ἴσων γινομένων δυνατόν ἐστιν ἐκ τῶν ἴσων ταῖς ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι. εἰ δὲ οὔ, ἔστωσαν ἄνισοι, καὶ συνεστάτω πρὸς τῇ ΘΚ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Θ τῇ ὑπὸ ΑΒΓ γωνίᾳ ἴση ἡ ὑπὸ ΚΘΛ: καὶ κείσθω μιᾷ
20τῶν ΑΒ, ΒΓ, ΔΕ, ΕΖ, ΗΘ, ΘΚ ἴση ἡ ΘΛ, καὶ ἐπεζεύχθωσαν αἱ ΚΛ, ΗΛ. καὶ ἐπεὶ δύο αἱ ΑΒ, ΒΓ δυσὶ ταῖς ΚΘ, ΘΛ ἴσαι εἰσίν, καὶ γωνία ἡ πρὸς τῷ Β γωνίᾳ τῇ ὑπὸ ΚΘΛ ἴση, βάσις ἄρα ἡ ΑΓ βάσει τῇ
25ΚΛ ἴση. καὶ ἐπεὶ αἱ ὑπὸ ΑΒΓ, ΗΘΚ τῆς ὑπὸ ΔΕΖ μείζονές εἰσιν, ἴση δὲ ἡ ὑπὸ ΑΒΓ τῇ ὑπὸ ΚΘΛ, ἡ ἄρα ὑπὸ ΗΘΛ τῆς ὑπὸ ΔΕΖ μείζων ἐστίν. καὶ ἐπεὶ δύο αἱ ΗΘ, ΘΛ δύο ταῖς ΔΕ,
30ΕΖ ἴσαι εἰσίν, καὶ γωνία ἡ ὑπὸ ΗΘΛ γωνίας τῆς ὑπὸ ΔΕΖ μείζων, βάσις ἄρα ἡ ΗΛ βάσεως τῆς ΔΖ μείζων ἐστίν. ἀλλὰ αἱ ΗΚ, ΚΛ τῆς ΗΛ μείζονές εἰσιν. πολλῷ ἄρα αἱ ΗΚ, ΚΛ τῆς ΔΖ μείζονές εἰσιν. ἴση δὲ ἡ ΚΛ τῇ ΑΓ: αἱ ΑΓ, ΗΚ ἄρα τῆς λοιπῆς τῆς ΔΖ μείζονές εἰσιν. ὁμοίως
35δὴ δείξομεν, ὅτι καὶ αἱ μὲν ΑΓ, ΔΖ τῆς ΗΚ μείζονές εἰσιν, καὶ ἔτι αἱ ΔΖ, ΗΚ τῆς ΑΓ μείζονές εἰσιν. δυνατὸν ἄρα ἐστὶν ἐκ τῶν ἴσων ταῖς ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι: ὅπερ ἔδει δεῖξαι.