已知三角形ABC中AB=AC,F在AC上,在BA延长线上取AE=AF