在正方形abcd中ef分别是边ad dc上的点,∠eaf=45°