第1章 绪论

  斐波那契数列为$F_0=0$,$F_1=1$,$F_n=F_{n-1}+F_{n-2}(n\geq 2)$,现通过6种不同的方法求它的通项公式。

第2章 特征方程法

  对于$F_0=0$,$F_1=1$,$F_n=F_{n-1}+F_{n-2}(n\geq 2)$,假设解$F_n$的基本形式。

  ①常数,$F_n=C$。$C=C+C\Rightarrow C=0$,不符。

  ②一次函数,$F_n=rn+s$,$rn+s=r(n-1)+s+r(n-2)+s\Rightarrow n=3-\frac{s}{r}$,不符。

  ③三角函数,$F_n=sin(n)$。$sin(n)=sin(n-1)+sin(n-2)$,不符。

  ④对数函数,$F_n=ln(n)$。$ln(n)=ln(n-1)+ln(n-2)$,不符。

  ⑤指数函数,$F_n=r^n$。$r^n=r^{n-1}+r^{n-2}\Rightarrow r^2=r+1\Rightarrow r^2-r-1=0$,可能满足。

  故猜测$F_n=r^n$,并且$r$满足$r^2-r-1=0$。

  $r$有两个解,$r_1=\frac{1+\sqrt{5}}{2}$,$r_2=\frac{1-\sqrt{5}}{2}$。

  $F_n$通解即为两个线性无关解的组合。

$$F_n=Ar_1^n+Br_2^n$$

  当$n=0$时,$F_0=A+B=0\Rightarrow B=-A$。

  当$n=1$时,$F_1=Ar_1+Br_2=1$,带入$B=-A$,得

$$A(r_1-r_2)=1\Rightarrow A=\frac{1}{\sqrt{5}}\Rightarrow B=-\frac{1}{\sqrt{5}}$$

  代入$F_n=Ar_1^n+Br_2^n$得,

$$F_n=\frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right]$$

  代入$n=0$和$n=1$验证,满足条件。

第3章 生成函数法

  对于$F_0=0$,$F_1=1$,$F_n=F_{n-1}+F_{n-2}(n\geq 2)$,定义

$$F(x)=\sum_{n=0}^{\infty}F_nx^n=F_0+F_1x+F_2x^2+F_3x^3+…$$

  等式两边同时乘$x$,$x^2$,并于原式比较,

$$\begin{aligned}
F(x) &=F_0 + \hspace{-1em}&&F_1x + &&\hspace{-1em}F_2x^2 + &&\hspace{-1em}F_3x^3 + &&\hspace{-1em}…\
x\cdot F(x) &= &&F_0x + &&\hspace{-1em}F_1x^2 + &&\hspace{-1em}F_2x^3 + &&\hspace{-1em}F_3x^4 + &&\hspace{-1em}…\
x^2\cdot F(x)&= && &&\hspace{-1em}F_0x^2 + &&\hspace{-1em}F_1x^3 + &&\hspace{-1em}F_2x^4 + &&\hspace{-1em}F_3x^5 + &&\hspace{-1em}…
\end{aligned}$$

  故有,

$$\begin{aligned}
(1-x-x^2)F(x)&=F_0+F_1x-F_0x+\sum_{n=2}^{\infty}(F_n-F_{n-1}-F_{n-2})x^n\
&=F_0+F_1x-F_0x\
&=x
\end{aligned}$$

  即,

$$F(x)=\frac{x}{1-x-x^2}$$

  尝试将分母$1-x-x^2$因式分解,令

$$1-x-x^2=0$$

  解得,

$$x_1=\frac{-1+\sqrt{5}}{2},x_2=\frac{-1-\sqrt{5}}{2}$$

  故有,

$$\begin{aligned}
1-x-x^2=&-\left(x-\frac{-1+\sqrt{5}}{2}\right)\cdot\left(x-\frac{-1-\sqrt{5}}{2}\right)\
=&-\left(\frac{-1+\sqrt{5}}{2}\cdot\frac{-1-\sqrt{5}}{2}\right)\left(x\cdot\frac{2}{-1+\sqrt{5}}-\frac{-1+\sqrt{5}}{2}\cdot\frac{2}{-1+\sqrt{5}}\right)\cdot\
&\left(x\cdot\frac{2}{-1-\sqrt{5}}-\frac{-1-\sqrt{5}}{2}\cdot\frac{2}{-1-\sqrt{5}}\right)\
=&\left(\frac{1+\sqrt{5}}{2}x-1\right)\cdot\left(\frac{1-\sqrt{5}}{2}x-1\right)\
=&\left(1-\frac{1+\sqrt{5}}{2}x\right)\cdot\left(1-\frac{1-\sqrt{5}}{2}x\right)
\end{aligned}$$

  设

