命题:
【资料图】
如果任意两分一条线段,由原线段好一个小线段构成的矩形的四倍与另一小线段上正方形的和,等于原线段加上前一小段上的正方形
已知:线段AB,点C在AB上
求证:4S矩形AB×BC+S正方形AC2=S正方形(AB+BC)2
解:
在AB延长线上截BD=BC
(公设&命题)
在AD上建正方形AEFD
(命题)
作如下图形
证:
∵BD=KN,BC=GK
(命题)
且BD=BC
(已知)
∴GK=KN
(公理)
同理QR=RP
∵AD∥MN
(已知)
∴S正方形BCGK=S正方形BDNK
(命题)
∵MN∥OP
(已知)
∴S正方形GKRQ=S正方形KNPR
(命题)
∵▱CDPQ中,S正方形BCGK=S正方形KNPR
(命题)
∴S正方形BCGK=S正方形BDNK=S正方形BCGK=S正方形KNPR
(公理)
∴S正方形BCGK+S正方形BDNK+S正方形BCGK+S正方形KNPR=4S正方形BCGK
(公理)
∵BC=BD,BD=BK=CG,BC=GK=GQ
(已知)
∴CG=GQ
(公理)
∵AE∥CH
(已知)
∴S矩形AC×CG=S矩形MG×GQ
(命题)
∵QR=RP,OP∥EF
(已知)
∴S矩形PF×PR=S矩形RL×RQ
(命题)
∵▱MKLE中,S矩形MG×GQ=S矩形RL×RQ
(命题)
∴S矩形AC×CG=S矩形MG×GQ=S矩形PF×PR=S矩形RL×RQ
(公理)
∴S矩形AC×CG+S矩形MG×GQ+S矩形PF×PR+S矩形RL×RQ=4S矩形AC×CG
(公理)
∵S正方形BCGK+S正方形BDNK+S正方形BCGK+S正方形KNPR=4S正方形BCGK
(已证)
∴S磬折形STU=4S矩形AB×BK
(公理)
∵BK=BD=BC
(已知)
∴S矩形AB×BK=S矩形AB×BC
(公理)
∴S磬折形STU=4S矩形AB×BC
(公理)
∵▱ACQO中,AC=QO
(命题)
∴S正方形AC2=S正方形QO2
(公理)
∴4S矩形AB×BC+S正方形AC2=S磬折形STU+S正方形QO2
(公理)
∵S磬折形STU+S正方形QO2=S正方形(AB+BC)2
(已知)
∴4S矩形AB×BC+S正方形AC2=S正方形(AB+BC)2
(公理)
证毕
此命题在《几何原本》中再未被使用