几何探索 · 挂谷针 / 零面积 / 佩龙树 / STEAM

一根针可以藏进多小的区域？——挂谷定理的七步探索

【挂谷问题：一根木棒能藏进多小的地方？】 想象你躲在一个很狭小的房间里，手中拿着一根长度为 $L$ 的木棒。 飞箭可能从任何方向射来，你都要把木棒摆到相应的方向，用它挡住飞箭。 那么，为了让木棒能够指向所有方向，这个房间至少需要多大？ 图：一根长度为 $L$ 的木棒需要面对来自不同方向的“飞箭”，这就是挂谷问题的直观背景。 直觉上，木棒转动需要很大的空间。但挂谷问题告诉我们：如果不要求木棒在房间里连续转动， 只要求对于每一个方向，房间中都能放下一根长度为 $L$ 的木棒， 那么可以把不同方向的木棒安排在高度重叠的位置，使所需区域的面积越来越小。 更令人惊讶的是，数学家能够构造出一个面积等于 $0$ 的集合， 但这个集合中仍然包含指向每一个方向的、长度为 $L$ 的线段。 换句话说： 木棒的方向可以无穷丰富，它们占据的平面面积却可以等于 $0$。

说明：本页只研究“每个方向都存在一根针”的零面积结论。这里不额外要求同一根针必须在集合中连续转动；线段没有箭头，因此方向 $\theta$ 与 $\theta+\pi$ 视为同一方向，只需覆盖 $0^\circ$ 到 $180^\circ$。

半圆 → 中点圆盘 → 定宽图形 → 凸三角形 → 凹形压缩 → 三尖内摆线 → 佩龙树 → 面积 $0$

1. 🔵 方法一：绕一个端点旋转半圈

固定针的一个端点，让另一个端点绕它旋转半圈，即转过 $180^\circ$。由于线段没有箭头，半圈已经遍历全部无向方向；针扫过的是半径为 $L$ 的半圆。

S_1=\frac{1}{2}\pi L^2.

面积较大，但已经覆盖全部无向方向。

把旋转中心移到针的中点。针的两个端点都在半径为 $L/2$ 的圆周上运动，扫过的区域缩小为半径 $L/2$ 的圆盘。

S_2=\pi\left(\frac{L}{2}\right)^2=\frac{\pi}{4}L^2.

面积缩小到方法一的 $1/2$。

圆盘并不是唯一能容纳所有方向线段的凸图形。宽度恒为 $L$ 的勒洛三角形也能在不同方向上容纳长度为 $L$ 的线段，并把面积继续压缩。

S_3=\frac{\pi-\sqrt3}{2}L^2.

它展示了第一个关键思想：保留所有方向，不一定要保留圆形对称性。

进一步限制在凸图形中，可以采用高为 $L$ 的等边三角形。针分别绕三个顶点完成三个方向区间的转动，从而覆盖全部无向方向。

三角形的高： $h=L$ 三角形的边长： $a=\dfrac{2L}{\sqrt3}$ 面积： $$S_4=\frac12ah=\frac{L^2}{\sqrt3}.$$

这一步说明：在凸集范围内，三角形比前面的圆盘和勒洛三角形更节省面积。

若不再要求区域是凸的，就可以把针在不同方向上的位置分散到不同“凹槽”中。凹进去的部分不影响某些方向的线段，却可以删除原来没有必要保留的面积。

重要转折：寻找最小面积时，“允许凹陷”比单纯改变边界曲线更有力量。

三尖内摆线又称三尖瓣线。长度为 $L$ 的针可以在其中不断改变接触点，从而遍历所有方向。它的面积只有中点旋转圆盘的一半。

S_6=\frac{\pi}{8}L^2.

不过，$\pi L^2/8$ 仍然是一个正数。要真正走向面积 $0$，还需要让许多方向对应的细三角形发生大规模重叠。

佩龙树把一个三角形沿底边分成 $2^m$ 个细长小三角形，再按二叉树结构逐层平移。平移不会改变小三角形侧边的方向，却能让不同小三角形大量重叠。

设细三角形为 $T_1,T_2,\ldots,T_{2^m}$。每个 $T_i$ 负责一个很小的方向区间；所有小三角形合起来，仍覆盖原三角形两侧之间的全部方向。平移只改变位置，不改变方向。

先让相邻两个小三角形合并，再让相邻的两个“小树”合并，继续进行 $m$ 轮。方向数量不减少，但同一位置上叠加的三角形越来越多，于是并集面积不断缩小。

为了突出面积趋零的机制，采用每一轮统一比例 $\beta_m=1/\sqrt m$ 的简化模型。若原三角形面积为 $S_T$，则

S_m= \left[ 2\beta_m^2\sum_{j=0}^{m-1}(1-\beta_m)^{2j} +(1-\beta_m)^{2m} \right]S_T. $$ 利用等比数列求和， $$ S_m= \left[ \frac{2\beta_m}{2-\beta_m}\left(1-(1-\beta_m)^{2m}\right) +(1-\beta_m)^{2m} \right]S_T.

代入 $\beta_m=1/\sqrt m$：

\left(1-\frac1{\sqrt m}\right)^{2m} =o\!\left(\frac1{\sqrt m}\right), $$ 而 $$ \frac{2/\sqrt m}{2-1/\sqrt m} \sim\frac1{\sqrt m}. $$ 因此 $$ \boxed{S_m\sim\frac{S_T}{\sqrt m}\longrightarrow0.}

这说明：分割层数越多，佩龙树的面积越小，并且可以小于任意给定的正数。

对任意 $\varepsilon>0$，选择足够大的 $m$，就能使佩龙树满足

S_m<\varepsilon.

再通过逐层嵌套与极限构造，可以得到一个集合 $K$：它仍然包含每个方向的一条长度为 $L$ 的线段，但其勒贝格面积满足

\boxed{|K|=0.}

        核心思想：

        面积趋于 $0$ 并不是因为针变短了，也不是因为某些方向被删掉了，而是因为不同方向的线段被安排在高度重叠的位置中。

        方向可以无限丰富，面积却可以等于零。