挂谷针问题（上）——如何把"扫过的面积"压缩到趋近于零？

转一根针，能有多难？

在平面上转一根针扫过所有方向，扫过的面积最小能有多小？

大多数人会脱口而出：一个圆盘，直径等于针长——毕竟针转到每个角度都要"占用"那个方向的一段线段，合起来自然铺成一个圆。

然而这个直觉是错的。数学家证明，只要转法足够精巧，扫过的面积竟能被压到趋近于零。

这就是挂谷针问题：日本数学家挂谷宗一在 1917 年提出了它，1928 年别西科维奇（Besicovitch）给出了答案 ^[1]——不存在大于零的下限。如果不要求针连续转动，面积甚至可以恰好为零，但那是另一个版本的故事，本文只讨论连续转动的情况。

下面我们就来看看：一根针扫过的面积，到底能不能被压到任意小？

换个转法，面积一路"缩水"

要看清这个"悖论"，我们来看几个真实的方案——一个比一个巧妙，面积也一个比一个小。为方便比较，下面统一把针长设为 个单位。

一个直觉的起点：圆盘。 下面的动画里，点 是旋转中心，可在针上拖动。试着拖动 ，让针原地旋转 ：只要 偏离中点，针的两段各自扫出的半圆大小就不相等，两者相加的面积也更大；只有 恰好落在中点时，两个半圆才拼成一个完整的圆，扫过的面积才降到最小。这正是上一节提到的那个直觉答案：直径为 的圆盘，面积 。

动画 1：圆盘方案——把旋转中心 拖到针的中点时，蓝色上半圆与红色端下半圆正好拼成一个整圆，这个圆正是针绕中点旋转所扫过的圆盘边界

圆盘来自针绕中点原地旋转，但原地旋转远不是唯一的转法。一旦允许针移动，扫过的面积还能继续缩水。

第一次突破：凸集的下界。 一种自然的移动方式是：把针钉在一点，转过一段角度，再把钉子挪到下一个位置接着转——针不必老老实实占满一整块扇形，也能扫过所有方向。取一个等边三角形，令针长等于三角形的高，针恰好不会探出三角形；把针的一端钉在顶角，另一端从一条边扫到另一条边，正好转过 。针不分头尾，这 的摆动覆盖了向上、向下各 ，合计 ；三个顶角各做一次，合起来正好覆盖全部 的方向。扫过的面积就是这个三角形本身：，比圆盘的 更小。这个三角形恰好是一个凸集（集合内任意两点的连线仍留在集合内部，月牙形这类内凹图形则不是），可以证明，它是所有凸集方案里能达到的最小面积。

动画 2：针依次钉在三角形的三个顶点上，各转过 ，转完一段就滑到下一个顶点接着转

三角形的做法是把针"钉住转一截、挪个地方接着转"，一共挪了三次。如果把这个挪动做得更密集、更连续——针一边转、支点一边不停地移动，不再固定在顶点上——边界又会变成什么样？

再进一步：向内凹。 让针的支点沿着一个小圆连续移动，同时针本身以两倍的角速度旋转：三角形的直边就这样被"磨"成了一条内凹的曲线，扫过的面积进一步压缩到 ——恰好是圆盘面积的一半。

三个递进的共同思路：针的支点从不动，到断续挪动，再到连续挪动，面积也跟着从 降到 ，再到 。挂谷宗一本人也一度认为，三角内摆线已经是能压缩到的最小面积。 ^[1]

拖动下面的滑块，看着扫过的边界从圆盘一路"内凹"成三角内摆线（deltoid）：

动画 3：针持续扫动，滑块控制边界形状——滑到最左端时是圆盘，滑到最右端时正是三角内摆线（deltoid）

不过，这三个方案再怎么巧妙，扫过的仍是一整块"实心"图形，面积止步于三角内摆线，远未触及"趋近于零"。真正的突破需要换一种思路——不换形状，而是把图形切碎、重叠。

把三角形切碎重叠，面积能被"压"成零

1928 年，别西科维奇（Besicovitch）给出了终极方案。他的操作对象，就是前面那个覆盖 方向范围的三角形。这套"切—移—叠"的递归操作在数学界被称为佩龙树（Perron tree）构造 ^{[1] [2]}，核心动作只有两个：

1. 切一刀：把三角形沿垂直平分线切成两半。
2. 拼一次：把两半相向平移，尽量重叠，拼成一个"蝴蝶结"。平移只挪位置、不改方向——方向一个不丢，面积却变小了。

