证明：如果延长EF交BC于D
∵AB＝AC,∠AEF=∠AFE.
∴∠B=∠C
∵在三角形AEF中
2∠AFE＋∠EAB＝180度.
∵∠EAB=2∠B
∴2∠AFE＋2∠B=180度
∴∠AFE＋∠B=90度
∵∠BFD=∠AFE.(对顶角)
∴∠B+∠BFD=90度
∴∠BDF=90度
即:EF⊥BC
是的,这不都是已知条件吗?本来E就在三角形之外.