フィボナッチ数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

移動: ナビゲーション, 検索

フィボナッチ数列の各項を一辺とする正方形

フィボナッチ数（ふぃぼなっちすう、Fibonacci number）とは、イタリアの数学者レオナルド・フィボナッチ（ピサのレオナルド）にちなんで名付けられた数である。n 番目のフィボナッチ数を F_n で表わすと

$F_0 = 0,\ F_1 = 1 \,$ 　

$F_{n+2} = F_n + F_{n+1} \quad (n \ge 0)$

で定義される。

この数列はフィボナッチ数列と呼ばれ、最初の数項は

0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, …

である。定義より、どの項もその前の2つの項の和となっている。

1202年にフィボナッチが発行した『算盤の書』(Liber Abaci) に記載されたが、その前に、インドの数学書にも記載されていた^[1]^[2]。

フィボナッチ数列は、漸化式 F_n = F_n−1 + F_n−2 を全ての整数 n に対して適用することにより、n が負の整数の場合に拡張できる。そして F₋_n = (−1)ⁿ⁺¹F_n が成り立つ。この式より、負の番号に対する数項は次のようになる。

…, −55, 34, −21, 13, −8, 5, −3, 2, −1, 1.

[編集] 兎の問題

フィボナッチは次の問題を考案した。

1つがいの兎は、産まれて2か月後から毎月1つがいずつの兎を産む。

1つがいの兎は1年の間に何つがいの兎になるか？

この条件のもとで、つがいの数は次の表のようになる。どの月のつがいの合計も、その前の2つの月での合計の和となり、フィボナッチ数が現れていることがわかる。

	産まれたつがい	1か月目のつがい	2か月目以降のつがい	つがいの数（合計）
0か月目	1	0	0	1
1か月目	0	1	0	1
2か月目	1	0	1	2
3か月目	1	1	1	3
4か月目	2	1	2	5
5か月目	3	2	3	8
6か月目	5	3	5	13
7か月目	8	5	8	21
8か月目	13	8	13	34
9か月目	21	13	21	55
10か月目	34	21	34	89
11か月目	55	34	55	144
12か月目	89	55	89	233

[編集] 一般項

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

$F_n = \frac{1}{\sqrt{5}} \left\{ \left( \frac{1+\sqrt{5}}{2} \right)^n - \left( \frac{1-\sqrt{5}}{2} \right)^n \right\} = {{\phi^n - (-\phi)^{-n}} \over \sqrt{5}}$

ただし、

$\phi \equiv \frac{1+\sqrt{5}}{2} \simeq 1.618033988749895$

は黄金比。
次の近似式は F_n の値を 0.28 以下（n > 4 のとき1%以下）の誤差で与える。

$F_n = {\phi^n \over \sqrt{5}}$
したがって、F_n の正確な整数値は以下の式で与えられる。

$F_n = \left\lfloor {\phi^n \over \sqrt{5}} + \frac{1}{2} \right\rfloor$

ただし、 $\lfloor x\rfloor$ は床関数。
フィボナッチ数列の漸化式は次のように行列表現できる:

${F_{n + 2} \choose F_{n + 1}} = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix} {F_{n + 1} \choose F_n}$

ゆえに

$\begin{pmatrix} F_{n+1} & F_n \\ F_n & F_{n-1} \end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}^n$

[編集] 性質

隣り合うフィボナッチ数の比は黄金比 φ に収束する。

$\lim_{n \to \infin} {F_n \over F_{n-1}} \to \phi$

導出:

$x = \lim_{n \to \infin}{F_n \over F_{n-1}}$ とおけば、

$x = \lim_{n \to \infin} \frac{F_{n-1} + F_{n-2}}{F_{n-1}} = \lim_{n \to \infin} \left( 1 + \frac{1}{ F_{n-1} / F_{n-2} } \right) = 1 + \frac{1}{x}$

$x^2-x-1=0\,$

