已知四边形ABCD的对角线AC⊥BD,垂足为O,四边形的四边中点分别为E、F、G、H,证明这四个点在同一圆上