🔢 mathematics

Thabit and Williams Numbers Base $b$ as a Sum or Difference of Two $g$ -Repdigits

本文研究了在 $b$ 进制下，Thabit 数与 Williams 数表示为两个 $g$ -重复数字之和或差的情况，通过寻找参数化解、建立参数上界以及给出部分方程的完整解，探讨了这些方程是否存在无穷多解或有限解。

原作者： Kouèssi Norbert Adédji, Marija Bliznac Trebješanin, Jelena Pleština

发布于 2026-02-10

📖 1 分钟阅读🧠 深度阅读

原作者： Kouèssi Norbert Adédji, Marija Bliznac Trebješanin, Jelena Pleština

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这是一篇关于数学中“数字游戏”的研究论文。为了让你轻松理解，我们可以把这篇深奥的论文想象成一场**“数字拼图挑战赛”**。

1. 核心角色：特殊的“乐高积木”

在数学的世界里，作者研究了两类非常特殊的“积木”：

角色 A：Thabit 与 Williams 数字（特殊的“大块积木”）
你可以把它们想象成一种由特定公式制造出来的、形状非常规整的“超级大积木”。它们不是随随便便出现的，而是按照某种严格的规律（比如 $3 \cdot 2^n - 1$ ）生长出来的。
角色 B： $g$ -repdigits（“重复纹理积木”）
这是一种非常有规律的积木，所有的面都涂着同一种颜色。比如在十进制（我们平时用的数字）里，777、22、5555 就是这种积木。它们看起来非常整齐，有一种强迫症般的对称美。

2. 挑战任务：拼图游戏

这篇论文的核心问题是：“能不能用两块‘重复纹理积木’（B），通过相加或相减，正好拼凑出那一块‘超级大积木’（A）？”

用数学语言说，就是寻找方程的解。用生活语言说，就是：“能不能用两个全是‘7’的数字，加在一起或者减在一起，刚好等于一个 Thabit 数字？”

3. 论文的研究过程：侦探破案

面对这个复杂的拼图问题，数学家们扮演了“侦探”的角色。他们并不是一个一个去试，因为数字可以无限大，试到宇宙毁灭也试不完。他们使用了两种高级侦探手段：

手段一：划定“嫌疑范围”（建立上界）
侦探们首先通过逻辑推理证明：如果这个拼图能拼成功，那么这些数字的大小一定不会超过一个天文数字（比如论文里提到的 $10^{29}$ 这种级别）。虽然这个数字很大，但它意味着**“可能性是有限的”**，而不是无穷无尽的。这就像是在说：“虽然嫌疑人可能很强壮，但他绝对不会超过两米高。”
手段二：排除“不可能的组合”（减少计算量）
他们利用一种叫“对数线性形式”（Linear forms in logarithms）的高级数学工具，像筛子一样，把那些看起来很像、但实际上绝对拼不出来的数字组合全部筛掉。

4. 最终结论：比赛结果

通过这些复杂的计算，作者得出了几个非常重要的结论：

大多数时候，拼图是拼不成的： 对于绝大多数的数字组合，你永远无法用两个“重复纹理积木”拼出“超级大积木”。
偶尔会有“奇迹”发生： 作者发现了一些特殊的规律（Proposition 1），在某些特定的条件下，会有无穷多个解。这就像是在说：“如果你用特定的颜色和形状，确实可以玩出无限种拼法。”
实战演练（十进制案例）： 作者专门拿我们最熟悉的“十进制”（就是我们每天用的 0-9 数字）做了测试。他们发现，除了某些特定的规律外，满足条件的解其实非常稀少（比如论文提到的 164 个解）。

总结一下

如果把这篇论文比作一本书，它的标题可以翻译为：
《关于如何用两块整齐划一的数字积木，拼凑出特定规律大数字的深度调查报告》。

它告诉我们：虽然数学世界看似混乱，但只要你掌握了足够强大的逻辑工具，你就能在无穷无尽的数字海洋中，精准地捕捉到那些极其罕见的、完美的“拼图瞬间”。

