如图，已知正方形ABCD中，E、F分别是BC、CD上的点，且∠EAF=45°．

证明：（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＝
1
2GE×AB＝
1
2EF×AB，
又S_ABCD=AB²，
∴
SABCD
S△AEF＝
AB2

1
2EF×AB＝
2AB
EF．