已知正方体ABCD—A1B1C1D1,O是底ABCD对角线的交点.