1. (2024九上·昭通期末) 正方形ABCD的边长为5，E、F分别是AB、BC边上的点，且∠EDF＝45°，将△DAE绕点D逆时针旋转90°，得到△DCM ．

1. （1） 求证：△DEF≌△DMF；
3. （2） 若AE＝2，求EF的长．