1. (2017八下·个旧期中) 如图正方形ABCD的边长为4，E、F分别为DC、BC中点．

1. （1） 求证：△ADE≌△ABF．
3. （2） 求△AEF的面积．