Ratio of sum of digits functions in two bases

想象一下，你是一名试图破解隐藏在数字中的代码的数字侦探。在数学的世界里，每个数字都可以用不同的“语言”来书写，这些语言被称为“进制”。最常见的是十进制，我们使用数字 0 到 9。但你也可以同样轻松地使用二进制（只使用 0 和 1）或三进制（使用 0、1 和 2）。你可以把进制想象成不同的积木：在十进制中，一个数字是一个由 10 的幂构成的积木塔；在二进制中，它则是 2 的幂构成的塔。

现在，假设你有一个特殊的工具，可以计算一个数字塔中所有积木的总价值。数学家称之为“数位和”。如果你取数字 19，在十进制中它是 $1 + 9 = 10$。但如果你用二进制来表示 19，它看起来像 $10011_2$，那么这些数位的和就是 $1+0+0+1+1 = 3$。一个巨大的问题困扰了数学家们数十年：如果我们将这些数位和在两种完全不同的语言之间进行比较，会发生什么？如果你选择两个没有简单数学关系（比如 2 和 3，或者 5 和 7）的进制，它们的数位和是否会完美地对齐？它们是否会达到一个特定的比例，比如其中一个正好是另一个的两倍？这不仅仅是一个数字游戏；它触及了关于随机性与秩序如何在数学中并存的深层奥秘，帮助我们理解宇宙中最基本的构建块所隐藏的结构。

帕斯卡尔·耶利内克（Pascal Jelinek）撰写的这篇论文直接切入了这个谜团。作者证明了一个关于当你在两种“独立”进制之间切换时，这些数位和如何表现的强大新规则。在此之前，我们已知这两个数位和的比值可以无限接近于任何正数，但我们并不知道它们是否能真正“命中”每一个有理数（比如 1/2、3/4 或 7/11）的精确值。耶利内克证明了它们确实可以。事实上，对于任何乘法独立的两个进制（意味着一个不是另一个的幂，比如 2 和 4），以及你所能命名的任何目标比例，都存在无穷多个数字，使得第一个进制的数位和除以第二个进制的数位和恰好等于该比例。

这篇论文不仅仅是说“它发生了”，它还提供了一个严密的数学证明，证明这种现象会无限次发生。它甚至给出了一个公式来估算在一定大小以下的此类数字有多少，表明虽然它们可能很稀少，但它们确实存在。作者还解决了问题的另一面：如果这些进制是相关的，比如 4 进制和 16 进制呢？在这种情况下，论文证明了该比例只能落在一个特定的、有限的范围内，并且它准确描述了哪些比例是可能的，哪些是不可能的。

为了直观理解，请想象两组不同的骰子。一个骰子的面是 0 到 9（十进制），另一个骰子的面是 0 到 2（三进制）。你掷若干次来构建一个数字。“数位和”就是你得到的总分。耶利内克的工作就像是在证明，无论你想要实现什么样的两个骰子之间的得分比例（比如，十进制的分数始终是三进制分数的 1.5 倍），都存在一个无穷的掷骰序列，能让那个精确的比例发生。他还证明了如果这些骰子在某种程度上是相互关联的（比如其中一个只是另一个的换皮版本），你就不能得到任何比例；你会被限制在一个特定的结果集合中。

其证明过程是运用“算术级数”的一个大师级案例。把这想象成一串数字，每一步的步长都相同，比如 5, 10, 15, 20。作者展示了，如果你选择正确的起点和正确的步长，那条线上的数位和会表现得非常可预测，甚至带有一种神奇的特性。它们在所有可能的余数上分布均匀，这使得作者能够通过“微调”这些数字，直到比例完美命中目标。这种方法扩展了以往仅能解决特定案例（如 2 进制和 3 进制）的研究，将其变成了一个适用于几乎任何你所能想象到的进制对的通用规则。

在处理相关进制（如 4 进制和 16 进制）的情况下，这篇论文充当了一个严格的守门人。它证明了你无法实现任何比例。例如，如果你在比较 $b^k$ 进制和 $b^\ell$ 进制，数位和的比值被困在 $1/(b^\ell - 1)$ 和 $b^k - 1$ 之间。作者论证了在这个陷阱之内的每一个有理数都可以被无限次地实现，但除此之外的任何比例都是不可能的。这为我们提供了一张完整的领地地图：我们现在确切地知道，取决于两个进制之间的关系，哪些比例是可能的，哪些是禁止的。

那么，结论是什么？如果你选择两个在数学上互为“陌生人”的进制，数字的世界足够丰富，能够包含满足你所能构想的任何数位和比例的无穷供应。如果这些进制是“亲戚”，那么可能性就会受到限制，但依然是完全可预测的。耶利内克的工作将“也许这些比例存在”这种模糊的希望变成了具体的、已证实的客观事实，填补了数学家们多年来试图解决的拼图中的缺失部分。它提醒我们，即使在整数的严苛世界里，也存在着令人惊讶的灵活性和无穷的变化等待着被发现。