🔢 mathematics

Sums of three Fibonacci numbers as concatenations of three repdigits in base $b$

本文研究了在 $b \ge 2$ 进制下可表示为三个重复数字（repdigits）拼接形式的三个斐波那契数之和，证明了当 $2 \le b \le 10$ 时此类解仅有有限个，并显式给出了所有解，其中最大解出现在 $b=4$ 时，即 $F_{42}+F_{29}+F_{20}=268435290$ 。

原作者： Passimzouwé Dagou, Pagdame Tiebekabe, Kouèssi Norbert Adédji, Kokou Tchariè

发布于 2026-02-25

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Passimzouwé Dagou, Pagdame Tiebekabe, Kouèssi Norbert Adédji, Kokou Tchariè

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

这篇论文听起来像是一堆复杂的数学公式，但如果我们把它想象成一个**“数字寻宝游戏”**，就会变得非常有趣。

简单来说，这篇文章讲的是数学家们如何寻找一种极其罕见的数字巧合：把三个著名的“斐波那契数”加在一起，结果竟然能变成一个由“重复数字”拼接而成的长串数字。

让我们用几个生动的比喻来拆解这个过程：

1. 游戏里的两个主角

在这个游戏中，有两个主要角色：

斐波那契数列（Fibonacci Numbers）：
想象这是一列**“生长迅速的兔子”**。从 0 和 1 开始，每一只新兔子的数量都是前两只兔子数量的总和（0, 1, 1, 2, 3, 5, 8, 13, 21...）。它们增长得越来越快，像滚雪球一样。
重码数（Repdigits）：
想象这是一些**“单调的复读机”**。在十进制里，像 111、222、7777 这样的数字就是重码数，因为它们只由同一个数字重复组成。
- 拼接（Concatenation）： 就像把几块乐高积木拼在一起。比如把"333"、"11"和"22"拼起来，就变成了"3331122"。

2. 我们要找什么？（核心问题）

作者们提出了一个大胆的挑战：
能不能找到三个“兔子”（斐波那契数），把它们加起来，结果正好等于一个由三块“复读机积木”拼成的长数字？

用数学公式表示就是：
$\text{兔子}_1 + \text{兔子}_2 + \text{兔子}_3 = \text{积木}_1 + \text{积木}_2 + \text{积木}_3$

而且，这个拼图可以在不同的“进制”（比如二进制、十进制、四进制等）下进行。这就好比我们不仅要在十进制（0-9）里找，还要在二进制（0-1）或四进制（0-3）里找。

3. 他们是怎么做的？（两大法宝）

面对无穷无尽的数字，数学家不能一个个试（因为数字太大了，试到宇宙毁灭也试不完）。他们用了两把“魔法武器”：

武器一：逻辑锁（线性形式对数理论）
想象数字世界有一把巨大的**“逻辑锁”。作者们利用高深的数学理论（Baker 理论），证明了如果这种巧合存在，那么数字的大小不能无限大**。
- 比喻： 就像侦探通过现场痕迹推断：“如果凶手是这个人，他不可能跑得比光速还快。”虽然他们还没抓到凶手，但已经知道凶手一定在某个范围内。
- 结果： 他们算出了一个巨大的上限（比如 $10^{82}$ 次方），虽然这个数字依然很大，但至少把“无限”变成了“有限”。
武器二：缩小圈套（降阶法与超级计算机）
有了上限，范围还是太大。于是他们用了**“降阶法”**（Reduction Method），就像用筛子把沙子一层层过滤，把范围从“整个沙漠”缩小到“一个沙坑”。
- 最后的挑战： 即使缩小了范围，剩下的计算量依然大得惊人。如果只用普通的电脑（像家里的台式机）一个个算，算完 $b=10$ 的情况可能需要248 年！
- 超级助攻： 为了解决这个问题，作者们借用了Togo Data Lab的超级计算机，并使用了**GPU（图形处理器）**进行“并行计算”。
- 比喻： 想象你要搬走一座山。一个人用勺子挖（普通电脑），需要几百年；但他们雇了20,000 个工人同时用挖掘机干活（GPU 并行计算）。结果，原本需要几年的工作，几分钟就搞定了！

4. 他们找到了什么？（最终成果）

经过这番“大海捞针”和“超级计算”，他们得出了惊人的结论：

