In right-angled triangles the square on the side subtending the right angle is equal to the squares on the sides containing the right angle.
在直角三角形中，直角所对边上的正方形等于夹直角两边上的正方形之和。
直角三角形 ABC，直角在 A，斜边 BC 在下。在三边上各作向外正方形：BDEC 在 BC 下方、ABFG 在 AB 外侧（左上）、ACKH 在 AC 外侧（右上）。过 A 作 AL⊥BC 交 BC 于 L，把斜边正方形分成两片矩形，分别等于另外两个小正方形。
正文图形由校订坐标生成；点、线、角、圆可与证明和问答联动。
Let ABC be a right-angled triangle having the angle BAC right; I say that the square on BC is equal to the squares on BA, AC. For let there be described on BC the square BDEC, and on BA, AC the squares GB, HC; [I. 46] through A let AL be drawn parallel to either BD or CE, and let AD, FC be joined. 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] For the same reason BA is also in a straight line with AH.
在直角三角形三边上分别作正方形（euclid-elements/book1-prop-046）。
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] 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] 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] 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] [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.
分别用 euclid-elements/book1-prop-041 把这两个平行四边形和两直角边上的正方形对应到相等三角形。
[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.
两个部分相加，斜边上的正方形等于两直角边上的正方形之和。