已知：如图，在三角形ABC中，AB，AC，E是CA的延长线上一点，F在AB上，∠AEF＝∠EFA，

在三角形ABC中，AB=AC，E是CA的延长线上一点，F在AB上，∠AEF＝∠EFA，求证EF⊥BC. ∠EAF+∠AEF+∠EFA=180度 ∠EAF=∠B+∠C 由AB=AC，得∠B=∠C 因为∠AEF＝∠EFA 所以∠AEF+∠C=90度 所以EF⊥BC