斐波那契数列——规律、公式与黄金比例

斐波那契数列是一种数的规律，其中每一项都等于前两项之和。采用常见约定 $F_0 = 0$ 和 $F_1 = 1$ 时，它的规则是

$$F_n = F_{n-1} + F_{n-2} \qquad (n \ge 2)$$

因此，这个数列开头是

$$0,\ 1,\ 1,\ 2,\ 3,\ 5,\ 8,\ 13,\ 21,\dots$$

如果你只需要抓住核心思想，那就是：先给出两个初始值，然后不断把前两项相加得到下一项。

什么是斐波那契数列

斐波那契数列由一个递推关系定义。这意味着每一项都是由前面的项构造出来的，而不是通过一个一次套用的直接公式得到。

这个数列依赖于起始约定。很多教材使用 $F_0 = 0$ 和 $F_1 = 1$，也有一些使用 $F_1 = 1$ 和 $F_2 = 1$。数的规律本身是一样的，但下标会整体平移，所以在比较答案前一定要先确认下标约定。

斐波那契数列公式

最主要的公式是递推式：

$$F_n = F_{n-1} + F_{n-2}$$

它表示每一项都来自前两项。例如，

$$F_5 = F_4 + F_3 = 3 + 2 = 5$$

它还有一个闭式公式，通常称为比内公式。在约定 $F_0 = 0$ 和 $F_1 = 1$ 的情况下，

$$F_n = \frac{\phi^n - \psi^n}{\sqrt{5}}$$

其中

$$\phi = \frac{1+\sqrt{5}}{2}, \qquad \psi = \frac{1-\sqrt{5}}{2}$$

对大多数学生来说，从递推式入手更合适。比内公式之所以有用，是因为它把斐波那契数与幂以及黄金比例联系起来，但你并不需要它来生成各项。

为什么斐波那契数列的比值会趋近黄金比例

对于正的斐波那契项，相邻两项的比值会越来越接近黄金比例：

$$\phi = \frac{1+\sqrt{5}}{2} \approx 1.618$$

更准确地说，如果你考察

$$\frac{F_{n+1}}{F_n}$$

当 $n$ 越来越大且 $F_n \ne 0$ 时，这个比值会趋近于 $\phi$。这并不意味着每一个比值都等于 $\phi$，而是说随着 $n$ 变大，这些比值会收敛到 $\phi$。

例题：求 $F_8$

用递推关系求出 $F_8$，然后再检查一个邻近项的比值。

先从

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

开始。

然后一步一步向前推：

$$F_2 = 1,\quad F_3 = 2,\quad F_4 = 3,\quad F_5 = 5,\quad F_6 = 8,\quad F_7 = 13,\quad F_8 = 21$$

所以

$$F_8 = 21$$

现在比较一个相邻项的比值：

$$\frac{F_8}{F_7} = \frac{21}{13} \approx 1.615$$

这已经很接近

$$\phi \approx 1.618$$

这就是关键联系：斐波那契数本身是整数，但相邻两项的比值会逐渐靠近黄金比例。

斐波那契数列中的常见错误

混淆起始下标

如果一个资料从 $F_0 = 0, F_1 = 1$ 开始，而另一个从 $F_1 = 1, F_2 = 1$ 开始，那么同一个项的标签可能对应不同的数。一定要先检查约定。

认为比值总是恰好等于黄金比例

比值 $\frac{F_{n+1}}{F_n}$ 在 $n$ 很大时会趋近于 $\phi$，但前面的比值只是近似值。例如，$\frac{5}{3} \approx 1.667$，它并不等于 $\phi$。

没有给出两个初始值就使用递推式

这个规则需要两个初始项。没有它们，数列就不能被完全确定。

把所有“增长规律”都当成斐波那契数列

只有当每一项确实都等于前两项之和，并且起始约定明确时，这个规律才是斐波那契数列。只是看起来相似的数列还不够。

斐波那契数列的应用场景

斐波那契数列会出现在一些计数问题中，其中每一种情况都可以由前两种情况构造出来。它也是代数、离散数学、算法和数学归纳法证明中的经典例子。

它之所以不仅仅局限于这一个主题，是因为它同时体现了三个思想：递归定义、闭式公式和极限行为。正因为这种组合，它才会在数学课程中频繁出现。

自己试一试

把数列写到 $F_{10}$，然后计算 $\frac{F_{10}}{F_9}$。把你的结果与 $\phi \approx 1.618$ 进行比较。

如果你还想再做一个练习，可以自己换一个目标下标，看看这个比值会多快稳定下来。