证明:(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,
又S
ABCD=AB
2,
∴
==.