《几何原本》命题2.9【夸克欧氏几何】
发布时间:2023-07-03 21:39:55 来源:哔哩哔哩

命题:

如过先将一条线段等分,又将其分成不相等的两段,那么两条不等线段上的正方形之和,等于原线段一半上的正方形与两个分点之间一段上的正方形之和的二倍

求证:S正方形AD2+S正方形BD2=2S正方形AC2+2S正方形CD2


(资料图)

解:

过点C作CE⊥AB

(命题)

在CE上截CE=AC

(命题)

连接AE,BE

(公设)

过点D作DF∥CE,与BE交点记为点F

(命题)

过点F作FG∥AB

(命题)

连接AF

(公设)

证:

∵CE=AC

(已知)

∴∠EAC=∠AEC

(命题)

∵CE⊥AB

(已知)

∴∟ACE,∟ECB是直角

(定义)

∵△ACE中,∠EAC+∠AEC+∟ACE=两直角

(命题)

∴∠EAC+∠AEC=一个直角

(公理)

∴∠EAC=∠AEC=半个直角

(公理)

同理可证∠BEC=∠B=半个直角

∴∟AEB是直角

(公理)

∵FG∥AB

(已知)

∴∠EGF=∟ECB

(命题)

∵∠BEC=半个直角

(已证)

∴∠EFG=半个直角

(命题)

∴∠EFG=∠BEC

(公理)

∴GE=GF

(命题)

∵DF∥CE

(已知)

∴∠BDF=∟ECB

(命题)

∵∠B=半个直角

(已证)

∴∠BFD=半个直角

(命题)

∴∠BFD=∠B

(公理)

∴BD=DF

(命题)

∵AC=CE

(已知)

∴S正方形AC2=S正方形CE2

(公理)

∴S正方形AC2+S正方形CE2=2S正方形AC2

(公理)

∵Rt△ACE中,S正方形AC2+S正方形CE2=S正方形AE2

(命题)

∴S正方形AE2=2S正方形AC2

(公理)

∵GE=GF

(已证)

∴S正方形GE2=S正方形GF2

(公理)

∴S正方形GE2+S正方形GF2=2S正方形GF2

(公理)

∵Rt△EFG中,S正方形GE2+S正方形GF2=S正方形EF2

(命题)

∴S正方形EF2=2S正方形GF2

(公理)

∵GF=CD

(命题)

∴S正方形EF2=2S正方形CD2

(公理)

∵S正方形AE2=2S正方形AC2

(已证)

∴S正方形AE2+S正方形EF2=2S正方形AC2+2S正方形CD2

(公理)

∵Rt△ADF中,S正方形AD2+S正方形DF2=S正方形AF2

Rt△AEF中,S正方形AE2+S正方形EF2=S正方形AF2

(命题)

∴S正方形AD2+S正方形DF2=S正方形AE2+S正方形EF2

(公理)

∴S正方形AD2+S正方形DF2=2S正方形AC2+2S正方形CD2

(公理)

∵BD=DF

(已证)

∴S正方形AD2+S正方形BD2=2S正方形AC2+2S正方形CD2

(公理)

证毕

此命题在本卷中未被使用

标签: