证明:(1)延长CB到G,使GB=DF,连接AG(如图) ∵AB=AD,∠ABG=∠D=90°,GB=DF, ∴△ABG≌△ADF(SAS), ∴∠3=∠2,AG=AF, ∵∠BAD=90°,∠EAF=45°, ∴∠1+∠2=45°, ∴∠GAE=∠1+∠3=45°=∠EAF, ∵AE=AE,∠GAE=∠EAF,AG=AF, ∴△AGE≌△AFE(SAS), ∴GB+BE=EF, ∴DF+BE=EF;
(2)∵△AEF≌△AGE, ∴S△AEF=S△AGE, ∴S△AEF=GE×AB=EF×AB, 又SABCD=AB2, ∴==. |