Euclid, Elements
J. L. Heiberg, Ed.

ἔστω μέσης ἀποτομὴ ἡ ΑΒ, καὶ τῇ ΑΒ μήκει σύμμετρος ἔστω ἡ ΓΔ: λέγω, ὅτι καὶ ἡ ΓΔ μέσης ἀποτομή
5ἐστι καὶ τῇ τάξει ἡ αὐτὴ τῇ ΑΒ.

ἐπεὶ γὰρ μέσης ἀποτομή ἐστιν ἡ ΑΒ, ἔστω αὐτῇ προσαρμόζουσα ἡ ΕΒ. αἱ ΑΕ, ΕΒ ἄρα μέσαι εἰσὶ δυνάμει μόνον σύμμετροι. καὶ γεγονέτω ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ ΒΕ πρὸς
10τὴν ΔΖ: σύμμετρος ἄρα ἐστὶ καὶ ἡ ΑΕ τῇ ΓΖ, ἡ δὲ ΒΕ τῇ ΔΖ. αἱ δὲ ΑΕ, ΕΒ μέσαι εἰσὶ δυνάμει μόνον σύμμετροι: καὶ αἱ ΓΖ, ΖΔ ἄρα μέσαι εἰσὶ δυνάμει μόνον σύμμετροι: μέσης ἄρα ἀποτομή ἐστιν ἡ ΓΔ.
15

λέγω δή, ὅτι καὶ τῇ τάξει ἐστὶν ἡ αὐτὴ τῇ ΑΒ.
15

ἐπεὶ γάρ ἐστιν ὡς ἡ ΑΕ πρὸς τὴν ΕΒ, οὕτως ἡ ΓΖ πρὸς τὴν ΖΔ ἀλλ᾽ ὡς μὲν ἡ ΑΕ πρὸς τὴν ΕΒ, οὕτως τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ὑπὸ τῶν ΑΕ, ΕΒ, ὡς δὲ ἡ ΓΖ πρὸς τὴν ΖΔ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ὑπὸ τῶν
20ΓΖ, ΖΔ, ἔστιν ἄρα καὶ ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ὑπὸ τῶν ΑΕ, ΕΒ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ὑπὸ τῶν ΓΖ, ΖΔ καὶ ἐναλλὰξ ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ἀπὸ τῆς ΓΖ, οὕτως τὸ ὑπὸ τῶν ΑΕ, ΕΒ πρὸς τὸ ὑπὸ τῶν ΓΖ, ΖΔ. σύμμετρον δὲ τὸ ἀπὸ τῆς ΑΕ τῷ ἀπὸ τῆς ΓΖ:
25σύμμετρον ἄρα ἐστὶ καὶ τὸ ὑπὸ τῶν ΑΕ, ΕΒ τῷ ὑπὸ τῶν ΓΖ, ΖΔ. εἴτε οὖν ῥητόν ἐστι τὸ ὑπὸ τῶν ΑΕ, ΕΒ, ῥητὸν ἔσται καὶ τὸ ὑπὸ τῶν ΓΖ, ΖΔ, εἴτε μέσον ἐστὶ τὸ ὑπὸ τῶν ΑΕ, ΕΒ, μέσον ἐστὶ καὶ τὸ ὑπὸ τῶν ΓΖ, ΖΔ.
30

μέσης ἄρα ἀποτομή ἐστιν ἡ ΓΔ καὶ τῇ τάξει ἡ αὐτὴ τῇ ΑΒ: ὅπερ ἔδει δεῖξαι.