已知:在正方形ABCD中,E是BC的中点,点F在CD上,∠FAE=∠BAE,求证:AF=BC+FC