フィボナッチ数

フィボナッチ数（フィボナッチすう、）は、イタリアの数学者レオナルド・フィボナッチ（ピサのレオナルド）に因んで名付けられた数である。

概要 
  は、次の漸化式で定義される：

第0～22項の値は次の通りである：
0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946, 17711, …（）
1202年にフィボナッチが発行した『算盤の書』(Liber Abaci) に記載されたことで「フィボナッチ数」と呼ばれているが、それ以前にもインドの学者であるヘーマチャンドラ (Hemachandra) が韻律の研究により発見し、書物に記したことが判明している。

兎の問題 
レオナルド・フィボナッチは次の問題を考案した。
1つがいの兎は、産まれて2か月後から毎月1つがいずつの兎を産む。
兎が死ぬことはない。
この条件の下で、産まれたばかりの1つがいの兎は1年の間に何つがいの兎になるか？
つがいの数は次の表のようになる。どの月のつがいの合計も、その前の2つの月での合計の和となり、フィボナッチ数が現れていることが分かる。

一般項 
フィボナッチ数列の一般項は次の式で表される：

この式は1843年にビネ () が発表したことからビネの公式と呼ばれるが、それ以前の1730年（ド・モアブル）・1765年（オイラー）にも発表されており、ビネは最初の発見者ではない。

なお、この式に現れる

は黄金数で、いくつかの数学的特徴がある。黄金数を作る二次方程式  の解を  とすると、上記の一般項は

と表せる。

また、一般項の第2項  の絶対値は減少列で、 のとき  より、第2項を切り捨てた式は  の値を 0.447 以下（ のとき1%以下）の誤差で与える近似式である。

この誤差の絶対値は0.5未満なので、 の正確な整数値は以下の式で得られる。

ただし、 は床関数である。

なお、後述の負数番への拡張を考慮した場合、 では逆に一般項の第1項の絶対値が0.5未満となるため、 における  の正確な整数値は以下の式で得られる。

これらのことから、任意の整数  における  の正確な整数値は以下の式で得られる。

ただし、 は符号関数である。

また、フィボナッチ数列の漸化式は次のように行列表現できる：

母関数は

である。

性質 
フィボナッチ数列の隣接2項の商は黄金数  に収束する。この性質は初期値 () に依らない。

これは次のように導出される：
 が収束するとすれば、

 自然数  の最大公約数を  とすると、 と  の最大公約数は  である。
これより以下を導くことができる。
  が  で割り切れるならば、 は  で割り切れる。
 連続する2数は互いに素であることより、隣り合うフィボナッチ数も互いに素である。
  が偶数となるのは  が 3 の倍数となるときと一致する。
  が 5 の倍数となるのは  が 5 の倍数となるときと一致する。
  が 2 でも 5 でもない素数のとき、 とおくと  は  を割り切る。ここで  はルジャンドル記号である。

フィボナッチ数の累和や累積について以下の式が成り立つ。

また、次の関係式が知られている。

フィボナッチ数のうち平方数であるのは ,  のみ (Cohn 1964)、立方数であるのは ,  のみ (London and Finkelstein 1969)である。フィボナッチ数のうち累乗数であるのはこれしかない (Bugeaud, Mignotte, Siksek 2006)。（）
 
フィボナッチ数で素数であるのは 2, 3, 5, 13, 89, 233, 1597, 28657, … である（）。また、これらはフィボナッチ素数と呼ばれる。

フィボナッチ数で三角数であるのは 1, 3, 21, 55（）のみであることは Vern Hoggatt によって予想されていたが、のちに Luo Ming によって証明された。

フィボナッチ数でハーシャッド数であるのは 1, 2, 3, 5, 8, 21, 144, 2584, …（）。

フィボナッチ数は完全数にはならない。より一般に、フィボナッチ数は倍積完全数にもならず、2つのフィボナッチ数の商も完全数にはならない。

