分析:
(1)由旋转可得DE=DM,∠EDM为直角,可得出∠EDF+∠MDF=90°,由∠EDF=45°,得到∠MDF为45°,可得出∠EDF=∠MDF,再由DF=DF,利用SAS可得出三角形DEF与三角形MDF全等,由全等三角形的对应边相等可得出EF=MF;
(2)由第一问的全等得到AE=CM=1,正方形的边长为3,用AB-AE求出EB的长,再由BC+CM求出BM的长,设EF=MF=x,可得出BF=BM-FM=BM-EF=4-x,在直角三角形BEF中,利用勾股定理列出关于x的方程,求出方程的解得到x的值,即为EF的长.
希望能帮到你