$$F(x)=\frac{x}{1-x-x^2}=\frac{A}{1-\frac{1+\sqrt{5}}{2}x}+\frac{B}{1-\frac{1-\sqrt{5}}{2}x}$$

  通分得,

$$\begin{aligned}
F(x)&=\frac{A\left(1-\frac{1-\sqrt{5}}{2}x\right)+B\left(1-\frac{1+\sqrt{5}}{2}x\right)}{1-x-x^2}\
&=\frac{(A+B)-\left(A\cdot\frac{1-\sqrt{5}}{2}+B\cdot\frac{1+\sqrt{5}}{2}\right)x}{1-x-x^2}\
&=\frac{x}{1-x-x^2}
\end{aligned}$$

  可得,$A=\frac{1}{\sqrt{5}}=-B$。

  故有,

$$F(x)=\frac{1}{\sqrt{5}}\left[\frac{1}{1-\frac{1+\sqrt{5}}{2}x}-\frac{1}{1-\frac{1-\sqrt{5}}{2}x}\right]$$

  由几何级数

$$\frac{1}{1-ax}=\sum_{n=0}^{\infty}a^nx^n$$

  得

$$F(x)=\frac{1}{\sqrt{5}}\sum_{n=0}^{\infty}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right]x^n$$

  与$F(x)=\sum_{n=0}^{\infty}F_nx^n$比较系数,得

$$F_n=\frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right]$$

第4章 矩阵法

  对于$F_0=0$,$F_1=1$,$F_n=F_{n-1}+F_{n-2}(n\geq 2)$,有

$$\begin{aligned}
F_n &=1\cdot F_{n-1}+1\cdot F_{n_2}\
F_{n-1}&=1\cdot F_{n-1}+0\cdot F_{n_2}
\end{aligned}$$

  写成矩阵,

$$\begin{aligned}
\begin{pmatrix}
F_n \
F_{n-1}
\end{pmatrix}
=
\begin{pmatrix}
1 & 1 \
1 & 0
\end{pmatrix}
\begin{pmatrix}
F_{n-1} \
F_{n-2}
\end{pmatrix}
\end{aligned}$$

  记

$$M=
\begin{pmatrix}
1 & 1 \
1 & 0
\end{pmatrix}$$

  故有

$$\begin{aligned}
\begin{pmatrix}
F_n \
F_{n-1}
\end{pmatrix}
=
M
\begin{pmatrix}
F_{n-1} \
F_{n-2}
\end{pmatrix}
=
M^2
\begin{pmatrix}
F_{n-2} \
F_{n-3}
\end{pmatrix}
=…
=
M^{n-1}
\begin{pmatrix}
F_1 \
F_0
\end{pmatrix}
\end{aligned}$$

  代入$F_0=0$,$F_1=1$,

$$\begin{aligned}
\begin{pmatrix}
F_n \
F_{n-1}
\end{pmatrix}
=
M^{n-1}
\begin{pmatrix}
1 \
0
\end{pmatrix}
\end{aligned}$$

  不难发现,只需要求出$M^{n-1}$即可求出$F_n$。

  计算$M=
\begin{pmatrix}
1 & 1 \
1 & 0
\end{pmatrix}$的特征值与特征向量,

$$\lambda_1=\frac{1+\sqrt{5}}{2},\lambda_2=\frac{1-\sqrt{5}}{2}$$

$$\begin{aligned}
\varphi_1=
\begin{pmatrix}
\lambda_1 \
1
\end{pmatrix}

\varphi_2=
\begin{pmatrix}
\lambda_2 \
1
\end{pmatrix}
\end{aligned}$$

  对角化矩阵$M$,

$$M=PDP^{-1}$$

  其中,

$$\begin{aligned}
P=
\begin{pmatrix}
\varphi_1 & \varphi_2
\end{pmatrix}
=
\begin{pmatrix}
\lambda_1 & \lambda_2 \
1 & 1
\end{pmatrix}
\end{aligned}$$

$$\begin{aligned}
D=
\begin{pmatrix}
\lambda_1 & 0 \
0 & \lambda_2
\end{pmatrix}
\end{aligned}$$

$$\begin{aligned}
P^{-1}=\frac{1}{\sqrt{5}}
\begin{pmatrix}
1 & -\lambda_2 \
-1 & \lambda_1
\end{pmatrix}
\end{aligned}$$

  由对角化的性质,可得

