MathLabs

12 年级

球面、圆柱面、圆锥面

高三的三种旋转曲面:一条直线或一段弧绕轴旋转,分别扫出圆柱面、圆锥面、球面,它们的面积和体积公式从何而来。

直观从多面体到旋转体

正方体或棱锥由平面围成。把一条直线或一段弧绕轴旋转,扫出的曲面处处是弯曲的:这就是旋转曲面。最简单的三种——圆柱面、圆锥面、球面——初中就见过它们的形状;这里我们用精确的旋转规则重新构造它们,并推导公式,而不是死记。

一个三维场景:一条直的母线绕竖直轴旋转;转到270°时,扫出的带状面已经很像圆柱面的大部分,留有的缺口说明这个曲面是靠旋转生成的,而不是一开始就存在。
母线绕轴扫过270°

中学三种旋转曲面

定义: 圆柱面

设 Δ\Delta 为一条直线(轴)。设 ℓ\ell 为一条与 Δ\Delta 平行、距离为 rr 的直线。把 ℓ\ell 绕 Δ\Delta 旋转,扫出半径为 rr 的圆柱面。用两个垂直于 Δ\Delta、相距 hh 的平面去截,就截出半径 rr、高 hh 的圆柱。

定义: 圆锥面

设 OO 为一点。设 Δ\Delta 为过 OO 的一条直线(轴)。设 ℓ\ell 为过 OO 、与 Δ\Delta 成定角 α\alpha 的一条直线。把 ℓ\ell 绕 Δ\Delta 旋转,扫出顶点为 OO、半顶角为 α\alpha 的圆锥面。用垂直于 Δ\Delta、到 OO 距离为 hh 的平面去截,就截出顶点 OO、高 hh、底面半径 r=htan⁡αr = h\tan\alpha、母线 l=r2+h2l = \sqrt{r^2+h^2} 的圆锥。

定义: 球面

设 OO 为一点,rr 为一个正数。以 OO 为中心、rr 为半径的球面,是到 OO 距离为 rr 的点的集合——也是半径为 rr 的半圆绕其直径旋转一整圈扫出的曲面。球体是球面所围的实心区域 {M:OM≤r}\{M : OM \le r\};球面本身只是该区域的边界。

三种旋转体的表面积与体积
立体侧面积全面积体积
圆柱 (r, h)Sxq=2πrhS_{xq}=2\pi rhStp=2πr(r+h)S_{tp}=2\pi r(r+h)V=πr2hV=\pi r^2h
圆锥 (r, h, 母线 l)Sxq=πrlS_{xq}=\pi rlStp=πr(r+l)S_{tp}=\pi r(r+l)V=13πr2hV=\frac{1}{3}\pi r^2h
球 (r)—S=4πr2S=4\pi r^2V=43πr3V=\frac{4}{3}\pi r^3

半径为 rr 的球:体积 Vsphere=43πr3V_{\text{sphere}}=\frac{4}{3}\pi r^3,表面积 S=4πr2S=4\pi r^2。

为什么成立?

阿基米德把半径为 rr 的球,与恰好包住它的半径 rr、高 2r2r 的圆柱相比较:球恰好占圆柱体积的 23\frac{2}{3},于是 Vsphere=23⋅(2πr3)=43πr3V_{\text{sphere}}=\frac{2}{3}\cdot(2\pi r^3)=\frac{4}{3}\pi r^3。他认为这是自己最得意的成果,并希望墓碑上刻上这个圆柱套球的图形。

证明

应用到球上:把半径 rr 的半球,与半径 rr、高 rr 的圆柱挖去一个圆锥(顶点在底面中心,底面半径 rr)后的形体相比较。在高度 xx 处,半球的截面是面积为 π(r2−x2)\pi(r^2-x^2) 的圆盘;圆柱减圆锥的截面是面积为 πr2−πx2\pi r^2-\pi x^2 的圆环——两者相等。所以半球的体积等于圆柱减圆锥的体积:πr2⋅r−13πr2⋅r=23πr3\pi r^2\cdot r-\frac{1}{3}\pi r^2\cdot r=\frac{2}{3}\pi r^3。乘以2得 Vsphere=43πr3V_{\text{sphere}}=\frac{4}{3}\pi r^3,对 Vsphere(r)V_{\text{sphere}}(r) 关于 rr 求导得 S=4πr2S=4\pi r^2。

以参数曲面形式完整生成(t=1)的交互式三维球面;旋转它可以看到各个方向曲率相同,与球面上每点到球心距离都为r的事实一致。
半圆旋转而成的球面

例题: 圆锥、球、圆柱:比例 1 : 2 : 3

三者都取半径 rr、高 2r2r:一个圆锥(顶点朝上,底面半径 rr)、一个半径 rr 的球、一个圆柱(半径 rr、高 2r2r)。比较它们的体积。

解答

