证明:
∵AE⊥EF
∴∠AED+∠CEF=∠AED+∠DAE=90°
∴∠DAE=∠CEF
∵BE平分∠ABC
∴∠EBC=∠CEB=45°
∴BC=CE=AD
∵∠C=∠D=90°
∴△ADE≌△ECB
∴AE=EF