如图,在三角形ABC中,AB=AC,E在CA的延长线上,AE=AF,AD是高,试判断EF与BC的位置关系.并加以证明.