证明：在△ABC中,AB=AC,则∠B=∠C
又ED⊥BC.
在△CFD中,∠DFC=∠FDC-∠C=90°-∠C
在△DEB中,∠BED=∠EDB-∠B=90°-∠B
∴ ∠BED=∠DFC
又∵∠AEF=∠BED (对顶角）
∴∠DFC=∠AEF
在△AEF中,∠DEC和∠AEF是两个底角
∴AE=AF (它们是△AEF的边）