• 1. (2016九上·涪陵期中) 如图，正方形ABCD边长为2，E为CD的中点，以点A为中心，把△ADE顺时针旋转90°得△ABF，连接EF，则EF的长等于．