证明:AE=AF,则∠E=∠AFE.
故∠BAC=∠E+∠AFE=2∠E;
作AD垂直BC于D,AB=AC,故∠CAD=∠BAD,即∠BAC=2∠BAD.
所以,∠BAD=∠E,EF∥AD,故EF⊥BC.