$$\begin{aligned}
M^{n-1}=PD^{n-1}P^{-1}&=\frac{1}{\sqrt{5}}
\begin{pmatrix}
\lambda_1 & \lambda_2 \
1 & 1
\end{pmatrix}
\begin{pmatrix}
\lambda_1^{n-1} & 0 \
0 & \lambda_2^{n-1}
\end{pmatrix}
\begin{pmatrix}
1 & -\lambda_2 \
-1 & \lambda_1
\end{pmatrix}\
&=\frac{1}{\sqrt{5}}
\begin{pmatrix}
\lambda_1^n & \lambda_2^n \
\lambda_1^{n-1} & \lambda_2^{n-1}
\end{pmatrix}
\begin{pmatrix}
1 & -\lambda_2 \
-1 & \lambda_1
\end{pmatrix}
\end{aligned}$$

  故有

$$\begin{aligned}
\begin{pmatrix}
F_n \
F_{n-1}
\end{pmatrix}
=
M^{n-1}
\begin{pmatrix}
1 \
0
\end{pmatrix}
&=\frac{1}{\sqrt{5}}
\begin{pmatrix}
\lambda_1^n & \lambda_2^n \
\lambda_1^{n-1} & \lambda_2^{n-1}
\end{pmatrix}
\begin{pmatrix}
1 & -\lambda_2 \
-1 & \lambda_1
\end{pmatrix}
\begin{pmatrix}
1 \
0
\end{pmatrix}\
&=\frac{1}{\sqrt{5}}
\begin{pmatrix}
\lambda_1^n & \lambda_2^n \
\lambda_1^{n-1} & \lambda_2^{n-1}
\end{pmatrix}
\begin{pmatrix}
1 \
-1
\end{pmatrix}\
&=\frac{1}{\sqrt{5}}
\begin{pmatrix}
\lambda_1^n-\lambda_2^n \
\lambda_1^{n-1}-\lambda_2^{n-1}
\end{pmatrix}
\end{aligned}$$

  只看第一行,可得

$$F_n=\frac{1}{\sqrt{5}}(\lambda_1^n-\lambda_2^n)$$

  即

$$F_n=\frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right]$$

第5章 移位算子法

  对于$F_0=0$,$F_1=1$,$F_n=F_{n-1}+F_{n-2}(n\geq 2)$,定义移位算子$E$

$$EF_n=F_{n+1}$$

  故有

$$E^2F_n=EF_{n+1}=F_{n+2}$$

  同理可得,

$$E^kF_n=F_{n+k}$$

  同时,也可以看出

$$F_n=E^nF_0=E^n$$

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

$$F_n=EF_n+E^2F_n\Rightarrow(E^2+E-1)F_n=0$$

  由于$F_n$不恒为$0$,故有

$$E^2+E-1=0$$

  解方程,得

$$E_1=\frac{1+\sqrt{5}}{2},E_2=\frac{1-\sqrt{5}}{2}$$

  对于特解$E_1$,我们有$F_n=E_1^n$。对于特解$E_2$,我们有$F_n=E_2^n$。

  故$E$得通解应为

$$E^n=AE_1^n+BE_2^n$$

  当$n=0$时,$F_0=E^0=A+B=0$。

  当$n=1$时,$F_1=E^1=AE_1+BE_2$。

  可得,$A=\frac{1}{\sqrt{5}}=-B$

  故有

$$F_n=E^n=\frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right]$$

第6章 构造等比数列法

  对于$F_0=0$,$F_1=1$,$F_n=F_{n-1}+F_{n-2}(n\geq 2)$,假设可以凑出以下形式

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

  并且令

$$G_n=F_n-pF_{n-1}$$

  故有

$$G_n=qG_{n-1}$$

  这是一个首项$G_0=1$,公比为$q$的等比数列。可以求得

$$G_n=q^{n-1}$$

  将凑的式子$F_n-pF_{n-1}=q(F_{n-1}-pF_{n-2})$化简,得

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

  与$F_n=F_{n-1}+F_{n-2}$对比系数,得

$$\begin{aligned}
\begin{cases}
p + q&=1\
\quad pq&=-1
\end{cases}
\end{aligned}$$

  解得

$$\begin{aligned}
\begin{cases}
p=\frac{1+\sqrt{5}}{2}\
q=\frac{1-\sqrt{5}}{2}
\end{cases}
\quad 或\quad
\begin{cases}
p=\frac{1-\sqrt{5}}{2}\
q=\frac{1+\sqrt{5}}{2}
\end{cases}
\end{aligned}$$

  令

$$\begin{aligned}
\begin{cases}
s_1=\frac{1+\sqrt{5}}{2}\
s_2=\frac{1-\sqrt{5}}{2}
\end{cases}
\end{aligned}$$

  故

