フィボナッチ数チェッカー

フィボナッチ数チェッカー

フィボナッチ数チェッカーへようこそ。これは、正の整数がフィボナッチ数列に属しているかどうかを、数学的に厳密かつ即座に判定するためのツールです。数列を1項ずつ生成する代わりに、この電卓は Gesselの完全平方数定理 を適用して O(1) で判定を行い、正確なインデックス \(F_n\)、一意の ゼッケンドルフの表現、黄金比への収束チェック、および描画されたフィボナッチの螺旋によって結果を充実させます。

フィボナッチ数列とは？

フィボナッチ数列は、以下の単純な漸化式によって定義されます。

最初の20項は以下の通りです：0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181。この数列は、各項が黄金比 \(\varphi = \frac{1+\sqrt{5}}{2} \approx 1.61803\) の係数で指数関数的に増加します。

チェッカーの仕組み：Gesselの定理

この電卓は、反復的に数列を構築するのではなく、1972年にIra Gesselによって発表された驚くべき結果を使用しています。

例えば、144がフィボナッチ数かどうかを確認するには、\(5 \times 144^2 + 4 = 103{,}684 = 322^2\) を計算します。完全平方数なので、完了です。生成の必要はありません。このテストは多倍長精度の平方根を除けば定数時間で動作するため、30桁の入力でも爆速で判定できます。

ビネの公式：一般項

黄金比を用いると、フィボナッチ数の任意の項を直接求めることができます。

\(|\psi| < 1\) であるため、\(\psi^n\) の項は急速に減衰し、\(F_n\) は \(\varphi^n / \sqrt{5}\) を最も近い整数に丸めた値に近似されます。これが、比 \(F_{n+1} / F_n\) が \(\varphi\) に収束する理由です。

ゼッケンドルフの定理

すべての正の整数は、連続しないフィボナッチ数の和として一意に表現できます（\(F_1 = 1\) は \(F_2 = 1\) と重複するため除外します）。これは「ゼッケンドルフの表現」と呼ばれ、フィボナッチ進数システムの基礎となります。

• 100 = 89 + 8 + 3 = \(F_{11} + F_6 + F_4\)
• 50 = 34 + 13 + 3 = \(F_9 + F_7 + F_4\)
• 1000 = 987 + 13 = \(F_{16} + F_7\)

この電卓は、入力された任意の正の整数の表現を計算します。入力した数字がフィボナッチ数でなくても、フィボナッチ数の「原子」への分解を確認できます。

この電卓の使い方

1. 数値を入力： \(10^{30}\) までの非負の整数を入力します。Pythonの多倍長整数を使用しているため、巨大な入力も完璧に動作します。
2. 「フィボナッチ数を確認」をクリック： Gesselテストが即座に実行されます。
3. 判定バナーを確認： 金色はフィボナッチ数（正確なインデックス \(F_n\) が表示されます）、灰色はそうでないことを意味します。
4. 詳細を見る： 2つのGesselテスト結果、強調された数列ストリップ、黄金の螺旋、ゼッケンドルフの分解、およびステップバイステップの証明を確認してください。

フィボナッチ数に関する興味深い事実

• 144は特別： 完全平方数でもある最大のフィボナッチ数です。実際、144 = \(12^2 = F_{12}\) です。これ以外のフィボナッチ平方数は 0 と 1 だけです（Cohn, 1964）。
• 3つおきに偶数： \(F_3 = 2, F_6 = 8, F_9 = 34, F_{12} = 144, \ldots\) 偶奇のパターンは「奇、奇、偶、奇、奇、偶…」と厳密に周期的に現れます。
• フィボナッチと最大公約数： \(\gcd(F_m, F_n) = F_{\gcd(m,n)}\)。これはカトランの恒等式であり、数列を数論に結びつけます。
• 隣接する項は互いに素： すべての \(n\) において \(\gcd(F_n, F_{n+1}) = 1\) です。
• 自然界のフィボナッチ： 多くの花の花びらの数（ユリ 3、バターカップ 5、デルフィニウム 8、デイジー 21/34/55/89）、松ぼっくりの螺旋、ヒマワリの種の並び、オウムガイの殻などはすべてフィボナッチ数を示します。
• ミツバチの系図： オスのドローン蜂には、親が1匹、祖父母が2匹、曽祖父母が3匹、さらに5, 8, 13, … とフィボナッチ数に従った先祖がいます。
• フィボナッチ三角数は4つだけ： 1, 3, 21, 55 (Luo, 1989)。

