1. (2021·黄石模拟) 如图，正方形ABCD的边长为4，E是正方形ABCD的边DC上的一点，过A作AF⊥AE，交CB延长线于点F.

1. （1） 求证：△ADE≌△ABF；
3. （2） 若DE＝1，求△AFE的面积.