这是一篇关于数论领域中丢番图方程（Diophantine equations）研究的学术论文。以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

本文主要研究Thabit数（或称Thabit ibn Qurra数）和Williams数在特定进制 $b$ 下，能否表示为两个 $g$ -重数字（ $g$ -repdigits）之和或之差的问题。

Thabit数（基 $b$ ）：形式为 $(b+1)b^{n-1}$ 或 $(b+1)b^{n+1}$ 。
Williams数（基 $b$ ）：形式为 $(b-1)b^{n \pm 1}$ 。
$g$ -重数字：在 $g$ 进制下所有数位都相同的正整数，形式为 $d(\frac{g^m-1}{g-1})$ ，其中 $1 \le d \le g-1$ 。

核心数学模型：
研究以下两类丢番图方程的整数解 $(d_1, d_2, l, m, n)$ ：

和的形式： $(b \pm 1)b^{n \pm 1} = d_1(\frac{g^l-1}{g-1}) + d_2(\frac{g^m-1}{g-1})$
差的形式： $(b \pm 1)b^{n \pm 1} = d_1(\frac{g^l-1}{g-1}) - d_2(\frac{g^m-1}{g-1})$

2. 研究方法 (Methodology)

论文采用了数论中处理指数丢番图方程的标准且高级的组合方法：

线性形式在对数中的下界 (Linear Forms in Logarithms)：利用 Baker 理论（具体为 Lemma 5，即 Matveev 定理）来建立参数 $n, l, m$ 的上界。通过构造对数线性形式 $\Lambda$ ，利用其绝对值的下界与通过方程推导出的上界进行对比，从而锁定解的范围。
Baker-Davenport 归约法 (Reduction Method)：由于对数理论给出的初始上界极其巨大（达到 $10^{29}$ 数量级），无法直接穷举。作者利用 continued fraction（连分数）和 Lemma 7（基于 Baker-Davenport 思想的变体）对参数进行归约，将搜索范围缩小到可计算的范围内。
分类讨论与特殊情况处理：
- 针对 $b=2$ 或 $g=2$ 等特殊情况进行单独讨论。
- 识别并提取出具有无穷多解的参数族（Proposition 1 和 2）。
- 针对 $g=10$ （十进制）且 $2 \le b \le 12$ 的具体数值情况，进行了详尽的数值计算和验证。

3. 主要贡献 (Key Contributions)

完备的理论框架：不仅证明了在排除特定参数族后，方程的解是有限的，还给出了这些解的显式上界（Theorem 3 和 Theorem 4）。
无穷解族的识别：系统地描述了在哪些特定的 $b$ 和 $g$ 关系下，方程会产生无穷多个解。
数值解的精确求解：通过复杂的算法实现，给出了十进制（ $g=10$ ）下，基数 $b$ 在 $2 $到$ 12$ 范围内的所有解的数量及最大指数值。

4. 研究结果 (Results)

有限性定理：证明了除了特定的参数组合外，Thabit数和Williams数表示为两个 $g$ -重数字之和或差的情况只有有限个。
上界估计：给出了参数 $n, l, m$ 的理论上界，量级约为 $10^{29}$ 。
具体数值结论 (Theorem 13 & 19)：
- 当 $g=10$ 且 $2 \le b \le 12$ 时，除了 $b=g=10$ 的无穷解族外，和的形式方程恰好有 164 个解（ $n \ge 1$ ）。
- 当 $g=10$ 且 $2 \le b \le 12$ 时，差的形式方程恰好有 160 个解（ $n \ge 1$ ）。
- 提供了部分 $b=2$ 时的具体数值表示示例。

5. 研究意义 (Significance)

数论性质的深化：Thabit数和Williams数在素性测试中非常重要，本文从“数位表示”这一全新的角度揭示了这些特殊数列的结构特性。
方法论的应用：展示了如何将高度抽象的对数线性形式理论与实际的数值归约算法相结合，解决复杂的指数丢番图方程问题。
填补空白：为研究特定数列在不同进制下的重数字表示问题提供了完整的理论支撑和计算范例。