p と q の最大公約数が r であるならば F_p と F_q の最大公約数は F_r である。
このことより以下を導くことができる。
- m が n で割り切れるならば、F_m は F_n で割り切れる。
- 連続する2数は互いに素であることより、隣り合うフィボナッチ数も互いに素である。
F_m が偶数となるのは m が 3 の倍数となるときと一致する。
F_m が 5 の倍数となるのは m が 5 の倍数となるときと一致する。
p が 2 でも 5 でもない素数のとき、m = p − (5/p) とおくと p は F_m を割り切る。ここで (/) はルジャンドル記号である。
フィボナッチ数の累和や累積について以下の式が成り立つ:

$F_1 + F_2 + F_3 + ... + F_n = F_{n+2} - 1 \,$

$F_1 + F_3 + F_5 + ... + F_{2n-1} = F_{2n} \,$

$F_2 + F_4 + F_6 + ... + F_{2n} = F_{2n+1} - 1 \,$

${F_1}^2 + {F_2}^2 + {F_3}^2 + ... + {F_n}^2 = F_n F_{n+1}$

$F_{n-1} F_{n+1} - {F_n}^2 = (-1)^n$
次の関係式が知られている。

$\frac{1}{89}=\sum_{n=1}^\infty{F_n\times 10^{-(n+1)}}$
フィボナッチ数のうち平方数であるものは F₁ = F₂ = 1, F₁₂ = 144 のみ (Cohn 1964)^[3]、立方数であるものは F₁ = F₂ = 1, F₆ = 8 のみ (London and Finkelstein 1969)^[4] である。フィボナッチ数のうち累乗数であるものはこれしかない (Bugeaud, Mignotte, Siksek 2006)^[5]。

[編集] その他の話題

ヒマワリの種の数をらせんに沿って数えてゆくとフィボナッチ数があらわれる。

フィボナッチ数は自然界の現象に数多く出現する。
- 葉序（植物の葉の付き方）はフィボナッチ数と関連している。
- 蜜蜂の家系を辿っていくとフィボナッチ数列が現れる。

n 段の階段を1段または2段ずつ登るときに、登る場合の数は F_n+1 通りある。
●と○を合わせて n 個並べる。●が2個以上続かないように一列に並べる方法は F_n+2 通りある。

[編集] 最初の50項

0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946, 17711, 28657, 46368, 75025, 121393, 196418, 317811, 514229, 832040, 1346269, 2178309, 3524578, 5702887, 9227465, 14930352, 24157817, 39088169, 63245986, 102334155, 165580141, 267914296, 433494437, 701408733, 1134903170, 1836311903, 2971215073, 4807526976, 7778742049…（オンライン整数列大辞典の数列 A000045）

[編集] 類似の数列

[編集] トリボナッチ数

トリボナッチ数とは、次のように定義されるトリボナッチ数列に現れる数のことである。

$T_0 = T_1 = 0,\ T_2 = 1$

$T_{n+3} = T_n + T_{n+1} + T_{n+2} \quad (n \ge 0)$

フィボナッチ数列が「前の2項の和」なのに対し、トリボナッチ数列は「前の3項の和」である。

最初のいくつかの項は、次のようになる。

0, 0, 1, 1, 2, 4, 7, 13, 24, 44, 81, 149, 274, 504, 927, 1705, 3136, 5768, 10609, 19513, 35890, 66012, … (A73)

トリボナッチ数列の一般項は次で表される。

$T_n = \frac{\beta\gamma - \beta - \gamma + 2}{(\beta - \alpha)(\gamma - \alpha)}\alpha^{n-2} + \frac{\gamma\alpha - \gamma - \alpha + 2}{(\gamma - \beta)(\alpha - \beta)}\beta^{n-2} + \frac{\alpha\beta - \alpha - \beta + 2}{(\alpha - \gamma)(\beta - \gamma)}\gamma^{n-2}$

ただし、α, β, γ は方程式 x³ − x² − x − 1 = 0 の3解

$\alpha = \frac{1}{3} \left(1 + \sqrt[3]{19-3\sqrt{33}} + \sqrt[3]{19+3\sqrt{33}}\right)$

$\beta = \frac{1}{3} \left(1 + \omega \sqrt[3]{19-3\sqrt{33}} + \bar{\omega} \sqrt[3]{19+3\sqrt{33}}\right)$

$\gamma = \frac{1}{3} \left(1 + \bar{\omega} \sqrt[3]{19-3\sqrt{33}} + \omega \sqrt[3]{19+3\sqrt{33}}\right)$

