过A点作AD//EF,交BC于D
则∠AEF=∠CAD,∠AFE=∠BAD
又∠AEF=∠AFE,所以∠CAD=∠BAD
所以BD为∠BAC的角平分线
又AB=AC
所以AD⊥BC
AD//EF
所以EF⊥BC