3.3 空间几何与体积：把梯形堆成堤坝

3.3 空间几何与体积：把梯形堆成堤坝

立体几何把图形从平面升入空间，核心对象是柱、锥、台、球四类基本体，核心关系是线线、线面、面面的平行与垂直。本节把贯穿案例的梯形立起来：横截面为那个等腰梯形、长 5 米的堤坝，土方是多少？顺带用祖暅原理讲透锥体体积系数 1/3 的来历。

从平面到空间：多出的不是一维，是三种关系

平面里两条直线要么相交要么平行；空间里多了第三种状态——异面：既不相交也不平行（如教室天花板的一条横棱与地面的一条斜线）。位置关系因此升级为三档：

• 线线：相交 / 平行 / 异面；
• 线面：直线在面内 / 相交 / 平行；
• 面面：相交 / 平行。

垂直判定最常用两条：一条直线垂直于平面内两条相交直线，就垂直于这个平面；一个平面经过另一个平面的一条垂线，两平面就垂直。

四类基本体的体积公式

祖暅原理（西方称卡瓦列里原理）：等高处的截面积处处相等的两个立体，体积相等。叠一摞卡片然后推斜它——每层面积没变，体积当然没变。这个原理一击两得：其一，证明等底等高的锥体体积相同（不管底是什么形状）；其二，配合"锥与柱的截面差"论证，得到锥体体积恰为柱体的三分之一。

贯穿案例：堤坝的土方

梯形横截面（上底 4 米、下底 6 米、高 3 米，面积 15 平方米，3.2 已三法互证）沿垂直于截面的方向延伸 5 米，得到一个直四棱柱。

手算：体积 = 底面积 × 长 = 15 × 5 = 75 立方米。若混凝土密度按 2.4 吨每立方米计，总重 75 × 2.4 = 180 吨——工程量瞬间落地。

变式一：若堤坝顶部 1 米高的部分削成一个四棱台（下口是原梯形、上口缩进半米），削掉的台体体积 = (下底 15 + 上底 13 + 根号(15×13)) × 1 ÷ 3 ≈ (15+13+13.96)/3 ≈ 13.99 立方米。其中缩进后的上口面积：每边缩半米，上底 3、下底 5、高 3 的梯形，面积 (3+5)×3÷2 = 12？重算：上下底各缩 0.5，上底变 4-2×0.5=3？——水平缩进只影响水平方向，上底 4 变 3、下底 6 变 5、高不变 3，面积 (3+5)×3÷2 = 12，则台体体积 = (15 + 12 + 根号180)/3 = (27 + 13.416)/3 ≈ 13.47 立方米。

>>> from sympy import sqrt, Rational
>>> lower, upper, h = Rational(15), Rational(12), Rational(1)
>>> V = (lower + upper + sqrt(lower*upper))*h/3
>>> V
27/3 + 6*sqrt(5)/3
>>> float(V)
13.472135955005237
​

程序给出 13.47，与手算一致——刚才那处"先写 13.99 再纠正上口面积"的波折恰好演示了台体计算最容易错的环节：上口尺寸的几何换算。

变式二：在堤坝一端加一个半径 1 米的半圆柱形标志墩，体积 = 半圆面积 × 5 = (π/2)×5 ≈ 7.85 立方米。

球与圆柱的奇妙比例

阿基米德最得意的发现：球的体积是外切圆柱的三分之二，球的表面积也是外切圆柱侧面积（加两底）的三分之二。半径 1 的球：体积 4π/3 ≈ 4.19；外切圆柱：底 π、高 2，体积 2π ≈ 6.28；比值 2/3 ✓。他要求把"圆柱容球"图形刻在自己的墓碑上。

>>> from sympy import pi, Rational, simplify
>>> r = Rational(1)
>>> sphere = Rational(4,3)*pi*r**3
>>> cylinder = pi*(2*r)*r**2          # 底 πr平方 × 高 2r
>>> simplify(sphere/cylinder)
2/3
>>> # 表面积对照：球 4πr平方 vs 圆柱全表 2πr·2r + 2πr平方
>>> simplify((4*pi*r**2)/(4*pi*r**2 + 2*pi*r**2))
2/3
​

体积与表面积的比值都是 2/3，难怪阿基米德视其为生平最高杰作。

⚠️ 常见坑：台体体积公式中间那项是根号(上下底面积之积)，不是上下底之和除以二。线性平均会系统性高估体积。

三视图与展开：空间想象的双拐杖

画不出的立体就画三视图（正面、上面、侧面投影）；算不出表面积的直棱柱就沿棱剪开成平面网格。圆柱侧面展开是矩形（底面周长 × 高），圆锥侧面展开是扇形。以半径 3、高 4 的圆锥为例：母线 = 根号(9+16) = 5，侧面积 = π×3×5 = 15π；表面积 = 9π + 15π = 24π；体积 = 9π×4÷3 = 12π。三个数字全由勾股定理打头阵——立体计算的第一步常是平面几何。

>>> from sympy import pi, sqrt
>>> r, h = 3, 4
>>> l = sqrt(r**2 + h**2)
>>> pi*r*l, pi*r**2 + pi*r*l, pi*r**2*h/3
(15*pi, 24*pi, 12*pi)
​

母线 5、侧面积 15π、表面积 24π、体积 12π，一次算清。

常见问题

问：球被平面切一刀，截面是什么？
答：永远是圆。过球心时最大；不过球心时半径按勾股缩水：球半径 5、球心到截面距离 3，截面圆半径 = 根号(25-9) = 4。

体积的比例变换：相似比为 k 的立体

平面里相似比 k 使面积变 k 平方，空间里同构的结论是体积变 k 的立方：半径加倍，球体积变 8 倍；棱长三倍，正方体体积变 27 倍。这条规律在生活里到处验算——直径 30 厘米的锅比 20 厘米的容量大 (3/2) 三次方 = 3.375 倍而非 1.5 倍，"买大杯更划算"的定量版本。反过来，表面积只变 k 平方——这解释了为什么大型动物相对更怕热：产热随体积（立方）走，散热随表面积（平方）走，尺寸越大缺口越大。

本节要点回顾

• 空间位置关系三档：线线（含异面）、线面、面面；线面垂直需平面内两条相交直线都垂直；
• 柱 = 底面积 × 高；锥 = 柱 ÷ 3，系数来自祖暅原理；台 = (上 + 下 + 根号(上×下))×高 ÷ 3；
• 贯穿堤坝：柱体 75 立方米、削台约 13.47 立方米，工程量由截面面积直接决定；
• 球与外切圆柱的体积、表面积之比均为 2/3（阿基米德刻上墓碑的结果）；
• 台体公式的根号项是高发错误点，务必与算术平均区分。

一块地的平面账与立体账都清了。下一节请出向量：让所有这些计算压缩成"方向 + 长度"的代数。