正方形ABCD的边长为3，E、F分别是AB、BC边上的点,且∠EDF=45°.将△DAE绕点D逆时针旋转90°，得到△DCM.
（1）求证：EF="FM"
（2）当AE=1时，求EF的长．

正方形ABCD的边长为3，E、F分别是AB、BC边上的点，且∠EDF=45°.将△DAE绕点D逆时针旋转90°，得到△DCM.

（1）求证：EF=FM；
（2）当AE=1时，求EF的长．

正方形ABCD的边长为3，E，F 分别是AB，BC边上的点，且∠EDF=45°．将

△DAE绕点D逆时针旋转90°，得到△DCM．

（1）求证：EF=FM；

（2）当AE=1时，求EF的长．

正方形ABCD的边长为3，E、F分别是AB、BC边上的点，且∠EDF=45°.将△DAE绕点D逆时针旋转90°，得到△DCM.

（1）求证：EF=FM；

（2）当AE=1时，求EF的长．

正方形ABCD的边长为3，E、F分别是AB、BC边上的点,且∠EDF=45°.将△DAE绕点D逆时针旋转90°，得到△DCM.

（1）求证：EF=FM

（2）当AE=1时，求EF的长．