已知正方形ABCD的边长为2.EFGH分别是边AB,BC,CD,DA的中点