台球数学告诉我们什么：爱、放手与周期轨道

一句关于“爱它就让它自由”的老话，被一项困扰数学家数十年的台球周期轨道问题赋予了字面意义：如果从恰当的位置、以恰当的角度放手，它在数学上必定会回来。不过，这份确定性也有一个浪漫而现实的缺口——证明并不告诉我们那个位置究竟在哪里。

爱若自由，数学能保证它回来吗？

俗话说：“如果你爱某样东西，就让它自由。如果它回来了，它就是你的；如果没有，它从来就不属于你。”

大多数人不会告诉你的是：如果你恰好从正确的位置，以恰好正确的角度让它离开，它就会以数学上的确定性回到你身边。

至少，数学家几十年来一直试图证明这一点。如今，令天下苦命恋人欣喜的是，马里兰大学数学家乔瓦尼·福尔尼（Giovanni Forni）相信自己终于做到了。

这个问题的正式名称是“多边形台球的周期轨道问题”——没那么浪漫，但请继续听下去。

想象一张台球桌。

你大概想到的是长方形。请重新想象：这是一张数学意义上的台球桌，因此它可以有任意有限数量的边。在桌面上，一颗球沿直线运动，并在边界上发生完美反射。周期轨道问题问的是：每一张这样的桌子上，是否都至少存在一条轨迹，能让球最终回到起点，并永远重复同样的反弹次序？

如果答案是肯定的，我们就可以一次又一次放爱人离开，同时确信他们会完成自己的轨道，最终回到我们身边。毕竟，小别胜新婚。

周期轨道问题的不同版本从 18 世纪起就在流传——这里确实有“循环”之意。2004 年，它被列入动力系统领域五个最顽固的问题之一；动力系统研究运动与变化如何随时间展开。

没有参与福尔尼这项新成果的芝加哥大学数学家霍华德·马苏尔（Howard Masur）说：“台球通常与数学中的许多其他主题有关；这让它成为非常有吸引力的研究对象。”

大约 50 年前，数学家取得了重要进展：他们证明，当多边形各角都是 π 的有理数倍，也就是 π 乘以某个分数时，这类路径确实存在。但对于含有无理数角的多边形，问题仍未解决。

而且，坦白说，爱情什么时候讲过理性呢？

一个不可能同时成立的几何世界

为了解决问题，福尔尼让我们先假定最坏的情形：想象一个爱永远不会回来的世界。接着，他借助动力系统、微分几何和代数拓扑的工具，证明这样的世界根本不可能存在。

福尔尼的论证取决于一个矛盾。假如存在某个没有周期轨道的多边形，也就是没有任何方式能让球回到起点，那么编码所有可能台球路径的几何对象就会被迫以两种彼此不相容的方式存在：它必须同时拥有无限多个“洞”或环，又只能拥有有限多个。这毫无道理，就像一片布满无限孔洞的瑞士奶酪，同时又是实心的切达奶酪。

从某种意义上说，这个证明表明：在一个爱永不回来的世界里，几何本身会被撕裂——当然，前提是这份证明经得起检验。

福尔尼的论证已发布在预印本平台 arXiv.org 上，但尚未经过同行评审。

即使这篇论文最终结出数学成果，仍有一个重要限制：福尔尼的证明说明，对每个多边形，都存在某个能产生周期轨道的起点和方向；但它并不告诉我们那个点在哪里，也不告诉我们如何找到它。轨道必定存在于某处，可它的位置依旧成谜。

所以，数学也许很快能向我们保证，爱总能回来；但它仍无法告诉我们应该站在哪里，又该朝哪个方向放手。

至少目前，爱仍然是信仰的一跃。

思想框架

文章先把“爱它就放手”的俗语改写成一个几何问题，再解释多边形台球的周期轨道与过去在有理角情形中的进展。福尔尼通过反证法，把“完全没有周期轨道”的假设推向一个拓扑对象必须同时具有有限与无限多个洞的矛盾，从而论证每个多边形都存在周期轨道。结尾保留两层限制：成果尚未同行评审，而且存在性证明无法给出轨道的具体起点和方向。

原文：Yahoo Entertainment / Scientific American｜作者：Sam Macdonald｜阅读时间：3 分钟