设BE、AF交于O
在△AFD和△BFD中,DF=DF,AD=CD(正方形),∠ADF=∠CDF(正方形对角线平分角),
∴△AFD和△BFD全等,则∠DAF=∠DCF
在△AEB和△DEC中,AE=DE(中点),AB=DC,∠EAB=∠EDC
∴△EAB和△EDC全等,则∠ABE=∠DCE=∠DCF=∠DAF.
则有∠ABF+∠BAF=∠DAF+∠BAF=90
∴∠AOB=90
∴AF垂直于BE