在正方形ABCD中,E是BC的中点,AE与BD相交与F,三角形DEF的面积是2,那么正方形ABCD的面积是多少