证明：作BG⊥AE于G，
∵四边形ABCD是正方形，DF⊥AE，
∴∠AFD=∠AGB=90°，
∵∠DAF+∠GAB=90°，∠DAF+∠ADF=90°，
∴∠ADF=∠GAB，又AD=AB，
∴△ADF≌△BAG．