在正方形ABCD中,E是BC的中点,点F在CD上,角FAE=角BAE.求证:AF=BC+CE