斐波那契数是由 线性递推方程
(1)
|
且 。根据定义 (1),通常定义
。
对于 ,斐波那契数为 1, 1, 2, 3, 5, 8, 13, 21, ... (OEIS A000045)。
斐波那契数可以看作是 斐波那契多项式 在
时的特例。
斐波那契数在 Wolfram 语言 中被实现为Fibonacci[n].
斐波那契数也是一个 卢卡斯序列 ,并且是 卢卡斯数 的伴随序列(它们满足相同的 递推方程)。
![FoxTrot by Bill Amend](/images/gifs/FoxTrot20051011.jpg)
上面的漫画(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 能够确定凶手的行动基地位置。
![Binary plot of the Fibonacci sequence](/images/gifs/FibonacciSequenceBinaryPlot.jpg)
上面的图表显示了斐波那契数列的前 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, ... |