延长FD 到 G ,使 DG = BE
显然,三角形ABE ≌ 三角形ADG ,因为它们的两直角边相等.
于是,∠GAD=∠BAE,又∠BAE+∠DAF=45,所以:
角 GAF =角GAD+角DAF= 角 EAF = 45 .
又:AG = AE ,AF = AF ,
则 三角形AEF ≌ 三角形AGF ,因为两边及其夹角分别相等.
于是,S(AEF)=S(AGF)
S(AGF)=S(ADF)+S(AGD)=S(ADF)+S(ABE)
所以:S(AEF)=S(ADF)+S(ABE)
延长FD 到 G ,使 DG = BE
显然,三角形ABE ≌ 三角形ADG ,因为它们的两直角边相等.
于是,∠GAD=∠BAE,又∠BAE+∠DAF=45,所以:
角 GAF =角GAD+角DAF= 角 EAF = 45 .
又:AG = AE ,AF = AF ,
则 三角形AEF ≌ 三角形AGF ,因为两边及其夹角分别相等.
于是,S(AEF)=S(AGF)
S(AGF)=S(ADF)+S(AGD)=S(ADF)+S(ABE)
所以:S(AEF)=S(ADF)+S(ABE)