🔢 mathematics

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

本論文では、2 以上 10 以下の任意の整数を底とする 3 つのレップディジットの連結として表される 3 つのフィボナッチ数の和が有限個しか存在しないことを証明し、そのすべての解を具体的に決定するとともに、最大の解が底 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. 物語の舞台：2 つの異なる世界

この研究は、2 つの異なる「数字の世界」を結びつけようとしています。

世界 A：自然の法則（フィボナッチ数列）
- これは自然界に溢れる数字の並びです。1, 1, 2, 3, 5, 8, 13... と、前の 2 つを足すと次の数字になるルールです。ヒマワリの種や貝殻の螺旋など、美しい自然のパターンに使われています。
- 論文では、「この自然の数字を 3 つ足した合計」に注目しています。
世界 B：人工的なパターン（レップディジットの連結）
- 「レップディジット」とは、同じ数字が並んだ数のことです（例：111, 2222, 77777）。
- 「連結」とは、これらをくっつけることです。例えば、「111」と「22」と「333」をくっつけて「11122333」にするようなイメージです。
- 論文では、この「同じ数字の塊」を 3 つ並べたものが、フィボナッチ数列の合計と一致するかどうかを探っています。

2. 探検の目的：「偶然の一致」を見つける

研究者たちは、**「フィボナッチ数列の 3 つの数字を足した結果が、偶然にも『同じ数字の塊』を 3 つ並べた形になることがあるのか？」**という問いに答えようとしています。

これは、まるで**「偶然に 3 つの異なるパズルピースを合わせたら、完璧な絵が完成した！」**という発見を目指すようなものです。

例え話：
- フィボナッチの数字は「自然が作ったレゴブロック」。
- レップディジットの連結は「人間が作った整然としたタイル」。
- この 2 つが、特定の条件（2 進法から 10 進法までの異なる「言語」で数字を表す場合）で、**「合計が全く同じ数」**になる瞬間があるのか？

3. 研究の手法：巨大な山を登るための「魔法の道具」

この問題は、数字が膨大になるため、手作業で 1 つずつ調べるのは不可能です。そこで研究者たちは、2 つの強力な「魔法の道具」を使いました。

対数の魔法（Baker の理論）：
- 「答えはこれ以上大きくなれない」という**「巨大な壁」**を数学的に証明する道具です。
- 最初は「答えは 10 兆の壁より小さい」というような、まだ巨大すぎる壁でした。これでは検索しきれません。
階段を下る魔法（縮小法）：
- 巨大な壁を、もっと小さな壁に下げるテクニックです。
- 研究者たちは、この魔法を何回も使い、壁を「10 兆」→「1000」→「100」へと小さくしていきました。
- 最終的に、**「調べるべき数字は 74 以下だ！」**という、人間が実際にチェックできる小さな範囲にまで絞り込みました。

4. 驚異的な計算：スーパーコンピュータの力

ここがこの論文の最も劇的な部分です。

問題： 範囲を 74 まで絞ったとしても、数字の組み合わせ（どの数字を何回使うか、どの「言語」で表すか）は膨大です。
壁：普通のパソコンで計算しようとすると、**「248 年」**もかかる計算量でした。これは人間の一生よりも長い時間です。
解決策： 研究者たちは、**「GPU（グラフィックボード）」**という、元々はゲームの画像処理に使われる超高速なチップを大動員しました。
- 比喩： 1 人で 248 年かかる作業を、**「2 万人の作業員が同時に働いて 1 時間」**で終わらせたようなものです。
- トゴ・データ・ラボという研究所の協力により、この並列計算が成功し、すべての答えを数時間で見つけ出しました。

5. 発見された「宝物」

最終的に、2 進法から 10 進法までのすべての「言語」で調べ上げ、**「2665 個」**の答えが見つかりました。

その中でも、最も大きな「宝物」は、**4 進法（0,1,2,3 しか使わない世界）**で見つかりました。

