如图,在△ABC中,AB=AC,点E在BA的延长线上,且ED⊥BC于点D,交AC延长线与点F,求证:AE=AF