如图,已知三角形ABC中,AB=AC,在BA延长线上取AE=AF,求证:EF垂直于BC