如图,已知正方形ABCD的变长为3.菱形EFGH的三个顶点