WHAT & WHY
你正在看到什么？
这不是一份可机读的证明程序，而是把前四个场景连成路线：从“每个方向都有针”，经过重叠、重标度和结构分支，解释为什么无限压缩会遇到彼此兼容的限制。严格细节请以原始论文和综述为准。
Proof Strategy Map
证明路线图：为何不能无限压缩
选择一种“省空间”设想，沿方向覆盖、重叠、尺度与结构约束逐步检查它。
王虹—Zahl 三维挂谷方法导览 · 直观导览，不替代严格证明
一次改变一个参数，观察结构如何变化。快照仅存于此浏览器，不上传云端。
保存输入参数；不保存绘图、相机或操作历史。
交互数学空间— FPS
正在加载场景…
结构检查器
MATHEMATICAL CORE
核心公式
方向覆盖 + 重数/密度 + 跨尺度一致性 → 体积估计 导览结论：不能把三维全方向线段族无限压成低维对象
进一步阅读与模型边界
画面由数学运算和有限采样生成。数值精度、迭代次数与绘制范围都有边界；具体限制见结构检查器。帧率受设备性能和参数规模影响。
Clay Mathematics Institute · 2026 Fields Medals · Guth, Wang, Zahl · A streamlined proof of the Kakeya set conjecture in R3LEARN · TEST · EXPLAIN
本实验可以帮助你理解什么？
- 证明路线图：为何不能无限压缩｜挂谷猜想交互仿真说明什么现象？
- 选择一种“省空间”设想，沿方向覆盖、重叠、尺度与结构约束逐步检查它。 在线调节参数、观察模型与数据变化，理解挂谷猜想的核心规律。
- 建议怎样开始探索？
- 先保持其他条件不变，只调整一个参数；再对照模型、测量读数与轨迹，记录变化是否符合核心公式。
- 结果可以直接用于真实工程或科研吗？
- 不能。该场景用于教学和直观理解，采用明确的简化假设与有限数值精度；请结合页面中的模型边界和参考资料解释结果。