であり、ここに

$\omega = \frac{- 1 + \sqrt{3} i}{2}$

は1の虚の立方根の1つ。

また、上の3つの根のうち、実数解αのことをトリボナッチ定数という。これはフィボナッチ数列の黄金比にあたる定数で、トリボナッチ数列の隣り合う2項間の比は、トリボナッチ定数に収束する。

$\lim_{n \to \infin} {T_n \over T_{n-1}} \to \alpha \simeq 1.839286755214162$

[編集] テトラナッチ数

テトラナッチ数は、トリボナッチ数列と同様に次のように定義される、テトラナッチ数列に現れる数のことである。

$T_0 = T_1 = T_2 = 0,\ T_3 = 1$

$T_{n+4} = T_n + T_{n+1} + T_{n+2} + T_{n+3} \quad (n \ge 0)$

フィボナッチ数列が「前の2項の和」、トリボナッチ数列が「前の3項の和」なのに対し、テトラナッチ数列は「前の4項の和」である。

最初のいくつかの項は、次のようになる。

0, 0, 0, 1, 1, 2, 4, 8, 15, 29, 56, 108, 208, 401, 773, 1490, … (A78)

[編集] リュカ数

フィボナッチ数列の最初の2項を 2, 1 に置き換えた数列の項をリュカ数という。この数列の一般項は

$L_n = \left( \frac{1+\sqrt{5}}{2} \right)^n + \left( \frac{1-\sqrt{5}}{2} \right)^n = {\phi^n + (-\phi)^{-n}}$

と表される。

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

[編集] 関連項目

[編集] 参考文献

中村滋『フィボナッチ数の小宇宙（ミクロコスモス）―フィボナッチ数、リュカ数、黄金分割』日本評論社、2002年 (初版) ISBN 4535782814 / 2008年 (改訂版) ISBN 978-4535784925
R.A.ダンラップ『黄金比とフィボナッチ数』日本評論社、2003年 ISBN 4535783705
佐藤修一『自然にひそむ数学―自然と数学の不思議な関係』講談社〈ブルーバックス〉、1998年 ISBN 406257201X
Thomas Koshy, "Fibonacci and Lucas Numbers (Pure and Applied Mathematics (Wiley))", Wiley-Interscience, (2001) ISBN 0471399698
Leonardo Pisano Fibonacci, "The Book of Squares", Academic Press, (1987) ISBN 0126431302
Laurence Sigler, "Fibonacci's Liber Abaci: A Translation into Modern English of Leonardo Pisano's Book of Calculation (Sources and Studies in the History of Mathematics and Physical Sciences)", Springer-Verlag ; (Paperback; 2004) ISBN 0387407375 / (Hardcover; 2002) ISBN 0387954198

[編集] 脚注

[ヘルプ]

^ Parmanand Singh. "Acharya Hemachandra and the (so called) Fibonacci Numbers". Math. Ed. Siwan, 20(1): pp.28-30, 1986. ISSN 0047-6269.
^ Parmanand Singh, "The So-called Fibonacci numbers in ancient and medieval India." Historia Mathematica 12(3), pp.229–244, 1985.
^ J. H. E. Cohn, On square Fibonacci numbers, J. London Math. Soc. 39(1964), pp.537-540.
^ H. London and R. Finkelstein, On Fibonacci and Lucas numbers which are perfect powers, Fibonacci Quart. 5(1969), pp.476-481.
^ Yann Bugeaud, Maurice Mignotte, Samir Siksek, Classical and modular approaches to exponential Diophantine equations. I. Fibonacci and Lucas perfect powers. Ann. of Math. 163(2006), pp.969-1018. Yann Bugeaud, Publications, 2006.
^ R. D. Carmichael, On the numerical factors of the arithmetic forms αⁿ ± βⁿ, Ann. of Math. 15 (1913), pp.30-70.

[編集] 外部リンク

The Fibonacci Association（フィボナッチ協会）（英語）
Fibonacci Quarterly Home Page（フィボナッチ・クォータリー）（英語）
フィボナッチの数列の性質（日能研）

"http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%9C%E3%83%8A%E3%83%83%E3%83%81%E6%95%B0" より作成

カテゴリ: 数論 | 整数の類 | 数学に関する記事