过A点作AD⊥BC,垂足为D.则AD为∠BAC的角平分线
∵AE=AF
∴∠E=∠AFE
∵∠BAC=∠E+∠AFE
∴∠E=1/2∠BAC
∴∠E=∠BAD
∴EF∥AD
∵AD⊥BC,EF∥AD
∴EF⊥BC