大家好，我是 Senko。 本文将解读“加百列号角（托里拆利小号）”悖论。
某个立体图形的表面积是无穷大，体积却是有限的。也就是说，用油漆涂满它的表面是不可能的，但往里面灌油漆把它灌满却是可能的——越想越让人脑袋打结的奇妙图形。
什么是加百列号角
用数学的话说，这个立体是把 y = 1/x 的图像（x ≥ 1 的部分）绕 x 轴旋转得到的旋转体。
想象一下它的形状，就像一支号角：入口处（x = 1 的位置）是一个圆形开口，往里越来越细，无限延伸。它无止境地变细，却永远不会完全闭合，一直绵延到无穷远处。
17 世纪的意大利数学家埃万杰利斯塔·托里拆利于 1641 年发现了这个立体，并揭示了它惊人的性质。托里拆利本人也被这个结果震惊，留下了“难以置信，却又无法否认”的文字。它的名字来自传说中天使加百列在最后审判之日吹响的号角。
从历史上看，这个发现早于牛顿和莱布尼茨对微积分的体系化，在关于无穷的数学讨论中激起了巨大波澜。当时的数学家们为“无限长的立体拥有有限的体积”这一事实该如何理解，展开了热烈争论。
体积是有限的
用积分计算这个立体的体积，结果出人意料——是 π（约 3.14）立方单位这样一个有限值。
无限长的立体，体积却有限。这违背直觉，但因为号角变细的速度非常快，远处部分贡献的体积迅速趋近于零。于是，即使无限累加，总和仍收敛于有限值。
这与阿喀琉斯与乌龟悖论中出现过的“无穷级数的收敛”是同一个原理。
表面积是无穷大
另一方面，计算它的表面积，结果却发散到无穷大。
号角的表面确实在不断变细，但表面积减小的速度没有体积那么快。因此无限累加下去无法收敛于有限值，而是一路增大。
油漆悖论
从这里引出了一个有趣的问题。
体积是 π，意味着往号角内部注入 π 立方单位的油漆，就能把内部完全灌满。
而表面积是无穷大，意味着想用油漆涂满号角的外表面，需要无穷多的油漆。
可是，既然内部已被油漆灌满，内侧表面应该已经全部接触到了油漆。内侧表面积同样是无穷大，却被有限量的油漆“涂”了一遍。
有限的油漆到底能不能涂无限的面积？怎么想都自相矛盾。
悖论的化解
其实，这个矛盾源于把“油漆”这个物理隐喻带进了数学。
数学上的“填满体积”和物理上的“用油漆涂刷”是不同的操作。体积和表面积是两个各自独立的积分，一个有限并不保证另一个也有限。
物理的油漆有厚度，而号角越往里越细，迟早会细过油漆分子。油漆进不到那更深处，所以物理上“用油漆灌满内部”本身就不可能。
也就是说，这个悖论产生于数学理想化与物理现实之间的错位。但“有限体积与无限表面积可以共存”这一数学事实本身，依然足够令人惊叹。
类似的图形
拥有与加百列号角相同性质的图形还有一些。“科赫雪花”是有限面积配无限周长的二维图形；“门格海绵”更极端，体积为 0，表面积却是无穷大的分形图形。
它们共同表明：不同维度的“大小”测量可以各自独立地行动。长度无限而面积有限、面积无限而体积有限——在无穷的数学里这些现象并不稀奇，有限与无限“跨维度”共存，在数学上反倒是自然的。
用数字核一核油漆的说法
“灌满内部的油漆是有限的，涂内壁的油漆却要无限多”这个说法好懂，另一面却有点招误解。
“涂”这个词指的是什么
数学上的表面积之所以成为无穷，是因为号角越往前越细，却无限地延续下去。变细的速度与长度的伸展相抵之下，体积收敛而表面积发散。
可现实的油漆是有厚度的。姑且设厚度为0.1毫米，那么号角的直径降到0.2毫米以下的那一刻起，就再也涂不进去了。
| 看法 | 表面积 | 所需的油漆 |
|---|---|---|
| 厚度为零的理想涂膜 | 无穷大 | 无限 |
| 有厚度的现实油漆 | 有限（到涂得进去为止） | 有限 |
| 往里灌液体 | 与它无关 | 有限（体积那么多） |
说到底，“灌得满却涂不了”这种说法，灌的那一边讲的是现实，涂的那一边讲的是厚度为零的数学理想，把两个层次混在了一起。
把条件对齐，矛盾就消失了：两边都按理想处理，表面积无穷，涂不了；两边都按现实处理，两样都是有限的。
具有同样性质的图形们
体积与表面积对不上的图形，不只加百列号角一个。
- 科赫雪花：面积有限，周长却无穷
- 谢尔宾斯基地毯：面积收敛到零，周长却无穷
- 门格海绵：体积收敛到零，表面积却无穷
它们都在以不同的形状表达同一个事实：维数不同的量可以各自独立地表现。
人的直觉总想着“大的东西哪儿都大”，可长度、面积与体积是彼此独立的。一边有限而另一边无穷的组合，在数学里并不稀奇。
它是在微积分之前被发现的
这个图形是1641年由意大利数学家埃万杰利斯塔·托里拆利发现的，比牛顿与莱布尼茨把微积分整理出来早了将近半个世纪。
托里拆利以发明气压计知名，作为数学家也留下了出色的工作。他把这个图形称作“锐双曲体”。
当时还没有积分的记法，证明用的是卡瓦列里的不可分量法——把图形看作无限薄之切片的集合来求体积，是现代积分的前身。
发表当时的冲击相当大，因为无限长的物体竟具有有限的体积这个结论，对那时的数学家与哲学家而言难以接受。
据传托马斯·霍布斯对这个结果强烈反弹，留下过大意为“与其相信这个，我宁可丢掉数学”的话。
围绕无穷之处理的分水岭
这个图形之所以要紧，是因为它被摆在了“把无穷带进计算是否可行”这场论争的中心。
- 反对派：处理无穷的计算本身就不可信，出了矛盾的结论就是证据
- 拥护派：只是结论违背直觉，计算并没有错，该修正的是直觉
结果拥护派赢了，处理无穷的手法被体系化成了微积分。出了违背直觉的结论时，是怀疑计算还是怀疑直觉——这个判断在这里定下了数学前进的方向。
相似的格局，在后来的非欧几何与无穷集合论里反复出现。不去排除古怪结论而是接受下来的那一方，结果都拿到了新的领域。
托里拆利的号角可以说是其中最早的例子之一。把它看作“‘因为别扭所以是错的’这句话开始不管用”的那一刻的图形，看它的眼光就会稍稍不同。
数学无穷类的相关悖论
以下是与加百列号角同样处于无限与有限交汇处的数学悖论。
结语
本文解读了“加百列号角”悖论。
有限与无限如此紧密共存的图形十分罕见，它鲜明地展示了数学中无穷的行为与日常直觉相距多远。
想返回悖论列表的读者请点击下方链接。
我们下一篇文章见。
📚 系列：世界经典悖论（19/81）
读者也常看这些
