日本数学家挂谷宗一（Sōichi Kakeya）在 1917 年提出了著名的「挂谷针问题」：
最直观的做法是让针绕自己的中点旋转，这样它扫出一个直径为 1 的圆盘，面积为 π/4 ≈ 0.785。
但这并不是最优的。若让针在一个高为 1 的等边三角形内部灵活地「转角 + 平移」， 扫过的面积可减小到 1/√3 ≈ 0.577。挂谷本人猜测这可能就是凸区域中的最优解（这一点后来被 Pál 证实： 在凸区域限制下等边三角形确实最优）。
细心的读者可能会问：上面的针只旋转了 180°，为什么就算「转完一圈」了？ 关键在于：针是一条线段，没有头尾之分——指向 30° 和指向 210° 的针，占据的是同一条方向线。 所以针的全部可能方向只有 0° ~ 180°：转完 180° 时，针恰好回到原来的直线上、两端互换（这正是「掉头」）， 所有方向已经一个不落地历经了一遍。
而且 360° 也不会带来新要求：若针能在某个区域内完成 180° 掉头，那么在同一区域里把动作重复一遍， 就完成了 360°，扫过的区域一点也不会变大。因此「180° 最小面积」与「360° 最小面积」是同一个问题， 后文挂谷集的定义也因此只要求覆盖 0° ~ 180° 的每个方向。
如果允许区域是非凸的，还能更小！在三尖内摆线（deltoid，小圆在大圆内滚动形成的三角星形曲线）内部， 一根单位长的针可以完成完美的连续掉头。它的面积只有 π/8 ≈ 0.393——恰好是圆盘方案的一半。
下面的动画展示了这一优美的运动：针的两端始终在曲线上滑动，针身始终与曲线内切，整个过程中针连续旋转了 180°。
人们曾以为 π/8 就是极限。然而 1928 年，苏联/英国数学家 A. S. Besicovitch 借助他 1919 年的一项构造（经 Pál 转译到针问题）证明了一个颠覆直觉的结论：
其核心武器是所谓的 Perron 树构造：把一个三角形沿底边切成许多细长的小三角形， 然后平移这些小三角形使它们大量重叠。平移不改变每个小三角形所包含的方向， 因此重叠后的图形仍然「包含所有方向的单位线段」，但总面积却大大缩小。反复迭代此过程，面积可压缩到任意接近 0。
由此引出核心定义：平面（或 n 维空间）中一个集合 K，若它在每个方向上都包含一条单位长线段， 就称为挂谷集（Kakeya set / Besicovitch set）。Besicovitch 的构造表明：
（若不要求针「连续转动」，只要求集合含所有方向的线段，则测度可以恰好为零。）
乍一看，Besicovitch 已经给出了「终极答案」：面积可以压到零，似乎再没什么可问的了。 但仔细想想，这个答案反而让人更困惑——一个面积为零的集合，居然装得下每一个方向的完整线段？ 它到底是「几乎什么都没有」，还是「以某种隐蔽的方式塞满了整个平面」？
问题的关键在于：「面积为零」并不等于「什么都没有」。举几个熟悉的例子——
🧵 一根细线的面积是零，但它确实存在，是一个「一维」的东西；
📄 一张纸的体积是零（假设厚度为零），但它是一个实实在在的「二维」平面；
✨ 数学中还有介于两者之间的分形（如谢尔宾斯基三角形），维数可以是 1.58 这样的分数。
也就是说，「面积/体积」这把尺子太粗糙了：它把细线、纸片、分形统统量成「零」，分不出它们之间巨大的差别。 要继续追问挂谷集「到底有多大」，数学家换了一把更精细的尺子——维数。 于是，针问题在这里完成了一次华丽的转身：面积的故事结束了，维数的故事才刚刚开始。这正是「挂谷猜想」的由来。
沿着上一节的思路：既然面积量不出挂谷集的大小，我们改用分形维数来衡量—— 它刻画的是一个集合「占据空间的充实程度」。直线是 1 维，正方形是 2 维， 而康托集、谢尔宾斯基三角形等分形具有非整数维数（数学上常用的精确定义是 Hausdorff 维数和 Minkowski（盒计数）维数，可以粗略理解为： 用越来越小的方格去覆盖这个集合，所需方格数量的增长速度）。
现在回看 Besicovitch 的那些「零面积挂谷集」：它们虽然瘦得没有面积， 却要在每一个方向上藏进一条完整的线段——方向有无穷多个，这些线段横七竖八地铺开， 直觉告诉我们：这样的集合再瘦，也应该「骨架完整」，在维数上仍然占满整个空间。 把这个直觉写成严格的数学命题，就是挂谷猜想：
也就是说：你可以把面积压缩到零，但不可能把维数压下去——挂谷集在维数意义下必须是「满」的。
在刘慈欣《三体·死神永生》中，歌者文明向太阳系抛出「二向箔」，把三维世界跌落成一幅无限薄的二维画——这是科幻中最著名的「降维打击」。 而挂谷猜想的百年故事，恰好可以读成一场数学世界的降维攻防战：
Besicovitch 像是「半个二向箔」——他证明挂谷集的体积可以被榨到零，看上去降维打击得手了； 而挂谷猜想则宣布「降维到此为止」——只要集合仍包含所有方向的线段，它的维数就一丝一毫都压不下去。 2025 年王虹与 Zahl 证明三维情形后，科普圈便流传开了那句话：「数学证明：三维空间中不存在二向箔」。
改变的是空间本身的几何结构：维度从 3 真的变成 2，三维物体连同空间一起被毁灭。这是文学想象，无需遵守定理。
讨论的是固定空间中某类点集：测度（体积）可以压到零，但只要包含所有方向的线段，Hausdorff 维数必须保持满维。
所以这个类比是意象上的而非严格对应，但它准确传达了挂谷猜想最反直觉的精髓： 「体积」和「维数」是两把完全不同的尺子——前者可以被骗过，后者不能。 再加上一层巧合：王虹是中国数学家，《三体》是中国科幻——「中国数学家亲手拆掉了中国科幻里最可怕的武器」，这个故事天然适合传播。
挂谷猜想远不止是一个好玩的几何谜题，它位于现代分析学一座「猜想金字塔」的底层——许多重大猜想都蕴含挂谷猜想， 因此想证明它们，必须先跨过挂谷这一关：
研究傅里叶变换能否有意义地「限制」在球面等曲面上。限制性猜想成立 ⇒ 挂谷猜想成立。这是调和分析的中心问题。
关于多维傅里叶级数/积分的收敛性求和方法的猜想，同样蕴含挂谷猜想，与偏微分方程的解的性质密切相关。
Bourgain、Katz、Tao 发现挂谷问题与「和集–积集」等加法组合问题深刻相关，催生了如今蓬勃发展的算术组合学工具。
波沿直线（光线）传播；挂谷集刻画了「光线能被压缩到多小的空间里」，直接影响波动/薛定谔方程解的估计（局部光滑性猜想）。
正如陶哲轩（Terence Tao）所言，挂谷猜想是理解「直线族如何在空间中重叠」的最基本问题—— 而直线（光线、特征线、投影方向）几乎出现在分析学的每一个角落。王虹与 Zahl 的三维证明， 被普遍认为为限制性猜想等更高的目标打开了大门。
一根针掉个头，扫过的面积可以任意小（Besicovitch, 1928），
但它留下的痕迹在维数上必须是「满」的——这就是挂谷猜想。
平面情形 1971 年解决，三维情形 2025 年由王虹与 Zahl 攻克，四维及以上仍在等待下一位挑战者。