$$\begin{aligned}
\begin{cases}
p=s_1\
q=s_2
\end{cases}
\quad 或\quad
\begin{cases}
p=s_2\
q=s_1
\end{cases}
\end{aligned}$$

  当$p=s_1,q=s_2$时,有$G_n=F_n-pF_{n-1}=q^{n-1}$,即$F_n-s_1F_{n-1}=s_2^{n-1}①$。

  当$p=s_2,q=s_1$时,有$G_n=F_n-pF_{n-1}=q^{n-1}$,即$F_n-s_2F_{n-1}=s_1^{n-1}②$。

  $①\cdot s_2-②\cdot s_1$得,$(s_2-s_1)=F_n=s_2^n-s_1^n$,即

$$F_n=\frac{s_2^n-s_1^n}{s_2-s_1}$$

  代入$s_1$和$s_2$得

$$F_n=\frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right]$$

第7章 无穷连分数法

  对于$F_0=0$,$F_1=1$,$F_n=F_{n-1}+F_{n-2}(n\geq 2)$,我们对$F_n=F_{n-1}+F_{n-2}$等式两边同时除以$F_{n-1}$,得

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

  令

$$x_n=\frac{F_n}{F_{n-1}}$$

  故有

$$x_n=1+\frac{1}{x_{n-1}}$$

  将上式一直迭代,得

$$x_n=1+\frac{1}{x_{n-1}}=1+\frac{1}{1+\frac{1}{x_{n-2}}}=1+\frac{1}{1+\frac{1}{1+\frac{1}{x_{n-3}}}}=…$$

  取极限

$$\varphi=\lim_{n\rightarrow\infty}x_n=1+\frac{1}{1+\frac{1}{1+\frac{1}{\ddots}}}$$

  故有

$$\varphi=1+\frac{1}{\varphi}$$

  取$\varphi>0$解得

$$\varphi=\frac{1+\sqrt{5}}{2}$$

  现在证

$$\varphi^n=\varphi F_n+F_{n-1}$$

  成立,用归纳法。

  由$\varphi=1+\frac{1}{\varphi}$得,

$$\varphi^2=\varphi+1$$

  当$n=1$时,有$\varphi^1=\varphi F_1+F_0$成立;

  当$n=k$且$\varphi^{k-1}=\varphi F_{k-1}+F_{k-2}$时,
$$\begin{aligned}
&\varphi^{k-1}=\varphi F_{k-1}+F_{k-2}\
\Rightarrow&\varphi^k=\varphi^2F_{k-1}+\varphi F_{k-2}\
\Rightarrow&\varphi^k=(\varphi+1)F_{k-1}+\varphi F_{k-2}\
\Rightarrow&\varphi^k=\varphi(F_{k-1}+F_{k-2})+F_{k-1}\
\Rightarrow&\varphi^k=\varphi F_k+F_{k-1}
\end{aligned}$$

  综上,

$$\varphi^n=\varphi F_n+F_{n-1}$$

  成立。

  即

$$F_n=\varphi^{n-1}-\varphi^{-1}F_{n-1}$$

  继续迭代

$$\begin{aligned}
F_n&=\varphi^{n-1}-\varphi^{-1}(\varphi^{n-2}-\varphi^{-2}F_{n-2})\
&=\varphi^{n-1}-\varphi^{n-3}+\varphi^{-3}F_{n-2}\
&=\varphi^{n-1}-\varphi^{n-3}+\varphi^{n-5}-\varphi^{-5}F_{n-3}\
&=\varphi^{n-1}-\varphi^{n-3}+\varphi^{n-5}-\varphi^{n-7}+\varphi^{-7}F_{n-4}\
&=\varphi^{n-1}-\varphi^{n-3}+\varphi^{n-5}-…-(-1)^n\varphi^{-n+1}+(-1)^n\varphi^{-2n+1}F_0\
&=\varphi^{n-1}-\varphi^{n-3}+\varphi^{n-5}-…-(-1)^n\varphi^{-n+1}\
&=\frac{\varphi^{n-1}[1-(-\varphi^{-2})^n]}{1+\varphi^{-2}}\
&=\frac{\varphi^{n-1}-(-1)^n\varphi^{-n-1}}{1+\varphi^{-2}}\
&=\frac{\varphi^{-1}}{1+\varphi^{-2}}[\varphi^{n}-(-\frac{1}{\varphi})^n]\
\end{aligned}$$

  代入$\varphi=\frac{1+\sqrt{5}}{2}$,得

$$F_n=\frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right]$$