过A点做AH垂直BC于H
∴∠HAC+∠C=90
∵EF⊥BC
∴∠BDE+∠B=90
∵AB=AC
∴∠B=∠C
∴∠HAC=∠BDE
∵EF⊥BC
AH⊥BC
∴ AH∥EF
∴ ∠HAC=∠F
∵∠FDA=∠BDE
∴ ∠FDA=∠F
∴ AD=AF