正方形ABCD中,EF分别是AB和BC边上的两点,角EDF等于45度,