几何学 on kenji.blog

能用油漆填满，却无法涂满表面？：加百列的号角

Thu, 10 Sep 2026 21:00:00 +0900

如果有一个“体积有限，表面积却无限大”的容器，会怎么样呢？直觉上似乎是不可能的，但在数学的世界里确实存在这样的立体。那就是被称为**“加百列的号角（Gabriel’s Horn）”，别名“托里切利小号”**的图形。

这个图形由意大利数学家埃万杰利斯塔·托里切利在1641年发现，给当时的数学家和哲学家们带来了巨大的冲击，引发了关于“无限”本质的激烈争论。

涂油漆的悖论

如果把这个图形所具有的性质，用日常的“油漆”来比喻的话，就会产生以下奇妙的悖论。

用油漆填满号角的情况：号角的体积是有限的（准确地说是 $\pi$），所以只需注入仅仅 $\pi$ 升（约3.14升）的油漆，就可以完全填满号角的内部。
用油漆涂满号角表面的情况：号角的表面积是无限大的。因此，如果想用刷子涂满号角内部（或外部）的表面，无论准备多少大量的油漆，也永远无法涂完。

“明明3.14升油漆就能填满内部，但涂满表面却需要无限的油漆” 这种违背直觉的情况，究竟为什么会发生呢？

