挂谷问题 · Kakeya Needle Problem

最初，数学家们猜测答案是一个确定的最小值。挂谷本人猜测最小的区域是 三尖内摆线（deltoid，挂谷曲边三角形）， 其面积为 π/8 ≈ 0.393（单位针长），仅为圆盘面积的一半。

这个猜想非常合理：deltoid 的构造极其精巧——针沿着三条内凹的弧滑动， 每一刻都恰好与两条边相切，没有一点多余的空间。

在 1920 年代前期，几乎所有人都相信这就是最优解。 然而，俄罗斯数学家 贝西科维奇（Abram Besicovitch） 早在 1919 年研究另一个问题时，就已经无意中锻造了一件颠覆性的工具……

→ 下一章：颠覆认知的构造

1928 年，Besicovitch 将他的构造应用到挂谷问题上，证明了一个令人难以置信的结论：

核心思想是利用 "Perron 树" 结构： 将一个大三角形分割成大量细长的小三角形，然后将它们平移重叠。 针可以在细三角形之间"之"字形穿行——滑动、旋转、换轨——完成角度的改变。

不同细三角形的面积高度重叠，因此总面积可以做到任意小。 虽然区域会变得极其"破碎"和复杂，但数学上它确实是一个连通的区域。

→ 下一章：从问题到猜想

挂谷问题本身已经解决（答案：面积可以任意小），但它引出了更深刻的数学问题—— 挂谷集（Kakeya set）的研究。

Besicovitch 构造说明在平面上存在勒贝格测度为 0的挂谷集。 但是这样的集合必须有多"大"呢？这就引出了著名的——

换句话说：尽管挂谷集的测度可以为零，它仍然必须是"满维"的—— 它在某种分形尺度的意义上充满了整个空间。

→ 下一章：现代进展

挂谷猜想是调和分析、几何测度论和组合数学交叉领域的核心问题之一：

• ✓ 二维：已被证明（Roy Davies, 1971）——平面挂谷集的维数必为 2。
• ? 三维及以上：仍是开放问题。目前已知下界不断被推进。
• ✓ 有限域版本：Ze'ev Dvir 在 2008 年用惊人简洁的"多项式方法"证明。

挂谷问题的影响远远超出了几何本身。它与傅里叶分析中的 限制猜想、色散偏微分方程、 甚至理论计算机科学中的随机数生成和压缩感知都有深刻联系。