在正方形ABCD中,点E为AB上一点,连接DE,将三角形ADE绕点D逆时针旋转90度得三角形DCM,点F为BC上一点,角DEF等于45度,当AE等于1时,求EF不好意思，是角EDF是45度，错了，求的是EF的长度，我忘了连接...

在正方形ABCD中,点E为AB上一点,连接DE,将三角形ADE绕点D逆时针旋转90度得三角形DCM,点F为BC上一点,角DEF等于45度,当AE等于1时,求EF不好意思，是角EDF是45度，错了，求的是EF的长度，我忘了连接...
在正方形ABCD中,点E为AB上一点,连接DE,将三角形ADE绕点D逆时针旋转90度得三角形DCM,点F为BC上一点,角DEF等于45度,当AE等于1时,求EF

不好意思，是角EDF是45度，错了，求的是EF的长度，我忘了连接...

在正方形ABCD中,点E为AB上一点,连接DE,将三角形ADE绕点D逆时针旋转90度得三角形DCM,点F为BC上一点,角DEF等于45度,当AE等于1时,求EF不好意思，是角EDF是45度，错了，求的是EF的长度，我忘了连接...
三角形ADE全等于三角形DCM
角EDF=45 所以角ADE+FDC=45 角FDC+CDM=45所以三角形EDF与FMD全等

因此
AE=CM=FC=1
EF=FC=FC+CM=2