graph TD A["加百列的号角"] --> B["计算体积 (积分)"] A --> C["计算表面积 (积分)"] B --> B1["体积 = π (有限)"] B1 --> B2["能用油漆填满内部"] C --> C1["表面积 = ∞ (无限大)"] C1 --> C2["无法用油漆涂满表面"] B2 --> D{"悖论！"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

数学证明：微积分的魔法

加百列的号角是由函数 $y = \frac{1}{x}$ （其中 $x \ge 1$）的图像绕 $x$ 轴旋转而成的。让我们使用微积分来计算这个立体的体积 $V$ 和表面积 $A$。

1. 体积的计算（有限的理由）

旋转体的体积 $V$ 可以通过对横截面积（半径为 $\frac{1}{x}$ 的圆）进行积分来求得。

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

计算这个定积分：

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

结果收敛于有限的值 $\pi$。

2. 表面积的计算（无限大的理由）

另一方面，表面积 $A$ 的计算如下。

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$

因为

$$ \frac{dy}{dx} = -\frac{1}{x^2} $$

，所以平方根里面的内容是 $1 + \frac{1}{x^4}$。这里，因为在所有的 $x \ge 1$ 处都有 $\sqrt{1 + \frac{1}{x^4}} > 1$，所以成立以下不等式。

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

自然对数 $\ln x$ 在 $x \to \infty$ 时发散到无限大。因此，比它还要大的表面积 $A$ 当然也会发散到无限大。

这个悖论的“揭秘”

即使在数学上被证明是正确的，在现实世界的直觉上可能也难以接受。 “如果能用油漆填满，那油漆既然接触到了内侧表面，不就等同于表面也被涂满了吗？”

这种直觉上的偏差，源于将数学概念与物理现实相混淆。

在数学的世界里，油漆的“厚度”可以无限变薄直至为零。加百列的号角越往前端越无限细长，但在数学概念中，油漆可以无限变薄，流入那极细前端的最深处，从而用有限的体积覆盖无限的表面积（不过，油漆膜的厚度越往前端就越接近于零）。

然而，在物理学的现实世界中，油漆是由原子和分子（具有有限大小的粒子）组成的。即使注入现实中的油漆，当号角的管径细于“油漆分子的直径”时，油漆就无法继续向深处推进了。也就是说，在物理上，既不可能将其前端填满，也不可能涂满无限的表面。

加百列的号角是一个美妙的例子，它告诉我们人类的直觉被“有限世界的规则”所束缚，与处理“无限”的微积分世界并不总是一致。

巴拿赫-塔斯基悖论：把一个球体切碎，能变成两个同样大小的球体？

Thu, 10 Sep 2026 02:00:00 +0900

1. 魔法般的定理：1 = 1 + 1 ?

假设你面前有一个纯金的球。你用刀将这个球切成几个部分，然后像拼图一样把这些部分重新组合起来。你不拉伸、不弯曲这些部分，也不添加任何新的黄金，只是单纯地移动并把它们拼接在一起。

然而，当你看着拼好的“拼图”时，会发现**“变成了两个和原来球体大小完全一样的纯金球”**。

你可能会想：“怎么可能！这违背了质量守恒定律，简直是炼金术士的妄想！” 在现实的物理世界中，这确实是绝对不可能的。但是，在纯粹的数学（几何学、集合论）世界中，这被证明是一个在逻辑上100%正确的定理。

这就是1924年由斯特凡·巴拿赫（Stefan Banach）和阿尔弗雷德·塔斯基（Alfred Tarski）两位数学家证明的**“巴拿赫-塔斯基悖论”**。

2. 准确理解悖论的主张

把巴拿赫和塔斯基证明的定理用数学上精确的语言表达如下：

巴拿赫-塔斯基定理 三维空间中的任意实心球体 $S$ 可以被分割成有限个碎片。然后，仅通过（旋转和平移）重新排列这些碎片，就可以组合出两个与原球体 $S$ 半径完全相同的实心球体。

更令人惊讶的是，应用这个定理，我们还可以得出以下结论：

把一粒豌豆分割成有限个碎片，然后重新组合，就可以变成一个和太阳一样大的球体。（别名：豌豆与太阳悖论）

为什么在数学上允许这种魔法般的事情发生呢？其中的秘密隐藏在**“无限”和“选择公理”**这两个关键词中。

3. “无限”的奇妙性质

理解这个悖论的第一步是了解“无限集合”的奇妙性质。

在我们平时接触的“有限”世界中，整体必然大于部分。例如，从1到10的数字（10个）中取出偶数（5个），数量就会减半。

但是，在“无限”的世界里，这个常识行不通。所有的“自然数”（1, 2, 3, 4, …）和所有的“偶数”（2, 4, 6, 8, …），哪一个更多呢？直觉上，由于偶数只有自然数的一半，感觉自然数会更多。然而，请尝试像下面这样将它们配对：

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

像这样，对于每一个自然数，必定能找到其两倍的偶数与之配对（一一对应），没有任何数字会多余。也就是说，在数学上，“自然数的数量（无限）”和“偶数的数量（无限）”是完全一样大的！

明明从整体（自然数）中取出了一半（偶数），大小却和原来一样没有改变。在无限集合中，**“部分等于整体”**的事情是可能发生的。巴拿赫-塔斯基定理可以说是将这种“无限的魔法”应用到三维空间中“点”的集合上的终极形式。

4. 空间中的点被切成“不可测”的状态

用菜刀切开现实中的物体（金子或苹果）时，切出的各个部分必然具有“体积”。但是，数学中的球体是由没有体积的**“无限个点的集合”**构成的。

巴拿赫和塔斯基用一种极其特殊且复杂的方法对这无限个点进行了分组（分割）。这种分割方式太过复杂和分散，以至于它们变成了一种“无法测量体积（不可测集合）”的状态。

只要把各个部分变成了“没有体积（无法测量）”的一团散乱的点的集合，就可以摆脱“各部分相加必须等于原体积”这一物理规则（测度的可加性）的束缚。然后，通过旋转并巧妙组合这些散乱的点的集合，借助“无限的魔法”，就能完成两个和原球体一样密布着点的球体。实际上，已经证明只要将原来的球仅仅分成 5个碎片，就可以实现这种“把一个球变成两个球”的操作。

5. 罪魁祸首：“选择公理”是什么？

那么，为什么在数学上可以进行“复杂到无法测量体积的分割”呢？这是因为我们承认了作为现代数学基础的**“选择公理（Axiom of Choice）”**这一规则。

简单来说，选择公理就是这样的规则：

选择公理的直观理解 当有许多个盒子里分别装着东西时，**“可以从每个盒子中各取出一个东西，组成一个新的套装（集合）”**的规则。

如果盒子的数量是有限的，任何人都能轻易做到。但是，如果盒子的数量是“无限个”，人类就不可能完成无限次“逐一挑选”的操作。即便如此，选择公理仍然承认“可以认为挑选出来组成的新集合是存在的”。

这个公理在构建现代数学体系时非常方便且不可或缺。大多数数学家都觉得“嗯，这是理所当然的”从而接受了这条规则。

然而，一旦承认了选择公理，就等同于承认了前面提到的“分散到无法测量体积的点的集合（不可测集合）”的存在。其结果就是，“一个球变成两个球”的巴拿赫-塔斯基定理，作为一种逻辑上的必然被推导了出来。

6. 总结：数学描绘的“超越直觉的世界”

巴拿赫-塔斯基悖论并不是“逻辑上存在矛盾”意义上的悖论（佯谬）。它是指逻辑上100%正确，但得出的结论却与人类的直觉和物理定律发生强烈冲突的悖论。

当这个定理被发表时，一些数学家主张：“既然能得出这么违背常理的结论，那么选择公理一定是错的！” 但到了今天，许多数学家都已经接受了选择公理，也把巴拿赫-塔斯基定理视为“三维空间和无限集合所拥有的一种奇妙而美丽的性质”接受了下来。

我们所居住的物理世界是由被称为原子的“有大小的颗粒（有限）”构成的，因此不可能把豌豆变成太阳那么大。但是，在人类大脑创造出的“数学”这块画布上，点的大小为零，且允许进行无限的操作。

巴拿赫-塔斯基悖论向我们展示了**“无限”这个概念是如何轻易地超越人类朴素直觉的**，它无疑是现代数学的最高杰作之一。