如图，正方形ABCD的边长为6，E，F分别是AB，BC边上的点，且∠EDF＝45°，将△DAE绕点D逆时针旋转90°，得到△DCM.
(1)求证：EF＝FM；
(2)当AE＝2时，求EF的长．
如图，正方形ABCD的边长为6，E，F分别是AB，BC边上的点，且∠EDF＝45°，将△DAE绕点D逆时针旋转90°，得到△DCM.
(1)求证：EF＝FM；
(2)当AE＝2时，求EF的长．
【解析】(1)∵△DAE逆时针旋转90°得到△DCM，∴∠FCM＝∠FCD＋∠DCM＝180°，∴F，C，M三点共线，∴DE＝DM，∠EDM＝90°，∴∠EDF＋∠FDM＝90°.∵∠EDF＝45°，∴∠FDM＝∠EDF＝45°，∴△DEF≌△DMF(SAS)，∴EF＝MF.
(2)设EF＝MF＝x，∵AE＝CM＝2，且BC＝6，