斐波那契數是由 線性遞推方程
|
(1)
|
且 。根據定義 (1),通常定義
。
對於 ,斐波那契數為 1, 1, 2, 3, 5, 8, 13, 21, ... (OEIS A000045)。
斐波那契數可以看作是 斐波那契多項式 在
時的特例。
斐波那契數在 Wolfram 語言 中被實現為Fibonacci[n].
斐波那契數也是一個 盧卡斯序列 ,並且是 盧卡斯數 的伴隨序列(它們滿足相同的 遞推方程)。
上面的漫畫(Amend 2005)展示了斐波那契數的一種非常規體育應用(左邊兩格)。(右邊一格應用的是 佩蘭序列)。
前八個斐波那契數的一個亂序版本 13, 3, 2, 21, 1, 1, 8, 5 (OEIS A117540) 出現在 D. Brown 的小說《達·芬奇密碼》(Brown 2003, pp. 43, 60-61, and 189-192)中,作為被謀殺的博物館館長 Jacque Saunière 留下的線索之一。在電視劇 數字追兇 第一季的劇集 "破壞" (2005) 中,數學天才 Charlie Eppes 提到在晶體的結構、星系的螺旋以及鸚鵡螺殼中都發現了斐波那契數。在 CBS-TV 犯罪劇 "犯罪心理" 第四季的劇集 "傑作" (2008) 中,FBI 行為分析小組的特工們遇到了一位連環殺手,他使用斐波那契數列來確定每次殺戮事件的受害者人數。在這一集中,角色 Dr. Reid 還注意到,殺戮地點位於 黃金螺線 的圖上,前往螺旋中心使 Reid 能夠確定兇手的行動基地位置。
上面的圖表顯示了斐波那契數列的前 511 項的二進位制表示,揭示了一個有趣的空心和實心三角形圖案(Pegg 2003)。底部邊緣出現了一個類似分形結構的白色三角形系列,部分原因是 的二進位制表示以
個零結尾。還存在許多其他類似的性質。
斐波那契數給出了 個月後兔子的對數,從最初的一對開始繁殖算起(假設新生的兔子在兩個月大時開始繁殖),正如比薩的列奧納多(也稱為斐波那契)在他的著作《Liber Abaci》中所描述的那樣。開普勒也描述了斐波那契數(Kepler 1966; Wells 1986, pp. 61-62 和 65)。在斐波那契撰寫他的著作之前,印度學者如 Gopāla(1135 年之前)和 Hemachandra(約 1150 年)已經討論過斐波那契數,他們長期以來對由一拍和兩拍音符或音節組成的節奏模式感興趣。具有
拍的總節奏數是
,因此這些學者都明確提到了數字 1, 2, 3, 5, 8, 13, 21, ... (Knuth 1997, p. 80)。
小於 10, ,
, ... 的斐波那契數的數量分別為 6, 11, 16, 20, 25, 30, 35, 39, 44, ... (OEIS A072353)。對於
, 2, ...,
中十進位制數字的數量分別為 2, 21, 209, 2090, 20899, 208988, 2089877, 20898764, ... (OEIS A068070)。可以看出,初始數字串穩定下來,產生數字 208987640249978733769...,這對應於
的十進位制數字 (OEIS A097348),其中
是 黃金比例。這源於對於任何冪函式
,
的十進位制數字數量由
給出。
斐波那契數 ,對於
, 12, 18, 24, 25, 30, 36, 42, 48, 50, 54, 56, 60, 66, ..., 372, 375, 378, 384, ... (OEIS A037917) 是 平方數豐富的,對於
, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, ... (OEIS A037918) 是 無平方因子的。
且
對於所有
成立,並且至少存在一個
使得
。沒有已知的 平方數豐富的 斐波那契數
,其中
為 素數。
連續斐波那契數的比率 隨著
趨近於無窮大而接近 黃金比例
,蘇格蘭數學家 Robert Simson 於 1753 年首次證明了這一點 (Wells 1986, p. 62)。交替斐波那契數的比率由 收斂子 給出,趨近於
,其中
是 黃金比例,並且據說衡量了植物莖上連續葉片之間的轉動分數(葉序學):榆樹和椴樹為 1/3,山毛櫸和榛樹為 2/5,橡樹和蘋果樹為 3/8,楊樹和玫瑰為 5/13,柳樹和杏樹等 (Coxeter 1969, Ball and Coxeter 1987)。斐波那契數有時被稱為松果數 (Pappas 1989, p. 224)。斐波那契數在植物學中的作用有時被稱為路德維希定律 (Szymkiewicz 1928; Wells 1986, p. 66; Steinhaus 1999, p. 299)。然而,植物學家 Cooke 建議在植物學和斐波那契數列之間建立聯絡時要謹慎 (Peterson 2006)。
方程 (◇) 是一個 線性遞推方程
|
(2)
|
因此 的閉式解由下式給出
|
(3)
|
其中 和
是
的根。這裡,
,所以方程變為
|
(4)
|
其 根 為
|
(5)
|
因此,閉式解由下式給出
|
(6)
|
這被稱為 比內公式 (Wells 1986, p. 62)。另一個閉式解為
|
(7)
| |||
|
(8)
|
其中 是 最接近整數函式 (Wells 1986, p. 62)。
使用方程 (7), 的定義可以根據下式擴充套件到負整數
|
(9)
|
更一般地,斐波那契數可以透過下式擴充套件到實數
|
(10)
|
如上圖所示。
斐波那契函式在 處有零點,並且有無數個負值接近
,對於所有負整數
,由以下方程的解給出
|
(11)
|
其中 是 黃金比例。前幾個根為 0,
(OEIS A089260),
,
,
, ....
斐波那契數的另一個 遞推關係 是
|
(12)
|
其中 是 向下取整函式,
是 黃金比例。這個表示式來自更一般的 遞推關係
|
(13)
|
對於 。(
的情況顯然是
,而
的情況本質上是 卡西尼恆等式,因此等於
。)
另一個有趣的 行列式 恆等式來自於定義 為
矩陣,該矩陣除了
和
(對於
,即沿 上對角線 和 下對角線)之外,所有位置都為零。那麼
|
(14)
|
(S. Markelov)。
斐波那契數的 生成函式 是
|
(15)
| |||
|
(16)
| |||
|
(17)
|
透過代入 ,這給出了上面所示的奇特的加法樹,
|
(18)
|
因此
|
(19)
|
(Livio 2002, pp. 106-107)。
和
|
(20)
|
Yuri Matiyasevich (1970) 證明了存在一個關於 、
和許多其他變數
、
、
、... 的多項式
,它具有以下性質:
當且僅當 存在整數
、
、
、... 使得
。這導致了 Julia Robinson 和 Martin Davis 在 1970 年證明了 希爾伯特問題 中的第十個問題(是否存在解決 丟番圖方程 的通用方法?)的不可解性 (Reid 1997, p. 107)。
斐波那契數 給出了用
多米諾骨牌 覆蓋
棋盤 的方法數,如上圖所示 (Dickau)。
從數字 1, 2, ..., 中選取一個 集合(包括 空集)而不選取兩個連續數字的方法數是
。從數字 1, 2, ...,
中選取一個集合(包括 空集)而不選取兩個連續數字(其中 1 和
現在是連續的)的方法數是
,其中
是一個 盧卡斯數。
在拋擲 次 硬幣 時,不連續出現兩次正面的機率是
(Honsberger 1985, pp. 120-122)。斐波那契數也與
次 拋硬幣 的方式數有關,使得不會連續出現三個正面或反面。一個
元 柵欄偏序集 的理想數是斐波那契數
。
給定一個由 個 1-
電阻組成的 電阻網路,每個電阻都以前一個電阻串聯或並聯的方式遞增連線,則淨電阻是一個 有理數,其最大可能的 denominator 為
。
斐波那契數可以用 第二類切比雪夫多項式 表示為
|
(21)
|
求和恆等式包括
|
(22)
| |||
|
(23)
| |||
|
(24)
| |||
|
(25)
|
有許多特別漂亮的涉及斐波那契數的代數恆等式,包括
|
(26)
| |||
|
(27)
| |||
|
(28)
| |||
|
(29)
| |||
|
(30)
| |||
|
(31)
|
(Brousseau 1972), 卡塔蘭恆等式
|
(32)
|
|
(33)
|
|
(34)
|
|
(35)
|
有時也稱為 Simson 公式,因為它也是由 Simson 發現的 (Coxeter and Greitzer 1967, p. 41; Coxeter 1969, pp. 165-168; Petkovšek et al. 1996, p. 12)。
Johnson (2003) 給出了非常一般的恆等式
|
(36)
|
它對於任意整數 、
、
、
和
(其中
)成立,由此可以得出許多其他恆等式作為特例。
斐波那契數服從否定公式
|
(37)
|
加法公式
|
(38)
|
其中 是一個 盧卡斯數,減法公式
|
(39)
|
基本恆等式
|
(40)
|
共軛關係
|
(41)
|
後繼關係
|
(42)
|
倍角公式
|
(43)
|
多角遞推
|
(44)
|
多角公式
|
(45)
| |||
|
(46)
| |||
|
(47)
| |||
|
(48)
| |||
|
(49)
|
(其中 (48) 僅對 成立),推廣
|
(50)
|
(A. Mihailovs, 私人通訊,2003 年 1 月 24 日), 乘積展開式
|
(51)
|
以及
|
(52)
|
平方展開式,
|
(53)
|
和冪展開式
|
(54)
|
Honsberger (1985, p. 107) 給出了通用關係式
|
(55)
| |||
|
(56)
| |||
|
(57)
|
在 的情況下,則
,對於
奇數,
|
(58)
|
類似地,對於 偶數,
|
(59)
|
令 得到恆等式
|
(60)
| |||
|
(61)
| |||
|
(62)
|
的求和 公式 包括
|
(63)
| |||
|
(64)
|
(Wells 1986, p. 63),後者表明 帕斯卡三角形 的 淺對角線”之和為斐波那契數 (Pappas 1989)。其他恆等式可以在 Fibonacci Quarterly 期刊中找到。Halton (1965) 給出了 47 個廣義恆等式列表。
用 盧卡斯數 表示,
|
(65)
| |
|
(66)
| |
|
(67)
| |
|
(68)
|
(Honsberger 1985, pp. 111-113)。一個顯著的恆等式是
|
(69)
|
(Honsberger 1985, pp. 118-119),它可以推廣到
|
(70)
|
(Johnson 2003)。以下等式也成立
|
(71)
|
對於 奇數,以及
|
(72)
|
對於 偶數 (Freitag 1996)。
從 (◇) 中,連續項的 比率 為
|
(73)
| |||
|
(74)
| |||
|
(75)
| |||
|
(76)
| |||
|
(77)
|
|
(78)
|
|
(79)
|
Guy (1990) 注意到一個有趣的現象,對於 , 1, ...,
給出 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ...,但隨後繼續為 91, 149, ... (OEIS A005181)。
取前 個斐波那契數的乘積,並對
, 2, ... 加 1,得到序列 2, 2, 3, 7, 31, 241, ... (OEIS A052449)。其中,2, 2, 3, 7, 31, 241, 3121, ... (OEIS A053413) 是素數,即項 1, 2, 3, 4, 5, 6, 7, 8, 22, 28, ... (OEIS A053408)。
斐波那契數中最後一位數字的序列以 60 為週期重複。最後兩位數字以 300 為週期重複,最後三位數字以 1500 為週期重複,最後四位數字以 為週期重複,等等。介於
和
之間的斐波那契數的數量為 1 或 2 (Wells 1986, p. 65)。
Cesàro 推匯出了有限和
|
(80)
| |||
|
(81)
|
(Honsberger 1985, pp. 109-110)。斐波那契數滿足冪遞推式
|
(82)
|
其中 是一個 斐波那契二項式係數,倒數和
|
(83)
|
卷積
|
(84)
|
部分分式分解
|
(85)
|
其中
|
(86)
| |||
|
(87)
| |||
|
(88)
|
和求和公式
|
(89)
|
其中
|
(90)
|
無窮和包括
|
(91)
|
(Clark 1995) 和
|
(92)
| |||
|
(93)
|
其中 是 黃金比例 (Wells 1986, p. 65)。
對於 ,
當且僅當
(Wells 1986, p. 65)。
當且僅當
能被
整除的次數為 奇數 次。
(Michael 1964; Honsberger 1985, pp. 131-132)。沒有 奇數 斐波那契數能被 17 整除 (Honsberger 1985, pp. 132 和 242)。沒有斐波那契數
永遠是 形式為
或
的數,其中
是一個 素數 (Honsberger 1985, p. 133)。
考慮和
|
(94)
| |||
|
(95)
|
這是一個 telescoping sum,因此
|
(96)
|
因此
|
(97)
|
(Honsberger 1985, pp. 134-135)。使用 比內公式,也可以得出
|
(98)
|
其中
|
(99)
| |||
|
(100)
|
因此
|
(101)
|
|
(102)
|
(Honsberger 1985, pp. 138 和 242-243)。米林級數 的和為
|
(103)
|
(Honsberger 1985, pp. 135-137)。
斐波那契數是 完全的。事實上,刪除一個數字仍然留下一個 完全序列,儘管刪除兩個數字不會 (Honsberger 1985, pp. 123 和 126)。從斐波那契數中刪除兩項會產生一個甚至不是 弱完全序列 的序列 (Honsberger 1985, p. 128)。但是,序列
|
(104)
|
是 弱完全的,即使刪除任何有限子序列也是如此 (Graham 1964)。 不是 完全的,但
是。
份
是 完全的。
有關 平方數 斐波那契數的討論,請參見 Cohn (1964ab),他證明了唯一的 平方數 斐波那契數是 1 和 (Cohn 1964ab, Guy 1994)。Ming (1989) 證明了唯一的 三角形數 斐波那契數是 1, 3, 21 和 55。斐波那契數和 盧卡斯數 除了 1 和 3 之外沒有共同項。唯一的 立方數 斐波那契數是 1 和 8。
|
(105)
|
是一個 勾股三元組,正如 Raine 首次發現的那樣 (Livio 2002, p. 107)。
|
(106)
|
始終是一個 平方數 (Honsberger 1985, p. 243)。
1975 年,James P. Jones 表明,斐波那契數是 多項式 的 正整數 值
|
(107)
|
對於 高斯整數 和
(Le Lionnais 1983)。如果
和
是兩個 正 整數,那麼在
和
之間,永遠不會出現超過
個斐波那契數 (Honsberger 1985, pp. 104-105)。
斐波那契數滿足恆等式
|
(108)
|
其中 是 最大公約數。
斐波那契數列對於任何模數 都是週期性的 (Wall 1960)。這些週期被稱為 皮薩諾週期
(Wrench 1969)。斐波那契數模
對於小
的值在下表中列出,以及它們的 皮薩諾週期。
| OEIS | |||
| 2 | 3 | A011655 | 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, ... |
| 3 | 8 | A082115 | 1, 1, 2, 0, 2, 2, 1, 0, 1, 1, 2, 0, 2, 2, 1, ... |
| 4 | 6 | A079343 | 1, 1, 2, 3, 1, 0, 1, 1, 2, 3, 1, 0, 1, 1, 2, ... |
| 5 | 20 | A082116 | 1, 1, 2, 3, 0, 3, 3, 1, 4, 0, 4, 4, 3, 2, 0, ... |
| 6 | 24 | A082117 | 1, 1, 2, 3, 5, 2, 1, 3, 4, 1, 5, 0, 5, 5, 4, ... |
| 7 | 16 | A082116 | 1, 1, 2, 3, 5, 1, 6, 0, 6, 6, 5, 4, 2, 6, 1, ... |
| 8 | 12 | A079344 | 1, 1, 2, 3, 5, 0, 5, 5, 2, 7, 1, 0, 1, 1, 2, ... |