フィボナッチ数チェッカーはどのように動作しますか？

1972年のGesselの定理を使用しています。非負の整数nがフィボナッチ数であるための必要十分条件は、5n^2 + 4 または 5n^2 - 4 が完全平方数であることです。これにより、数列を生成することなく瞬時にO(1)で判定できます。さらに、正確なインデックスF_n、ゼッケンドルフの表現、および黄金比への収束分析も表示します。

フィボナッチ数列とは何ですか？

フィボナッチ数列は 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, ... と続き、各項は前の2つの項の和になります。隣接する項の比は、黄金比 phi ~ 1.61803 に収束します。

ゼッケンドルフの定理とは何ですか？

ゼッケンドルフの定理（1972年）は、すべての正の整数は、連続しないフィボナッチ数の和として一意に表現できる（各数を最大1回使用し、隣接する2つの数は使用しない）というものです。これはフィボナッチ位取りシステムや黄金進数エンコーディングとも呼ばれます。

最初の20個のフィボナッチ数は何ですか？

F_0 = 0, F_1 = 1, F_2 = 1, F_3 = 2, F_4 = 3, F_5 = 5, F_6 = 8, F_7 = 13, F_8 = 21, F_9 = 34, F_10 = 55, F_11 = 89, F_12 = 144, F_13 = 233, F_14 = 377, F_15 = 610, F_16 = 987, F_17 = 1597, F_18 = 2584, F_19 = 4181 です。

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

入力された正の整数がフィボナッチ数列に属しているかどうかを即座に判定します。Gesselの完全平方数定理を用いたO(1)の数学的テストを行い、正確なインデックス F_n の特定、一意のゼッケンドルフ表現の表示、黄金螺旋の視覚化、そして黄金比への収束プロットまで、クリックひとつでフィボナッチ数の詳細を解析します。

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

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

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

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

フィボナッチ数列とは？

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

フィボナッチの漸化式

$$F_0 = 0, \quad F_1 = 1, \quad F_n = F_{n-1} + F_{n-2} \; \text{（} \; n \geq 2 \text{）}$$

最初の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によって発表された驚くべき結果を使用しています。

Gesselのテスト (1972)

$$n \in \{F_k\} \iff 5n^2 + 4 \text{ または } 5n^2 - 4 \text{ が完全平方数である。}$$

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

ビネの公式：一般項

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

ビネの公式 (1843)

$$F_n = \frac{\varphi^n - \psi^n}{\sqrt{5}}, \quad \varphi = \frac{1 + \sqrt{5}}{2}, \quad \psi = \frac{1 - \sqrt{5}}{2}$$

$|\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$

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

この電卓の使い方

数値を入力： $10^{30}$ までの非負の整数を入力します。Pythonの多倍長整数を使用しているため、巨大な入力も完璧に動作します。
「フィボナッチ数を確認」をクリック： Gesselテストが即座に実行されます。
判定バナーを確認： 金色はフィボナッチ数（正確なインデックス $F_n$ が表示されます）、灰色はそうでないことを意味します。
詳細を見る： 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個のフィボナッチ数

インデックス	値	備考
F₀	0	慣例による
F₁	1	初期値
F₂	1	初期値（F₁と同じ値）
F₃	2	最初の偶数フィボナッチ数
F₄	3	素数
F₅	5	素数
F₆	8	= 2³
F₇	13	素数
F₈	21	= 3 × 7
F₉	34	= 2 × 17
F₁₀	55	三角数
F₁₁	89	素数
F₁₂	144	= 12²（最大の平方フィボナッチ数）
F₁₃	233	素数
F₁₄	377	= 13 × 29
F₁₅	610	= 2 × 5 × 61
F₁₆	987	= 3 × 7 × 47
F₁₇	1,597	素数
F₁₈	2,584
F₁₉	4,181
F₂₀	6,765	三角数に隣接
F₂₁	10,946
F₂₂	17,711
F₂₃	28,657	素数
F₂₄	46,368

よくある質問

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$ の間にあります。