• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
費布那西數列
(
Fibonacci
)
一、前言
 
前一陣子在教遞迴數列和數學歸納法中，課本曾提到一個有趣的問題，那就是
1202
年
Fibonacci
在他的書
(Liber Abaci ,
算盤書
)
中的習題：兔子出
生以後兩個月就能生小兔，若每次不多不少恰好生一對
(
一雌一雄
)
。假如養了初生的小兔一對，試問一年以後共可有對少對兔子？
(
如果生下的小兔都不死
)
，這一個問題推算到最後我們可以得到一數列
><
n
 F 
：
1,1,2,3,5,8,13,21,34,55,……
，也許會認為這一個數列只是在生小兔問題中才會遇到，其實不然，後世的數學家提出在自然界、生活中的相關例子都非常有趣。如：開卜勒
(Kepler)
在
1611
年提出「葉序問題」和「菠蘿鱗片」的相關問題，以及數論、最佳化理論、生物、結晶結構等領域都有直接應用。
 
今天我打算以不同的方式來解出費布那西數列，以及提出它的一些性質並部分證明，最後將它引用在應用機率
(
排隊理論
Queueing Theory)
上。在這裡面要研究的東西還很多，我們一起來吧！二、費布那西數列的解法和性質在
1634
年數學家
Girard(
奇拉特
)
發現費布那西數列
><
n
 F 
之間有如下的遞迴關係：
+===
++
nnn
F  F  F  F  F 
1221
1,1
 
( )
遞迴式
( )
初始值
由於這一發現，人們可以輕而易舉的算出這一個數列；
><
n
 F 
：
,89,55,34,21,13,8,5,3,2,1,1
，進而我們可以發現一些此數列的性質。
1.
解的方式
(1)
矩陣的應用
(matrix)
數列
+===
++
nnn
F  F  F  F  F 
1221
1,1
，因為
=
11
12
 F  F 
，
=
+++
nnnn
 F  F  F  F 
112
0111
，所以
====
−−−−−−
122322211
011101110111
 F  F  F  F  F  F  F  F 
nnnnnnn
，
2
≥
n
設
=
0111
 A
，利用線性代數
(
linear algebra
)
求特徵值
(
eigenvalue
)
和特徵向量
(
eigenvector
)
。令
0)det(
=−
 I  A
λ 
的兩根
(
特徵
值
)
為
251
1
+=
λ 
，
251
2
−=
λ 
在找其相對應的特徵向量
222111
,
v Avv Av
λ λ 
==
 
所以得到
+=
1251
1
v
，
−=
1251
2
v
因此我們可以得到一個矩陣
−+=
11251251
T 
，使得
Ψ==
−
211
00
λ λ 
 AT T 
，其中
+−+−=
−
25112511
1
T 
所以
1
−
Ψ=
T T  A
，
1
−
Ψ=
T T  A
nn
，又
Ψ==
−−−−
12211221
F  F T T  F  F  A F  F 
nnnn
且
=
11
12
 F  F 
，可因此得到
])251()251[(51
nnn
 F 
−−+=
(2)
生成函數
(generating function
) 
生成函數是由
De moivre
在
1730
年發現的數理統計中重要的方法，對於在算出費氏數列的通式，也有其相關的應用。令
++++++= ∑=
++∞=
2244332211
)(
nnk k k 
x F  x F  x F  x F  x F  x F  x g 
(1) 
則
+++++=
++
21433221
)(
nn
x F  x F  x F  x F  x xg 
(2) 
++++=
+
242312
)(
nn
 x F  x F  x F  x g  x
(3)
當
1
<
 x
，
(1)-(2)-(3)
為
 x x g  x x
=−−
)()1(
2
)1)(1( 1)(
212
 x x x x x x x g 
λ λ 
−−=−−=
(
其中
251
1
+=
λ 
，
251
2
−=
λ 
) 
 x B x A
21
11
λ λ 
−+−=
根據比較係數，得知
51
=
 A
，
51
−=
 B
因為
1
<
 x
，且由勞倫級數
(Laurent series)
觀念得知
)11(51)11(51)(
21
x x x g 
λ λ 
−−−=
 
])()(1[ 51])()(1[ 51
3222231211
++++−++++=
x x x x x x
λ λ λ λ λ λ 
又
 
++++++=
++
224433221
)(
nn
x F  x F  x F  x F  x F  x g 
比較係數可得到
)(51
21
nnn
 F 
λ λ 
−=
 
])251()251[(51
nn
−−+=
2.
基本性質
(1)
1),(
1
=
+
nn
F  F 
proof:
11
−+
+=
nnn
F  F  F 
 
且由輾轉相除法的性質可知
),(),(
11
nnnn
F  F  F  F 
−+
=
 
1),(),(
211
==∴
+
F  F  F  F 
nn
(2)
11
+−+
+=
mnmnnm
F  F  F  F  F 
 
∈<
N  nm
、
proof:
利用數學歸納法來證明，且固定
n
 
當
1
=
m
時
 
左式
=
1
+
n
 F 
，且由遞迴式可得知，
11
−+
+=
nnn
F  F  F 
 
右式
=
nnnn
F  F  F  F  F  F 
+=+
−−
1211
 
左式
=
右式
 
∴
當
1
=
m
時，等式成立
 
‚
設
k m
≤
時，等式都成立
 
11
+−+
+=∴
k nk nk n
F  F  F  F  F 
是對的，
 
則
1
+=
k m
時，
 
左式
=
11
−++++
+=
k nk nk n
F  F  F 
 
k nk nk nk n
F  F  F  F  F  F  F  F 
+++=
−−+−
1111
 
)()(
111
k k nk k n
F  F  F  F  F  F 
+++=
+−−
 
211
++−
+=
k nk n
F  F  F  F 
=
右式
 
∴
當
1
+=
k m
等式成立
 
所以由數學歸納法得證
 
11
+−+
+=
mnmnnm
F  F  F  F  F 
 
∈<
N  nm
、
 
推廣
(2)
12221
−−
=+
k k k 
F  F  F 
proof:
由上面的證明得知
11
+−+
+=
mnmnnm
F  F  F  F  F 
 
1)1(11)1(12
+−−−−+−
+==∴
k k k k k k k 
F  F  F  F  F  F 
 
221
k k 
F  F 
+=
−
(3)
n
 F 
4
是
3
的倍數
proof:
利用數學歸納法證明
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...