正方形ABCD的边长与菱形EFGH的边长相等,且菱形的高是正方形边长的一半,则正方形的面积与菱形面积之间的数量关系是S正