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

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

已知：如图，在▱ABCD中，对角线AC，BD交于点O，．

求证：．