∵ABCD是正方形
∴AD=DC=BC=AB
∠D=∠BAD
在△ADF与△ABE中
AD=AB
∠D=∠BAD
DF=AE
∴△ADF≌△ABE（SAS）
∴BE=AF,∠ABE=∠FAD,
∵∠ABE+∠AEB=90°,
∴∠FAD+∠AEB=90°,
∴BE⊥AF．
故BE=AF,BE⊥AF．