数量是有限的： 在 2 到 10 进制之间，这种巧合只有有限个，并不是无穷无尽。
总数： 在所有这些进制中，总共找到了 2665 个这样的解。
最大的那个： 最壮观的一个解出现在四进制（Base 4）中。
- 它是：第 42 个、第 29 个和第 20 个斐波那契数相加。
- 结果是：$268,435,290$。
- 在四进制下，它看起来像：$333333333311224$（由很多个 3，接着两个 1，接着两个 2 组成）。

5. 总结：这有什么意义？

这就好比在浩瀚的宇宙中，发现了几颗星星恰好排成了一个完美的三角形。

数学意义： 它揭示了数字的“生长规律”（斐波那契数列）和数字的“书写习惯”（重码拼接）之间存在着微妙的、极其罕见的联系。
技术意义： 这篇文章展示了如何用现代超级计算技术去解决古老的数学难题。如果没有那 20,000 倍的加速，这个谜题可能永远无法解开。

一句话总结：
数学家们利用高深的逻辑锁和超级计算机的“人海战术”，在数字的海洋里成功捕捞到了 2665 条罕见的“数字鱼”，证明了这种奇妙的数字巧合虽然存在，但非常稀少且有限。

这是一份关于论文《三个斐波那契数之和作为三个重复数字（Repdigits）在基 $b$ 下的拼接》（Sums of Three Fibonacci Numbers as Concatenations of Three Repdigits in Base $b$ ）的详细技术总结。

1. 问题背景与定义

核心问题：
该研究探讨了三个斐波那契数（Fibonacci numbers）之和，能否表示为三个“重复数字”（repdigits）在特定基数 $b$ 下的拼接（concatenation）。

数学定义：

斐波那契数列： $F_{n+2} = F_{n+1} + F_n$ ，初始值 $F_0=0, F_1=1$ 。通项公式由 Binet 公式给出： $F_n = \frac{\alpha^n - \beta^n}{\alpha - \beta}$ ，其中 $\alpha = \frac{1+\sqrt{5}}{2}, \beta = \frac{1-\sqrt{5}}{2}$ 。
$b$ 进制重复数字 ( $b$ -repdigit)：指在 $b$ 进制下所有数字相同的正整数。形式为 $R = d \cdot \frac{b^m - 1}{b - 1}$ ，其中 $1 \le d \le b-1$ 是数字， $m \ge 1$ 是位数。
三个重复数字的拼接：指将三个重复数字按顺序拼接在一起形成的数。例如，在十进制下， $d_1$ 重复 $\ell_1$ 次， $d_2$ 重复 $\ell_2$ 次， $d_3$ 重复 $\ell_3$ 次，拼接后的数值为：
$\text{Concat} = d_1 \dots d_1 (\ell_1 \text{次}) \cdot b^{\ell_2+\ell_3} + d_2 \dots d_2 (\ell_2 \text{次}) \cdot b^{\ell_3} + d_3 \dots d_3 (\ell_3 \text{次})$
目标方程：寻找满足以下丢番图方程的整数解：
$F_{n_1} + F_{n_2} + F_{n_3} = \text{Concat}(d_1, \ell_1, d_2, \ell_2, d_3, \ell_3)_b$
其中 $n_1 \ge n_2 \ge n_3 \ge 0$ ，且 $d_1 > 0$ 。

2. 方法论

论文采用了数论中解决此类指数丢番图方程的标准且强有力的组合方法，主要分为两个阶段：

第一阶段：基于线性型对数下界的理论界限推导

工具：利用 Baker 理论（关于代数数对数线性型的下界估计），具体引用了 Baker 和 Wüstholz 的定理。
策略：
1. 将原方程转化为涉及 $\alpha^n$ 和 $b^m$ 的线性型形式。
2. 构造线性型 $\Gamma = \log(\dots) + n_1 \log \alpha - (\ell_1+\ell_2+\ell_3) \log b$ 。
3. 利用 Baker 定理证明 $\Gamma \neq 0$ 时的下界估计： $|\Gamma| > \exp(-C \cdot \log b \cdot \log n_1)$ 。
4. 结合斐波那契数的增长性质（ $F_n \approx \alpha^n/\sqrt{5}$ ）和拼接数的结构，推导出变量 $n_1$ （最大斐波那契数的索引）的巨大上界。
5. 通过分情况讨论（Case 1 和 Case 2，以及子情况），逐步收紧 $n_1, n_2, n_3$ 以及重复数字长度 $\ell_1, \ell_2, \ell_3$ 之间的差值界限。
初步结果：证明了对于 $2 \le b \le 10$ ，解的存在性是有限的，并给出了 $n_1 < 3.09 \times 10^{82} \log^{11} b$ 的理论上界。