フィボナッチ数列の逆数和は収束し、記号  で表される。

この  が無理数であることは証明されているが (André-Jeannin 1989)、超越数であるかどうかは分かっていない。

任意の正の整数は、1つ以上の連続しない相異なるフィボナッチ数の和として一意に表すことができる（ゼッケンドルフの定理）。

プログラミング言語での実装 
再帰的処理の例としてよく紹介される。以下はPythonでの例。

例1（再帰的処理による実装例） 
def fibonacci(n):
    if n == 0 or n == 1:
        return n
    else:
        return fibonacci(n - 2) + fibonacci(n - 1)

例2（ループ処理による実装例） 
def fibonacci(n):
    a, b = 1, 0
    for _ in range(n):
        a, b = b, a + b
    return b

例3（一般項による実装例） 
def fibonacci(n):
    return round((((1 + 5 ** 0.5) / 2) ** n - ((1 - 5 ** 0.5) / 2) ** n) / 5 ** 0.5)
しかし、上記例1のプログラムでは  が与えられてから  が求まるまでに  回の関数呼び出しが発生する（すなわち指数時間の計算となる）ため、実用的ではない。したがって通常は、例4に示すような指数関数的なコールを必要としない実装を行うか、線形時間で計算するためにメモ化などの手法を用いる。さらに、 が大きい場合には一般項の公式（上記例3）や行列表現を利用してでの計算を行う。

例4（指数関数的なコールを必要としない再帰的処理による実装例） 
def fibonacci(n, a = 0, b = 1):
	if n > 1:
		return fibonacci(n - 1, b, a + b)
	return b

その他の話題 

 フィボナッチ数は自然界の現象に数多く出現する。
また、フィボナッチ数列が生み出す螺旋は、世界で最も美しい螺旋だと言われている。
　ヨハネス・ケプラーは1611年に発表した小論文「深淵の贈り物あるいは六角形の雪について」において、フィボナッチ数を自己を増殖する比例と呼び、植物の種子の能力の現れであると論じた。
花びらの数はフィボナッチ数であることが多い。（⇒　この主張の根拠となる出典を明示してください。統計データでは、4枚の花は3枚と同程度に存在します。キク科の舌状花はある範囲で分布し、このように枚数は固定されません。）
フィボナッチ数は、花びらの枚数も決めているらしい。（『聖なる幾何学』p63より）
 3枚：ユリ、アヤメ、エンレイソウ
 5枚：オダマキ、サクラソウ、キンボウゲ、ノイバラ、ヒエンソウ
 8枚：デルフィニウム属、サンギナリア、コスモス
 13枚：シネラリア、コーンマリゴールド
 21枚：チコリー、オオハンゴンソウ
 34枚：オオバコ、シロバナムシヨケギク
 55枚：ユウゼンギク
 89枚：ミケルマス・デイジー
 花弁の数が144に達することはない。この数は、他の自然界に見られるフィボナッチ数の例でも限界になっていることが多い。

 アブラナやダイコンの花びらは4枚であり、植物学では花式図より3数性、4数性、5数性で分類される。

植物の花や実に現れる螺旋の数もフィボナッチ数であることが多い。
ヒマワリの螺旋の数はフィボナッチ数とされることもあるが、螺旋の数が多い場合、中心から離れると螺旋の隙間にも種ができてしまうため、途中から枝分かれしてフィボナッチ数にならないこともある。
パイナップルの螺旋の数は時計回りは13、反時計回りは8になっている。
葉序（植物の葉の付き方）はフィボナッチ数と関連している。（⇒　出典ならびに根拠を明示してください。）
らせん葉序におけるシンパー・ブラウンの法則はフィボナッチ数列と関連するが、「近似値を示すにすぎず、またこれにあてはまらない例もある」（岩波生物学辞典）。
ハチやアリなど、オスに父親がない家系を辿っていくとフィボナッチ数列が現れる（父母2匹、祖父母3匹、曽祖父母5匹、高祖父母8匹…）。
 段の階段を1段または2段ずつ登るときに、登る場合の数は  通りある。
 ●と○を合わせて  個並べる。●が2個以上続かないように一列に並べる方法は  通りある。
