正方形ABCD的边长为3,E、F分别是AB、BC边上的点,且∠EDF=45°.将△DAE绕点D逆时针旋转90°,得到△DCM.
(1)求证:EF=FM;
(2)当AE=1时,求EF的长.
相关知识点
推荐套卷
正方形ABCD的边长为3,E、F分别是AB、BC边上的点,且∠EDF=45°.将△DAE绕点D逆时针旋转90°,得到△DCM.
(1)求证:EF=FM;
(2)当AE=1时,求EF的长.