1. (2023九上·北京市月考) 正方形ABCD的边长为6，E，F分别是AB，BC边上的点，且∠EDF＝45°，将△DAE绕点D逆时针旋转90°，得到△DCM． 

 

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