1. (2020九上·丹江口期中) 如图，四边形ABCD是边长为4的正方形，且DE=1，△ABF是△ADE的旋转图形.

1. （1） 求AF的长；
3. （2） 求△AEF的面积.