• 1. (2023九上·铁山期中) 如图，正方形ABCD的边长为3，F为CD边上一点，DF=1．将△ADF绕点A顺时针旋转90°，得到△ABE，连接EF，则EF=．