正方形ABCD的边长为3，E、F分别是AB、BC边上的点,且∠EDF=45°.将△DAE绕点D逆时针旋转90°，得到△DCM.
（1）求证：EF="FM"
（2）当AE=1时，求EF的长．

科目 数学   题型 解答题   难度 中等

知识点： 三角形的五心 圆内接四边形的性质 相似多边形的性质