MathLabs
公式已证明

球的体积与表面积公式(阿基米德)

命题陈述

半径为 rr 的球的体积为 V=43πr3V = \dfrac{4}{3}\pi r^3,表面积为 A=4πr2A = 4\pi r^2;二者都等于底面半径为 rr、高为 2r2r 的外切直圆柱的体积 2πr32\pi r^3 与全表面积 6πr26\pi r^2 的 23\dfrac{2}{3}。

为什么成立?

用距离底面高度为 zz 的水平面,去截半径为 rr 的半球,以及一个底面半径为 rr、高为 rr 且内部挖去一个底面半径为 rr、高为 rr 的倒置圆锥的直圆柱。由勾股定理可知,半球的圆盘截面半径为 r2−z2\sqrt{r^2 - z^2},面积为 π(r2−z2)\pi(r^2 - z^2),与挖空圆柱的圆环截面面积 πr2−πz2\pi r^2 - \pi z^2 完全相同。既然每个水平截面的面积都相等,半球的体积就是 πr3−13πr3=23πr3\pi r^3 - \dfrac{1}{3}\pi r^3 = \dfrac{2}{3}\pi r^3,从而整个球的体积为 V=43πr3V = \dfrac{4}{3}\pi r^3。

证明思路

在高度 z∈[−r,r]z \in [-r, r] 处,垂直于轴的平面截半径为 rr 的球所得截面是半径为 r2−z2\sqrt{r^2 - z^2}、面积为 S(z)=π(r2−z2)S(z) = \pi(r^2 - z^2) 的圆盘。根据卡瓦列里原理将该截面与从底面半径为 rr、高为 2r2r 的圆柱中挖去两个底面半径为 rr、高为 rr 的圆锥所得立体相比较(或直接计算积分 ∫−rrπ(r2−z2) dz\int_{-r}^{r} \pi(r^2 - z^2)\,dz),可得 V=2πr3−2⋅13πr3=43πr3V = 2\pi r^3 - 2\cdot\dfrac{1}{3}\pi r^3 = \dfrac{4}{3}\pi r^3。再将球体分割成许多高为 rr、底面铺满面积为 AA 的球面的细棱锥,可得 V=13ArV = \dfrac{1}{3}Ar,故 A=3Vr=4πr2A = \dfrac{3V}{r} = 4\pi r^2。

提出者

证明者

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Archimedes (translated by Thomas L. Heath) (1897). The Works of Archimedes (On the Sphere and Cylinder, Book I, Propositions 33–34)
  2. Reviel Netz, William Noel (2007). The Archimedes Codex