最初の25個のフィボナッチ数

よくある質問

0はフィボナッチ数ですか？

はい。ここで採用されている標準的な慣例では、\(F_0 = 0\) です。一部の教科書では数列を \(F_1 = 1, F_2 = 1\) から始め、ゼロを省略することもありますが、OEISやほとんどの現代的な文献では0を0番目のフィボナッチ数として含めます。

1はフィボナッチ数ですか？

はい。実際、1は2回現れます：\(F_1 = F_2 = 1\)。このツールでは慣例により、より小さいインデックス（1）を報告します。

100はフィボナッチ数ですか？

いいえ。\(5 \times 100^2 + 4 = 50{,}004\) および \(5 \times 100^2 - 4 = 49{,}996\) ですが、どちらも完全平方数ではないため、100はGesselのテストに不合格となります。100は \(F_{11} = 89\) と \(F_{12} = 144\) の間にあります。

144はフィボナッチ数ですか？

はい、有名です。144 = \(F_{12}\) であり、1より大きいフィボナッチ数の中で唯一の完全平方数（\(144 = 12^2\)）です。Gesselのテスト：\(5 \times 144^2 + 4 = 103{,}684 = 322^2\) となり、合格です。 ✓

これまでに計算された最大のフィボナッチ数は？

100万桁を超えるフィボナッチ数が計算されています。既知の最大のフィボナッチ素数のインデックスは時間とともに変化しますが、2026年現在、進行中の共同素数探索によって発見された、42,000桁以上の \(F_{201107}\) です。

巨大な数字を入力できますか？

はい、\(10^{30}\) まで可能です。このツールはPythonの巨大整数演算と整数平方根（isqrt）に依存しており、数十桁の入力でも正確かつ高速に動作します。

追加リソース

• フィボナッチ数 - Wikipedia
• ゼッケンドルフの定理 - Wikipedia
• 黄金比 - Wikipedia
• Binet's Formula - Wikipedia（英語）
• OEIS A000045: フィボナッチ数

基本的な数学操作:

• 共通因子電卓
• キューブおよびキューブルート電卓
• 立方根電卓
• 2つの部分に分ける
• 割り切れるテスト電卓 おすすめ
• ファクター電卓
• 最小値と最大値を見つける
• eの最初のn桁
• 円周率の最初のn桁
• 最大共通因子電卓
• 素数ですか おすすめ
• 最小公倍数電卓
• モジュロ電卓 おすすめ
• 乗算電卓
• n乗根電卓高精度
• 桁数電卓 おすすめ
• 素因数電卓
• 素因数分解電卓
• 商と剰余の計算
• 番号を並べ替える おすすめ
• 平方根電卓 おすすめ
• 合計電卓 おすすめ
• 比率電卓 新しい
• 筆算割り算電卓 新しい
• 交差掛け算電卓 新しい
• 九九表ジェネレーター 新しい
• 筆算かけ算計算機 新しい
• 筆算足し算・引き算計算機 新しい
• 演算の順序電卓PEMDAS 新しい
• 位取り表ジェネレーター 新しい
• 数列パターン検出ツール 新しい
• 偶数奇数チェッカー 新しい
• 絶対値電卓 新しい
• 天井関数と床関数 電卓 新しい
• 単価電卓 新しい
• スキップカウントジェネレーター 新しい
• 概算電卓 新しい
• 完全数チェッカー 新しい
• 友愛数チェッカー 新しい
• メルセンヌ素数チェッカー 新しい
• ゴールドバッハ予想検証ツール 新しい
• メビウス関数電卓 新しい
• フィボナッチ数チェッカー 新しい
• デジタルルート電卓 新しい
• ランダム算数問題ジェネレーター 新しい
• 数の合成と分解生成ツール 新しい
• 繰り上がりと繰り下がりビジュアライザー 新しい
• 九九クイズ 新しい
• 暗算トレーナー 新しい
• ローマ数字計算ソルバー 新しい
• 古代エジプト式乗算電卓 新しい
• ヴェーダ数学トリック電卓 新しい
• ロシア農民式乗算 新しい
• そろばんシミュレーター 新しい