一道初中几何题如何解!求救!正方形ABCD边长为8,AE和AF夹角为45度!(E在CD边上,F在BC边上)EF长度为7,