已知四边形ABCD,对角线AC垂直BD与O,E,F,G,H分别为边AB,BC,CD,DA,的中点.求证四边形EFGH为矩