松江历史的第二个模型

证明了(1)∵四边形ABCD是正方形,

∴∠ADE=∠ABC=∠DAB=90,AD=AB,ad∨BC,ab∨CD,

∵AF⊥AE,

∴∠EAF=90,

∴∠DAE=∠BAF,

在阿德和ABF,

∠DAE=∠BAFAD=AB∠ADE=∠ABF=90,

∴△ADE≌△ABF(ASA),

∴af=ae;

(2)∵AF⊥AE,

∴∠1+∠2=90 ,

∵∠2+∠3=90 ,

∴∠1=∠3,

∫AD∨FC,

∴∠4=∠5,

∵∠1=∠5,

∴∠1=∠3=∠4=∠5,

在△ADE和△DAP中,

∠3=∠4AD=AD∠ADE=∠DAP,

∴△ADE≌△DAP(ASA),

∴AP=DE,

和∵AP∑DE,

∴四边形是平行四边形,

∫∠PAD = 90,

∴平行四边形是长方形。