解:(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中,
,
∴△DEF≌△DMF(SAS),
∴EF=MF;…
(2)設EF=MF=x,
∵AE=CM=1,且BC=3,
∴BM=BC+CM=3+1=4,
∴BF=BM-MF=BM-EF=4-x,
∵EB=AB-AE=3-1=2,
在Rt△EBF中,由勾股定理得EB
2+BF
2=EF
2,
即2
2+(4-x)
2=x
2,
解得:x=
,
則EF=
.…
分析:(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的長.
點評:此題考查了正方形的性質(zhì),旋轉的性質(zhì),全等三角形的判定與性質(zhì),以及勾股定理,利用了轉化及方程的思想,熟練掌握性質(zhì)及定理是解本題的關鍵.