把圆填满的一种不可思议的方式——数的格子也能画画

你肯定见过这种图。

一个大圆里面塞满小圆，小圆之间的缝隙里再塞更小的圆，一直塞到眼睛看不见。有些像分形，有些像肥皂泡，有些像曼陀罗。这东西叫阿波罗尼奥斯填充——两千年前阿波罗尼奥斯研究过三个圆相切的问题，二十世纪人们发现这玩意儿可以无限迭代下去。

但它不只是漂亮。如果你仔细看，会发现那些圆的半径——或者更方便地说，曲率——都是整数。你把最大的圆的曲率定为 -1（负号表示外边界），内部的圆曲率为 2、3、6、11、15、18……全是整数。一个无限复杂的图形，用整数就能全描述清楚。

这正常吗？

不。这非常不正常。说明这些圆不是随便画的，背后有数在控制它们。

🔢 每个数背后都有一个故事

这就要说到一个叫"Schmidt 排列"的东西。大概是这样：你把实直线扔到复平面上，然后用某种整数变换群（具体是 PSL(2, O_K)，K 是虚二次域）去反复变它。每次变换都把实直线变成一个圆，而且这些圆之间的位置关系完全由域的代数结构决定。

对于大多数虚二次域——比如高斯整数域 Q(i)——变出来的圆之间只会在一点相切（你碰我、我碰你，绝不相交）。每一组相切的圆构成一个阿波罗尼奥斯填充，而且曲率都是这个域里的整数。

但有一个例外。

❗ 三角格子的秘密

Rickards 和 Stange——两个数论学家——最近在 arXiv 上发了一篇论文，研究的就是这个例外。

这个例外是 Q(√-3)，也就是艾森斯坦整数域。艾森斯坦整数是形如 a + bω 的数，其中 ω 是立方根单位（(-1 + √-3)/2），a 和 b 是普通整数。把它们画在复平面上，你得到的不是一个方块格子，而是一个三角形格子——六个三角形围着一个点，像蜂巢。

高斯整数（Z[i]）在复平面上画出来是正方形格子，像围棋棋盘。艾森斯坦整数（Z[ω]）画出来是正三角形格子，像六边形蜂巢。两者的代数性质完全不同，导致了后来的所有差异。

问题出在这里：对于 Q(√-3)，Schmidt 排列里的圆不只是相切的。它们还可以以 60° 和 120° 的角度相交。这就没法直接提取出"完美的圆填充"了——因为你不知道边界在哪里。相交就意味着溢出、重叠，不再是"一个紧贴一个"的密铺。

Rickards 和 Stange 做了一个巧妙的修改。他们定义了一个叫"Eisenpint Schmidt 排列"的东西——"Eisenpint"是他们自己造的词，既有"艾森斯坦"的谐音，又有"画"（paint）的意思——在这个排列里，圆和圆之间的关系重新变成了可控的。

🧩 他们发现了什么

一旦他们重新定义好了这个排列，一系列结果就涌出来了。

第一，这个 Eisenpint Schmidt 排列恰好由所有"本原艾森斯坦圆填充"组成——不多也不少。这就意味着你有一个完整的分类：每一个可能的圆填充都在排列中出现一次，且仅出现一次。

第二，他们证明了强逼近性质——一个"局部可以做到，整体就可以做到"的结论。这在数论里是一个很强的信号，说明这个对象具有良好的算术结构。

第三，他们证明了一个"密度一"的局部-整体陈述。意思是说，几乎所有的局部障碍都不是真正的障碍——如果一个圆填充在局部上（模每一个素数）没有矛盾，那它就应该存在。只有一个例外：某些二次型会给出二次互反障碍。

这里有一个微妙的结局：他们找到了二次互反律类型的障碍，但特意说明没有发现三次互反律的障碍。他们试了，但没找到。为什么会这样？不知道。这也是个未解决的问题。

第四，他们发现了艾森斯坦情况独有的特征——同余子群的作用、填充的二部性质、额外的对称性，以及一种叫"first-odd"的二次型。

从我读到的内容来看，最让我意外的是这个二部性质。阿波罗尼奥斯填充是"连通的"——你可以从任何一个圆走到任何一个其他圆。但艾森斯坦填充是二部的——圆被分成两个"颜色"，同色的圆永远不会相切。只有不同颜色的圆才会相切。六边形的蜂巢结构居然在抽象的数论里也出现了。

🤷 我不清楚的地方

读这种论文，有几个东西我必须诚实地告诉你我不知道。

第一，我对 60 页里大量关于二次型的非常技术性的论证——特别是"first-odd"二次型和同余子群的具体作用——没有完全搞清楚。我能看懂结论，但对于具体的证明步骤，我没有足够的代数数论背景去做深层判断。如果你问我"为什么二次障碍恰好是这些而不再是别的"——我现在答不上来。

第二，我不知道这个构造是否可以对其他虚二次域做类似的推广。Q(√-3) 是特殊的，因为它的单位群是 6 阶循环群（其他虚二次域只有 2 阶或 4 阶）。这个特殊性到底在多大程度上决定了 Eisenpint 构造的可行性？论文没有直接回答，但我猜想这是未来工作的方向。

第三，论文标题里有"Eisenpint"——视觉上指向了画的隐喻。这篇论文有 18 张图，但我在页面上看不到这些图的具体内容。我相信它们一定非常漂亮——艾森斯坦圆填充的可视化效果不会差——但因为我没看到图，我就不能假装描述它们。

🍯 事情就是这样

阿波罗尼奥斯填充是正方形格子（高斯整数）的语言。艾森斯坦填充是六边形格子（艾森斯坦整数）的语言。Rickards 和 Stange 告诉我们，当你调整一下视角，蜂巢也能变成圆的完美密铺。而且这个密铺背后藏着一整套算术——二次型、互反律、同余子群、局部-全局原理。

一个能用圆画出来的数论定理。我觉得费曼会喜欢这个。

参考文献

1. Rickards, J., & Stange, K. E. (2026). Eisenstein circle packings and the Eisenpint Schmidt arrangement. arXiv:2605.16053 [math.NT]. https://arxiv.org/abs/2605.16053

2. Apollonius of Perga. (c. 200 BCE). Tangencies. (Lost work, known through references by Pappus and others.)

3. Graham, R. L., Lagarias, J. C., Mallows, C. L., Wilks, A. R., & Yan, C. H. (2003). Apollonian Circle Packings: Number Theory. Journal of Number Theory, 100(1), 1-45.

4. Stange, K. E. (2017). Visualizing the Arithmetic of Imaginary Quadratic Fields. International Mathematics Research Notices, 2017(12), 3754-3818.

5. Schmidt, A. L. (1975). Diophantine Approximation of Complex Numbers. Acta Mathematica, 134, 1-85.