你先把EF延长,交BC与D
∵∠AEF=∠AFE
∠AEF+∠AFE=∠BAC,
∴∠BAC=2∠AEF
∵AB=AC
∴∠B∠C
∵∠BAC+∠C+∠B=180°
∴½∠BAC+∠C=90°
即∠AEF+∠C=90°
∴EF⊥BC