已知如图正方形abcd的边长为8,菱形EFGH的三个顶点EGH分别在正方形的边