你肯定见过这种图。
一个大圆里面塞满小圆，小圆之间的缝隙里再塞更小的圆，一直塞到眼睛看不见。有些像分形，有些像肥皂泡，有些像曼陀罗。这东西叫阿波罗尼奥斯填充——两千年前阿波罗尼奥斯研究过三个圆相切的问题，二十世纪人们发现这玩意儿可以无限迭代下去。
但它不只是漂亮。如果你仔细看，会发现那些圆的半径——或者更方便地说，曲率——都是整数。你把最大的圆的曲率定为 -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.