正方形ABCD的边长为4,E是CD边上的任意一点,角EAF=45度,AF交BC于F