在正方形ABCD中，E是BC的中点，AE与BD相交于F，三角形DEF的面积是1，那么正方形ABCD的面积是       。