Then, since each of the angles BAC, BAG is right, it follows that with a straight line BA, and at the point A on it, the two straight lines AC, AG not lying on the same side make the adjacent angles equal to two right angles; therefore CA is in a straight line with AG. [[I. 14](elem.1.14)]

For the same reason BA is also in a straight line with AH.

And, since the angle DBC is equal to the angle FBA: for each is right: let the angle ABC be added to each; therefore the whole angle DBA is equal to the whole angle FBC. [[C.N. 2](elem.1.c.n.2)]

And, since DB is equal to BC, and FB to BA, the two sides AB, BD are equal to the two sides FB, BC respectively, and the angle ABD is equal to the angle FBC; therefore the base AD is equal to the base FC, and the triangle ABD is equal to the triangle FBC. [[I. 4](elem.1.4)]

Now the parallelogram BL is double of the triangle ABD, for they have the same base BD and are in the same parallels BD, AL. [[I. 41](elem.1.41)]

And the square GB is double of the triangle FBC, for they again have the same base FB and are in the same parallels FB, GC. [[I. 41](elem.1.41)]

[But the doubles of equals are equal to one another.] Therefore the parallelogram BL is also equal to the square GB.

Similarly, if AE, BK be joined, the parallelogram CL can also be proved equal to the square HC; therefore the whole square BDEC is equal to the two squares GB, HC. [[C.N. 2](elem.1.c.n.2)]

And the square BDEC is described on BC, and the squares GB, HC on BA, AC.

Therefore the square on the side BC is equal to the squares on the sides BA, AC.

Therefore etc.

Q. E. D.

, τὸ ἀπὸ...τετρἁγωνον, the word ἀναγραφέν or ἀναγεγραμμένον being understood.

subtending the right angle. Here ὑποτεινούσης, subtending,

is used with the simple accusative (τὴν ὀρθὴν γωνίαν) instead of being followed by ὑπό and the accusative, which seems to be the original and more orthodox construction. Cf. [I. 18](elem.1.18), note.

Euclid actually writes DB, BA,

and therefore the equal sides in the two triangles are not mentioned in corresponding order, though he adheres to the words ἑκατέρα ἑκατέρα respectively.

Here DB is equal to BC and BA to FB.

[But the doubles of equals are equal to one another.] Heiberg brackets these words as an interpolation, since it quotes a

Common Notion which is itself interpolated. Cf. notes on [I. 37](elem.1.37), p. 332, and on interpolated Common Notions, pp. 223-4.