4. Divide a given square into five equal parts; namely, four right-angled triangles, and a square.
PROP. XLVII.—Theorem.
In a right-angled triangle (ABC) the square on the hypotenuse (AB) is equal to the sum of the squares on the other two sides (AC, BC).
Dem.—On the sides AB, BC, CA describe squares [xlvi.]. Draw CL parallel to AG. Join CG, BK. Then because the angle ACB is right (hyp.), and ACH is right, being the angle of a square, the sum of the angles ACB, ACH is two right angles; therefore BC, CH are in the same right line [xiv.]. In like manner AC, CD are in the same right line. Again, because BAG is the angle of a square it is a right angle: in like manner CAK is a right angle. Hence BAG is equal to CAK: to each add BAC, and we get the angle CAG equal to KAB. Again, since BG and CK are squares, BA is equal to AG, and CA to AK. Hence the two triangles CAG, KAB have the sides CA, AG in one respectively equal to the sides KA, AB in the other, and the contained angles CAG, KAB also equal. Therefore [iv.] the triangles are equal; but the parallelogram AL is double of the triangle CAG [xli.], because they are on the same base AG, and between the same parallels AG and CL. In like manner the parallelogram AH is double of the triangle KAB, because they are on the same base AK, and between the same parallels AK and BH; and since doubles of equal things are equal (Axiom vi.), the parallelogram AL is equal to AH. In like manner it can be proved that the parallelogram BL is equal to BD. Hence the whole square AF is equal to the sum of the two squares AH and BD.
Or thus: Let all the squares be made in reversed directions. Join CG, BK, and through C draw OL parallel to AG. Now, taking the ∠BAC from the right ∠s BAG, CAK, the remaining ∠s CAG, BAK are equal. Hence the △s CAG, BAK have the side CA = AK, and AG = AB, and the ∠CAG = BAK; therefore [iv.] they are equal; and since [xli.] the
s AL, AH are respectively the doubles of these triangles, they are equal. In like manner the
s BL, BD are equal; hence the whole square AF is equal to the sum of the two squares AH, BD.