Vcone=13πr2(2r)=23πr3V_{\text{cone}}=\frac{1}{3}\pi r^2(2r)=\frac{2}{3}\pi r^3,Vsphere=43πr3V_{\text{sphere}}=\frac{4}{3}\pi r^3,Vcylinder=πr2(2r)=2πr3V_{\text{cylinder}}=\pi r^2(2r)=2\pi r^3。除以 23πr3\frac{2}{3}\pi r^3 得到比例 1:2:31 : 2 : 3——与 rr 无关。外接这个球的同一个圆柱,其侧面积为 2πr⋅2r=4πr22\pi r\cdot 2r=4\pi r^2,恰好等于球的表面积 S=4πr2S=4\pi r^2。

例题: 带半球形端盖的压力气罐的体积

一个圆柱形丙烷气罐,圆柱体筒身半径 r=0.30 mr = 0.30\text{ m},长度 L=1.20 mL = 1.20\text{ m},两端各有一个半径同为 rr 的半球形端盖。求气罐的总体积。

解答

第一步 — 识别各组成部分。 气罐由一个圆柱体(半径 rr,高 LL)加上两个半球形端盖组成,两个半球合为一个半径 rr 的完整球体。

第二步 — 计算各部分体积。 Vcylinder=πr2L=π(0.30)2(1.20)=0.108π m3V_{\text{cylinder}} = \pi r^2 L = \pi(0.30)^2(1.20) = 0.108\pi\text{ m}^3。Vsphere=43πr3=43π(0.30)3=0.036π m3V_{\text{sphere}} = \tfrac{4}{3}\pi r^3 = \tfrac{4}{3}\pi(0.30)^3 = 0.036\pi\text{ m}^3。

第三步 — 求各部分之和。 Vtotal=Vcylinder+Vsphere=(0.108+0.036)π=0.144π≈0.452 m3V_{\text{total}} = V_{\text{cylinder}} + V_{\text{sphere}} = (0.108 + 0.036)\pi = 0.144\pi \approx 0.452\text{ m}^3。这是"胶囊"形状的标准公式:V=πr2(L+43r)V = \pi r^2(L + \tfrac{4}{3}r)。

大学用积分证明体积公式

若两个等高的几何体在每一高度处的截面面积都相等,则这两个几何体的体积相等。

为什么成立?

体积是截面面积关于高度的积分 V=∫0hS(x) dxV=\int_0^h S(x)\,dx;若对每个 xx 都有 S1(x)=S2(x)S_1(x)=S_2(x),则两个积分相等。

证明

应用到球上:把半径 rr 的半球,与半径 rr、高 rr 的圆柱挖去一个圆锥(顶点在底面中心,底面半径 rr)后的形体相比较。在高度 xx 处,半球的截面是面积为 π(r2−x2)\pi(r^2-x^2) 的圆盘;圆柱减圆锥的截面是面积为 πr2−πx2\pi r^2-\pi x^2 的圆环——两者相等。所以半球的体积等于圆柱减圆锥的体积:πr2⋅r−13πr2⋅r=23πr3\pi r^2\cdot r-\frac{1}{3}\pi r^2\cdot r=\frac{2}{3}\pi r^3。

Vcylinder=πr2h,Vcone=13πr2h,Vsphere=43πr3V_{\text{cylinder}} = \pi r^2 h, \qquad V_{\text{cone}} = \tfrac{1}{3}\pi r^2 h, \qquad V_{\text{sphere}} = \tfrac{4}{3}\pi r^3
Vsphere=2∫0rπ(r2−x2)dx=2⋅23πr3=43πr3V_{\text{sphere}} = 2\int_0^r \pi\left(r^2-x^2\right)dx = 2\cdot\frac{2}{3}\pi r^3 = \frac{4}{3}\pi r^3

进阶球面之外:其他旋转二次曲面

球是圆的旋转面。把其他圆锥曲线绕轴旋转,可以得到更多二次曲面:椭圆得到旋转椭球面,抛物线得到旋转抛物面,双曲线绕其实轴旋转得到单叶旋转双曲面——它是双重直纹曲面(过曲面上每一点都有两族直线落在曲面上),常用于冷却塔和齿轮形状,因为它既弯曲又能用直梁搭建。与球面不同,它的曲率并不是常数:这正是本主题通向微分几何(见微分几何)的地方。

呈马鞍状弯曲的曲面,在中间收得最窄,向上下两端逐渐张开,由双曲线绕其轴旋转而成;与球面不同,曲面在腰部附近弯曲得比远处更急。
单叶双曲面

一个圆柱的半径为 rr、高为 hh。它的体积是哪一个?

以 OO 为心、rr 为半径的球面,最准确的描述是:

一个半径为 rr 的球恰好放入半径 rr、高 2r2r 的圆柱中(与顶、底、侧面都相切)。球占圆柱体积的比例是多少?

卡瓦列里原理之所以能证明球体积公式,是因为:

参考文献

  1. Archimedes, translated by T. L. Heath (2002). The Works of Archimedes