如图,三角形ABC中,AB=AC,且AE=AF,求证EF垂直BC