為替などのテクニカル分析で、フィボナッチ・リトレースメントという手法がよく使われている。

負数番への拡張 
フィボナッチ数列は、漸化式  を全ての整数  に対して適用することにより、 が負の整数の場合に拡張できる。そして  が成り立つ。この式より、負の番号の項は次のようになる。

類似の数列 
フィボナッチ数列の定義である初期値や漸化式をやや変更して、類似の数列が作れる。

項数の変更 
フィボナッチ数列は各項が先行する二項の和であるものであったが、それを「先行する  項の和」と置き換えた一般化

を考えることができる。ただし、初期値は 1 で埋める（1-fil型）

あるいは 0 で埋める（0-fil型）

などを取るのが一般的である。これらフィボナッチ数列の類似物を、項数  に対応するラテン語またはギリシャ語に由来する倍数接頭辞を「フィボナッチ」と組み合わせた名称で呼ぶ。

トリボナッチ数 
特に直前の三項の和として各項が定まるトリボナッチ数列は、フィボナッチ数列に次いでよく調べられている。0-fil型でオフセットが0番目からのものは

と表される。第0～21項の値は次の通りである：
 (OEIS )
トリボナッチ数列の一般項は次で表される。

ただし、 は三次方程式  の3解

であり、ここで
（ の虚立方根）
である。

また、上記の  をトリボナッチ定数という。これはフィボナッチ数列における黄金数に当たる定数で、トリボナッチ数列の隣接2項間の商はトリボナッチ定数に収束する：

テトラナッチ数 
直前の四項の和に変更したテトラナッチ数列も同様に様々なことが知られている。同様にオフセット0番の 0-fil型は

と書けて、第0～21項の値は次の通りである：
  (OEIS )
一般項は、四次方程式  の4解を  として、

となる。

初期値の変更

リュカ数 
フィボナッチ数列の最初の2項を 2, 1 に置き換えた数列の項をリュカ数という。
 2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, 199, 322, 521, 843, 1364, 2207, 3571, 5778, …  (OECS )
この数列の一般項は

と表される。

フィボナッチ数列やリュカ数の列を一般化したものがリュカ数列であり、1878年にエドゥアール・リュカが体系的な研究を行い、1913年にがその結果を整理、拡張した。これらの研究が現代のフィボナッチ数の理論の基礎となった。

脚注

注釈

出典

参考文献 

 - 『平方の書』の英訳。
 - 『算盤の書』の英訳。

関連項目 

 黄金比
 数学定数
 数列
 フィボナッチ数列の逆数和
 リュカ数
 リュカ数列

外部リンク 
 
 
 フィボナッチ数、トリボナッチ数、テトラナッチ数、ペンタナッチ数、ヘキサナッチ数 の考察
 
 The Fibonacci Association（フィボナッチ協会）
 Fibonacci Quarterly Home Page（フィボナッチ・クォータリー）
 日本フィボナッチ協会 第14回研究集会報告書2016年8月日本フィボナッチ協会
 日本フィボナッチ協会 第15回研究集会報告書2017年8月日本フィボナッチ協会
 日本フィボナッチ協会 第16回研究集会報告書2018年8月日本フィボナッチ協会
 日本フィボナッチ協会 第17回研究集会報告書2019年8月日本フィボナッチ協会
 日本フィボナッチ協会 第18回研究集会報告書2020年10月日本フィボナッチ協会
 日本フィボナッチ協会 第19回研究集会報告書2021年10月日本フィボナッチ協会
 日本フィボナッチ協会 第20回研究集会報告書2022年10月日本フィボナッチ協会

数列
整数の類
比
レオナルド・フィボナッチ
数学のエポニム
数学に関する記事