高一立体几何证明题:正方体ABCD-A1B1C1D1中,点O为BD中点