正方形abcd的边长为4 ∠EAF=90° ,连AE交CB的延长线于E,边AF交CD于F,求四边形AECF的面积.