在△ABC中,D为BC上一点,DF⊥BC,DF交E点,交BA的延长线于F点,若BA=AC,求证AE等于AF