発見された式：
フィボナッチの第 42 番 + 第 29 番 + 第 20 番 = 268,435,290
4 進法での姿：
333333333311224
（3 が 10 個、1 が 2 個、2 が 2 個、4 が 1 個並んでいる）

これは、自然の法則（フィボナッチ）と、人工的なパターン（同じ数字の並び）が、4 進法という特殊な世界で完璧に一致した瞬間です。

まとめ

この論文は、**「数学の 2 つの異なる世界が、偶然にも美しい形で重なり合う瞬間」**を、現代の超高速コンピュータの力を借りて見事に発見した物語です。

昔の数学： 紙とペンで、小さな数字を探す。
今の数学： 対数という理論で「探す範囲」を絞り込み、スーパーコンピュータで「全パターン」を瞬時にチェックする。

研究者たちは、この「数字の宝探し」を通じて、自然と人工のパターンの間に隠された、驚くべき調和を証明したのです。

この論文「SUMS OF THREE FIBONACCI NUMBERS AS CONCATENATIONS OF THREE REPDIGITS IN BASE b（3 つのフィボナッチ数の和が、b 進法における 3 つのレップディジットの連結として表される場合）」の技術的サマリーを以下に記述します。

1. 問題設定

本論文は、数論と組み合わせ論の交差点にあるディオファントス方程式の問題を扱っています。具体的には、以下の条件を満たす解の存在と分類を目的としています。

対象: フィボナッチ数列 $\{F_n\}$ の 3 つの項の和 $F_{n_1} + F_{n_2} + F_{n_3}$ 。
表現形式: 整数 $b \ge 2$ $b \geq 2$ における「3 つのレップディジット（repdigits）の連結（concatenation）」として表されること。
- レップディジットとは、ある基数 $b$ においてすべての桁が同じ数字 $d$ で構成される整数（例： $111_b, 2222_b$ ）です。
- 連結とは、これらを並べて一つの整数を作ることを指します（例： $d_1...d_1$ （ $\ell_1$ 回） $d_2...d_2$ （ $\ell_2$ 回） $d_3...d_3$ （ $\ell_3$ 回））。
方程式:
$F_{n_1} + F_{n_2} + F_{n_3} = \underbrace{d_1 \dots d_1}_{\ell_1} \underbrace{d_2 \dots d_2}_{\ell_2} \underbrace{d_3 \dots d_3}_{\ell_3}_{(b)}$
ここで、 $n_1 \ge n_2 \ge n_3 \ge 0$ 、 $\ell_i \ge 1$ 、 $1 \le d_1 \le b-1$ 、 $0 \le d_2, d_3 \le b-1$ です。

この問題は、2019 年にアルハムディらによって「2 つのレップディジットの連結としてのフィボナッチ数」が研究された流れを汲み、さらに「3 つのフィボナッチ数の和」と「3 つのレップディジットの連結」というより複雑な構造に拡張したものです。

2. 手法と理論的枠組み

論文の証明は、主に以下の 2 つの強力な数論的手法を組み合わせて行われています。

A. 対数の線形形式の下限（Linear Forms in Logarithms）

ベイカー・ウーストホルツの定理（Baker-Wüstholz Theorem）: 代数的数の対数の線形形式の絶対値の下限を与える定理を用います。
適用: 与えられたディオファントス方程式を対数形式に変形し、変数 $n_1$ （最大のフィボナッチ数のインデックス）に対する非常に緩い（巨大な）上界を導出します。
結果: 理論的な上界として $n_1 < 3.09 \times 10^{82} \log^{11} b$ という値が得られました。これは計算機で直接探索するにはあまりに巨大な範囲です。

B. 縮小法（Reduction Method）

