因为∠EAF=90°
所以∠1+∠3=90°
因为∠2+∠3=90°
所以∠2=∠1
因为AB=AD
2个90°
所以三角形AEB和三角形AFD全等
所以四边形AECF的面积=正方形的面积=4*4=16