如图正方形ABCD的边长为4，E、F分别为DC、BC中点．

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