提到球体体积，很多人脑海里会立刻浮现出公式\(V=\dfrac{4}{3}\pi R^3\)。上学的时候，我们大多是直接记住这个结论，很少会去深究，这个完美的公式究竟是怎么得来的。
球体可以说是几何世界里十分特殊的存在。它没有棱角，没有平整的平面，外表光滑圆润。既不能像多面体那样拆解成长方体、棱柱来计算，也没办法把表面摊开展成平面图形。在所有立体几何图形当中，球体好看，却也是最难计算体积的一类。
不少人会理所当然地认为，球体体积的推导，必须要等到微积分诞生之后才能完成。但历史总会带给我们惊喜。早在两千多年前的古希腊，还没有微积分这套强大的数学工具，伟大的数学家阿基米德，就已经完整推导出球体的体积。这项成果，甚至比我们熟知的浮力定律更让他引以为傲。
说起阿基米德，大家都听过那个广为流传的故事。国王让他鉴定王冠是不是纯金打造，苦思无果的他在洗澡时，看见浴盆的水向外溢出，瞬间顿悟浮力原理。激动的他甚至忘记穿衣，光着身子冲出家门，在街上大喊：“我找到了！”
浮力定律让他名扬后世，可在阿基米德自己心中，推导球体体积，才是他一生数学研究的巅峰之作。
球体本身很难直接求解，硬算几乎行不通。阿基米德跳出直接计算的思维，想出一个极具智慧的办法：不直接钻研球体，找几个已经能够算出体积的几何体，拿来和球体做参照对比，通过间接的方式求出结果。
他选取了三个立体模型：一个圆柱体，一个球体，还有两个底面贴合对拼在一起的圆锥，拼合之后外形如同沙漏。这三个几何体有着严格的对应关系，球体的直径等于圆柱的底面直径，也等于圆锥的底面直径，三者的高度也全部保持一致。
整个证明最精妙的设想就此展开。我们想象手里有一把锋利的刀，在任意高度横向切下去，同时把圆柱、球体、沙漏状双圆锥全部切开。不同高度切出来的圆形横截面，会不会藏着固定不变的数学规律？
先来分析圆柱。圆柱的上下粗细完全一样，无论我们选择在哪一个高度下刀，切出来的横截面，永远是半径为 R 的圆，横截面积固定为\(\pi R^2\)，不会随着切割位置发生任何改变。
再看由两个圆锥拼成的沙漏形体。假设我们距离圆锥顶点高度为 d 的位置切割，圆锥的半径会和高度同步变化，高度多大，截面半径就多大，所以这一处截面半径等于 d，对应的截面面积就是\(\pi d^2\)。
最后轮到球体，我们先研究半球。在距离球心 d 的位置横向切割一刀，根据勾股定理，切面小圆的半径 r 满足关系式\(r^2+d^2=R^2\)。等式两边同时乘上 π，就得到\(\pi r^2+\pi d^2=\pi R^2\)。
这一条等式，就是阿基米德证明的核心密码。翻译成人话就是：圆柱的横截面积，等于半球的横截面积加上圆锥的横截面积。
最让人惊叹的是，这个关系不是某一个特殊位置才碰巧成立。从上到下，在几何体的任意高度做切割，截面面积的这个等式始终生效，没有例外。
阿基米德在此基础上做出了超前的构想：把立体图形，看作无数层薄到极致的切片一层一层堆叠而成。每一个高度对应的薄片，圆柱薄片的面积，永远等于圆锥薄片与半球薄片的面积之和。
当我们把所有高度的薄片全部累加在一起，面积之间的等量关系，就顺理成章转化成了体积之间的等量关系。 圆柱体积 = 双圆锥（沙漏）体积 + 球体体积
接下来代入已知的几何体体积公式进行运算。 圆柱体积：\(2\pi R^3\) 两个对底拼接圆锥的总体积：\(\dfrac{2}{3}\pi R^3\)
做简单的减法运算，球体体积就等于圆柱体积减去双圆锥体积： \(2\pi R^3-\dfrac{2}{3}\pi R^3=\dfrac{4}{3}\pi R^3\)
就这样，在两千多年以前，没有微积分，没有现代高等数学，阿基米德依靠切片对比的思想，凭借超凡的想象力，解开了球体体积这道难题。这种无限切片累加的思路，其实已经触摸到了微积分的内核，比牛顿、莱布尼茨的研究早了近两千年。
阿基米德对这项研究无比珍视。他留下遗言，希望自己去世之后，墓碑上面雕刻一个球体内嵌于圆柱的图案，用这样的方式，永久纪念这个属于他的伟大数学证明。
岁月流转，两千多年时光匆匆而过。如今我们随手就能写出球体体积公式，可回头重读这段古老的推导，依旧会被古人的智慧深深震撼。没有先进工具，依靠逻辑和想象，就叩开了立体几何的大门，这就是科学最迷人的地方。
热门跟贴