Regular solids: Book 13 Proposition 6
Translations
Ἐὰν εὐθεῖα ῥητὴ ἄκρον καὶ μέσον λόγον τμηθῇ, ἑκάτερον τῶν τμημάτων ἄλογός ἐστιν ἡ καλουμένη ἀποτομή. Ἔστω εὐθεῖα ῥητὴ ἡ ΑΒ καὶ τετμήσθω ἄκρον καὶ μέσον λόγον κατὰ τὸ Γ, καὶ ἔστω μεῖζον τμῆμα ἡ ΑΓ: λέγω, ὅτι ἑκατέρα τῶν ΑΓ, ΓΒ ἄλογός ἐστιν ἡ καλουμένη ἀποτομή. Ἐκβεβλήσθω γὰρ ἡ ΒΑ, καὶ κείσθω τῆς ΒΑ ἡμίσεια ἡ ΑΔ. ἐπεὶ οὖν εὐθεῖα ἡ ΑΒ τέτμηται ἄκρον καὶ μέσον λόγον κατὰ τὸ Γ, καὶ τῷ μείζονι τμήματι τῷ ΑΓ πρόσκειται ἡ ΑΔ ἡμίσεια οὖσα τῆς ΑΒ, τὸ ἄρα ἀπὸ ΓΔ τοῦ ἀπὸ ΔΑ πενταπλάσιόν ἐστιν. τὸ ἄρα ἀπὸ ΓΔ πρὸς τὸ ἀπὸ ΔΑ λόγον ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν: σύμμετρον ἄρα τὸ ἀπὸ ΓΔ τῷ ἀπὸ ΔΑ. ῥητὸν δὲ τὸ ἀπὸ ΔΑ: ῥητὴ γὰρ [ἐστιν] ἡ ΔΑ ἡμίσεια οὖσα τῆς ΑΒ ῥητῆς οὔσης: ῥητὸν ἄρα καὶ τὸ ἀπὸ ΓΔ: ῥητὴ ἄρα ἐστὶ καὶ ἡ ΓΔ. καὶ ἐπεὶ τὸ ἀπὸ ΓΔ πρὸς τὸ ἀπὸ ΔΑ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, ἀσύμμετρος ἄρα μήκει ἡ ΓΔ τῇ ΔΑ: αἱ ΓΔ, ΔΑ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι: ἀποτομὴ ἄρα ἐστὶν ἡ ΑΓ. πάλιν, ἐπεὶ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΓ, τὸ ἄρα ὑπὸ ΑΒ, ΒΓ τῷ ἀπὸ ΑΓ ἴσον ἐστίν. τὸ ἄρα ἀπὸ τῆς ΑΓ ἀποτομῆς παρὰ τὴν ΑΒ ῥητὴν παραβληθὲν πλάτος ποιεῖ τὴν ΒΓ. τὸ δὲ ἀπὸ ἀποτομῆς παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν πρώτην: ἀποτομὴ ἄρα πρώτη ἐστὶν ἡ ΓΒ. ἐδείχθη δὲ καὶ ἡ ΓΑ ἀποτομή. Ἐὰν ἄρα εὐθεῖα ῥητὴ ἄκρον καὶ μέσον λόγον τμηθῇ, ἑκάτερον τῶν τμημάτων ἄλογός ἐστιν ἡ καλουμένη ἀποτομή: ὅπερ ἔδει δεῖξαι.
If a rational straight line be cut in extreme and mean ratio, each of the segments is the irrational straight line called apotome. Let AB be a rational straight line, let it be cut in extreme and mean ratio at C, and let AC be the greater segment; I say that each of the straight lines AC, CB is the irrational straight line called apotome. For let BA be produced, and let AD be made half of BA. Since then the straight line AB has been cut in extreme and mean ratio, and to the greater segment AC is added AD which is half of AB, therefore the square on CD is five times the square on DA. [XIII. 1] Therefore the square on CD has to the square on DA the ratio which a number has to a number; therefore the square on CD is commensurable with the square on DA. [X. 6] But the square on DA is rational, for DA is rational, being half of AB which is rational; therefore the square on CD is also rational; [X. Def. 4] therefore CD is also rational. And, since the square on CD has not to the square on DA the ratio which a square number has to a square number, therefore CD is incommensurable in length with DA; [X. 9] therefore CD, DA are rational straight lines commensurable in square only; therefore AC is an apotome. [X. 73] Again, since AB has been cut in extreme and mean ratio, and AC is the greater segment, therefore the rectangle AB, BC is equal to the square on AC. [VI. Def. 3, VI. 17] Therefore the square on the apotome AC, if applied to the rational straight line AB, produces BC as breadth. But the square on an apotome, if applied to a rational straight line, produces as breadth a first apotome; [X. 97] therefore CB is a first apotome. And CA was also proved to be an apotome.