MathLabs

几何学

多面体及其体积

由平面多边形面围成的立体图形,以及计算其所占空间的体积公式。

直观一颗晶体、一顶帐篷或一座金字塔内部有多少空间?

一个纸箱、一颗切割过的钻石、一顶金字塔形的帐篷、一枚六面骰子——它们都是多面体,其整个表面都由若干平面多边形沿棱粘合而成。"体积"就是这样一个立体所占空间的大小——能装下多少沙子,或帐篷内能封住多少空气。把相同的薄层叠起来,很容易得到箱子的体积;下面的交互式立体可以把一个形状"炸开"成若干部分,让你看清楚为什么像金字塔这样的尖顶立体,所占的空间比同样底面和高度的箱子要小得多。

带有分离滑块的交互式3D正四面体,可将其四个三角形面分开;拖动可旋转。
将一个正四面体拆解为其4个三角形面。无论多么复杂的多面体,都是由若干平面多边形沿棱和顶点拼接而成——这正是计算它们所围体积的出发点。

中学棱柱与棱锥:底面、高与体积

定义: 多面体、棱柱、棱锥

多面体是完全由多边形(其各个面)围成的立体,这些面沿棱和顶点相接。棱柱有两个互相平行且全等的多边形底面,由平行四边形侧面连接;棱锥只有一个多边形底面,各侧面是在同一个顶点相交的三角形。

Vprism=BhV_{\text{prism}} = B h

对任意棱柱,体积都是 V=BhV = Bh,其中 BB 是底面面积,hh 是两底面之间的垂直距离——而不是斜侧棱的长度。这一个公式对长方体、三棱柱或六棱柱都适用;变化的只是用来计算 BB 的图形。

Vpyramid=13BhV_{\text{pyramid}} = \frac{1}{3} B h

与同样底面积 BB 和同样高 hh 的棱柱相比,棱锥所占的体积只有它的三分之一:V=13BhV = \frac{1}{3}Bh。系数 13\frac{1}{3} 乍看有些神秘,但下面的定理会先针对三棱锥、再针对任意棱锥给出严格证明。

常见立体的体积公式
立体体积公式
长方体(棱长 p, q, r)V=pqrV = pqr
一般棱柱(底面积 B,高 h)V=BhV = Bh
一般棱锥(底面积 B,高 h)V=13BhV = \frac{1}{3}Bh
棱台(两底面积 B1, B2,高 h)V=h3(B1+B2+B1B2)V = \frac{h}{3}\left(B_1 + B_2 + \sqrt{B_1 B_2}\right)

大学证明体积公式

定义: 卡瓦列里原理

如果两个立体都夹在两个平行平面之间,并且与这两个平面平行的任何平面截得的两个立体截面面积都完全相同 A(y)A(y)(作为高度 yy 的函数),那么这两个立体的体积相等——即使它们的形状看起来完全不同。

A1(y)=A2(y)  ∀y∈[0,h]   ⟹   V1=∫0hA1(y) dy=∫0hA2(y) dy=V2A_1(y) = A_2(y)\ \ \forall y \in [0, h] \ \implies\ V_1 = \int_0^h A_1(y)\,dy = \int_0^h A_2(y)\,dy = V_2

对任意棱柱(无论是直棱柱还是斜棱柱),只要底面积为 BB、高为 hh(两底面间的垂直距离),其体积都是 V=BhV = Bh。

为什么成立?

一叠完全相同的扑克牌,无论叠得笔直还是被推斜,体积都不变——因为重复的是牌堆的截面,而不是它的外形轮廓。棱柱正是由无穷多张底面的极薄复制品这样堆叠而成的。

证明

首先考虑一个直棱柱,其侧棱与底面垂直。用平行于底面的平面在任意高度截取,截面都与底面本身全等,面积为 BB。将这些截面从高度 00 到 hh 叠加,得体积 ∫0hB dy=Bh\int_0^h B\,dy = Bh,这正是直棱柱的 V=BhV = Bh。

再考虑任意一个具有相同底面积 BB 和相同高 hh 的斜棱柱。将它与一个具有相同底面和高的直棱柱并排放置,共用一个底面所在的平面。斜棱柱在高度 yy 处的截面是底面的一个平移副本(平移不改变面积),因此面积同样是 BB,与直棱柱在该高度的截面面积完全相同。

由卡瓦列里原理,由于两个立体在每个高度 y∈[0,h]y \in [0, h] 处的截面积都相等(均为 BB),它们的体积相等。既然直棱柱的体积是 V=BhV = Bh,斜棱柱的体积也是如此,从而对一切棱柱证明了该公式。

对任意底面积为 BB、高为 hh 的棱锥,其体积都是 V=13BhV = \frac{1}{3}Bh。

为什么成立?

棱锥向一点收缩变细,因此它的大多数截面都比底面小得多;系数1/3正是这种收缩所付出的精确代价,可以通过把我们已经熟悉的三棱柱切成三个体积相等的棱锥来精确确定。

证明

