命題1.47：

在直角三角形中，斜邊上的正方形等于兩直角邊上的正方形之和

已知：Rt△ABC，其中∟BAC是直角

求證：BC上的正方形等于AB，BC上正方形面積之和

解：

在BC上建正方形BDEC

（命題1.46）

在AB上建正方形ABFG

（命題1.46）

在AC上建正方形ACKH

（命題1.46）

過點(diǎn)A作AL∥BD或CE

（命題1.31）

連接AD，F(xiàn)C

（公設(shè)1.1）

證明：S正方形BDEC=S正方形ABFG+S正方形ACKH

證：

∵∟BAC，∟BAG為兩直角

（已知）

∴AC，AG在同一直線上

（命題1.14）

∵∟DBC=∟ABF

（定義1.22＆公設(shè)1.4）

∴∟DBC+∠ABC=∟ABF+∠ABC

即∠ABD=∠FBC

（公理1.2）

∵BD=BC，AB=BF

（定義1.22）

∴△ABD≌△FBC

（命題1.4）

∴S△ABD=S△FBC

（公理1.4）

∵BD公用，AL∥BD

（已知）

∴S矩形BL=2S△ABD

（命題1.41）

∵BF公用，BF∥CG

（定義1.22）

∴S正方形ABFG=2S△FBC

（命題1.41）

∴S矩形BL=S正方形ABFG

（公理1.1）

同理可證S矩形CL=S正方形ACKH

∴S矩形BL+S矩形CL=S正方形ABFG+S正方形ACKH

即S正方形BDEC=S正方形ABFG+S正方形ACKH

（公理1.2）

證畢

?

此命題將在下一命題中被使用