题目正方形ABCDABCDABCD的边长为333,EEE、FFF分别是ABABAB、BCBCBC边上的点,且∠EDF=45∘\angle EDF=45^{\circ}∠EDF=45∘.将△DAE\triangle DAE△DAE绕点DDD逆时针旋转90∘90^{\circ}90∘,得到△DCM\triangle DCM△DCM.(1)(1)(1)求证:EF=FMEF=FMEF=FM;(2)(2)(2)当AE=1AE=1AE=1时,求EFEFEF的长.知识点:勾股定理章节:图形的性质 / 三角形