说说斐波那契数列

斐波那契数列是一个非常神奇的数列：它有很多的性质。在后文中，我们用 $f_n$ 表示第一项和第二项都为 $1$ 的斐波那契数列， $F_n$ 表示第一项和第二项为任意正整数的斐波那契数列。

公式

先说一下递推公式：

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

我们再来说一下斐波那契的通项公式：

$$f_n=\frac{(\frac{1+\sqrt{5}}{2}{)}^n-(\frac{1-\sqrt{5}}{2}{)}^n}{\sqrt{5}}$$

由于编程语言一般有精度问题，所以我们一般不用这个公式，了解即可。

性质

只对于 $F$ 的

卡西尼性质

$F_{n-1}{F}_{n+1}-(F_n{)}^2=(-1{)}^n$
$F_{n+k}=F_k{F}_{n+1}+F_{k-1}{F}_n$

小小地扩展一下

当我们取上面一条行之中的 $k$ 为 $n$ 时：

$$F_{2n}=F_n{F}_{n+1}+F_{n-1}{F}_n$$
等号右边提取一个 $F_n$ 得到：

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

由于 $F_{n+1}+F_{n-1}$ 为整数，得到 $F_n|F_{2n}$

如果 $k$ 为 $2n$ 时

$$F_{3n}=F_{2n}{F}_{n+1}+F_{2n-1}{F}_n$$
将 $F_{2n}=F_n(F_{n+1}+F_{n-1})$ 带入上述式子：

$$F_{3n}=(F_n(F_{n+1}+F_{n-1}))F_{n+1}+F_{2n-1}{F}_n$$

等号右边还是可以提出一个 $F_n$。

所以 $F_n|F_{3}n$。

所以对于每一个 k = p { p ≥ 1 } k=p\{p\ge1\} k=p{p≥1} 且 $p$ 为整数，若 $p-1$ 成立，则 $p$ 成立。而又 $p=1$ 成立，所以对于任意一个满足条件的 $p$，$F_n|F_{nk}$ 成立。

上属性质还可逆，即：若 $F_a|F_b$，则 $a|b$。

GCD 性质

$$\gcd (F_m,F_n)=F_{\gcd (m,n)}$$

其他的

另类通项公式

如果我们知道了 $f$ 数列的任何一项，而且还知道 $F_1$ 和 $F_2$，那么我们用 $F_1$ 和 $F_2$ 表示一下这个 $F$ 数列的每一项：

$$F_1=F_1$$

$$F_2=F_2$$

$$F_3=F_1+F_2$$

$$F_4=F_2+F_3=F_1+2F_2$$

$$F_5=2F_1+3F_2$$

$$F_6=3F_1+5F_2$$

$$F_7=5F_1+8F_2$$

$$F_8=8F_1+13F_2$$

发现什么规律？
若：

$$F_x=a_x{F}_1+b_x{F}_2$$

用递推公式表示一下 $F_x$：

$$F_x=F_{x-1}+F_{x-2}$$

用 $F_x=a_x{F}_1+b_x{F}_2$ 展开等号右边：

$$F_x=a_{x-1}{F}_1+b_{x-1}{F}_2+a_{x-2}{F}_1+b_{x-2}{F}_2=(a_{x-1}+a_{x-2})F_1+(b_{x-1}+b_{x-2})F_2$$

发现系数也是一个斐波那契数列，代换一下：

$$F_x=f_{x-2}{F}_1+f_{x-1}{F}_2$$

前提是 $x\ge 3$

前缀和

我们设 $S_x$ 为 ${\sum }_{i=1}^x{F}_x$，那么还是用 $F_1$ 和 $F_2$ 表示 $S$ 的任意一项：

$$S_1=F_1$$

$$S_2=F_1+F_2$$

$$S_3=2F_1+2F_2$$

$$S_4=3F_1+4F_2$$

$$S_5=5F_1+7F_2$$

$$S_6=8F_1+12F_2$$

$$S_7=13F_1+20F_2$$

系数有点东西，从系数下手：

$$S_x=f_x{F}_1+(f_{x+1}-1)F_2$$

两个数列相加

我们假设有两个数列 $F1$ 和 $F2$，设它们的长度都为 $n$，求和，设和为 $F3$

$$F{3}_i=F{1}_i+F{2}_i=F{1}_{i-1}+F{1}_{i-2}+F{2}_{i-1}+F{2}_{i-2}=F{3}_{i-1}+F3i-2$$

所以斐波那契数列求和后求和部分还是满足斐波那契数列的性质。

增长趋势

斐波那契数列的增长速度是指数级的，后一项约为前一项的第 $1.618$ 倍。对的，黄金分割比。

红色的是斐波那契数列，绿色的是 $y=1.618^x$，两者几乎重叠。

End

斐波那契数列是个神奇的东西，还有很多的性质。

此博客大部分内容整理于 oi-wiki。