AB分别是两条平行线mn上任意一点，以B为圆心，BA为半径画弧，交直线n于C在线段AC上任取一点E作角BEF=角ABC，EF交于F。 求证点E在线段AC的延长线上时EF与EB得关系。