阿基米德的切片只在球面上成立

论文以一道谜题开篇：一个直径100个单位的圆盘，能否被99条宽1个单位的无限长条带覆盖？ 上海交通大学数学科学学院的Mijia Lai写道，答案“把我们带回到两千多年前阿基米德的一个‘尤里卡’时刻”。

面积与位置无关的带子

阿基米德定理。 在半径为1的球面上，夹在两个都与球面相交、相距为h的平行平面之间的区域，面积为2πh。

这个公式最惊人之处在于它没有包含什么：带子所在的位置。无论靠近赤道还是接近极点，只有间距h起作用。

论文对这道谜题给出的提示是：把平面圆盘上的条带抬升到一个球面上，条带就变成了球面上的带子。顺着这个提示运用公式就能得出答案。直径100个单位的球，半径为50，表面积为4π × 50² = 10,000π。每条宽1个单位的带子覆盖2π × 50 × 1 = 100π。99条带子最多覆盖9,900π——不够。所以答案是否定的：这些条带无法覆盖圆盘。

反过来问

这一性质能否唯一地确定球面？对于凸曲面——没有凹陷的形状——并且要求这一性质对每一种间距宽度都成立时，答案早已为人所知；论文将其追溯到布拉施克（Blaschke）。2017年10月，数学家穆罕默德·戈米（Mohammad Ghomi）在MathOverflow论坛上提出了一个更尖锐的问题：如果对于某一个固定间距，只要两个平行平面都与一个凸曲面相交，它们之间的面积就总是相同，那么这个曲面是否一定是球面？

Mijia Lai证明了答案是肯定的，并且走得更远。

定理A。 取空间中一个光滑、闭合、连通的曲面。假设存在一个间距h，它小于该曲面的最小宽度，使得每一个宽度为h的切片——沿任意方向、在两个平面都与曲面相交的任意位置——面积都是2πh。那么这个曲面就是半径为1的球面。

凸性不是假设：它是结论的一部分。

两步走，绕道波动

第一步，没有凹陷。 切片条件有一个几何推论：在曲面向内弯曲、偏离其外包络的地方，它迫使一个名为平均曲率的量为零或负。Mijia Lai利用处理这类方程的经典工具——霍普夫极大值原理——证明这会导致矛盾。既然不允许有凹陷，曲面就必须是凸的，而且实际上在每一点都向外弯曲。

第二步，只能是球面。 对于凸曲面，切片条件使得面积随高度分布的方式每隔h重复一次。将这种周期性模式对所有方向取平均，就得到波动方程的一个在时间上周期重复的解。结果表明，它的初始值与牛顿势相关——也就是质量或电荷所产生的那种势——即该曲面被均匀覆盖时所产生的势。附录中证明的一个关于此类周期波的唯一性结果，迫使这个势在曲面内部和外部都为常数。赖歇尔（Reichel）提出的一个已知对称性定理指出，只有球体才能产生这样的势。最后，阿基米德公式将其半径确定为1。

另有一节用初等方法处理了一种特殊情形：曲面在某个方向上的宽度恰好是间距h的整数倍。

来自AI的帮助

作者在致谢中感谢AI系统ChatGPT 6 Astra“在证明策略上提供的帮助”，并补充说，最后一节的初等论证是在获得这一帮助之前找到的，同时由他本人负责证明的核查和撰写。该结果是一篇预印本，尚未经过同行评审。

从圆盘上条带的谜题，到周期波和带电曲面，这一证明最终回到了阿基米德的起点：一条宽度为h的带子，面积为2πh。