# Book 13 Proposition 4

Ἐὰν εὐθεῖα γραμμὴ ἄκρον καὶ μέσον λόγον τμηθῇ, τὸ ἀπὸ τῆς ὅλης καὶ τοῦ ἐλάσσονος τμήματος, τὰ συναμφότερα τετράγωνα, τριπλάσιά ἐστι τοῦ ἀπὸ τοῦ μείζονος τμήματος τετραγώνου. Ἔστω εὐθεῖα ἡ ΑΒ, καὶ τετμήσθω ἄκρον καὶ μέσον λόγον κατὰ τὸ Γ, καὶ ἔστω μεῖζον τμῆμα τὸ ΑΓ: λέγω, ὅτι τὰ ἀπὸ τῶν ΑΒ, ΒΓ τριπλάσιά ἐστι τοῦ ἀπὸ τῆς ΓΑ. Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΑΒ τετράγωνον τὸ ΑΔΕΒ, καὶ καταγεγράφθω τὸ σχῆμα. ἐπεὶ οὖν ἡ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Γ, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΓ, τὸ ἄρα ὑπὸ τῶν ΑΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΓ. καί ἐστι τὸ μὲν ὑπὸ τῶν ΑΒΓ τὸ ΑΚ, τὸ δὲ ἀπὸ τῆς ΑΓ τὸ ΘΗ: ἴσον ἄρα ἐστὶ τὸ ΑΚ τῷ ΘΗ. καὶ ἐπεὶ ἴσον ἐστὶ τὸ ΑΖ τῷ ΖΕ, κοινὸν προσκείσθω τὸ ΓΚ: ὅλον ἄρα τὸ ΑΚ ὅλῳ τῷ ΓΕ ἐστιν ἴσον: τὰ ἄρα ΑΚ, ΓΕ τοῦ ΑΚ ἐστι διπλάσια. ἀλλὰ τὰ ΑΚ, ΓΕ ὁ ΛΜΝ γνώμων ἐστὶ καὶ τὸ ΓΚ τετράγωνον: ὁ ἄρα ΛΜΝ γνώμων καὶ τὸ ΓΚ τετράγωνον διπλάσιά ἐστι τοῦ ΑΚ. ἀλλὰ μὴν καὶ τὸ ΑΚ τῷ ΘΗ ἐδείχθη ἴσον: ὁ ἄρα ΛΜΝ γνώμων καὶ [τὸ ΓΚ τετράγωνον διπλάσιά ἐστι τοῦ ΘΗ: ὥστε ὁ ΛΜΝ γνώμων καὶ] τὰ ΓΚ, ΘΗ τετράγωνα τριπλάσιά ἐστι τοῦ ΘΗ τετραγώνου. καί ἐστιν ὁ [μὲν] ΛΜΝ γνώμων καὶ τὰ ΓΚ, ΘΗ τετράγωνα ὅλον τὸ ΑΕ καὶ τὸ ΓΚ, ἅπερ ἐστὶ τὰ ἀπὸ τῶν ΑΒ, ΒΓ τετράγωνα, τὸ δὲ ΗΘ τὸ ἀπὸ τῆς ΑΓ τετράγωνον. τὰ ἄρα ἀπὸ τῶν ΑΒ, ΒΓ τετράγωνα τριπλάσιά ἐστι τοῦ ἀπὸ τῆς ΑΓ τετραγώνου: ὅπερ ἔδει δεῖξαι.

If a straight line be cut in extreme and mean ratio, the square on the whole and the square on the lesser segment together are triple of the square on the greater segment. Let AB be a straight line, let it be cut in extreme and mean ratio at C, and let AC be the greater segment; I say that the squares on AB, BC are triple of the square on CA. For let the square ADEB be described on AB, and let the figure be drawn. Since then AB has been cut in extreme and mean ratio at C, and AC is the greater segment, therefore the rectangle AB, BC is equal to the square on AC. [VI. Def. 3, VI. 17] And AK is the rectangle AB, BC, and HG the square on AC; therefore AK is equal to HG. And, since AF is equal to FE, let CK be added to each; therefore the whole AK is equal to the whole CE; therefore AK, CE are double of AK. But AK, CE are the gnomon LMN and the square CK; therefore the gnomon LMN and the square CK are double of AK. But, further, AK was also proved equal to HG; therefore the gnomon LMN and the squares CK, HG are triple of the square HG. And the gnomon LMN and the squares CK, HG are the whole square AE and CK, which are the squares on AB, BC, while HG is the square on AC.