1. If there be two straight lines, and one of them be cut into any number of segments whatever, the rectangle contained by the two straight lines is equal to the rectangles contained by the uncut straight line and each of the segments. Let A, BC be two straight lines, and let BC be cut at random at the points D, E; I say that the rectangle contained by A, BC is equal to the rectangle contained by A, BD, that contained by A, DE and that contained by A, EC. For let BF be drawn from B at right angles to BC; [] let BG be made equal to A, [] through G let GH be drawn parallel to BC, [] and through D, E, C let DK, EL, CH be drawn parallel to BG. Then BH is equal to BK, DL, EH. Now BH is the rectangle A, BC, for it is contained by GB, BC, and BG is equal to A; BK is the rectangle A, BD, for it is contained by GB, BD, and BG is equal to A; and DL is the rectangle A, DE, for DK, that is BG [], is equal to A. Similarly also EH is the rectangle A, EC. Therefore the rectangle A, BC is equal to the rectangle A, BD, the rectangle A, DE and the rectangle A, EC. Therefore etc. Q. E. D.
1. ἐὰν ὦσι δύο εὐθεῖαι, τμηθῇ δὲ ἡ ἑτέρα αὐτῶν εἰς ὁσαδηποτοῦν τμήματα, τὸ περιεχόμενον ὀρθογώνιον ὑπὸ τῶν δύο εὐθειῶν ἴσον ἐστὶ τοῖς ὑπό τε τῆς ἀτμήτου καὶ ἑκάστου τῶν τμημάτων περιεχομένοις ὀρθογωνίοις. ἔστωσαν δύο εὐθεῖαι αἱ Α, ΒΓ, καὶ τετμήσθω ἡ ΒΓ, ὡς ἔτυχεν, κατὰ τὰ Δ, Ε σημεῖα· λέγω, ὅτι τὸ ὑπὸ τῶν Α, ΒΓ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν Α, ΒΔ περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ὑπὸ τῶν Α, ΔΕ καὶ ἔτι τῷ ὑπὸ τῶν Α, ΕΓ. ἤχθω γὰρ ἀπὸ τοῦ Β τῇ ΒΓ πρὸς ὀρθὰς ἡ ΒΖ, καὶ κείσθω τῇ Α ἴση ἡ ΒΗ, καὶ διὰ μὲν τοῦ Η τῇ ΒΓ παράλληλος ἤχθω ἡ ΗΘ, διὰ δὲ τῶν Δ, Ε, Γ τῇ ΒΗ παράλληλοι ἤχθωσαν αἱ ΔΚ, ΕΛ, ΓΘ. ἴσον δή ἐστι τὸ ΒΘ τοῖς ΒΚ, ΔΛ, ΕΘ. καί ἐστι τὸ μὲν ΒΘ τὸ ὑπὸ τῶν Α, ΒΓ· περιέχεται μὲν γὰρ ὑπὸ τῶν ΗΒ, ΒΓ, ἴση δὲ ἡ ΒΗ τῇ Α· τὸ δὲ ΒΚ τὸ ὑπὸ τῶν Α, ΒΔ· περιέχεται μὲν γὰρ ὑπὸ τῶν ΗΒ, ΒΔ, ἴση δὲ ἡ ΒΗ τῇ Α. τὸ δὲ ΔΛ τὸ ὑπὸ τῶν Α, ΔΕ· ἴση γὰρ ἡ ΔΚ, τουτέστιν ἡ ΒΗ, τῇ Α. καὶ ἔτι ὁμοίως τὸ ΕΘ τὸ ὑπὸ τῶν Α, ΕΓ· τὸ ἄρα ὑπὸ τῶν Α, ΒΓ ἴσον ἐστὶ τῷ τε ὑπὸ Α, ΒΔ καὶ τῷ ὑπὸ Α, ΔΕ καὶ ἔτι τῷ ὑπὸ Α, ΕΓ. ἐὰν ἄρα ὦσι δύο εὐθεῖαι, τμηθῇ δὲ ἡ ἑτέρα αὐτῶν εἰς ὁσαδηποτοῦν τμήματα, τὸ περιεχόμενον ὀρθογώνιον ὑπὸ τῶν δύο εὐθειῶν ἴσον ἐστὶ τοῖς ὑπό τε τῆς ἀτμήτου καὶ ἑκάστου τῶν τμημάτων περιεχομένοις ὀρθογωνίοις· ὅπερ ἔδει δεῖξαι.
2. If a straight line be cut at random, the rectangle contained by the whole and both of the segments is equal to the square on the whole. For let the straight line AB be cut at random at the point C; I say that the rectangle contained by AB, BC together with the rectangle contained by BA, AC is equal to the square on AB. For let the square ADEB be described on AB [], and let CF be drawn through C parallel to either AD or BE. [] Then AE is equal to AF, CE. Now AE is the square on AB; AF is the rectangle contained by BA, AC, for it is contained by DA, AC, and AD is equal to AB; and CE is the rectangle AB, BC, for BE is equal to AB. Therefore the rectangle BA, AC together with the rectangle AB, BC is equal to the square on AB. Therefore etc. Q. E. D.
2. ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑκατέρου τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ἀπὸ τῆς ὅλης τετραγώνῳ. εὐθεῖα γὰρ ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ σημεῖον· λέγω, ὅτι τὸ ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ὑπὸ ΒΑ, ΑΓ περιεχομένου ὀρθογωνίου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΒ τετραγώνῳ. Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΑΒ τετράγωνον τὸ ΑΔΕΒ, καὶ ἤχθω διὰ τοῦ Γ ὁποτέρᾳ τῶν ΑΔ, ΒΕ παράλληλος ἡ ΓΖ. ἴσον δή ἐστι τὸ ΑΕ τοῖς ΑΖ, ΓΕ. καί ἐστι τὸ μὲν ΑΕ τὸ ἀπὸ τῆς ΑΒ τετράγωνον, τὸ δὲ ΑΖ τὸ ὑπὸ τῶν ΒΑ, ΑΓ περιεχόμενον ὀρθογώνιον· περιέχεται μὲν γὰρ ὑπὸ τῶν ΔΑ, ΑΓ, ἴση δὲ ἡ ΑΔ τῇ ΑΒ· τὸ δὲ ΓΕ τὸ ὑπὸ τῶν ΑΒ, ΒΓ· ἴση γὰρ ἡ ΒΕ τῇ ΑΒ. τὸ ἄρα ὑπὸ τῶν ΒΑ, ΑΓ μετὰ τοῦ ὑπὸ τῶν ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΒ τετραγώνῳ. ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑκατέρου τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ἀπὸ τῆς ὅλης τετραγώνῳ· ὅπερ ἔδει δεῖξαι.
3. If a straight line be cut at random, the rectangle contained by the whole and one of the segments is equal to the rectangle contained by the segments and the square on the aforesaid segment. For let the straight line AB be cut at random at C; I say that the rectangle contained by AB, BC is equal to the rectangle contained by AC, CB together with the square on BC. For let the square CDEB be described on CB; [] let ED be drawn through to F, and through A let AF be drawn parallel to either CD or BE. [] Then AE is equal to AD, CE. Now AE is the rectangle contained by AB, BC, for it is contained by AB, BE, and BE is equal to BC; AD is the rectangle AC, CB, for DC is equal to CB; and DB is the square on CB. Therefore the rectangle contained by AB, BC is equal to the rectangle contained by AC, CB together with the square on BC. Therefore etc. Q. E. D.
3. ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν τμημάτων περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τοῦ προειρημένου τμήματος τετραγώνῳ. εὐθεῖα γὰρ ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ· λέγω, ὅτι τὸ ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ μετὰ τοῦ ἀπὸ τῆς ΒΓ τετραγώνου. Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΓΒ τετράγωνον τὸ ΓΔΕΒ, καὶ διήχθω ἡ ΕΔ ἐπὶ τὸ Ζ, καὶ διὰ τοῦ Α ὁποτέρᾳ τῶν ΓΔ, ΒΕ παράλληλος ἤχθω ἡ ΑΖ. ἴσον δή ἐστι τὸ ΑΕ τοῖς ΑΔ, ΓΕ· καί ἐστι τὸ μὲν ΑΕ τὸ ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον· περιέχεται μὲν γὰρ ὑπὸ τῶν ΑΒ, ΒΕ, ἴση δὲ ἡ ΒΕ τῇ ΒΓ· τὸ δὲ ΑΔ τὸ ὑπὸ τῶν ΑΓ, ΓΒ· ἴση γὰρ ἡ ΔΓ τῇ ΓΒ· τὸ δὲ ΔΒ τὸ ἀπὸ τῆς ΓΒ τετράγωνον· τὸ ἄρα ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ μετὰ τοῦ ἀπὸ τῆς ΒΓ τετραγώνου. ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ τε ὑπὸ τῶν τμημάτων περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τοῦ προειρημένου τμήματος τετραγώνῳ· ὅπερ ἔδει δεῖξαι.
4. If a straight line be cut at random, the square on the whole is equal to the squares on the segments and twice the rectangle contained by the segments. For let the straight line AB be cut at random at C; I say that the square on AB is equal to the squares on AC, CB and twice the rectangle contained by AC, CB. For let the square ADEB be described on AB, [] let BD be joined; through C let CF be drawn parallel to either AD or EB, and through G let HK be drawn parallel to either AB or DE. [] Then, since CF is parallel to AD, and BD has fallen on them, the exterior angle CGB is equal to the interior and opposite angle ADB. [] But the angle ADB is equal to the angle ABD, since the side BA is also equal to AD; [] therefore the angle CGB is also equal to the angle GBC, so that the side BC is also equal to the side CG. [] But CB is equal to GK, and CG to KB; [] therefore GK is also equal to KB; therefore CGKB is equilateral. I say next that it is also right-angled. For, since CG is parallel to BK, the angles KBC, GCB are equal to two right angles. [] But the angle KBC is right; therefore the angle BCG is also right, so that the opposite angles CGK, GKB are also right. [] Therefore CGKB is right-angled; and it was also proved equilateral; therefore it is a square; and it is described on CB. For the same reason HF is also a square; and it is described on HG, that is AC. [] Therefore the squares HF, KC are the squares on AC, CB. Now, since AG is equal to GE, and AG is the rectangle AC, CB, for GC is equal to CB, therefore GE is also equal to the rectangle AC, CB. Therefore AG, GE are equal to twice the rectangle AC, CB. But the squares HF, CK are also the squares on AC, CB; therefore the four areas HF, CK, AG, GE are equal to the squares on AC, CB and twice the rectangle contained by AC, CB. But HF, CK, AG, GE are the whole ADEB, which is the square on AB. Therefore the square on AB is equal to the squares on AC, CB and twice the rectangle contained by AC, CB. Therefore etc. Q. E. D.
4. ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ἀπὸ τῆς ὅλης τετράγωνον ἴσον ἐστὶ τοῖς τε ἀπὸ τῶν τμημάτων τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν τμημάτων περιεχομένῳ ὀρθογωνίῳ. εὐθεῖα γὰρ γραμμὴ ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ. λέγω, ὅτι τὸ ἀπὸ τῆς ΑΒ τετράγωνον ἴσον ἐστὶ τοῖς τε ἀπὸ τῶν ΑΓ, ΓΒ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ. Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΑΒ τετράγωνον τὸ ΑΔΕΒ, καὶ ἐπεζεύχθω ἡ ΒΔ, καὶ διὰ μὲν τοῦ Γ ὁποτέρᾳ τῶν ΑΔ, ΕΒ παράλληλος ἤχθω ἡ ΓΖ, διὰ δὲ τοῦ Η ὁποτέρᾳ τῶν ΑΒ, ΔΕ παράλληλος ἤχθω ἡ ΘΚ. καὶ ἐπεὶ παράλληλός ἐστιν ἡ ΓΖ τῇ ΑΔ, καὶ εἰς αὐτὰς ἐμπέπτωκεν ἡ ΒΔ, ἡ ἐκτὸς γωνία ἡ ὑπὸ ΓΗΒ ἴση ἐστὶ τῇ ἐντὸς καὶ ἀπεναντίον τῇ ὑπὸ ΑΔΒ. ἀλλʼ ἡ ὑπὸ ΑΔΒ τῇ ὑπὸ ΑΒΔ ἐστιν ἴση, ἐπεὶ καὶ πλευρὰ ἡ ΒΑ τῇ ΑΔ ἐστιν ἴση· καὶ ἡ ὑπὸ ΓΗΒ ἄρα γωνία τῇ ὑπὸ ΗΒΓ ἐστιν ἴση· ὥστε καὶ πλευρὰ ἡ ΒΓ πλευρᾷ τῇ ΓΗ ἐστιν ἴση· ἀλλʼ ἡ μὲν ΓΒ τῇ ΗΚ ἐστιν ἴση, ἡ δὲ ΓΗ τῇ ΚΒ· καὶ ἡ ΗΚ ἄρα τῇ ΚΒ ἐστιν ἴση· ἰσόπλευρον ἄρα ἐστὶ τὸ ΓΗΚΒ. λέγω δή, ὅτι καὶ ὀρθογώνιον. ἐπεὶ γὰρ παράλληλός ἐστιν ἡ ΓΗ τῇ ΒΚ [καὶ εἰς αὐτὰς ἐμπέπτωκεν εὐθεῖα ἡ ΓΒ ], αἱ ἄρα ὑπὸ ΚΒΓ, ΗΓΒ γωνίαι δύο ὀρθαῖς εἰσιν ἴσαι. ὀρθὴ δὲ ἡ ὑπὸ ΚΒΓ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΒΓΗ· ὥστε καὶ αἱ ἀπεναντίον αἱ ὑπὸ ΓΗΚ, ΗΚΒ ὀρθαί εἰσιν. ὀρθογώνιον ἄρα ἐστὶ τὸ ΓΗΚΒ· ἐδείχθη δὲ καὶ ἰσόπλευρον· τετράγωνον ἄρα ἐστίν· καί ἐστιν ἀπὸ τῆς ΓΒ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΘΖ τετράγωνόν ἐστιν· καί ἐστιν ἀπὸ τῆς ΘΗ, τουτέστιν [ἀπὸ] τῆς ΑΓ· τὰ ἄρα ΘΖ, ΚΓ τετράγωνα ἀπὸ τῶν ΑΓ, ΓΒ εἰσιν. καὶ ἐπεὶ ἴσον ἐστὶ τὸ ΑΗ τῷ ΗΕ, καί ἐστι τὸ ΑΗ τὸ ὑπὸ τῶν ΑΓ, ΓΒ· ἴση γὰρ ἡ ΗΓ τῇ ΓΒ· καὶ τὸ ΗΕ ἄρα ἴσον ἐστὶ τῷ ὑπὸ ΑΓ, ΓΒ· τὰ ἄρα ΑΗ, ΗΕ ἴσα ἐστὶ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ. ἔστι δὲ καὶ τὰ ΘΖ, ΓΚ τετράγωνα ἀπὸ τῶν ΑΓ, ΓΒ· τὰ ἄρα τέσσαρα τὰ ΘΖ, ΓΚ, ΑΗ, ΗΕ ἴσα ἐστὶ τοῖς τε ἀπὸ τῶν ΑΓ, ΓΒ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ. ἀλλὰ τὰ ΘΖ, ΓΚ, ΑΗ, ΗΕ ὅλον ἐστὶ τὸ ΑΔΕΒ, ὅ ἐστιν ἀπὸ τῆς ΑΒ τετράγωνον· τὸ ἄρα ἀπὸ τῆς ΑΒ τετράγωνον ἴσον ἐστὶ τοῖς τε ἀπὸ τῶν ΑΓ, ΓΒ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ. ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ἀπὸ τῆς ὅλης τετράγωνον ἴσον ἐστὶ τοῖς τε ἀπὸ τῶν τμημάτων τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν τμημάτων περιεχομένῳ ὀρθογωνίῳ· ὅπερ ἔδει δεῖξαι. [πόρισμα] [ἐκ δὴ τούτου φανερόν, ὅτι ἐν τοῖς τετραγώνοις χωρίοις τὰ περὶ τὴν διάμετρον παραλληλόγραμμα τετράγωνά ἐστιν].
5. If a straight line be cut into equal and unequal segments, the rectangle contained by the unequal segments of the whole together with the square on the straight line between the points of section is equal to the square on the half. For let a straight line AB be cut into equal segments at C and into unequal segments at D; I say that the rectangle contained by AD, DB together with the square on CD is equal to the square on CB. For let the square CEFB be described on CB, [] and let BE be joined; through D let DG be drawn parallel to either CE or BF, through H again let KM be drawn parallel to either AB or EF, and again through A let AK be drawn parallel to either CL or BM. [] Then, since the complement CH is equal to the complement HF, [] let DM be added to each; therefore the whole CM is equal to the whole DF. But CM is equal to AL, since AC is also equal to CB; [] therefore AL is also equal to DF. Let CH be added to each; therefore the whole AH is equal to the gnomon NOP. But AH is the rectangle AD, DB, for DH is equal to DB, therefore the gnomon NOP is also equal to the rectangle AD, DB. Let LG, which is equal to the square on CD, be added to each; therefore the gnomon NOP and LG are equal to the rectangle contained by AD, DB and the square on CD. But the gnomon NOP and LG are the whole square CEFB, which is described on CB; therefore the rectangle contained by AD, DB together with the square on CD is equal to the square on CB. Therefore etc. Q. E. D.
5. ἐὰν εὐθεῖα γραμμὴ τμηθῇ εἰς ἴσα καὶ ἄνισα, τὸ ὑπὸ τῶν ἀνίσων τῆς ὅλης τμημάτων περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς μεταξὺ τῶν τομῶν τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ἡμισείας τετραγώνῳ. εὐθεῖα γάρ τις ἡ ΑΒ τετμήσθω εἰς μὲν ἴσα κατὰ τὸ Γ, εἰς δὲ ἄνισα κατὰ τὸ Δ· λέγω, ὅτι τὸ ὑπὸ τῶν ΑΔ, ΔΒ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ΓΔ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΓΒ τετραγώνῳ. Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΓΒ τετράγωνον τὸ ΓΕΖΒ, καὶ ἐπεζεύχθω ἡ ΒΕ, καὶ διὰ μὲν τοῦ Δ ὁποτέρᾳ τῶν ΓΕ, ΒΖ παράλληλος ἤχθω ἡ ΔΗ, διὰ δὲ τοῦ Θ ὁποτέρᾳ τῶν ΑΒ, ΕΖ παράλληλος πάλιν ἤχθω ἡ ΚΜ, καὶ πάλιν διὰ τοῦ Α ὁποτέρᾳ τῶν ΓΛ, ΒΜ παράλληλος ἤχθω ἡ ΑΚ. καὶ ἐπεὶ ἴσον ἐστὶ τὸ ΓΘ παραπλήρωμα τῷ ΘΖ παραπληρώματι, κοινὸν προσκείσθω τὸ ΔΜ· ὅλον ἄρα τὸ ΓΜ ὅλῳ τῷ ΔΖ ἴσον ἐστίν. ἀλλὰ τὸ ΓΜ τῷ ΑΛ ἴσον ἐστίν, ἐπεὶ καὶ ἡ ΑΓ τῇ ΓΒ ἐστιν ἴση· καὶ τὸ ΑΛ ἄρα τῷ ΔΖ ἴσον ἐστίν. κοινὸν προσκείσθω τὸ ΓΘ· ὅλον ἄρα τὸ ΑΘ τῷ ΜΝΞ γνώμονι ἴσον ἐστίν. ἀλλὰ τὸ ΑΘ τὸ ὑπὸ τῶν ΑΔ, ΔΒ ἐστιν· ἴση γὰρ ἡ ΔΘ τῇ ΔΒ· καὶ ὁ ΜΝΞ ἄρα γνώμων ἴσος ἐστὶ τῷ ὑπὸ ΑΔ, ΔΒ. κοινὸν προσκείσθω τὸ ΛΗ, ὅ ἐστιν ἴσον τῷ ἀπὸ τῆς ΓΔ· ὁ ἄρα ΜΝΞ γνώμων καὶ τὸ ΛΗ ἴσα ἐστὶ τῷ ὑπὸ τῶν ΑΔ, ΔΒ περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τῆς ΓΔ τετραγώνῳ. ἀλλὰ ὁ ΜΝΞ γνώμων καὶ τὸ ΛΗ ὅλον ἐστὶ τὸ ΓΕΖΒ τετράγωνον, ὅ ἐστιν ἀπὸ τῆς ΓΒ· τὸ ἄρα ὑπὸ τῶν ΑΔ, ΔΒ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ΓΔ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΓΒ τετραγώνῳ. ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ εἰς ἴσα καὶ ἄνισα, τὸ ὑπὸ τῶν ἀνίσων τῆς ὅλης τμημάτων περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς μεταξὺ τῶν τομῶν τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ἡμισείας τετραγώνῳ· ὅπερ ἔδει δεῖξαι.
6. If a straight line be bisected and a straight line be added to it in a straight line, the rectangle contained by the whole with the added straight line and the added straight line together with the square on the half is equal to the square on the straight line made up of the half and the added straight line. For let a straight line AB be bisected at the point C, and let a straight line BD be added to it in a straight line; I say that the rectangle contained by AD, DB together with the square on CB is equal to the square on CD. For let the square CEFD be described on CD, [] and let DE be joined; through the point B let BG be drawn parallel to either EC or DF, through the point H let KM be drawn parallel to either AB or EF, and further through A let AK be drawn parallel to either CL or DM. [] Then, since AC is equal to CB, AL is also equal to CH. [] But CH is equal to HF. [] Therefore AL is also equal to HF. Let CM be added to each; therefore the whole AM is equal to the gnomon NOP. But AM is the rectangle AD, DB, for DM is equal to DB; therefore the gnomon NOP is also equal to the rectangle AD, DB. Let LG, which is equal to the square on BC, be added to each; therefore the rectangle contained by AD, DB together with the square on CB is equal to the gnomon NOP and LG. But the gnomon NOP and LG are the whole square CEFD, which is described on CD; therefore the rectangle contained by AD, DB together with the square on CB is equal to the square on CD. Therefore etc. Q. E. D. If a straight line be cut at random, the square on the whole and that on one of the segments both together are equal to twice the rectangle contained by the whole and the said segment and the square on the remaining segment. For let a straight line AB be cut at random at the point C; I say that the squares on AB, BC are equal to twice the rectangle contained by AB, BC and the square on CA. For let the square ADEB be described on AB, [] and let the figure be drawn. Then, since AG is equal to GE, [] let CF be added to each; therefore the whole AF is equal to the whole CE. Therefore AF, CE are double of AF. But AF, CE are the gnomon KLM and the square CF; therefore the gnomon KLM and the square CF are double of AF. But twice the rectangle AB, BC is also double of AF; for BF is equal to BC; therefore the gnomon KLM and the square CF are equal to twice the rectangle AB, BC. Let DG, which is the square on AC, be added to each; therefore the gnomon KLM and the squares BG, GD are equal to twice the rectangle contained by AB, BC and the square on AC. But the gnomon KLM and the squares BG, GD are the whole ADEB and CF, which are squares described on AB, BC; therefore the squares on AB, BC are equal to twice the rectangle contained by AB, BC together with the square on AC. Therefore etc. Q. E. D.
6. ἐὰν εὐθεῖα γραμμὴ τμηθῇ δίχα, προστεθῇ δέ τις αὐτῇ εὐθεῖα ἐπʼ εὐθείας, τὸ ὑπὸ τῆς ὅλης σὺν τῇ προσκειμένῃ καὶ τῆς προσκειμένης περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ἡμισείας τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς συγκειμένης ἔκ τε τῆς ἡμισείας καὶ τῆς προσκειμένης τετραγώνῳ. εὐθεῖα γάρ τις ἡ ΑΒ τετμήσθω δίχα κατὰ τὸ Γ σημεῖον, προσκείσθω δέ τις αὐτῇ εὐθεῖα ἐπʼ εὐθείας ἡ ΒΔ· λέγω, ὅτι τὸ ὑπὸ τῶν ΑΔ, ΔΒ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ΓΒ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΓΔ τετραγώνῳ. Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΓΔ τετράγωνον τὸ ΓΕΖΔ, καὶ ἐπεζεύχθω ἡ ΔΕ, καὶ διὰ μὲν τοῦ Β σημείου ὁποτέρᾳ τῶν ΕΓ, ΔΖ παράλληλος ἤχθω ἡ ΒΗ, διὰ δὲ τοῦ Θ σημείου ὁποτέρᾳ τῶν ΑΒ, ΕΖ παράλληλος ἤχθω ἡ ΚΜ, καὶ ἔτι διὰ τοῦ Α ὁποτέρᾳ τῶν ΓΛ, ΔΜ παράλληλος ἤχθω ἡ ΑΚ. ἐπεὶ οὖν ἴση ἐστὶν ἡ ΑΓ τῇ ΓΒ, ἴσον ἐστὶ καὶ τὸ ΑΛ τῷ ΓΘ. ἀλλὰ τὸ ΓΘ τῷ ΘΖ ἴσον ἐστίν. καὶ τὸ ΑΛ ἄρα τῷ ΘΖ ἐστιν ἴσον. κοινὸν προσκείσθω τὸ ΓΜ· ὅλον ἄρα τὸ ΑΜ τῷ ΝΞΟ γνώμονί ἐστιν ἴσον. ἀλλὰ τὸ ΑΜ ἐστι τὸ ὑπὸ τῶν ΑΔ, ΔΒ· ἴση γάρ ἐστιν ἡ ΔΜ τῇ ΔΒ· καὶ ὁ ΝΞΟ ἄρα γνώμων ἴσος ἐστὶ τῷ ὑπὸ τῶν ΑΔ, ΔΒ [περιεχομένῳ ὀρθογωνίῳ]. κοινὸν προσκείσθω τὸ ΛΗ, ὅ ἐστιν ἴσον τῷ ἀπὸ τῆς ΒΓ τετραγώνῳ· τὸ ἄρα ὑπὸ τῶν ΑΔ, ΔΒ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ΓΒ τετραγώνου ἴσον ἐστὶ τῷ ΝΞΟ γνώμονι καὶ τῷ ΛΗ. ἀλλὰ ὁ ΝΞΟ γνώμων καὶ τὸ ΛΗ ὅλον ἐστὶ τὸ ΓΕΖΔ τετράγωνον, ὅ ἐστιν ἀπὸ τῆς ΓΔ· τὸ ἄρα ὑπὸ τῶν ΑΔ, ΔΒ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ΓΒ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΓΔ τετραγώνῳ. ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ δίχα, προστεθῇ δέ τις αὐτῇ εὐθεῖα ἐπʼ εὐθείας, τὸ ὑπὸ τῆς ὅλης σὺν τῇ προσκειμένῃ καὶ τῆς προσκειμένης περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ἡμισείας τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς συγκειμένης ἔκ τε τῆς ἡμισείας καὶ τῆς προσκειμένης τετραγώνῳ· ὅπερ ἔδει δεῖξαι. ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ἀπὸ τῆς ὅλης καὶ τὸ ἀφʼ ἑνὸς τῶν τμημάτων τὰ συναμφότερα τετράγωνα ἴσα ἐστὶ τῷ τε δὶς ὑπὸ τῆς ὅλης καὶ τοῦ εἰρημένου τμήματος περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τοῦ λοιποῦ τμήματος τετραγώνῳ. εὐθεῖα γάρ τις ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ σημεῖον· λέγω, ὅτι τὰ ἀπὸ τῶν ΑΒ, ΒΓ τετράγωνα ἴσα ἐστὶ τῷ τε δὶς ὑπὸ τῶν ΑΒ, ΒΓ περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τῆς ΓΑ τετραγώνῳ. Ἀναγεγράφθω γὰρ ἀπὸ τῆς ΑΒ τετράγωνον τὸ ΑΔΕΒ· καὶ καταγεγράφθω τὸ σχῆμα. ἐπεὶ οὖν ἴσον ἐστὶ τὸ ΑΗ τῷ ΗΕ, κοινὸν προσκείσθω τὸ ΓΖ· ὅλον ἄρα τὸ ΑΖ ὅλῳ τῷ ΓΕ ἴσον ἐστίν· τὰ ἄρα ΑΖ, ΓΕ διπλάσιά ἐστι τοῦ ΑΖ. ἀλλὰ τὰ ΑΖ, ΓΕ ὁ ΚΛΜ ἐστι γνώμων καὶ τὸ ΓΖ τετράγωνον· ὁ ΚΛΜ ἄρα γνώμων καὶ τὸ ΓΖ διπλάσιά ἐστι τοῦ ΑΖ. ἔστι δὲ τοῦ ΑΖ διπλάσιον καὶ τὸ δὶς ὑπὸ τῶν ΑΒ, ΒΓ· ἴση γὰρ ἡ ΒΖ τῇ ΒΓ· ὁ ἄρα ΚΛΜ γνώμων καὶ τὸ ΓΖ τετράγωνον ἴσον ἐστὶ τῷ δὶς ὑπὸ τῶν ΑΒ, ΒΓ. κοινὸν προσκείσθω τὸ ΔΗ, ὅ ἐστιν ἀπὸ τῆς ΑΓ τετράγωνον· ὁ ἄρα ΚΛΜ γνώμων καὶ τὰ ΒΗ, ΗΔ τετράγωνα ἴσα ἐστὶ τῷ τε δὶς ὑπὸ τῶν ΑΒ, ΒΓ περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τῆς ΑΓ τετραγώνῳ. ἀλλὰ ὁ ΚΛΜ γνώμων καὶ τὰ ΒΗ, ΗΔ τετράγωνα ὅλον ἐστὶ τὸ ΑΔΕΒ καὶ τὸ ΓΖ, ἅ ἐστιν ἀπὸ τῶν ΑΒ, ΒΓ τετράγωνα· τὰ ἄρα ἀπὸ τῶν ΑΒ, ΒΓ τετράγωνα ἴσα ἐστὶ τῷ [τε] δὶς ὑπὸ τῶν ΑΒ, ΒΓ περιεχομένῳ ὀρθογωνίῳ μετὰ τοῦ ἀπὸ τῆς ΑΓ τετραγώνου. ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ ἀπὸ τῆς ὅλης καὶ τὸ ἀφʼ ἑνὸς τῶν τμημάτων τὰ συναμφότερα τετράγωνα ἴσα ἐστὶ τῷ τε δὶς ὑπὸ τῆς ὅλης καὶ τοῦ εἰρημένου τμήματος περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τοῦ λοιποῦ τμήματος τετραγώνῳ· ὅπερ ἔδει δεῖξαι.
8. If a straight line be cut at random, four times the rectangle contained by the whole and one of the segments together with the square on the remaining segment is equal to the square described on the whole and the aforesaid segment as on one straight line. For let a straight line AB be cut at random at the point C; I say that four times the rectangle contained by AB, BC together with the square on AC is equal to the square described on AB, BC as on one straight line. For let [the straight line] BD be produced in a straight line [with AB], and let BD be made equal to CB; let the square AEFD be described on AD, and let the figure be drawn double. Then, since CB is equal to BD, while CB is equal to GK, and BD to KN, therefore GK is also equal to KN. For the same reason QR is also equal to RP. And, since BC is equal to BD, and GK to KN, therefore CK is also equal to KD, and GR to RN. [] But CK is equal to RN, for they are complements of the parallelogram CP; [] therefore KD is also equal to GR; therefore the four areas DK, CK, GR, RN are equal to one another. Therefore the four are quadruple of CK. Again, since CB is equal to BD, while BD is equal to BK, that is CG, and CB is equal to GK, that is GQ, therefore CG is also equal to GQ. And, since CG is equal to GQ, and QR to RP, AG is also equal to MQ, and QL to RF. [] But MQ is equal to QL, for they are complements of the parallelogram ML; [] therefore AG is also equal to RF; therefore the four areas AG, MQ, QL, RF are equal to one another. Therefore the four are quadruple of AG. But the four areas CK, KD, GR, RN were proved to be quadruple of CK; therefore the eight areas, which contain the gnomon STU, are quadruple of AK. Now, since AK is the rectangle AB, BD, for BK is equal to BD, therefore four times the rectangle AB, BD is quadruple of AK. But the gnomon STU was also proved to be quadruple of AK; therefore four times the rectangle AB, BD is equal to the gnomon STU. Let OH, which is equal to the square on AC, be added to each; therefore four times the rectangle AB, BD together with the square on AC is equal to the gnomon STU and OH. But the gnomon STU and OH are the whole square AEFD, which is described on AD. therefore four times the rectangle AB, BD together with the square on AC is equal to the square on AD But BD is equal to BC; therefore four times the rectangle contained by AB, BC together with the square on AC is equal to the square on AD, that is to the square described on AB and BC as on one straight line. Therefore etc. Q. E. D.
8. ἐὰν εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ τετράκις ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τοῦ λοιποῦ τμήματος τετραγώνου ἴσον ἐστὶ τῷ ἀπό τε τῆς ὅλης καὶ τοῦ εἰρημένου τμήματος ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ. εὐθεῖα γάρ τις ἡ ΑΒ τετμήσθω, ὡς ἔτυχεν, κατὰ τὸ Γ σημεῖον· λέγω, ὅτι τὸ τετράκις ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τῆς ΑΓ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΒ, ΒΓ ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ. Ἐκβεβλήσθω γὰρ ἐπʼ εὐθείας [τῇ ΑΒ εὐθεῖα] ἡ ΒΔ, καὶ κείσθω τῇ ΓΒ ἴση ἡ ΒΔ, καὶ ἀναγεγράφθω ἀπὸ τῆς ΑΔ τετράγωνον τὸ ΑΕΖΔ, καὶ καταγεγράφθω διπλοῦν τὸ σχῆμα. ἐπεὶ οὖν ἴση ἐστὶν ἡ ΓΒ τῇ ΒΔ, ἀλλὰ ἡ μὲν ΓΒ τῇ ΗΚ ἐστιν ἴση, ἡ δὲ ΒΔ τῇ ΚΝ, καὶ ἡ ΗΚ ἄρα τῇ ΚΝ ἐστιν ἴση. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΠΡ τῇ ΡΟ ἐστιν ἴση. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΓ τῇ ΒΔ, ἡ δὲ ΗΚ τῇ ΚΝ, ἴσον ἄρα ἐστὶ καὶ τὸ μὲν ΓΚ τῷ ΚΔ, τὸ δὲ ΗΡ τῷ ΡΝ. ἀλλὰ τὸ ΓΚ τῷ ΡΝ ἐστιν ἴσον· παραπληρώματα γὰρ τοῦ ΓΟ παραλληλογράμμου· καὶ τὸ ΚΔ ἄρα τῷ ΗΡ ἴσον ἐστίν· τὰ τέσσαρα ἄρα τὰ ΔΚ, ΓΚ, ΗΡ, ΡΝ ἴσα ἀλλήλοις ἐστίν. τὰ τέσσαρα ἄρα τετραπλάσιά ἐστι τοῦ ΓΚ. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ΓΒ τῇ ΒΔ, ἀλλὰ ἡ μὲν ΒΔ τῇ ΒΚ, τουτέστι τῇ ΓΗ ἴση, ἡ δὲ ΓΒ τῇ ΗΚ, τουτέστι τῇ ΗΠ, ἐστιν ἴση, καὶ ἡ ΓΗ ἄρα τῇ ΗΠ ἴση ἐστίν. καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν ΓΗ τῇ ΗΠ, ἡ δὲ ΠΡ τῇ ΡΟ, ἴσον ἐστὶ καὶ τὸ μὲν ΑΗ τῷ ΜΠ, τὸ δὲ ΠΛ τῷ ΡΖ. ἀλλὰ τὸ ΜΠ τῷ ΠΛ ἐστιν ἴσον· παραπληρώματα γὰρ τοῦ ΜΛ παραλληλογράμμου· καὶ τὸ ΑΗ ἄρα τῷ ΡΖ ἴσον ἐστίν· τὰ τέσσαρα ἄρα τὰ ΑΗ, ΜΠ, ΠΛ, ΡΖ ἴσα ἀλλήλοις ἐστίν· τὰ τέσσαρα ἄρα τοῦ ΑΗ ἐστι τετραπλάσια. ἐδείχθη δὲ καὶ τὰ τέσσαρα τὰ ΓΚ, ΚΔ, ΗΡ, ΡΝ τοῦ ΓΚ τετραπλάσια· τὰ ἄρα ὀκτώ, ἃ περιέχει τὸν ΣΤΥ γνώμονα, τετραπλάσιά ἐστι τοῦ ΑΚ. καὶ ἐπεὶ τὸ ΑΚ τὸ ὑπὸ τῶν ΑΒ, ΒΔ ἐστιν· ἴση γὰρ ἡ ΒΚ τῇ ΒΔ· τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ τετραπλάσιόν ἐστι τοῦ ΑΚ. ἐδείχθη δὲ τοῦ ΑΚ τετραπλάσιος καὶ ὁ ΣΤΥ γνώμων· τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ ἴσον ἐστὶ τῷ ΣΤΥ γνώμονι. κοινὸν προσκείσθω τὸ ΞΘ, ὅ ἐστιν ἴσον τῷ ἀπὸ τῆς ΑΓ τετραγώνῳ· τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ ΑΓ τετραγώνου ἴσον ἐστὶ τῷ ΣΤΥ γνώμονι καὶ τῷ ΞΘ. ἀλλὰ ὁ ΣΤΥ γνώμων καὶ τὸ ΞΘ ὅλον ἐστὶ τὸ ΑΕΖΔ τετράγωνον, ὅ ἐστιν ἀπὸ τῆς ΑΔ· τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΔ μετὰ τοῦ ἀπὸ ΑΓ ἴσον ἐστὶ τῷ ἀπὸ ΑΔ τετραγώνῳ· ἴση δὲ ἡ ΒΔ τῇ ΒΓ. τὸ ἄρα τετράκις ὑπὸ τῶν ΑΒ, ΒΓ περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ ΑΓ τετραγώνου ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΔ, τουτέστι τῷ ἀπὸ τῆς ΑΒ καὶ ΒΓ ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ. ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ, ὡς ἔτυχεν, τὸ τετράκις ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων περιεχόμενον ὀρθογώνιον μετὰ τοῦ ἀπὸ τοῦ λοιποῦ τμήματος τετραγώνου ἴσον ἐστὶ τῷ ἀπό τε τῆς ὅλης καὶ τοῦ εἰρημένου τμήματος ὡς ἀπὸ μιᾶς ἀναγραφέντι τετραγώνῳ· ὅπερ ἔδει δεῖξαι.