費波那契數檢查器

費波那契數檢查器

歡迎使用費波那契數檢查器 — 這是一個即時、數學嚴謹的工具，用於確定任何正整數是否屬於費波那契數列。該工具不是逐項生成序列，而是應用 Gessel 完全平方數定理 進行 O(1) 的判定，然後提供確切的索引 \(F_n\)、唯一的齊肯多夫表示法、黃金比例收斂檢查以及繪製的費波那契螺旋來豐富答案。

什麼是費波那契數列？

費波那契數列由簡單的遞迴關係定義：

前二十項為：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 定理

該工具不使用迭代構建序列，而是利用 Ira Gessel 在 1972 年提出的一個驚人結果：

因此，要檢查例如 144 是否為費波那契數，只需計算 \(5 \times 144^2 + 4 = 103{,}684 = 322^2\) — 一個完全平方數。完成。無需生成。該測試在任意精度平方根下是常數時間的，使得此檢查器即使對於 30 位數字的輸入也能極速運行。

Binet 公式：閉式解

同樣的黃金比例也給出了任何費波那契數的閉式表達式：

因為 \(|\psi| < 1\)，項 \(\psi^n\) 迅速衰減，且 \(F_n \approx \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. 探索： 查看兩個 Gessel 測試結果、突顯的序列條、黃金螺旋、齊肯多夫分解以及分步證明。

關於費波那契數的有趣事實

• 144 很特別： 它是最大的既是費波那契數又是完全平方數的數字。事實上，144 = \(12^2 = F_{12}\)。僅有的其他費波那契平方數是 0 和 1 (Cohn, 1964)。
• 每三個費波那契數就有一個是偶數： \(F_3 = 2, F_6 = 8, F_9 = 34, F_{12} = 144, \ldots\) 奇偶模式嚴格週期性：奇、奇、偶、奇、奇、偶……
• 費波那契與 \(\gcd\)： \(\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 作為第零個費波那契數。

1 是費波那契數嗎？

是的。事實上，1 出現了兩次：\(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\)。✓

有史以來計算出的最大費波那契數是多少？

目前已計算出超過一百萬位數字的費波那契數。已知最大的費波那契質數的索引隨時間變化；截至 2026 年，它是 \(F_{201107}\)，擁有超過 42,000 位數字，是通過持續的協作質數搜索發現的。

我可以輸入巨大的數字嗎？

是的，最高可達 \(10^{30}\)。該工具依賴於 Python 的大整數算術和整數平方根 (isqrt)，即使對於擁有幾十位數字的輸入也能保持精確且快速。

其他資源

• 費波那契數 - 維基百科
• 齊肯多夫定理 - 維基百科
• 黃金比例 - 維基百科
• Binet 公式 - 維基百科
• OEIS A000045：費波那契數

其他相關工具:

基本數學計算:

• 公因子計算機
• 立方和立方根計算機
• 立方根計算機
• 分為兩部分
• 可整除測試計算機 精選
• 因子計算機 精選
• 查找最小值和最大值
• e的前n位數
• pi的前n位數
• 最大公因子計算機 精選
• 質數檢查器
• 最小公倍數計算機 精選
• 模計算機
• 乘法計算機
• n次方根計算機 高精度
• 位數計算機
• 質數因子計算機
• 質數分解計算機 精選
• 商和餘數計算機 精選
• 排序數字
• 平方根計算機
• 總和計算機
• 比率計算機 新
• 長除法計算機 新
• 交叉相乘計算機 新
• 乘法表產生器 新
• 長乘法計算機 新
• 直式加減法計算機 新
• 運算順序計算機PEMDAS 新
• 位值圖產生器 新
• 數列模式查找器 新
• 奇偶數檢查器 新
• 絕對值計算機 新
• 上取整和下取整計算機 新
• 單位費率計算機 新
• 跳數產生器 新
• 估算計算機 新
• 完全數檢查器 新
• 親和數檢查器 新
• 梅森質數檢查器 新
• 哥德巴赫猜想驗證器 新
• 莫比烏斯函數計算機 新
• 費波那契數檢查器 新
• 數字根計算機 新