拖动下面的滑块，看两个子三角形怎么"拼一次"：

动画 4：把滑块从最左端拖到最右端，两个子三角形从紧挨着，逐渐平移到底边完全重叠

把这套动作递归地用到每一个更小的三角形上：每深入一层，三角形数量翻倍，重叠也随之加深。切、拼每一步都只是平移（刚体移动，不转动、不拉伸），所以无论切得多碎、挪得多远，所有碎片拼在一起依然覆盖原来那个 范围内的每一个方向。

那么，效果如何？点击播放键从第 0 阶逐阶推进到第 3 阶，再用下方三个滑块分别控制第 1、2、3 阶的重叠程度：

动画 5：从第 0 阶到第 3 阶，三角形数量从 1 变成 8 个，重叠越叠越深

每推进一阶，就多做一次"切一刀、拼一次"，图形占用的空间随之持续收缩——这正是佩龙树递归的核心机制：三角形数量随层数翻倍，重叠越来越密，示意面积随之下降。真正的佩龙树允许把层数一路推向无穷。

别西科维奇和佩龙证明：只要递归层数足够多，图形面积就能被压缩到任意小——无论事先定下多小的目标，总存在某一层数，让重叠后的面积比目标还小 ^[1]。

但面积压缩到这个程度后，新的问题又出现了：这些窄条虽然彼此重叠，但顶点被挪到了不同位置，各自构成独立的"分支"——针要在每个分支上转动，才能扫过对应的那部分方向。转完一个分支后，如何衔接到下一个，才能不留死角地转完这原本连续的 ？答案是一种被称为鲍尔平移（Pál join） ^[2]的技巧：两个分支之间其实是两条互相平行的轨道，针沿轨道滑到顶端后，只需转过一个很小的角度，就能对准另一条轨道，再顺势滑下去继续转动。转角越小，额外扫过的面积就越小——这正是佩龙树能把面积压到接近于零、又不丢任何方向的关键。下面这个动画演示了它的完整过程：

动画 6：针靠一次小角度的转动，从一个分支的轨道跨到另一个分支的轨道

把这套"转一段、跳一步"的衔接技巧，依次用到递归压缩三层后的完整 8 阶佩龙树上：针就这样一路穿过全部 8 个分支，转满 ：

动画 7：针依次转过 8 个分支，每转完一段就靠小角度跳到下一条轨道，全程转满

一个顶点只贡献 ，离 还差一步。把整棵佩龙树连同轨道系统绕中心复制三份，分别转过 ，首尾相接正好补满 。面积只会膨胀到原来的三倍，而任意小的数乘以三仍然可以任意小，所以不影响结论。

拖动下方的滑块可以切换佩龙树的阶数（3~5 阶）；播放动画，即可看到三份分别转至 、首尾相接补满 的过程：

动画 8：三份佩龙树分别旋转至 、首尾相接，补满 ，指遍针的所有方向；上方滑块可切换 3~5 阶的大小

至此，三份旋转拼接的图形既指遍了所有方向，总面积又能被压缩到任意小——可以做到比任何预先指定的正数还要小，无限逼近于零。

你可能会想：这听起来像是一个纯粹的几何魔术——一个数学家们自娱自乐的思维游戏。它和我们有什么关系？答案藏在调和分析里。任何一段信号（声音、图像、无线电波……）都可以拆解成一堆不同"方向"的频率分量叠加而成，就像挂谷针指向不同方向一样。限制性猜想（restriction conjecture）问的正是：如果只截取信号在某个特定方向（或某条曲面）上的那部分频率信息，还能不能把原始信号足够精确地拼回来？挂谷集告诉我们，方向信息竟然可以被"压缩"进一个体积趋近于零的图形里而不丢失——这意味着，哪怕只截取极小一部分方向的信息，理论上仍有可能恢复出完整信号。这正是压缩感知（用远少于传统标准所需的采样点重建信号）、图像去噪、雷达与5G通信中波束成形算法背后的数学基石：挂谷猜想给出的精确边界，决定了这些技术"最少需要多少信息才能不失真"的理论极限 ^[1]。

但一个更深刻的问题随之而来：面积可以趋近于零，那这个"几乎没有面积"的图形，它的维度是多少？是像一条线那样只有一维，还是仍然填满了二维空间？这个问题的答案，将带我们走向一把全新的尺子——维度，而量出的结果将是这个故事迄今为止最大的一次反转。这一部分，留到下篇《挂谷猜想——从零面积到菲尔茨奖》再揭晓 ^[2]。

参考文献