Euclid, Elements
J. L. Heiberg, Ed.

Ἐκκείσθω τις εὐθεῖα ἡ ΑΒ, καὶ τετμήσθω κατὰ τὸ Γ σημεῖον, ὥστε τὸ ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον
5ἴσον εἶναι τῷ ἀπὸ τῆς ΓΑ τετραγώνῳ: καὶ κέντρῳ τῷ Α καὶ διαστήματι τῷ ΑΒ κύκλος γεγράφθω ὁ ΒΔΕ, καὶ ἐνηρμόσθω εἰς τὸν ΒΔΕ κύκλον τῇ ΑΓ εὐθείᾳ μὴ μείζονι
10οὔσῃ τῆς τοῦ ΒΔΕ κύκλου διαμέτρου ἴση εὐθεῖα ἡ ΒΔ: καὶ ἐπεζεύχθωσαν αἱ ΑΔ, ΔΓ, καὶ περιγεγράφθω περὶ τὸ ΑΓΔ τρίγωνον κύκλος ὁ ΑΓΔ.

καὶ ἐπεὶ τὸ ὑπὸ τῶν ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς
15ΑΓ, ἴση δὲ ἡ ΑΓ τῇ ΒΔ, τὸ ἄρα ὑπὸ τῶν ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΒΔ. καὶ ἐπεὶ κύκλου τοῦ ΑΓΔ εἴληπταί τι σημεῖον ἐκτὸς τὸ Β, καὶ ἀπὸ τοῦ Β πρὸς τὸν ΑΓΔ κύκλον προσπεπτώκασι δύο εὐθεῖαι αἱ ΒΑ, ΒΔ, καὶ ἡ μὲν αὐτῶν τέμνει, ἡ δὲ προσπίπτει, καί ἐστι τὸ ὑπὸ τῶν
20ΑΒ, ΒΓ ἴσον τῷ ἀπὸ τῆς ΒΔ, ἡ ΒΔ ἄρα ἐφάπτεται τοῦ ΑΓΔ κύκλου. ἐπεὶ οὖν ἐφάπτεται μὲν ἡ ΒΔ, ἀπὸ δὲ τῆς κατὰ τὸ Δ ἐπαφῆς διῆκται ἡ ΔΓ, ἡ ἄρα ὑπὸ ΒΔΓ γωνία ἴση ἐστὶ τῇ ἐν τῷ ἐναλλὰξ τοῦ κύκλου τμήματι γωνίᾳ τῇ ὑπὸ ΔΑΓ. ἐπεὶ οὖν ἴση ἐστὶν ἡ ὑπὸ ΒΔΓ τῇ ὑπὸ ΔΑΓ,
25κοινὴ προσκείσθω ἡ ὑπὸ ΓΔΑ: ὅλη ἄρα ἡ ὑπὸ ΒΔΑ ἴση ἐστὶ δυσὶ ταῖς ὑπὸ ΓΔΑ, ΔΑΓ. ἀλλὰ ταῖς ὑπὸ ΓΔΑ, ΔΑΓ ἴση ἐστὶν ἡ ἐκτὸς ἡ ὑπὸ ΒΓΔ: καὶ ἡ ὑπὸ ΒΔΑ ἄρα ἴση ἐστὶ τῇ ὑπὸ ΒΓΔ. ἀλλὰ ἡ ὑπὸ ΒΔΑ τῇ ὑπὸ ΓΒΔ ἐστιν ἴση, ἐπεὶ καὶ πλευρὰ ἡ ΑΔ τῇ ΑΒ ἐστιν ἴση: ὥστε
30καὶ ἡ ὑπὸ ΔΒΑ τῇ ὑπὸ ΒΓΔ ἐστιν ἴση. αἱ τρεῖς ἄρα αἱ ὑπὸ ΒΔΑ, ΔΒΑ, ΒΓΔ ἴσαι ἀλλήλαις εἰσίν. καὶ ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΔΒΓ γωνία τῇ ὑπὸ ΒΓΔ, ἴση ἐστὶ καὶ πλευρὰ ἡ ΒΔ πλευρᾷ τῇ ΔΓ. ἀλλὰ ἡ ΒΔ τῇ ΓΑ ὑπόκειται ἴση: καὶ ἡ ΓΑ ἄρα τῇ ΓΔ ἐστιν ἴση: ὥστε καὶ γωνία ἡ
35ὑπὸ ΓΔΑ γωνίᾳ τῇ ὑπὸ ΔΑΓ ἐστιν ἴση: αἱ ἄρα ὑπὸ ΓΔΑ, ΔΑΓ τῆς ὑπὸ ΔΑΓ εἰσι διπλασίους. ἴση δὲ ἡ ὑπὸ ΒΓΔ ταῖς ὑπὸ ΓΔΑ, ΔΑΓ: καὶ ἡ ὑπὸ ΒΓΔ ἄρα τῆς ὑπὸ ΓΑΔ ἐστι διπλῆ. ἴση δὲ ἡ ὑπὸ ΒΓΔ ἑκατέρᾳ τῶν ὑπὸ ΒΔΑ, ΔΒΑ: καὶ ἑκατέρα ἄρα τῶν ὑπὸ ΒΔΑ, ΔΒΑ
40τῆς ὑπὸ ΔΑΒ ἐστι διπλῆ.

ἰσοσκελὲς ἄρα τρίγωνον συνέσταται τὸ ΑΒΔ ἔχον ἑκατέραν τῶν πρὸς τῇ ΔΒ βάσει γωνιῶν διπλασίονα τῆς λοιπῆς: ὅπερ ἔδει ποιῆσαι.