一个 -步斐波那契数列
定义为当
时
,
,以及根据 线性递推方程 的其他项
(1)
|
对于 。
使用 布朗判据,可以证明 -步斐波那契数是完备的;也就是说,每个正数都可以写成不同的
-步斐波那契数之和。正如 Fraenkel (1985) 所讨论的,每个正数都有一个唯一的 Zeckendorf 类型展开式,作为不同的
-步斐波那契数之和,并且该和不包含
个连续的
-步斐波那契数。Zeckendorf 类型展开式可以使用 贪婪算法 计算。
下表总结了前几个 -步斐波那契数列。
OEIS | 名称 | 数列 | |
1 | 退化 | 1, 1, 1, 1, 1, 1, 1, 1,1, 1, 1, ... | |
2 | A000045 | 斐波那契数 | 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ... |
3 | A000073 | 三波那契数 | 1, 1, 2, 4, 7, 13, 24, 44, 81, ... |
4 | A000078 | 四波那契数 | 1, 1, 2, 4, 8, 15, 29, 56, 108, ... |
5 | A001591 | 五波那契数 | 1, 1, 2, 4, 8, 16, 31, 61, 120, ... |
6 | A001592 | 六波那契数 | 1, 1, 2, 4, 8, 16, 32, 63, 125, ... |
7 | A066178 | 七波那契数 | 1, 1, 2, 4, 8, 16, 32, 64, 127, ... |
在 次 抛硬币 中不出现
次连续反面的概率由
给出,其中
是斐波那契
-步数。
极限 称为
-anacci 常数,通过解以下方程给出
(2)
|
或等价地
(3)
|
对于 ,然后取 实 根
。对于 偶数
,恰好有两个实根,一个大于 1,一个小于 1,对于 奇数
,恰好有一个 实根,它总是
。
第 个
-anacci 数
的精确公式可以由下式给出
(4)
|
其中 是一个 多项式根。
另一个公式以 个根
of
表示。这具有一般形式
(5)
|
其中 是
的多项式,前几个是
(6)
| |||
(7)
| |||
(8)
| |||
(9)
|
当排列成对应于最小系数的 数字三角形 时,这给出了
(10)
|
(OEIS A118745) 对于 到 7,对于更高的
,模式很容易辨别。
如果 ,方程 (9) 简化为
(11)
|
(12)
|
给出解
(13)
|
因此,比率为
(14)
|
正如预期的那样,这是黄金比例。
对于 , 2, ... 的解析解由以下给出
(15)
| |||
(16)
| |||
(17)
| |||
(18)
| |||
(19)
|
数值上为 1, 1.61803 (OEIS A001622), 1.83929 (OEIS A058265; 三波那契常数), 1.92756 (OEIS A086088; 四波那契常数), 1.96595, ..., 当 时接近 2。