如图所示,在△ABC中,AB=AC,F是AC上任意一点,在BA延长线上取AE=AF,求证EF垂直BC