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