證明：（1）延長(zhǎng)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

2

GE×AB＝

1

2

EF×AB，
又S_ABCD=AB²，
∴

SABCD

S△AEF

＝

AB2

1 2 EF×AB

＝

2AB

EF

．