已知EG、FH过正方形ABCD对角线的交点O,求证:EFGH为正方形.