ドゥエラ・ペテオ（Dujella-Pethő）法およびブラボ・ゴメス・ルカ（Bravo-Gómez-Luca）法: 巨大な上界を実用的な範囲に縮小するための手法です。
連分数展開: 無理数の連分数展開の収束項（convergents）を用いて、不等式の解の存在範囲を厳密に絞り込みます（Lemma 2 の適用）。
計算: 各基底 $b$ に対して、変数の差（ $n_1-n_2, n_1-n_3$ ）や桁数（ $\ell_i$ ）に関する上界を段階的に縮小し、最終的に $n_1 \le 74$ 程度まで落とします。

C. 並列計算による完全探索

縮小法によって得られた狭い範囲（ $n_1 \le 74$ など）内で、すべての可能なパラメータ（ $b, d_i, \ell_i$ ）について方程式を満たす解を網羅的に検索します。
技術的課題: 基底 $b$ が増えるにつれ、探索空間が指数的に膨大になるため、従来の逐次処理（CPU 中心）では計算に数十年〜数百年を要すると推定されました。
解決策: NVIDIA RTX A2000 GPU を用いた CUDA 並列計算アーキテクチャ へアルゴリズムを移植しました。これにより、20,000 倍以上の高速化を実現し、 $b=10$ までの計算を数時間以内に完了させました。

3. 主要な結果

定理 1（上界の存在）

任意の整数基底 $b \ge 2$ に対して、方程式の解 $(n_1, n_2, n_3, \ell_1, \ell_2, \ell_3, d_1, d_2, d_3)$ に対して、 $n_1$ の明示的な上界が存在することが証明されました。
$n_1 < 3.09 \times 10^{82} \log^{11} b$

定理 2（有限性および解の列挙）

基底 $2 \le b \le 10$ に対して、3 つのフィボナッチ数の和が 3 つのレップディジットの連結として表される解は有限個しか存在せず、それらすべてが具体的に決定されました。

総解数: 基底 2 から 10 までの合計で 2,665 個 の異なる和が存在します。
最大解: 基底 $b=4$ において最大となる解は以下の通りです。
$F_{42} + F_{29} + F_{20} = 268,435,290$
これは 4 進法で $333333333311224 $と表されます（3 つのレップディジット$ 3333333333_4, 11_4, 224_4$ の連結）。

派生結果（コローラリー）

2 つのフィボナッチ数の和: $n_3=0$ とすることで、2 つのフィボナッチ数の和が 3 つのレップディジットの連結となる場合も同様に分類されました（表 2 参照）。
フィボナッチ数単体: $n_2=n_3=0$ とすることで、フィボナッチ数そのものが 3 つのレップディジットの連結となる場合も分類されました（表 3 参照）。

4. 論文の意義と貢献

数論的構造の解明: フィボナッチ数列のような再帰数列と、整数のデジタル表現（レップディジットやその連結）の間の深い関係を明らかにしました。特に、3 つの項の和という複雑なケースにおいて、解が有限個に限定されることを証明しました。
計算数論の手法の進展: 対数の線形形式による理論的上界の導出と、連分数を用いた縮小法、そして大規模な並列計算を組み合わせることで、以前は不可能だった複雑なディオファントス方程式の完全解決を達成しました。
高性能計算（HPC）の応用: 組合せ的な爆発（combinatorial explosion）を起こす問題に対して、GPU 並列計算がどのようにして計算不可能な問題を「数時間」で解決可能にするかを示す実証例となりました。特に、Togo Data Lab のインフラを活用した点も、アフリカにおける研究インフラの重要性を示唆しています。
既存研究の拡張: 2 つのレップディジットや 2 つのフィボナッチ数に関する先行研究を、より一般的な「3 つの和・3 つの連結」へと拡張し、この分野の理論的枠組みをさらに確固たるものにしました。

結論

本論文は、高度な数論的理論と最先端の並列計算技術を融合させることで、フィボナッチ数とレップディジットの連結に関する長年の未解決問題（3 つの和の場合）を完全に解決した画期的な研究です。特に、 $b=4$ における最大解の発見と、GPU 計算による膨大な探索空間の効率的な処理は、数論と計算科学の両面で重要な貢献と言えます。