∵AE=AF，
∴∠F=∠AEF（等边对等角）．
又∵∠AEF=∠CED（对顶角相等），FD⊥BC，
∴∠F+∠B=90°，∠C+∠CED=∠C+∠F=90°，
∴∠B=∠C（等量代换），
∴AB=AC（等角对等边）．