EF⊥BC．
证明：作AD⊥BC于D，则有∠BAC=2∠BAD．
∵∠BAC=∠F+∠AEF，
又∵AF=AE，
∴∠F=∠AEF，
∴∠BAC=2∠F，
∴∠F=∠BAD，
∴EF∥AD，
∴EF⊥BC．