第二阶段：降阶法与计算验证

由于理论界限（ $10^{82}$ 量级）过大，无法直接进行穷举搜索，作者采用了降阶法（Reduction Method）。

工具：利用连分数展开（Continued Fraction expansion）和 Dujella-Pethő 引理（基于 Bravo-Gómez-Luca 的改进版）。
策略：
1. 将不等式转化为形如 $|u\tau - v + \mu| < AB^{-w}$ 的形式，其中 $\tau = \frac{\log b}{\log \alpha}$ 。
2. 利用 $\tau$ 的连分数收敛项（Convergents）来大幅降低 $n_1$ 的上界。
3. 通过多轮迭代，将 $n_1$ 的上界从 $10^{82}$ 降低到 $n_1 \le 74$ 。
最终搜索：在 $n_1 \le 74$ 的范围内，结合 $d_i, \ell_i$ 的约束，使用计算机进行穷举搜索，找出所有满足方程的解。

计算挑战与解决方案（GPU 加速）

难点：最后的穷举搜索涉及七层嵌套循环（ $b, d_1, d_2, d_3, \ell_1, \ell_2, \ell_3$ 等），随着 $b$ 增大，迭代次数呈指数级增长。对于 $b=10$ ，传统串行计算预计需要约 248 年。
突破：作者将算法移植到 NVIDIA RTX A2000 GPU 上，利用 CUDA 框架进行大规模并行计算。
效果：实现了超过 20,000 倍 的加速比。例如， $b=2$ 的计算从预计 13 个月缩短至 8 分钟； $b=3$ 从 5 年缩短至 50 分钟。这使得在数小时内完成 $b=2$ 到 $b=10$ 的所有计算成为可能。

3. 主要贡献与结果

定理 1：有限性与上界

证明了对于任意整数基 $b \ge 2$ ，满足条件的解集是有限的。具体给出了 $n_1$ 的显式上界：
$n_1 < 3.09 \times 10^{82} \log^{11} b$

定理 2：完全解集（ $2 \le b \le 10$ ）

对于 $2 \le b \le 10$ 的每一个基数，作者确定了所有可能的解。

总解数：在所有 $b \in [2, 10]$ 中，共有 2665 个不同的和。
最大解：
- 出现在 $b=4$ 时。
- 表达式： $F_{42} + F_{29} + F_{20} = 268,435,290$ 。
- 在 4 进制下的表示： $33333333331122_4$ （即 10 个 3，2 个 1，2 个 2 的拼接）。

推论

论文还通过设置 $n_3=0$ 或 $n_2=n_3=0$ ，分别给出了：

两个斐波那契数之和 表示为三个重复数字拼接的所有解（共 573 个，分布在 $b=2$ 到 $10$）。
单个斐波那契数 表示为三个重复数字拼接的所有解（共 54 个，分布在 $b=2$ $b = 2$ 到 $10$）。
- 例如， $F_{22} = 17711$ 在十进制下是 $17711 $（由 1, 77, 11 拼接而成，虽不完全符合严格定义，但论文列出了所有符合拼接形式的解，如$ F_{10}=55 $在二进制下为$ 110111$ 等）。

4. 意义与影响

理论扩展：该研究将之前关于“单个斐波那契数是重复数字”或“两个斐波那契数之和是重复数字”的研究，扩展到了“三个斐波那契数之和是三个重复数字的拼接”这一更复杂的情形。
方法论示范：展示了如何将超越数论（对数线性型下界）与计算数论（降阶法、GPU 并行计算）紧密结合，以解决具有巨大理论界限的丢番图问题。
计算技术突破：论文特别强调了利用 GPU 并行计算解决组合爆炸问题的有效性，为未来处理类似的高复杂度数论搜索问题提供了重要的工程参考。
数字模式研究：加深了对斐波那契数列在数字表示（Digital Representation）中特殊模式的理解，揭示了斐波那契数与重复数字拼接之间极其罕见的重合性。

总结

这篇论文通过严谨的数论推导和强大的并行计算能力，彻底解决了“三个斐波那契数之和等于三个重复数字拼接”这一特定范围内的所有整数解问题，不仅给出了理论上的有限性证明，还列出了 $b=2$ 到 $10$ 的全部 2665 个具体解，是该领域的一项重要进展。