Euclid Elementa 13.prop.6

ἐὰν εὐθεῖα ῥητὴ ἄκρον καὶ μέσον λόγον τμηθῇ, ἑκάτερον τῶν τμημάτων ἄλογός ἐστιν ἡ καλουμένη ἀποτομή.

ἔστω εὐθεῖα ῥητὴ ἡ ΑΒ καὶ τετμήσθω ἄκρον καὶ μέσον
λόγον κατὰ τὸ Γ, καὶ ἔστω μεῖζον τμῆμα ἡ ΑΓ· λέγω, ὅτι ἑκατέρα τῶν ΑΓ, ΓΒ ἄλογός ἐστιν ἡ καλουμένη ἀποτομή.

Ἐκβεβλήσθω γὰρ ἡ ΒΑ, καὶ κείσθω τῆς ΒΑ ἡμίσεια ἡ ΑΔ. ἐπεὶ οὖν εὐθεῖα ἡ ΑΒ τέτμηται ἄκρον καὶ μέσον λόγον κατὰ τὸ Γ, καὶ τῷ μείζονι τμήματι τῷ ΑΓ πρόσκειται
ἡ ΑΔ ἡμίσεια οὖσα τῆς ΑΒ, τὸ ἄρα ἀπὸ ΓΔ τοῦ ἀπὸ ΔΑ πενταπλάσιόν ἐστιν. τὸ ἄρα ἀπὸ ΓΔ πρὸς τὸ ἀπὸ ΔΑ λόγον ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν· σύμμετρον ἄρα τὸ ἀπὸ ΓΔ τῷ ἀπὸ ΔΑ. ῥητὸν δὲ τὸ ἀπὸ ΔΑ· ῥητὴ γὰρ ἐστιν ἡ ΔΑ ἡμίσεια οὖσα τῆς ΑΒ ῥητῆς οὔσης· ῥητὸν
ἄρα καὶ τὸ ἀπὸ ΓΔ· ῥητὴ ἄρα ἐστὶ καὶ ἡ ΓΔ. καὶ ἐπεὶ τὸ ἀπὸ ΓΔ πρὸς τὸ ἀπὸ ΔΑ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, ἀσύμμετρος ἄρα μήκει ἡ ΓΔ τῇ ΔΑ· αἱ ΓΔ, ΔΑ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἀποτομὴ ἄρα ἐστὶν ἡ ΑΓ. πάλιν, ἐπεὶ ἡ ΑΒ
ἄκρον καὶ μέσον λόγον τέτμηται, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΓ, τὸ ἄρα ὑπὸ ΑΒ, ΒΓ τῷ ἀπὸ ΑΓ ἴσον ἐστίν. τὸ ἄρα ἀπὸ τῆς ΑΓ ἀποτομῆς παρὰ τὴν ΑΒ ῥητὴν παραβληθὲν πλάτος ποιεῖ τὴν ΒΓ. τὸ δὲ ἀπὸ ἀποτομῆς παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν πρώτην·
ἀποτομὴ ἄρα πρώτη ἐστὶν ἡ ΓΒ. ἐδείχθη δὲ καὶ ἡ ΓΑ ἀποτομή.

ἐὰν ἄρα εὐθεῖα ῥητὴ ἄκρον καὶ μέσον λόγον τμηθῇ, ἑκάτερον τῶν τμημάτων ἄλογός ἐστιν ἡ καλουμένη ἀποτομή· ὅπερ ἔδει δεῖξαι.