已知:如图,正方形ABCD中,E是BC的中点,点F在CD上,角FAE等于角BAE,求证,AF=BC+EC