平行四边形的性质定理3：行四边形的对角线互相平分。

我们可以用演绎推理证明这个结论。

已知：如图，的对角线AC和BD相交于点O。

求证：OA=OC，OB=OD。