【证明】—— 斐波那契

1. 黄金分割率与其共轭数

$$x+1=x^2 ⇒ \left\{ \begin{split} \phi=\frac{1+\sqrt5}{2}\\ \hat\phi=\frac{1-\sqrt5}{2} \end{split} \right.$$

也即像 $\phi, \hat\phi$ 的数，其实满足：

$$\left\{ \begin{split} \phi+1=\phi^{2}\\ \hat\phi+1={\hat\phi}^2 \end{split} \right.$$

这一等式方便后续的定理推导。

2. 斐波那契数的通项

$$F_n=\frac{\phi^n-\hat\phi^n}{\sqrt5}$$

使用数学归纳法：

$$\begin{split} F_n+F_{n+1}&=\frac{\phi^n-\hat\phi^n}{\sqrt5}+\frac{\phi^{n+1}-\hat\phi^{n+1}}{\sqrt5}\\ &=\frac{\phi^n(\phi+1)-\hat\phi^n(1+\hat\phi)}{\sqrt5}\\ &=\frac{\phi^n\phi^2-\hat\phi^n\hat\phi^2}{\sqrt5}\\ &=\frac{\phi^{n+2}-\hat\phi^{n+2}}{\sqrt5}\\ &=F_{n+2} \end{split}$$

此外因为 $|\hat\phi|\lt 1$，所以有：

$$\frac{|\hat\phi^i|}{\sqrt5}\lt \frac{1}{\sqrt5}\lt \frac12$$

$F_n$ 的形式进一步可化简为：

$$F_n=\left\lfloor\frac{\phi^n}{\sqrt5}+\frac{1}{2}\right\rfloor$$