如图 正方形ABCD边长为2 E为CD的中点 以点A为中心 把△ADE顺时针旋转90°得△ABF

问题补充：

如图，正方形ABCD边长为2，E为CD的中点，以点A为中心，把△ADE顺时针旋转90°得△ABF，连接EF，则EF的长等于________．

答案：

解析分析：在直角△EFC中，利用三角函数即可求解．

解答：根据旋转的性质得到：BF=DE=1，在直角△EFC中：EC=DC-DE=1，CF=BC+BF=3．根据勾股定理得到：EF==．故

如图 正方形ABCD边长为2 E为CD的中点 以点A为中心 把△ADE顺时针旋转90°得△ABF 连接EF 则EF的长等于________．