求证：对角线互相平分的四边形是平行四边形．

小明同学根据题意画出了图形，并写出了已知和求证的一部分，请你补全已知和求证，并写出证明过程：

已知：如图，在四边形ABCD中，AC、BD相交于点O， ．

求证：．