一根针的魔法 🪄
先用小朋友的话讲一遍这个百年数学谜题。准备好了吗？下面会变魔术！
小提示：点"重播"可以再看一遍；打开左上角的 👧 小朋友模式，后面每一节都会冒出"小朋友版"小贴士，帮你看懂大人写的数学。
转针趣题：一根针能转多大地方？
1917 年，日本数学家挂谷宗一提出一个看似轻松的问题：平面上，一根长度为 1 的针要旋转 180° 回到原位（只可平移与转动），扫过面积最小的区域是多大？
直觉告诉我们：让针绕中点转一圈，得到一个半径 0.5 的圆，面积 π/4 ≈ 0.785。但巧妙的滑动能让它更小。下面的动画里，你可以切换图形，看一根单位针如何优雅地"反转"——注意它始终没有离开图形。
1921 年，鲍尔（Pál）证明：若只允许凸图形，面积最小的就是高为 1 的等边三角形，面积 1/√3 ≈ 0.577。挂谷本人曾猜测非凸情形下最优是三尖瓣线（deltoid），面积仅 π/8 ≈ 0.393——但这个猜测，很快就将被一位俄国数学家彻底颠覆。
贝西科维奇的惊人答案：面积可以任意小
1928 年，贝西科维奇（Besicovitch）研究一个相关却更"极端"的问题：是否存在一个平面点集，在每一个方向都包含一条单位长度线段，却拥有任意小的面积？
答案是肯定的。最经典的构造叫佩龙树（Perron tree）：把等边三角形从顶点劈成左右两半，让右半滑叠到左半上，并集面积立刻变小；再把这种"劈开—重叠"反复嵌套，每一层都把面积再压缩一截。层数越多，总面积越逼近 0——而每一个方向上仍保留着一根单位针的位置。
配合鲍尔连接（Pál joint）——能把一根单位针在任意小的面积里平移到平行位置——这个"面积为零的集合"便能连成一根针真正连续反转 180° 的轨迹。于是转针趣题的结论变成：不存在最小面积，针扫过的面积可以任意接近 0（但严格不为 0）。
🧠 思路转折：既然"面积"这条路走进了死胡同（可以任意小），数学家把目光转向了更本质的度量——分形维数。一个面积为 0 的集合，仍然可以"维度很高"。这引出了真正的挂谷猜想。
从面积到维数：挂谷猜想的表述
用半径为 ε 的小球去覆盖一个图形，设所需个数为 N(ε)。当 ε→0 时，豪斯多夫维数定义为：
直觉：线段的维数是 1，方块的维数是 2。而一个"含每个方向单位线段"的集合（挂谷集 / 贝西科维奇集），直觉上不该比空间本身"薄"太多。
由此，挂谷猜想（Kakeya set conjecture）的完整表述是：
其豪斯多夫维数与闵可夫斯基维数都等于 n。
二维情形已于 1971 年由 Davies 证明（维数恰为 2）。但 n≥3，尤其是最关键的 三维，成了半个多世纪无人攻克的堡垒。空间本身维数是 3，问题是：那些"体积可任意小"的挂谷集，维度是否也被锁死在 3？
百年攻坚：从趣题到分析学中枢
一道转针游戏，竟串联起调和分析、几何测度论、偏微分方程的核心猜想。下面是三维挂谷猜想征程上的关键路标。
挂谷宗一提出转针问题
最小面积区域使单位针旋转 180°。启发来自"厕所里挥舞武士刀"的脑洞。
鲍尔：最小凸区域是等边三角形
高为 1 的等边三角形，面积 1/√3 ≈ 0.577，是凸情形下的最优解。
贝西科维奇：面积可任意小
佩龙树构造证明：含一切方向的集合面积可趋于 0。转针面积没有最小值。
戴维斯：二维情形解决
平面贝西科维奇集的豪斯多夫与闵可夫斯基维数恰为 2。
沃尔夫：三维下界 2.5
Thomas Wolff 证明三维挂谷集维数 ≥ 2.5，长期是最好结果。
卡茨·拉巴·陶哲轩
将闵可夫斯基维数下界提升到 2.5 + 10⁻¹⁰，仅前进百亿分之一，却意义重大。
王虹 & 扎尔：黏性挂谷集
"Sticky Kakeya conjecture"——先在一类特殊（黏性）挂谷集上证明维数 = 3。
王虹 & 扎尔：阿苏德维数
证明三维挂谷集的阿苏德（Assouad）维数也等于 3。
王虹 & 扎尔：完整证明
127 页论文《Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions》证明豪斯多夫与闵可夫斯基维数均为 3，三维挂谷猜想告破。
王虹与扎尔：如何锁死三维的退化
他们把"所有方向的针"重新想象成空间中无数根细管（δ-tube）的并集，问题转化为：这些管状体积的并集，到底能有多小？
核心推导可拆成几个关键步骤：
重述为 δ-管并集的体积估计
把"含每个方向的针"看作大量细管（厚度为 δ 的圆柱）的并集。Kakeya 集的维数问题，等价于研究这个并集体积随 δ 缩小的速率。
多尺度归纳框架
不一次性处理所有尺度，而是从小到大逐尺度分析管状结构的几何与重叠方式，建立一层层递推的下界。
先解决"简化版"——黏性与投影
2022 年先攻克"黏性挂谷集"（一类特殊结构），并引入投影理论，找到证明的核心思路；2024 年再拿下较弱的阿苏德维数。
"颗粒化"分解 + 重叠限制
把复杂交织的管在不同尺度下拆成微小"颗粒"，证明任何一点无法被过度重叠。正是这条重叠上界，把图形退化牢牢锁死。
结论：维数 = 3
层层递推得到：三维空间中任何 Kakeya 集的豪斯多夫与闵可夫斯基维数都等于满维数 3。百年猜想落定。
扎尔曾说："在实数中，对象可能非常接近零，但实际上却不是零。不知何故，这就是技术的症结所在。"王虹则说，研究高维问题"缺乏工具，这一步必须被完成"。
为什么重要：撑起分析学的猜想之塔
挂谷猜想绝非一道孤立趣题。它与傅里叶分析最核心的若干猜想环环相扣——
局部平滑猜想 (Local Smoothing)
关于波动方程解的光滑性 · 最外层、最宏大
Bochner–Riesz 猜想
傅里叶乘子与求和问题的核心
限制猜想 (Restriction)
振荡积分与傅里叶变换在曲面上的限制
挂谷猜想 (Kakeya)
本页主角 · 整座塔的基石
引用 Quanta Magazine 的评价："调和分析中三个不朽的猜想组成的塔楼，都矗立在挂谷猜想之上。如果挂谷猜想被证伪，整座塔都会轰然倒塌。"
这套框架与傅里叶变换休戚相关——它是信号处理、微分方程的基石，也延伸至数论（乃至黎曼猜想）与偏微分方程。正因如此，2025 年王虹与扎尔的工作不仅解决了一个百年难题，更为多个数学分支打开了新视野。同年，北京大学团队（苗长兴牵头，韦东奕、庞逸轩为核心）完成了对证明的独立验证。
王虹：从转系学生到菲尔兹奖
王虹 16 岁考入北京大学（先入地球与空间科学，后转数学），在 MIT 师从调和分析权威 Larry Guth 攻读博士。2025 年攻克三维挂谷猜想后，她于 2026 年成为菲尔兹奖历史上第三位女性得主，也是首位获此殊荣的中国籍女性数学家。
"如果挂谷猜想被证伪，整座塔都会倒塌。"而王虹与扎尔，把这座塔最底层的基石，稳稳地钉在了三维空间里。