因为正方形ABCD

所以AD=AB,∠ADE=∠ABF=90°
且DE=BF
所以△ADE全等△ABF
所以∠FAB=∠EAD
所以∠FAE=∠BAD=90°
即AE⊥AF