1. (2020九上·海安期中) 如图，正方形ABCD中，E是BC的中点，以点A为中心，把△ABE逆时针旋转90°，设点E的对应点为F.

1. （1） 画出旋转后的三角形和点E经过的路径；
3. （2） 若正方形ABCD的边长为2，求线段EF的长.