Euclid, Elements
J. L. Heiberg, Ed.

ἔστω κύκλος ὁ ΑΒΓΔ, διάμετρος δὲ αὐτοῦ ἔστω ἡ ΑΔ, κέντρον δὲ τὸ Ε, καὶ ἔγγιον μὲν τῆς ΑΔ διαμέτρου
5ἔστω ἡ ΒΓ, ἀπώτερον δὲ ἡ ΖΗ: λέγω, ὅτι μεγίστη μέν ἐστιν ἡ ΑΔ, μείζων δὲ ἡ ΒΓ τῆς ΖΗ.

ἤχθωσαν γὰρ ἀπὸ τοῦ Ε κέντρου ἐπὶ τὰς ΒΓ, ΖΗ κάθετοι αἱ ΕΘ, ΕΚ. καὶ ἐπεὶ ἔγγιον μὲν τοῦ κέντρου ἐστὶν ἡ ΒΓ, ἀπώτερον δὲ ἡ ΖΗ, μείζων ἄρα ἡ ΕΚ τῆς
10ΕΘ. κείσθω τῇ ΕΘ ἴση ἡ ΕΛ, καὶ διὰ τοῦ Λ τῇ ΕΚ πρὸς ὀρθὰς ἀχθεῖσα ἡ ΛΜ διήχθω ἐπὶ τὸ Ν, καὶ ἐπεζεύχθωσαν αἱ ΜΕ, ΕΝ, ΖΕ, ΕΗ.

καὶ ἐπεὶ ἴση ἐστὶν ἡ ΕΘ τῇ ΕΛ, ἴση ἐστὶ καὶ ἡ ΒΓ τῇ ΜΝ. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ μὲν ΑΕ τῇ ΕΜ, ἡ δὲ ΕΔ
15τῇ ΕΝ, ἡ ἄρα ΑΔ ταῖς ΜΕ, ΕΝ ἴση ἐστίν. ἀλλ᾽ αἱ μὲν ΜΕ, ΕΝ τῆς ΜΝ μείζονές εἰσιν [καὶ ἡ ΑΔ τῆς ΜΝ μείζων ἐστίν, ἴση δὲ ἡ ΜΝ τῇ ΒΓ: ἡ ΑΔ ἄρα τῆς ΒΓ μείζων ἐστίν. καὶ ἐπεὶ δύο αἱ ΜΕ, ΕΝ δύο
20ταῖς ΖΕ, ΕΗ ἴσαι εἰσίν, καὶ γωνία ἡ ὑπὸ ΜΕΝ γωνίας τῆς ὑπὸ ΖΕΗ μείζων ἐστίν, βάσις ἄρα ἡ ΜΝ βάσεως τῆς ΖΗ μείζων ἐστίν. ἀλλὰ ἡ ΜΝ τῇ ΒΓ ἐδείχθη ἴση καὶ ἡ ΒΓ τῆς ΖΗ μείζων ἐστίν. μεγίστη μὲν ἄρα ἡ ΑΔ διάμετρος,
25μείζων δὲ ἡ ΒΓ τῆς ΖΗ.

ἐν κύκλῳ ἄρα μεγίστη μέν ἐστιν ἡ διάμετρος, τῶν δὲ ἄλλων ἀεὶ ἡ ἔγγιον τοῦ κέντρου τῆς ἀπώτερον μείζων ἐστίν: ὅπερ ἔδει δεῖξαι.