松江历史的第二个模型
证明了(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,
∴平行四边形是长方形。