证明:
因为DF⊥BC
所以∠F+∠B=90,∠DEC+∠C=90
因为AB=AC
所以∠B=∠C
所以∠F=∠DEC
因为∠DEC=∠AEF(对顶角相等)
所以∠F=∠AEF(等量代换)
所以AE=AF(等角对等边)