斐波那契数列的一些性质

斐波那契数列的一些性质

一、斐波那契数列

又称兔子数列。一开始有一对初生兔子。每队初生兔子到第三个月又可以繁殖一对兔子。问第n个月有多少对兔子？
设$f(n)$表示第$n$个月的兔子数量。显然有：
$f(1)=1,f(2)=1,f(3)=2,f(4)=3,f(5)=5,f(6)=8,\dots ,$
观察规律，可以发现$f(n)=f(n-1)+f(n-2)$.
仔细分析，也能得出这个规律。
第$n$个月的兔子可以分为非新生兔子和新生兔子。非新生兔子一定是$f(n-1)$,而新生兔子就是第$n-2$个月的兔子生的，其数量必为$f(n-2)$,所以，$f(n)=f(n-1)+f(n-2)$.
这个数列就是斐波那契数列。

二、一些性质：

1. $2^{n/2}\le f(n)\le 2^n$

证明：

采用数学归纳法
$\because f(1)=1$, 当$k=1$时满足条件。
设$k=(n-1)$时满足条件，即$2^{(n-1)/2}\le f(n-1)\le 2^{n-1},2^{(n/2)-1}\le f(n-2)\le 2^{n-2}$
$\because f(n)=f(n-1)+f(n-2),f(n-2)\le f(n-1)\le f(n)$

$\therefore 2^{n/2}\le 2\ast f(n-2)\le f(n)\le 2\ast f(n-1)\le 2^n$

2. $gcd(f(n),f(n-1))=1$

证明：

$\because f(n)\%f(n-1)=f(n-2)$$
由辗转相除法可知：

$gcd(f(n-1),f(n))=gcd(f(n-2),f(n-1))$
$\therefore gcd(f(n-1),f(n))=gcd(f(1),f(2))=1$

3. $gcd(f(n),f(m))=f(gcd(n,m))$

证明：

$\because f(n)=f(n-1)+f(n-2)=2f(n-2)+f(n-3)=3f(n-3)+2f(n-4)=\cdots =f(m+1)f(n-m)+f(m)f(n-m-1)$
$\therefore gcd(f(n),f(m))=gcd(f(m+1)f(n-m)+f(m)f(n-m-1),f(m))=gcd(f(m+1)f(n-m),f(m))$
又根据性质2，有$gcd(f(m),f(m-1))=1$
有 $gcd(f(m+1)f(n-m),f(m))=gcd(f(n-m),f(m))$
最终，$gcd(f(n),f(m))=f(gcd(n,m))$

4. $n|m⟺f(n)|f(m)$

证明：

根据性质3，$gcd(f(n),f(m))=f(gcd(n,m))$:
$n|m⟺gcd(n,m)=n⟺gcd(f(n),f(m))=f(n)⟺f(n)|f(m)$

5.一些恒等式

• 证明$f_n\ast f_{n-1}={\sum }_i^{n-1}{f}_i^2$

证明：

将$f_n=f_{n-1}+f_{n-2}$展开，即可得证。

• 证明$f_{2n}={\sum }_{i=1}^n{f}_{2i-1}$

证明：

将$f_{2n}=f_{2n-1}+f_{2n-2}$展开，即可得证。

• 证明$f_{2n+1}={\sum }_{i=1}^n{f}_{2i}+1$

证明：

将$f_{2n+1}=f_{2n}+f_{2n-1}$展开，即可得证。

• 证明$f_n^2+(-1{)}^n=f_{n+1}\ast f_{n-1}$

证明：

$$\begin{gathered} f_{n+1}\ast f_{n-1}=(f_n+f_{n-1})\ast (f_n-f_{n-2})=f_n^2+f_{n-3}{f}_n-f_{n-1}{f}_{n-2}=f_n^2+(f_{n-3}) \\ \ast (f_{n-1}+f_{n-2})-f_{n-1}(f_{n-3}+f_{n-4})=f_n^2+f_{n-3}\ast f_{n-2}-f_{n-1}\ast f_{n-4}=f_n^2+(-1{)}^k(f_{n-k}{f}_{n-k-3}-f_{n-k-1}{f}_{n-k-2}) \end{gathered}$$
当$k=n-4$时，$f_{n-k}=3,f_{n-k-3}=1,f_{n-k-1}=2,f_{n-k-2}=1,\therefore f_{n+1}\ast f_{n-1}=f_n^2+(-1{)}^{n-4}=f_n^2+(-1{)}^n$.

• 证明 $f_n={\sum }_{i=m}^{n-2}+f_{m+1}$

证明：

$\because f(n)=f(n-1)+f(n-2)=f(n-2)+f(n-3)+f(n-2)=f(n-2)+f(n-3)+f(n-4)+f(n-3)+f(n-2)+f(n-3)+f(n-4)+f(n-5)+f(n-4)=\cdots ={\sum }_{i=m}^{n-2}f(i)+f(m+1)$