第一步(三角形情形,分割法)。取一个底面积为 BB、高为 hh 的三棱柱 ABC.A1B1C1ABC.A_1B_1C_1,由棱柱体积定理知其体积为 V=BhV = Bh。沿两个对角平面 (A1BC)(A_1BC) 与 (A1BC1)(A_1BC_1) 将其切成三个四面体:A1.ABCA_1.ABC、A1.BCC1A_1.BCC_1 和 A1.BB1C1A_1.BB_1C_1。简单计算表明这三个四面体体积相等:A1.BCC1A_1.BCC_1 与 A1.BB1C1A_1.BB_1C_1 共顶点 A1A_1,底面 BCC1BCC_1 与 BB1C1BB_1C_1 是全等三角形(同一平行四边形 BCC1B1BCC_1B_1 的两半),故这两个四面体体积相等;再比较 A1.ABCA_1.ABC 与 A1.BCC1A_1.BCC_1(视为以 BB 为顶点的棱锥,或沿棱柱用同样的等底论证)可知三部分体积都相等。因此每个四面体的体积为 13⋅Vprism=13Bh\frac{1}{3} \cdot V_{\text{prism}} = \frac{1}{3}Bh。由于 A1.ABCA_1.ABC 是以 ABCABC(面积 BB)为底、A1A_1 在其上方 hh 处为顶点的三棱锥,这就证明了三棱锥的 V=13BhV = \frac{1}{3}Bh。

Bước 2 (Cavalieri cho hình dạng đáy bất kì). Bây giờ so sánh một hình chóp tam giác và một hình chóp có đáy bất kì khác, cả hai có cùng diện tích đáy BB và chiều cao hh, các đỉnh ở cùng độ cao. Tại độ cao yy phía trên đáy (0≤y≤h)(0 \le y \le h), một mặt phẳng song song với đáy cắt một hình chóp theo một bản sao của đáy được thu nhỏ theo hệ số (h−yh)\left(\frac{h-y}{h}\right) — đây là một sự kiện đồng dạng chuẩn về phép chiếu xuyên tâm từ đỉnh. Thu nhỏ một hình phẳng theo hệ số tuyến tính kk làm diện tích của nó thu nhỏ theo hệ số k2k^2, nên diện tích thiết diện tại độ cao yy bằng B(h−yh)2B\left(\frac{h-y}{h}\right)^2 với mọi hình chóp có diện tích đáy BB và chiều cao hh, bất kể hình dạng của đáy.

Vì hai hình chóp được so sánh có diện tích thiết diện giống hệt nhau tại mọi độ cao, nguyên lý Cavalieri cho chúng thể tích bằng nhau. Vì Bước 1 đã thiết lập V=13BhV = \frac{1}{3}Bh cho hình chóp tam giác, cùng công thức V=13BhV = \frac{1}{3}Bh đúng cho hình chóp có đáy đa giác bất kì với diện tích BB và chiều cao hh.

给定三棱锥 S.ABCS.ABC 及其三条侧棱上的点 A′∈SAA' \in SA, B′∈SBB' \in SB, C′∈SCC' \in SC,则三棱锥 S.A′B′C′S.A'B'C' 满足 VS.A′B′C′VS.ABC=SA′SA⋅SB′SB⋅SC′SC\dfrac{V_{S.A'B'C'}}{V_{S.ABC}} = \dfrac{SA'}{SA}\cdot\dfrac{SB'}{SB}\cdot\dfrac{SC'}{SC}。

为什么成立?

从顶点出发,让三点各自沿自己所在的棱独立滑动,相当于在三个不同方向上独立地拉伸这个棱锥,因此体积应当按这三个独立拉伸系数的乘积变化,就像独立缩放长方体的三条棱会使其体积乘以三个缩放系数的乘积一样。

证明

以顶点 SS 为原点,设 u⃗=SA→\vec{u} = \overrightarrow{SA},v⃗=SB→\vec{v} = \overrightarrow{SB},w⃗=SC→\vec{w} = \overrightarrow{SC}。由公共顶点出发的三条棱向量所张成的四面体体积由标量三重积给出:VS.ABC=16∣u⃗⋅(v⃗×w⃗)∣V_{S.ABC} = \frac{1}{6}\left|\vec{u}\cdot(\vec{v}\times\vec{w})\right|。

由于 A′∈SAA' \in SA, B′∈SBB' \in SB, C′∈SCC' \in SC,可以写出 SA′→=k1u⃗\overrightarrow{SA'} = k_1\vec{u},SB′→=k2v⃗\overrightarrow{SB'} = k_2\vec{v},SC′→=k3w⃗\overrightarrow{SC'} = k_3\vec{w},其中 k1=SA′SAk_1 = \frac{SA'}{SA},k2=SB′SBk_2 = \frac{SB'}{SB},k3=SC′SCk_3 = \frac{SC'}{SC}。于是 VS.A′B′C′=16∣(k1u⃗)⋅((k2v⃗)×(k3w⃗))∣V_{S.A'B'C'} = \frac{1}{6}\left|(k_1\vec{u})\cdot\big((k_2\vec{v})\times(k_3\vec{w})\big)\right|。

