已知在正方形ABCD中 ∠EDF=45° 点E在AB上 点F在BC上 DG垂直EF 求证 DG=AD