如图,在RT三角形中,角ACB=90度,正方形EFGH的四个顶点