EF⊥BC．
证明：延长EF交BC于D，
∵AB=AC，AE=AF
∴∠B=∠C，∠E=∠AFE
∴∠B+∠AFE=∠C+∠E
∵∠AFE=∠BFD
∴∠B+∠BFD=∠C+∠E
∵∠B+∠BFD=∠FDC，∠C+∠E=∠BDF，∠FDC+∠BDF=180°
∴∠BDF=∠FDC=90°
即EF⊥BC．