Euclid, Elements
J. L. Heiberg, Ed.

χωρίον γὰρ τὸ ΑΒ περιεχέσθω ὑπὸ ῥητῆς τῆς ΑΓ καὶ
5ἀποτομῆς ἕκτης τῆς ΑΔ: λέγω, ὅτι ἡ τὸ ΑΒ χωρίον δυναμένη ἡ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσά ἐστιν.

ἔστω γὰρ τῇ ΑΔ προσαρμόζουσα ἡ ΔΗ: αἱ ἄρα ΑΗ, ΗΔ ῥηταί εἰσι δυνάμει μόνον
10σύμμετροι, καὶ οὐδετέρα αὐτῶν σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ τῇ ΑΓ μήκει, ἡ δὲ ὅλη ἡ ΑΗ τῆς προσαρμοζούσης τῆς ΔΗ μεῖζον δύναται
15τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ μήκει. ἐπεὶ οὖν ἡ ΑΗ τῆς ΗΔ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ μήκει, ἐὰν ἄρα τῷ τετάρτῳ μέρει τοῦ ἀπὸ τῆς ΔΗ ἴσον
20παρὰ τὴν ΑΗ παραβληθῇ ἐλλεῖπον εἴδει τετραγώνῳ, εἰς ἀσύμμετρα αὐτὴν διελεῖ. τετμήσθω οὖν ἡ ΔΗ δίχα κατὰ τὸ Ε σημεῖον, καὶ τῷ ἀπὸ τῆς ΕΗ ἴσον παρὰ τὴν ΑΗ παραβεβλήσθω ἐλλεῖπον εἴδει τετραγώνῳ, καὶ ἔστω τὸ ὑπὸ τῶν ΑΖ, ΖΗ: ἀσύμμετρος ἄρα ἐστὶν ἡ
25ΑΖ τῇ ΖΗ μήκει. ὡς δὲ ἡ ΑΖ πρὸς τὴν ΖΗ, οὕτως ἐστὶ τὸ ΑΙ πρὸς τὸ ΖΚ: ἀσύμμετρον ἄρα ἐστὶ τὸ ΑΙ τῷ ΖΚ. καὶ ἐπεὶ αἱ ΑΗ, ΑΓ ῥηταί εἰσι δυνάμει μόνον σύμμετροι, μέσον ἐστὶ τὸ ΑΚ. πάλιν, ἐπεὶ αἱ ΑΓ, ΔΗ ῥηταί εἰσι καὶ ἀσύμμετροι μήκει, μέσον ἐστὶ καὶ
30τὸ ΔΚ. ἐπεὶ οὖν αἱ ΑΗ, ΗΔ δυνάμει μόνον σύμμετροί εἰσιν, ἀσύμμετρος ἄρα ἐστὶν ἡ ΑΗ τῇ ΗΔ μήκει. ὡς δὲ ἡ ΑΗ πρὸς τὴν ΗΔ, οὕτως ἐστὶ τὸ ΑΚ πρὸς τὸ ΚΔ: ἀσύμμετρον ἄρα ἐστὶ τὸ ΑΚ τῷ ΚΔ. συνεστάτω οὖν τῷ μὲν ΑΙ ἴσον τετράγωνον τὸ ΛΜ, τῷ δὲ ΖΚ ἴσον ἀφῃρήσθω
35περὶ τὴν αὐτὴν γωνίαν τὸ ΝΞ: περὶ τὴν αὐτὴν ἄρα διάμετρόν ἐστι τὰ ΛΜ, ΝΞ τετράγωνα. ἔστω αὐτῶν διάμετρος ἡ ΟΡ, καὶ καταγεγράφθω τὸ σχῆμα. ὁμοίως δὴ τοῖς ἐπάνω δείξομεν, ὅτι ἡ ΛΝ δύναται τὸ ΑΒ χωρίον.
40

λέγω, ὅτι ἡ ΛΝ ἡ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσά ἐστιν.

ἐπεὶ γὰρ μέσον ἐδείχθη τὸ ΑΚ καί ἐστιν ἴσον τοῖς ἀπὸ τῶν ΛΟ, ΟΝ, τὸ ἄρα συγκείμενον ἐκ τῶν ἀπὸ τῶν ΛΟ, ΟΝ μέσον ἐστίν. πάλιν, ἐπεὶ μέσον ἐδείχθη τὸ
45ΔΚ καί ἐστιν ἴσον τῷ δὶς ὑπὸ τῶν ΛΟ, ΟΝ, καὶ τὸ δὶς ὑπὸ τῶν ΛΟ, ΟΝ μέσον ἐστίν. καὶ ἐπεὶ ἀσύμμετρον ἐδείχθη τὸ ΑΚ τῷ ΔΚ, ἀσύμμετρα ἄρα ἐστὶ καὶ τὰ ἀπὸ τῶν ΛΟ, ΟΝ τετράγωνα τῷ δὶς ὑπὸ τῶν ΛΟ, ΟΝ. καὶ ἐπεὶ ἀσύμμετρόν ἐστι τὸ ΑΙ τῷ ΖΚ, ἀσύμμετρον ἄρα
45καὶ τὸ ἀπὸ τῆς ΛΟ τῷ ἀπὸ τῆς ΟΝ: αἱ ΛΟ, ΟΝ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τό τε συγκείμενον ἐκ τῶν ἀπ᾽ αὐτῶν τετραγώνων μέσον καὶ τὸ δὶς ὑπ᾽ αὐτῶν μέσον ἔτι τε τὰ ἀπ᾽ αὐτῶν τετράγωνα ἀσύμμετρα τῷ δὶς ὑπ᾽ αὐτῶν. ἡ ἄρα ΛΝ ἄλογός ἐστιν ἡ καλουμένη
55μετὰ μέσου μέσον τὸ ὅλον ποιοῦσα: καὶ δύναται τὸ ΑΒ χωρίον.

ἡ ἄρα τὸ χωρίον δυναμένη μετὰ μέσου μέσον τὸ ὅλον ποιοῦσά ἐστιν: ὅπερ ἔδει δεῖξαι.