前沿数学 · 看图就懂
挂谷转针:一根针掉个头,最少要多大地方
多问问团队 · 更新于
挂谷转针 · 1/6
针是一条线,扫过的地方才是面积
0.000扫过面积
切成几块
切成 4096 块 ×3
六步各讲什么
- 针是一条线,扫过的地方才是面积:针本身没有宽度,往上平推 1,扫过的细带铺成边长 1 的正方形,面积 1.000;平移不转向,方向盘只亮 0°。
- 绕中点转半圈:扫过一整个圆盘:两端各扫出一个扇形,合起来是直径 1 的圆盘,面积 π/4 ≈ 0.785;方向 0° 到 180° 全部走过,两端对调。
- 换个转法:三角形就够它掉头:Pál 的走法:绕顶点转 60°、沿边滑下、换一个顶点再转,共三次;滑的时候不增加面积,最后是 1/√3 ≈ 0.577。
- 切开再错位:方向不少,面积变小:把三角形切成 2、4、8、16、32 块,按 Perron 树把相邻块推叠起来;面积实时算出,降到 0.385、0.289、0.231、0.193、0.165,那 60° 的方向一个不缺。
- 三棵树拼满 180°,面积还能更小:三棵树各管 60°,互不重叠,合计是一棵的 3 倍;切到 4096 块时是 0.248。曲线只画算出来的值,越往后降得越慢。
- 升到三维、四维,还能多瘦?:一束长 1 的细管,各朝一个方向,同一根针沿着方向螺旋游走。三维、四维最少要多少体积,这里只提问,不下结论。
一根长度为 1 的针,要在平面上掉个头(转过 180°,两端对调),最少需要扫过多大的面积?这是日本数学家挂谷宗一在 1917 年提出的问题。
在圆盘里转,面积是 π/4 ≈ 0.785;换成高为 1 的等边三角形,只要 1/√3 ≈ 0.577。1928 年 Besicovitch 证明了更惊人的事:面积可以任意小。上面的动画用「切开再错位叠起来」(Perron 树)演示这件事,图里每一个数都是按真实几何算出来的。
面积能任意小,「大小」的另一把尺子却降不下来:平面里装得下所有方向的集合,维数一定是 2。三维里同样的结论(维数一定是 3)直到 2025 年才由 Hong Wang 和 Joshua Zahl 证明。
出处
- Hong Wang, Joshua Zahl, Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions, arXiv:2502.17655 (2025)
- A. S. Besicovitch, On Kakeya's problem and a similar one, Mathematische Zeitschrift 27 (1928)
- 四维:2026 年有一份 OpenAI 署名、尚未经过同行评审的手稿声称给出了证明。这里只记录这个说法,不当作已经证明的结论。