标量三重积是三线性的(对三个向量变元中的每一个都是线性的),因此 (k1u⃗)⋅((k2v⃗)×(k3w⃗))=k1k2k3(u⃗⋅(v⃗×w⃗))(k_1\vec{u})\cdot\big((k_2\vec{v})\times(k_3\vec{w})\big) = k_1 k_2 k_3 \left(\vec{u}\cdot(\vec{v}\times\vec{w})\right)。两边取绝对值并除以6,得 VS.A′B′C′=k1k2k3⋅VS.ABCV_{S.A'B'C'} = k_1k_2k_3 \cdot V_{S.ABC},整理后正是 VS.A′B′C′VS.ABC=SA′SA⋅SB′SB⋅SC′SC\dfrac{V_{S.A'B'C'}}{V_{S.ABC}} = \dfrac{SA'}{SA}\cdot\dfrac{SB'}{SB}\cdot\dfrac{SC'}{SC}。

进阶柏拉图立体与欧拉公式

定义: 柏拉图立体(正多面体)

柏拉图立体是这样一种凸多面体:所有面都是全等的正多边形,且每个顶点处相交的面数相同。恰好存在五种这样的立体:正四面体、正方体、正八面体、正十二面体和正二十面体。对任意凸多面体,顶点数 VV、棱数 EE 和面数 FF 都满足欧拉公式 V−E+F=2V - E + F = 2。

交互式3D正十二面体;拖动可旋转,使用滑块可分开其五边形面。
正十二面体是五种柏拉图立体之一:有12个全等的正五边形面、20个顶点和30条棱,满足欧拉公式 V−E+F=2V - E + F = 2,因为 20−30+12=220 - 30 + 12 = 2。
五种柏拉图立体
立体面数/顶点数/棱数
正四面体4 / 4 / 6
正方体6 / 8 / 12
正八面体8 / 6 / 12
正十二面体12 / 20 / 30
正二十面体20 / 12 / 30

进阶实际应用与典型例题

考古学家利用 V=13BhV = \frac{1}{3}Bh 估算古代金字塔所用石料的体积(从而估计所需的劳动量);建筑师用棱锥与棱柱公式来核算斜屋顶或漏斗形容器所需的混凝土体积;而3D打印和建筑模型工作室则利用体积比定理来预测尖顶结构缩小复制品所需的树脂或材料用量。

例题: 估算一座大金字塔的石料体积

一座方形底面的石制金字塔,底边长约为 230230 米,原始高度约为 146146 米。估算它的体积(立方米)。

解答

底面是边长为 230230 米的正方形,因此其面积为 B=2302=52900B = 230^2 = 52900 m2\text{m}^2。

将此底面积与高度 146146 米代入棱锥体积定理:V=13×52900×146≈2,575,333V = \frac{1}{3} \times 52900 \times 146 \approx 2{,}575{,}333 m3\text{m}^3。上面通过分割和卡瓦列里原理证明的这一个公式,免去了把立体切成无穷多薄层的麻烦。

例题: 缩小建筑模型所需的树脂用量

某3D打印工作室已经算出实物大小的四面体屋顶结构 S.ABCS.ABC 的体积为 VS.ABC=2,700V_{S.ABC} = 2{,}700 cm3\text{cm}^3。为制作展示模型,从顶点 SS 出发的每条棱都按相同比例 k=13k = \frac{1}{3} 缩小到 SA,SB,SCSA, SB, SC 上的点 A′,B′,C′A', B', C'。缩小后的模型 S.A′B′C′S.A'B'C' 需要多少树脂(cm3\text{cm}^3)?

解答

由体积比定理,由于三个比值 SA′SA,SB′SB,SC′SC\frac{SA'}{SA}, \frac{SB'}{SB}, \frac{SC'}{SC} 都等于同一个缩放系数 k=13k = \frac{1}{3},体积比就是该系数的立方:VS.A′B′C′VS.ABC=k3=127\frac{V_{S.A'B'C'}}{V_{S.ABC}} = k^3 = \frac{1}{27}。

将其应用于已知体积 VS.ABC=2,700V_{S.ABC} = 2{,}700 cm3\text{cm}^3,得所需树脂为 VS.A′B′C′=2,70027=100V_{S.A'B'C'} = \frac{2{,}700}{27} = 100 cm3\text{cm}^3——由于体积按线性缩放系数的立方变化,这是缩小27倍,而不仅仅是3倍。

底面积为 BB、高为 hh 的棱锥,其体积公式是哪一个?

一座埃及式正方形底面金字塔,底边230米,高146米。它的体积(立方米)最接近下列哪个值?

一个正十二面体有20个顶点和30条棱。根据欧拉公式 V−E+F=2V - E + F = 2,它有多少个面?

一家铸造厂将一个三棱锥形状的实物大小奖杯按比例缩小铸造迷你版,使从顶点出发的每条棱长都变为原来的四分之一。与实物大小的奖杯相比,每个迷你版需要多少金属?

参考文献

  1. Euclid; trans. T. L. Heath (1908). Euclid's Elements, Book XII (method of exhaustion; pyramid and prism volumes)
  2. Weisstein, Eric W. (2024). Platonic solid