关于立体几何的证明和计算 棱锥棱柱球什么的性质 可以直接用于证明或计算么?