数学立体几何证明题在正方体ABCD-A1B1C1D1中,棱长为a求: