本篇文章使用
f f f 来表示斐波那契数列，用
l l l 来表示卢卡斯数列，用艾弗森括号
[ x ] [x] [ x ] 来表示命题
x x x 是否成立，若无特殊情况，用
( a p ) \left(\frac{a}{p}\right) ( p a ) 表示
a a a 是否是
p p p 的二次剩余（如果遇到右括号带有指数，那么就是特殊情况，这表示的并不是二次剩余，而是普通分数），本文中的
i i i 并非虚数。
前言 别看本文似乎短小精悍，其实是因为用了很多伸缩框，如果全部展开是相当之长的，本文涵盖许多关于斐波那契数列的定理、性质、恒等式，以及一些有关的算法，同时如果在证明时用到与斐波那契数列关系不大的东西在这篇文章中也都会进行阐述及证明，对新人非常的友好。这篇文章不仅适合信息学奥林匹克竞赛选手，还适合纯数学爱好者。
而本蒟蒻作为一个
LaTeX \LaTeX L A T E X 超级萌新，在极长的文章不中不乏有展示效果没那么好看的公式，但恕本人无能，不知道怎么样才能更好看，所以只能这样了，请大家见谅。
最后，本蒟蒻思考加写文章总共耗费
20 20 20 天时间，边写边想，而且这篇文章的大部分证明都是用本蒟蒻的猪脑想出来的，看我那么辛苦，麻烦给一个小小的赞吧……
本文章的皮萨诺周期部分还有最后一个证明没有写，因为太难了，本蒟蒻目前还不会，但由于本蒟蒻已经红温，先这样提交审核了，等后面缓过来了再更新。
部分 难度系数 评语 定义 1 1 1 就一句话，零门槛 通项公式 8 8 8 指数解的思路需要一点数学直觉，但推导本身不难 加法恒等式：前 n n n 3 3 3 最基础的数学归纳法，直接加一项就行 加法恒等式：平方和 4 4 4 运用了两个等式相减的技巧 加法恒等式：下标奇偶性求和 4 4 4 同样运用两个等式相减的技巧 加法恒等式：项与项的关系 6 6 6 对 m m m 加法恒等式：倍增法前置恒等式 7 7 7 第一个式子用之前的恒等式代入然后代数变形，第二个式子用第一个式子代入然后也代数变形 卡塔兰恒等式 12 12 12 实际难度不算很大但是相当之长，虽然每一步基本都是比较基础的代数运算，但需要极强的耐心和极高的专注力以及一些数学直觉 组合意义 5 5 5 排列组合，高中内容，但思路很显然 斐波那契数列的延伸——卢卡斯数列：卢卡斯数列通项公式 6 6 6 套用斐波那契的方法，解个方程组 斐波那契数列的延伸——卢卡斯数列：卢卡斯数列与斐波那契数列的关系 7 7 7 三个关系，归纳法加代数变形，比较有套路 更相减损术 6 6 6 简单数论，证明很直接但需要一些数学直觉 lcm \operatorname{lcm} lcm 8 8 8 用 gcd \gcd g cd 同余扩展的 lcm \operatorname{lcm} lcm 4 4 4 就是上一个定理的改写，没什么新内容 数论性质：gcd \gcd g cd 14 14 14 这里开始上强度了！用了之前的恒等式、gcd \gcd g cd 数论性质：素数相关性 10 10 10 用了前面的 gcd \gcd g cdn = 4 n = 4 n = 4 齐肯多夫定理：最大表示数（前置） 8 8 8 归纳法加分类讨论 齐肯多夫定理 13 13 13 存在性加唯一性，存在性用归纳法，唯一性用反证法加前面的最大表示数性质，逻辑严密 矩阵关联：矩阵乘法基础 5 5 5 矩阵乘法的定义，概念性内容 矩阵关联：二阶常系数齐次线性递推关系的矩阵表示 8 8 8 构造递推矩阵，代码实现也不难 矩阵关联：推广到 k k k 10 10 10 矩阵构造更复杂了，但思路是一样的 倍增法关联 5 5 5 有了前置之后，代码就非常好写了，就是递归思想 皮萨诺周期前置：乘法逆元 5 5 5 概念简单 皮萨诺周期前置：剩余系 4 4 4 概念简单 皮萨诺周期前置：二次剩余 6 6 6 概念简单 皮萨诺周期前置：威尔逊定理 12 12 12 证明需要构造既约剩余系、处理 x = x − 1 x = x^{-1} x = x − 1 皮萨诺周期前置：费马小定理 13 13 13 构造 S S S S ′ S' S ′ 皮萨诺周期前置：欧拉判别法 15 15 15 分情况讨论，配对的技巧更复杂，用到威尔逊定理 皮萨诺周期前置：高斯引理 16 16 16 集合划分、反证法、代数变形，难度较大 皮萨诺周期前置：二次互反律 18 18 18 先证两个推论，再构造点集，几何直观加代数推导，非常精巧 皮萨诺周期前置：域和扩域 8 8 8 概念本身不难，但比较抽象 皮萨诺周期前置：二项式定理 10 10 10 归纳法，标准证明 皮萨诺周期前置：freshman's dream 6 6 6 二项式定理展开后运用比较简单的组合数整除性质即可 皮萨诺周期核心：纯周期性 14 14 14 状态空间、可逆性、鸽笼原理，比较抽象 皮萨诺周期核心：质因数分解性质 15 15 15 用互质数的周期合并，需要用到之前证明的 同余扩展的 lcm \operatorname{lcm} lcm 皮萨诺周期核心：奇素数整除性质 19 19 19 目前的巅峰之作 。二次剩余、扩域、费马小定理、欧拉判别法、freshman's dream 全用上，分两种情况讨论，每一步都需要前面的知识 皮萨诺周期核心：上界 π ( n ) ≤ 6 n \pi(n) \le 6n π ( n ) ≤ 6 n 20 20 20 未完成 ，但已知难度极高
定义 斐波那契数列初始为
f 0 = 0 , f 1 = 1 f_0 = 0,f_1 = 1 f 0 = 0 , f 1 = 1 ，然后对于
∀ n ≥ 2 , f n = f n − 1 + f n − 2 \forall n \ge 2,\ f_n = f_{n-1}+f_{n-2} ∀ n ≥ 2 , f n = f n − 1 + f n − 2 。
通项公式 ∀ n ∈ N , f n = 1 5 [ ( 1 + 5 2 ) n − ( 1 − 5 2 ) n ] \forall n \in \mathbb{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 ∈ N , f n = 5 1 [ ( 2 1 + 5 ) n − ( 2 1 − 5 ) n ] 考虑寻找满足
∀ n ∈ N , f n = r n \forall n \in \mathbb{N},\ f_n = r^n ∀ n ∈ N , f n = r n 的指数解
r r r 。
我们将
r r r 代入
f n = f n − 1 + f n − 2 f_n = f_{n-1}+f_{n-2} f n = f n − 1 + f n − 2 可得
r n = r n − 1 + r n − 2 r_n = r_{n-1}+r_{n-2} r n = r n − 1 + r n − 2 ，于是
r n − r n − 1 − r n − 2 = 0 r^n-r^{n-1}-r^{n-2} = 0 r n − r n − 1 − r n − 2 = 0 ，我们考虑提公因式
r n − 2 r^{n-2} r n − 2 ，可得：
r n − 2 ( r 2 − r − 1 ) = 0 ⇓ r 2 − r − 1 = 0 ⇓ r = 1 ± 5 2 \begin{align*}
r^{n-2}(r^2-r-1) &= 0 \\
&\Downarrow \\
r^2-r-1 &= 0 \\
&\Downarrow \\
r &= \frac{1 \pm \sqrt{5}}{2}
\end{align*} r n − 2 ( r 2 − r − 1 ) r 2 − r − 1 r = 0 ⇓ = 0 ⇓ = 2 1 ± 5 然后对于
f n f_n f n ，令
α = 1 + 5 2 , β = 1 − 5 2 \alpha = \frac{1+\sqrt{5}}{2},\beta = \frac{1-\sqrt{5}}{2} α = 2 1 + 5 , β = 2 1 − 5 可得通解
f n = A α + B β f_n = A \alpha+B \beta f n = A α + Bβ 。
考虑对于
n = 0 n = 0 n = 0 时，
f n = 0 = A + B f_n = 0 = A+B f n = 0 = A + B ，所以
A = − B A = -B A = − B 。
当
n = 1 n = 1 n = 1 时，
f n = A α + B β = 1 f_n = A \alpha+B \beta = 1 f n = A α + Bβ = 1 ，因为
A = − B A = -B A = − B 并且
α − β = 5 \alpha-\beta = \sqrt{5} α − β = 5 ，所以
A α + B β = A 5 = 1 A \alpha+B \beta = A\sqrt{5} = 1 A α + Bβ = A 5 = 1 ，即：
A = 1 5 , B = − 1 5 A = \frac{1}{\sqrt{5}},B = -\frac{1}{\sqrt{5}} A = 5 1 , B = − 5 1 所以：
∀ n ∈ N , f n = 1 5 [ ( 1 + 5 2 ) n − ( 1 − 5 2 ) n ] \forall n \in \mathbb{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 ∈ N , f n = 5 1 [ ( 2 1 + 5 ) n − ( 2 1 − 5 ) n ] 加法恒等式 ∀ n ∈ N , ∑ i = 0 n f i = f n + 2 − 1 \forall n \in \mathbb{N},\ \sum_{i = 0}^n f_i = f_{n+2}-1 ∀ n ∈ N , i = 0 ∑ n f i = f n + 2 − 1 ∑ i = 0 0 f i = f 0 = f 2 − 1 \sum_{i = 0}^0 f_i = f_0 = f_2-1 i = 0 ∑ 0 f i = f 0 = f 2 − 1 成立，再考虑此时我们已知：
∀ i ∈ [ 0 , m ] , ∑ j = 0 i f j = f i + 2 − 1 \forall i \in [0,m],\ \sum_{j = 0}^i f_j = f_{i+2}-1 ∀ i ∈ [ 0 , m ] , j = 0 ∑ i f j = f i + 2 − 1 我们需要证明：
∑ i = 0 m + 1 f i = f m + 3 − 1 \sum_{i = 0}^{m+1} f_i = f_{m+3}-1 i = 0 ∑ m + 1 f i = f m + 3 − 1 考虑到将
f m + 3 f_{m+3} f m + 3 展开为
f m + 1 + f m + 2 f_{m+1}+f_{m+2} f m + 1 + f m + 2 ，可得只需要证明：
∑ i = 0 m + 1 f i = f m + 1 + f m + 2 − 1 \sum_{i = 0}^{m+1} f_i = f_{m+1}+f_{m+2}-1 i = 0 ∑ m + 1 f i = f m + 1 + f m + 2 − 1 显然
f m + 1 − 1 = ∑ i = 0 m − 1 f i f_{m+1}-1 = \sum_{i = 0}^{m-1} f_i f m + 1 − 1 = ∑ i = 0 m − 1 f i ，所以只需要证明：
∑ i = 0 m + 1 f i = ∑ i = 0 m − 1 f i + f m + 2 \sum_{i = 0}^{m+1} f_i = \sum_{i = 0}^{m-1} f_i+f_{m+2} i = 0 ∑ m + 1 f i = i = 0 ∑ m − 1 f i + f m + 2 显然
f m + 2 = f m + 1 + f m f_{m+2} = f_{m+1}+f_m f m + 2 = f m + 1 + f m ，所以只需要证明：
∑ i = 0 m + 1 f i = ∑ i = 0 m − 1 f i + f m + 1 + f m \sum_{i = 0}^{m+1} f_i = \sum_{i = 0}^{m-1} f_i+f_{m+1}+f_m i = 0 ∑ m + 1 f i = i = 0 ∑ m − 1 f i + f m + 1 + f m 因为
∑ i = 0 m − 1 f i + f m + 1 + f m = ∑ i = 0 m + 1 f i \sum_{i = 0}^{m-1} f_i+f_{m+1}+f_m = \sum_{i = 0}^{m+1} f_i ∑ i = 0 m − 1 f i + f m + 1 + f m = ∑ i = 0 m + 1 f i ，所以只需要证明：
∑ i = 0 m + 1 f i = ∑ i = 0 m + 1 f i \sum_{i = 0}^{m+1} f_i = \sum_{i = 0}^{m+1} f_i i = 0 ∑ m + 1 f i = i = 0 ∑ m + 1 f i 这显然成立。
至此，证毕。
平方和：
∀ n ∈ N , ∑ i = 0 n f i 2 = f n × f n + 1 \forall n \in \mathbb{N},\ \sum_{i = 0}^n f_i^2 = f_n \times f_{n+1} ∀ n ∈ N , i = 0 ∑ n f i 2 = f n × f n + 1 ∑ i = 0 0 f i 2 = f 0 = f 0 × f 1 \sum_{i = 0}^0 f_i^2 = f_0 = f_0 \times f_1 i = 0 ∑ 0 f i 2 = f 0 = f 0 × f 1 成立，考虑我们此时已知：
∀ i ∈ [ 0 , m ] , ∑ j = 0 i f j 2 = f i × f i + 1 \forall i \in [0,m],\ \sum_{j = 0}^i f_j^2 = f_i \times f_{i+1} ∀ i ∈ [ 0 , m ] , j = 0 ∑ i f j 2 = f i × f i + 1 如何证明：
∑ i = 0 m + 1 f i 2 = f m + 1 × f m + 2 \sum_{i = 0}^{m+1} f_i^2 = f_{m+1} \times f_{m+2} i = 0 ∑ m + 1 f i 2 = f m + 1 × f m + 2 因为我们知道对于
m m m 这个命题是成立的，所以可以两个等式相减，得出我们只需要证明：
f m + 1 2 = f m + 1 × ( f m + 2 − f m ) f_{m+1}^2 = f_{m+1} \times (f_{m+2}-f_m) f m + 1 2 = f m + 1 × ( f m + 2 − f m ) 而我们将
f m + 2 f_{m+2} f m + 2 展开成
f m + 1 + f m f_{m+1}+f_m f m + 1 + f m ，于是变为：
f m + 1 2 = f m + 1 2 f_{m+1}^2 = f_{m+1}^2 f m + 1 2 = f m + 1 2 这显然成立。
至此，证毕。
下标奇偶性求和：
∀ n ∈ N , ∑ i = 0 n f 2 i = f 2 n + 1 − 1 ∀ n ∈ N + , ∑ i = 1 n f 2 i − 1 = f 2 n − 1 \begin{align*}
&\forall n \in \mathbb{N},\ \sum_{i = 0}^n f_{2i} = f_{2n+1}-1 \\
&\forall n \in \mathbb{N}^+,\ \sum_{i = 1}^n f_{2i-1} = f_{2n}-1
\end{align*} ∀ n ∈ N , i = 0 ∑ n f 2 i = f 2 n + 1 − 1 ∀ n ∈ N + , i = 1 ∑ n f 2 i − 1 = f 2 n − 1 先考虑第一个式子，依旧使用数学归纳法，对于基础
0 0 0 ：
∑ i = 0 0 f 2 i = f 0 = f 1 − 1 \sum_{i = 0}^0 f_{2i} = f_0 = f_1-1 i = 0 ∑ 0 f 2 i = f 0 = f 1 − 1 成立，考虑我们此时已知：
∀ i ∈ [ 0 , m ] , ∑ j = 0 i f 2 j = f 2 i + 1 − 1 \forall i \in [0,m],\ \sum_{j = 0}^i f_{2j} = f_{2i+1}-1 ∀ i ∈ [ 0 , m ] , j = 0 ∑ i f 2 j = f 2 i + 1 − 1 如何证明：
∑ i = 0 m + 1 f 2 i = f 2 ( m + 1 ) + 1 − 1 \sum_{i = 0}^{m+1} f_{2i} = f_{2(m+1)+1}-1 i = 0 ∑ m + 1 f 2 i = f 2 ( m + 1 ) + 1 − 1 依旧将
m m m 的等式和
m + 1 m+1 m + 1 的等式相减，得出我们只需要证明：
f 2 ( m + 1 ) = f 2 ( m + 1 ) + 1 − f 2 m + 1 ⇓ f 2 m + 2 = f 2 m + 3 − f 2 m + 1 \begin{align*}
f_{2(m+1)} &= f_{2(m+1)+1}-f_{2m+1} \\
&\Downarrow \\
f_{2m+2} &= f_{2m+3}-f_{2m+1}
\end{align*} f 2 ( m + 1 ) f 2 m + 2 = f 2 ( m + 1 ) + 1 − f 2 m + 1 ⇓ = f 2 m + 3 − f 2 m + 1 考虑将
f 2 m + 3 f_{2m+3} f 2 m + 3 拆成
f 2 m + 1 + f 2 m + 2 f_{2m+1}+f_{2m+2} f 2 m + 1 + f 2 m + 2 ，于是变成：
f 2 m + 2 = f 2 m + 2 f_{2m+2} = f_{2m+2} f 2 m + 2 = f 2 m + 2 这显然成立。
对于第二个式子也是基本一样的方法，就不多说了。
项与项的关系：
∀ m ∈ N , n ∈ N + , f m + n = f m + 1 f n + f m f n − 1 \forall m \in \mathbb{N},n \in \mathbb{N}^+,\ f_{m+n} = f_{m+1}f_n+f_mf_{n-1} ∀ m ∈ N , n ∈ N + , f m + n = f m + 1 f n + f m f n − 1 对于基础
0 0 0 和
1 1 1 ，分别为
f n = f 1 f n + f 0 f n − 1 = f n f_n = f_1f_n+f_0f_{n-1} = f_n f n = f 1 f n + f 0 f n − 1 = f n 以及
f n + 1 = f 2 f n + f 1 f n − 1 = f n + f n − 1 f_{n+1} = f_2f_n+f_1f_{n-1} = f_n+f_{n-1} f n + 1 = f 2 f n + f 1 f n − 1 = f n + f n − 1 ，均成立。
考虑此时我们已知：
∀ m ∈ [ 0 , k + 1 ] , f m + n = f m + 1 f n + f m f n − 1 \forall m \in [0,k+1],\ f_{m+n} = f_{m+1}f_n+f_mf_{n-1} ∀ m ∈ [ 0 , k + 1 ] , f m + n = f m + 1 f n + f m f n − 1 我们要证明
m = k + 2 m = k+2 m = k + 2 时此命题是否成立，我们已知
f k + 2 + n = f k + 1 + n + f k + n f_{k+2+n} = f_{k+1+n}+f_{k+n} f k + 2 + n = f k + 1 + n + f k + n ，于是根据已知条件进行推导：
∵ f k + 2 + n = f k + 1 + n + f k + n ∴ f k + 2 + n = ( f k + 2 f n + f k + 1 f n − 1 ) + ( f k + 1 f n + f k f n − 1 ) f k + 2 + n = ( f k + 2 + f k + 1 ) f n + ( f k + 1 + f k ) f n − 1 ∵ f k + 2 + f k + 1 = f k + 3 ∵ f k + 1 + f k = f k + 2 ∴ f k + 2 + n = f k + 3 f n + f k + 2 f n − 1 \begin{align*}
\because f_{k+2+n} &= f_{k+1+n}+f_{k+n} \\
\therefore f_{k+2+n} &= (f_{k+2}f_n+f_{k+1}f_{n-1})+(f_{k+1}f_n+f_kf_{n-1}) \\
f_{k+2+n} &= (f_{k+2}+f_{k+1})f_n+(f_{k+1}+f_{k})f_{n-1} \\
\because f_{k+2}+f_{k+1} &= f_{k+3} \\
\because f_{k+1}+f_k &= f_{k+2} \\
\therefore f_{k+2+n} &= f_{k+3}f_n+f_{k+2}f_{n-1}
\end{align*} ∵ f k + 2 + n ∴ f k + 2 + n f k + 2 + n ∵ f k + 2 + f k + 1 ∵ f k + 1 + f k ∴ f k + 2 + n = f k + 1 + n + f k + n = ( f k + 2 f n + f k + 1 f n − 1 ) + ( f k + 1 f n + f k f n − 1 ) = ( f k + 2 + f k + 1 ) f n + ( f k + 1 + f k ) f n − 1 = f k + 3 = f k + 2 = f k + 3 f n + f k + 2 f n − 1 这就是
m = k + 2 m = k+2 m = k + 2 时的恒等式形式。
至此，证毕。
倍增法前置恒等式：
∀ k ∈ N , f 2 k = f k ( 2 f k + 1 − f k ) ∀ k ∈ N , f 2 k + 1 = f k + 1 2 + f k 2 \begin{align*}
\forall k \in \mathbb{N},\ f_{2k} &= f_k(2f_{k+1}-f_k) \\
\forall k \in \mathbb{N},\ f_{2k+1} &= f_{k+1}^2+f_k^2
\end{align*} ∀ k ∈ N , f 2 k ∀ k ∈ N , f 2 k + 1 = f k ( 2 f k + 1 − f k ) = f k + 1 2 + f k 2 先证明第一个式子。
利用我们之前已经证明的项与项的关系：
∀ m ∈ N , n ∈ N + , f m + n = f m + 1 f n + f m f n − 1 \forall m \in \mathbb{N},n \in \mathbb{N}^+,\ f_{m+n} = f_{m+1}f_n+f_mf_{n-1} ∀ m ∈ N , n ∈ N + , f m + n = f m + 1 f n + f m f n − 1 令
m = n = k m = n = k m = n = k ，即可得到：
f 2 k = f k + 1 f k + f k − 1 f k f_{2k} = f_{k+1}f_k+f_{k-1}f_k f 2 k = f k + 1 f k + f k − 1 f k 此时我们再进行化简：
f 2 k = f k + 1 f k + f k − 1 f k = ( f k − 1 + f k ) f k + f k − 1 f k = f k − 1 f k + f k 2 + f k − 1 f k = 2 f k − 1 f k + f k 2 \begin{align*}
f_{2k} &= f_{k+1}f_k+f_{k-1}f_k \\
&= (f_{k-1}+f_k)f_k+f_{k-1}f_k \\
&= f_{k-1}f_k+f_k^2+f_{k-1}f_k \\
&= 2f_{k-1}f_k+f_k^2
\end{align*} f 2 k = f k + 1 f k + f k − 1 f k = ( f k − 1 + f k ) f k + f k − 1 f k = f k − 1 f k + f k 2 + f k − 1 f k = 2 f k − 1 f k + f k 2 我们再对
f k ( 2 f k + 1 − f k ) f_k(2f_{k+1}-f_k) f k ( 2 f k + 1 − f k ) 进行化简：
f k ( 2 f k + 1 − f k ) = 2 f k + 1 f k − f k 2 = 2 ( f k − 1 + f k ) f k − f k 2 = 2 f k − 1 f k + 2 f k 2 − f k 2 = 2 f k − 1 f k + f k 2 \begin{align*}
f_k(2f_{k+1}-f_k) &= 2f_{k+1}f_k-f_k^2 \\
&= 2(f_{k-1}+f_k)f_k-f_k^2 \\
&= 2f_{k-1}f_k+2f_k^2-f_k^2 \\
&= 2f_{k-1}f_k+f_k^2
\end{align*} f k ( 2 f k + 1 − f k ) = 2 f k + 1 f k − f k 2 = 2 ( f k − 1 + f k ) f k − f k 2 = 2 f k − 1 f k + 2 f k 2 − f k 2 = 2 f k − 1 f k + f k 2 于是我们有
f 2 k = f k ( 2 f k + 1 − f k ) f_{2k} = f_k(2f_{k+1}-f_k) f 2 k = f k ( 2 f k + 1 − f k ) ，至此，第一个式子证毕。
再证明第二个式子。
考虑使用数学归纳法，对于基础
0 0 0 ，
f 1 = f 1 + f 0 = 1 + 0 = 1 f_1 = f_1+f_0 = 1+0 = 1 f 1 = f 1 + f 0 = 1 + 0 = 1 ，成立。
考虑我们已知：
∀ i ∈ [ 0 , k ] , f 2 i + 1 = f i + 1 2 + f i 2 \forall i \in [0,k],\ f_{2i+1} = f_{i+1}^2+f_i^2 ∀ i ∈ [ 0 , k ] , f 2 i + 1 = f i + 1 2 + f i 2 怎么证明
f 2 ( k + 1 ) + 1 = f k + 1 2 + f k + 2 2 f_{2(k+1)+1} = f_{k+1}^2+f_{k+2}^2 f 2 ( k + 1 ) + 1 = f k + 1 2 + f k + 2 2 呢？
显然
f 2 ( k + 1 ) + 1 = f 2 k + 3 f_{2(k+1)+1} = f_{2k+3} f 2 ( k + 1 ) + 1 = f 2 k + 3 ，并且我们根据斐波那契数列的递推式有
f 2 k + 3 = f 2 k + 2 + f 2 k + 1 f_{2k+3} = f_{2k+2}+f_{2k+1} f 2 k + 3 = f 2 k + 2 + f 2 k + 1 ，而
f 2 k + 2 f_{2k+2} f 2 k + 2 可以转化成
f 2 ( k + 1 ) f_{2(k+1)} f 2 ( k + 1 ) ，然后通过第一个式子进行展开，并且
f 2 k + 1 f_{2k+1} f 2 k + 1 也是已知的，考虑进行展开：
f 2 k + 3 = f 2 k + 2 + f 2 k + 1 = f 2 ( k + 1 ) + f 2 k + 1 = f k + 1 ( 2 f k + 2 + f k + 1 ) + f k + 1 2 + f k 2 = f k + 1 ( f k + f k + 2 ) + f k + 1 2 + f k 2 \begin{align*}
f_{2k+3} &= f_{2k+2}+f_{2k+1} \\
&= f_{2(k+1)}+f_{2k+1} \\
&= f_{k+1}(2f_{k+2}+f_{k+1})+f_{k+1}^2+f_k^2 \\
&= f_{k+1}(f_k+f_{k+2})+f_{k+1}^2+f_k^2 \\
\end{align*} f 2 k + 3 = f 2 k + 2 + f 2 k + 1 = f 2 ( k + 1 ) + f 2 k + 1 = f k + 1 ( 2 f k + 2 + f k + 1 ) + f k + 1 2 + f k 2 = f k + 1 ( f k + f k + 2 ) + f k + 1 2 + f k 2 显然我们把
f k + 1 2 f_{k+1}^2 f k + 1 2 提出来与要证明的式子中的
f k + 1 2 f_{k+1}^2 f k + 1 2 进行对应，于是我们只需要证明：
f k + 1 ( f k + f k + 2 ) + f k 2 = f k + 2 2 f_{k+1}(f_k+f_{k+2})+f_k^2 = f_{k+2}^2 f k + 1 ( f k + f k + 2 ) + f k 2 = f k + 2 2 进行一波推导：
f k + 1 ( f k + f k + 2 ) + f k 2 = f k + 2 2 ⇓ ( f k + 2 − f k ) ( f k + f k + 2 ) + f k 2 = f k + 2 2 ⇓ f k + 2 f k + f k + 2 2 − f k 2 − f k f k + 2 + f k 2 = f k + 2 2 ⇓ f k + 2 2 = f k + 2 2 \begin{align*}
f_{k+1}(f_k+f_{k+2})+f_k^2 &= f_{k+2}^2 \\
&\Downarrow \\
(f_{k+2}-f_k)(f_k+f_{k+2})+f_k^2 &= f_{k+2}^2 \\
&\Downarrow \\
f_{k+2}f_k+f_{k+2}^2-f_k^2-f_kf_{k+2}+f_k^2 &= f_{k+2}^2 \\
&\Downarrow \\
f_{k+2}^2 &= f_{k+2}^2 \\
\end{align*} f k + 1 ( f k + f k + 2 ) + f k 2 ( f k + 2 − f k ) ( f k + f k + 2 ) + f k 2 f k + 2 f k + f k + 2 2 − f k 2 − f k f k + 2 + f k 2 f k + 2 2 = f k + 2 2 ⇓ = f k + 2 2 ⇓ = f k + 2 2 ⇓ = f k + 2 2 这显然成立，至此，证毕。
卡塔兰恒等式 ∀ n ∈ N + , f n 2 − f n − r f n + r = ( − 1 ) n − r f r 2 \forall n \in \mathbb{N}^+,\ f_n^2-f_{n-r}f_{n+r} = (-1)^{n-r} f_r^2 ∀ n ∈ N + , f n 2 − f n − r f n + r = ( − 1 ) n − r f r 2 该恒等式还有一个常用的弱化恒等式，它有自己的名字，卡西尼恒等式。
它通常写作：
f n 2 − f n − 1 f n + 1 = ( − 1 ) n − 1 f_n^2-f_{n-1}f_{n+1} = (-1)^{n-1} f n 2 − f n − 1 f n + 1 = ( − 1 ) n − 1 这显然是卡塔兰恒等式在
r = 1 r = 1 r = 1 时的情况。
不过有时，卡西尼恒等式也会写成：
f n − 1 f n + 1 − f n 2 = ( − 1 ) n f_{n-1}f_{n+1}-f_n^2 = (-1)^n f n − 1 f n + 1 − f n 2 = ( − 1 ) n 这与上面的式子显然等价。
我们利用通项公式，令：
α = 1 + 5 2 β = 1 − 5 2 \begin{align*}
\alpha &= \frac{1+\sqrt{5}}{2} \\
\beta &= \frac{1-\sqrt{5}}{2}
\end{align*} α β = 2 1 + 5 = 2 1 − 5 然后将
f n 2 , f n − r f n + r f_n^2,f_{n-r}f_{n+r} f n 2 , f n − r f n + r 分别列出（设
A = α n , B = β n A = \alpha^n,B = \beta^n A = α n , B = β n ，通过手磨很容易知道
α β = − 1 , β = − α − 1 \alpha\beta = -1,\beta = -\alpha^{-1} α β = − 1 , β = − α − 1 ）：
f n 2 = ( A − B 5 ) 2 = ( A − B ) 2 5 = A 2 − 2 A B + B 2 5 = A 2 + B 2 − 2 ( − 1 ) n 5 f n − r f n + r = ( α n − r − β n − r 5 ) × ( α n + r − β n + r 5 ) = ( α n − r − β n − r ) ( α n + r − β n + r ) 5 = ( A α − r − B β − r ) ( A α r − B β r ) 5 = A 2 α − r α r − A B α − r β r − A B α r β − r + B 2 β − r β r 5 = A 2 − A B α − r β r − A B α r β − r + B 2 5 = A 2 − A B α − r ( − α ) − r − A B α r ( − α ) r + B 2 5 = A 2 − A B α − r ( − 1 ) r α − r − A B α r ( − 1 ) r α r + B 2 5 = A 2 − A B ( − 1 ) r α − 2 r − A B ( − 1 ) r α 2 r + B 2 5 = A 2 − A B [ ( − 1 ) r α − 2 r + ( − 1 ) r α 2 r ] + B 2 5 = A 2 − A B [ ( − 1 ) r ( α − 2 r + α 2 r ) ] + B 2 5 = A 2 + B 2 − ( − 1 ) n + r ( α 2 r + α − 2 r ) 5 f n 2 − f n − r f n + r = A 2 + B 2 − 2 ( − 1 ) n 5 − A 2 + B 2 − ( − 1 ) n + r ( α 2 r + α − 2 r ) 5 = ( − 1 ) n + r ( α 2 r + α − 2 r ) − 2 ( − 1 ) n 5 = ( − 1 ) n [ ( − 1 ) r ( α 2 r + α − 2 r ) − 2 ] 5 f r 2 = ( α r − β r 5 ) 2 = ( α r − β r ) 2 5 = α 2 r − 2 α r β r + β 2 r 5 = α 2 r + β 2 r − 2 α r β r 5 = α 2 r + β 2 r − 2 ( − 1 ) r 5 \begin{align*}
f_n^2 &= \left(\frac{A-B}{\sqrt{5}}\right)^2 \\
&= \frac{(A-B)^2}{5} \\
&= \frac{A^2-2AB+B^2}{5} \\
&= \frac{A^2+B^2-2(-1)^n}{5} \\
f_{n-r}f_{n+r} &= \left(\frac{\alpha^{n-r}-\beta^{n-r}}{\sqrt{5}}\right) \times \left(\frac{\alpha^{n+r}-\beta^{n+r}}{\sqrt{5}}\right) \\
&= \frac{(\alpha^{n-r}-\beta^{n-r})(\alpha^{n+r}-\beta^{n+r})}{5} \\
&= \frac{(A\alpha^{-r}-B\beta^{-r})(A\alpha^{r}-B\beta^r)}{5} \\
&= \frac{A^2\alpha^{-r}\alpha^r-AB\alpha^{-r}\beta^r-AB\alpha^r\beta^{-r}+B^2\beta^{-r}\beta^r}{5} \\
&= \frac{A^2-AB\alpha^{-r}\beta^r-AB\alpha^{r}\beta^{-r}+B^2}{5} \\
&= \frac{A^2-AB\alpha^{-r}(-\alpha)^{-r}-AB\alpha^r(-\alpha)^r+B^2}{5} \\
&= \frac{A^2-AB\alpha^{-r}(-1)^r\alpha^{-r}-AB\alpha^r(-1)^r\alpha^r+B^2}{5} \\
&= \frac{A^2-AB(-1)^r\alpha^{-2r}-AB(-1)^r\alpha^{2r}+B^2}{5} \\
&= \frac{A^2-AB[(-1)^r\alpha^{-2r}+(-1)^r\alpha^{2r}]+B^2}{5} \\
&= \frac{A^2-AB[(-1)^r(\alpha^{-2r}+\alpha^{2r})]+B^2}{5} \\
&= \frac{A^2+B^2-(-1)^{n+r}(\alpha^{2r}+\alpha^{-2r})}{5} \\
f_n^2-f_{n-r}f_{n+r} &= \frac{A^2+B^2-2(-1)^n}{5}-\frac{A^2+B^2-(-1)^{n+r}(\alpha^{2r}+\alpha^{-2r})}{5} \\
&= \frac{(-1)^{n+r}(\alpha^{2r}+\alpha^{-2r})-2(-1)^n}{5} \\
&= \frac{(-1)^{n}[(-1)^r(\alpha^{2r}+\alpha^{-2r})-2]}{5} \\
f_r^2 &= \left(\frac{\alpha^r-\beta^r}{\sqrt{5}}\right)^2 \\
&= \frac{(\alpha^r-\beta^r)^2}{5} \\
&= \frac{\alpha^{2r}-2\alpha^r\beta^r+\beta^{2r}}{5} \\
&= \frac{\alpha^{2r}+\beta^{2r}-2\alpha^r\beta^r}{5} \\
&= \frac{\alpha^{2r}+\beta^{2r}-2(-1)^r}{5} \\
\end{align*} f n 2 f n − r f n + r f n 2 − f n − r f n + r f r 2 = ( 5 A − B ) 2 = 5 ( A − B ) 2 = 5 A 2 − 2 A B + B 2 = 5 A 2 + B 2 − 2 ( − 1 ) n = ( 5 α n − r − β n − r ) × ( 5 α n + r − β n + r ) = 5 ( α n − r − β n − r ) ( α n + r − β n + r ) = 5 ( A α − r − B β − r ) ( A α r − B β r ) = 5 A 2 α − r α r − A B α − r β r − A B α r β − r + B 2 β − r β r = 5 A 2 − A B α − r β r − A B α r β − r + B 2 = 5 A 2 − A B α − r ( − α ) − r − A B α r ( − α ) r + B 2 = 5 A 2 − A B α − r ( − 1 ) r α − r − A B α r ( − 1 ) r α r + B 2 = 5 A 2 − A B ( − 1 ) r α − 2 r − A B ( − 1 ) r α 2 r + B 2 = 5 A 2 − A B [( − 1 ) r α − 2 r + ( − 1 ) r α 2 r ] + B 2 = 5 A 2 − A B [( − 1 ) r ( α − 2 r + α 2 r )] + B 2 = 5 A 2 + B 2 − ( − 1 ) n + r ( α 2 r + α − 2 r ) = 5 A 2 + B 2 − 2 ( − 1 ) n − 5 A 2 + B 2 − ( − 1 ) n + r ( α 2 r + α − 2 r ) = 5 ( − 1 ) n + r ( α 2 r + α − 2 r ) − 2 ( − 1 ) n = 5 ( − 1 ) n [( − 1 ) r ( α 2 r + α − 2 r ) − 2 ] = ( 5 α r − β r ) 2 = 5 ( α r − β r ) 2 = 5 α 2 r − 2 α r β r + β 2 r = 5 α 2 r + β 2 r − 2 α r β r = 5 α 2 r + β 2 r − 2 ( − 1 ) r 此时我们考虑
( − 1 ) r [ α 2 r + β 2 r − 2 ( − 1 ) r ] (-1)^r[\alpha^{2r}+\beta^{2r}-2(-1)^r] ( − 1 ) r [ α 2 r + β 2 r − 2 ( − 1 ) r ] 和
( − 1 ) r ( α 2 r + α − 2 r ) − 2 (-1)^r(\alpha^{2r}+\alpha^{-2r})-2 ( − 1 ) r ( α 2 r + α − 2 r ) − 2 的关系，很显然是相等的，化简一下就能证明了，并且这两个东西是等于
( − 1 ) r × 5 f r 2 (-1)^r \times 5f_r^2 ( − 1 ) r × 5 f r 2 于是，我们就可以把
( − 1 ) n [ ( − 1 ) r ( α 2 r + α − 2 r ) − 2 ] 5 \frac{(-1)^{n}[(-1)^r(\alpha^{2r}+\alpha^{-2r})-2]}{5} 5 ( − 1 ) n [( − 1 ) r ( α 2 r + α − 2 r ) − 2 ] 转化为
( − 1 ) n ( − 1 ) r × 5 f r 2 5 \frac{(-1)^n(-1)^r \times 5f_r^2}{5} 5 ( − 1 ) n ( − 1 ) r × 5 f r 2 ，化简一下得到
( − 1 ) n + r f r 2 (-1)^{n+r}f_r^2 ( − 1 ) n + r f r 2 ，因为
( − 1 ) n + r = ( − 1 ) n − r (-1)^{n+r} = (-1)^{n-r} ( − 1 ) n + r = ( − 1 ) n − r ，所以可以变成
( − 1 ) n − r f r 2 (-1)^{n-r}f_r^2 ( − 1 ) n − r f r 2 ，与该恒等式相同。
至此，证毕。
组合意义 f n + 1 f_{n+1} f n + 1 表示用
1 × 1 1 \times 1 1 × 1 和
1 × 2 1 \times 2 1 × 2 的骨牌铺满
1 × n 1 \times n 1 × n 的棋盘的方案数（对于同一种骨牌任意交换顺序均只算一种方案）。
可以表示为：
f n + 1 = ∑ k = 0 ⌊ n 2 ⌋ ( n − k k ) f_{n+1} = \sum_{k = 0}^{\lfloor \frac{n}{2}\rfloor} \binom{n-k}{k} f n + 1 = k = 0 ∑ ⌊ 2 n ⌋ ( k n − k ) 因为斐波那契数列的递推式是
f i = f i − 1 + f i − 2 f_i = f_{i-1}+f_{i-2} f i = f i − 1 + f i − 2 ，和解决那个组合问题所需要的递推式相同，而至于为什么是
f n + 1 f_{n+1} f n + 1 而不是
f n f_n f n 是因为解决那个组合问题
f 0 f_0 f 0 应该是
1 1 1 ，但是斐波那契数列中
f 0 = 0 f_0 = 0 f 0 = 0 ，所以我们设解决那个组合问题的递推数组为
f ′ f' f ′ ，则
∀ n ∈ N , f n ′ = f n + 1 \forall n \in \mathbb{N},\ f'_n = f_{n+1} ∀ n ∈ N , f n ′ = f n + 1 ，这是显然的。
接下来就是证明为什么那个组合问题可以用这个式子来表示：
∑ k = 0 ⌊ n 2 ⌋ ( n − k k ) \sum_{k = 0}^{\lfloor \frac{n}{2}\rfloor} \binom{n-k}{k} k = 0 ∑ ⌊ 2 n ⌋ ( k n − k ) 由于骨牌只有两种，考虑我们先枚举较为特殊的
1 × 2 1 \times 2 1 × 2 骨牌，设它有
k k k 个，此时我们应该只能放
n − 2 k + k = n − k n-2k+k = n-k n − 2 k + k = n − k 个骨牌，因为
n − 2 k n-2k n − 2 k 是
1 × 1 1 \times 1 1 × 1 骨牌能放的数量，而
k k k 就是
1 × 2 1 \times 2 1 × 2 的骨牌的数量。
所以我们的最终答案就是枚举
0 ≤ k ≤ ⌊ n 2 ⌋ 0 \le k \le \lfloor \frac{n}{2} \rfloor 0 ≤ k ≤ ⌊ 2 n ⌋ ，对
( n − k k ) \binom{n-k}{k} ( k n − k ) 进行求和。
斐波那契数列的延伸——卢卡斯数列 卢卡斯数列和斐波那契数列很相似，不过卢卡斯数列初始为
l 0 = 2 , l 1 = 1 l_0 = 2,l_1 = 1 l 0 = 2 , l 1 = 1 ，然后对于
∀ n ≥ 2 , l n = l n − 1 + l n − 2 \forall n \ge 2,\ l_n = l_{n-1}+l_{n-2} ∀ n ≥ 2 , l n = l n − 1 + l n − 2 。
其实很简单，由于卢卡斯数列和斐波那契数列的唯一不同点就是初始值不同，所以我们直接套用斐波那契数列的通项公式求法。
我们得到通解
l n = A α n + B β n l_n = A\alpha^n+B\beta^n l n = A α n + B β n 之后，对于
f 0 = A + B = 2 f_0 = A+B = 2 f 0 = A + B = 2 ，我们可以得到
A = 2 − B A = 2-B A = 2 − B ，然后对于
f 1 = A α + B β = 1 f_1 = A\alpha+B\beta = 1 f 1 = A α + Bβ = 1 ，将式子变成
2 α − B ( α − β ) 2\alpha-B(\alpha-\beta) 2 α − B ( α − β ) ，化简得
1 + 5 − 5 B = 1 1+\sqrt{5}-\sqrt{5}B = 1 1 + 5 − 5 B = 1 ，等式两边同时减去
1 1 1 ，然后提公因式
5 \sqrt{5} 5 ，得出
5 ( 1 − B ) = 0 \sqrt{5}(1-B) = 0 5 ( 1 − B ) = 0 ，两边同时除以
5 \sqrt{5} 5 ，得
1 − B = 0 1-B = 0 1 − B = 0 ，解得
A = 1 , B = 1 A = 1,B = 1 A = 1 , B = 1 ，于是卢卡斯数列通项公式为：
l n = α n + β n ⇓ l n = ( 1 + 5 2 ) n + ( 1 − 5 2 ) n \begin{align*}
l_n &= \alpha^n+\beta^n \\
&\Downarrow \\
l_n &= \left(\frac{1+\sqrt{5}}{2}\right)^n+\left(\frac{1-\sqrt{5}}{2}\right)^n
\end{align*} l n l n = α n + β n ⇓ = ( 2 1 + 5 ) n + ( 2 1 − 5 ) n
∀ n ∈ N + , l n = f n − 1 + f n + 1 = f n + 2 × f n − 1 \forall n \in \mathbb{N}^+,\ l_n = f_{n-1}+f_{n+1} = f_n+2 \times f_{n-1} ∀ n ∈ N + , l n = f n − 1 + f n + 1 = f n + 2 × f n − 1 ∀ n ∈ N + , f n = l n − 1 + l n + 1 5 \forall n \in \mathbb{N}^+,\ f_n = \frac{l_{n-1}+l_{n+1}}{5} ∀ n ∈ N + , f n = 5 l n − 1 + l n + 1 ∀ n ∈ N , f 2 n = f n × l n \forall n \in \mathbb{N},\ f_{2n} = f_n \times l_n ∀ n ∈ N , f 2 n = f n × l n 我们先证明第一个关系。
显然将
f n + 1 f_{n+1} f n + 1 转化成
f n + f n − 1 f_n+f_{n-1} f n + f n − 1 之后很容易得出
f n − 1 + f n + 1 = f n + 2 × f n − 1 f_{n-1}+f_{n+1} = f_n+2 \times f_{n-1} f n − 1 + f n + 1 = f n + 2 × f n − 1 。
也就是我们只需要证明
l n = f n − 1 + f n + 1 l_n = f_{n-1}+f_{n+1} l n = f n − 1 + f n + 1 即可。
考虑使用数学归纳法。
对于基础
1 1 1 ，我们有
l 1 = f 0 + f 2 = 1 l_1 = f_0+f_2 = 1 l 1 = f 0 + f 2 = 1 ，成立。
再考虑我们已知：
∀ i ∈ [ 1 , m ] , l i = f i − 1 + f i + 1 \forall i \in [1,m],\ l_i = f_{i-1}+f_{i+1} ∀ i ∈ [ 1 , m ] , l i = f i − 1 + f i + 1 如何证明
l m + 1 = f m + f m + 2 l_{m+1} = f_m+f_{m+2} l m + 1 = f m + f m + 2 ？
因为我们已知
l m = f m − 1 + f m + 1 l_m = f_{m-1}+f_{m+1} l m = f m − 1 + f m + 1 ，而我们要证明的是
l m + 1 = f m + f m + 2 l_{m+1} = f_m+f_{m+2} l m + 1 = f m + f m + 2 ，直接用两式相减法，左边很容易得到
l m − 1 l_{m-1} l m − 1 ，但是右边比较困难（其实也很简单），我们来一步一步推导：
f m + f m + 2 − ( f m − 1 + f m + 1 ) = f m + f m + 2 − f m − 1 − f m + 1 = f m + f m + f m + 1 − f m − 1 − f m + 1 = f m + f m − f m − 1 = f m + ( f m − f m − 1 ) = f m + f m − 2 \begin{align*}
f_m+f_{m+2}-(f_{m-1}+f_{m+1}) &= f_m+f_{m+2}-f_{m-1}-f_{m+1} \\
&= f_m+f_m+f_{m+1}-f_{m-1}-f_{m+1} \\
&= f_m+f_m-f_{m-1} \\
&= f_m+(f_m-f_{m-1}) \\
&= f_m+f_{m-2}
\end{align*} f m + f m + 2 − ( f m − 1 + f m + 1 ) = f m + f m + 2 − f m − 1 − f m + 1 = f m + f m + f m + 1 − f m − 1 − f m + 1 = f m + f m − f m − 1 = f m + ( f m − f m − 1 ) = f m + f m − 2 很显然，因为对于
i ∈ [ 1 , m ] i \in [1,m] i ∈ [ 1 , m ] 的
l i l_i l i 我们是已知的，所以
l m − 1 = f m − 2 + f m l_{m-1} = f_{m-2}+f_m l m − 1 = f m − 2 + f m ，这正好和我们上面要证明的式子相等。
至此，第一个关系证毕。
依旧使用数学归纳法。
对于基础
1 1 1 ，我们有
f 1 = l 0 + l 2 5 = 5 5 = 1 f_1 = \frac{l_0+l_2}{5} = \frac{5}{5} = 1 f 1 = 5 l 0 + l 2 = 5 5 = 1 。
考虑我们已知：
∀ i ∈ [ 1 , m ] , f i = l i − 1 + l i + 1 5 \forall i \in [1,m],\ f_i = \frac{l_{i-1}+l_{i+1}}{5} ∀ i ∈ [ 1 , m ] , f i = 5 l i − 1 + l i + 1 那么如何证明
f m + 1 = l m + l m + 2 5 f_{m+1} = \frac{l_m+l_{m+2}}{5} f m + 1 = 5 l m + l m + 2 ？
根据已知的
f m = l m − 1 + l m + 1 5 f_m = \frac{l_{m-1}+l_{m+1}}{5} f m = 5 l m − 1 + l m + 1 ，我们依旧使用两式相减法。
很显然，左边是
f m − 1 f_{m-1} f m − 1 ，那右边呢？我们来推一下：
l m + l m + 2 5 − l m − 1 + l m + 1 5 = l m + l m + 2 − ( l m − 1 + l m + 1 ) 5 = l m + l m + 2 − l m − 1 − l m + 1 5 = l m + l m + l m + 1 − l m − 1 − l m + 1 5 = l m + l m − l m − 1 5 = l m + ( l m − l m − 1 ) 5 = l m + l m − 2 5 \begin{align*}
\frac{l_m+l_{m+2}}{5}-\frac{l_{m-1}+l_{m+1}}{5} &= \frac{l_m+l_{m+2}-(l_{m-1}+l_{m+1})}{5} \\
&= \frac{l_m+l_{m+2}-l_{m-1}-l_{m+1}}{5} \\
&= \frac{l_m+l_m+l_{m+1}-l_{m-1}-l_{m+1}}{5} \\
&= \frac{l_m+l_m-l_{m-1}}{5} \\
&= \frac{l_m+(l_m-l_{m-1})}{5} \\
&= \frac{l_m+l_{m-2}}{5}
\end{align*} 5 l m + l m + 2 − 5 l m − 1 + l m + 1 = 5 l m + l m + 2 − ( l m − 1 + l m + 1 ) = 5 l m + l m + 2 − l m − 1 − l m + 1 = 5 l m + l m + l m + 1 − l m − 1 − l m + 1 = 5 l m + l m − l m − 1 = 5 l m + ( l m − l m − 1 ) = 5 l m + l m − 2 而根据已知条件，我们有
f m − 1 = l m − 2 + l m 5 f_{m-1} = \frac{l_{m-2}+l_m}{5} f m − 1 = 5 l m − 2 + l m ，这与我们推的式子相同。
至此，第二个关系证毕。
最后证明第三个关系。
其实很简单，根据斐波那契数列和卢卡斯数列的通项公式，我们有：
f n = α n − β n 5 , l n = α n + β n f_n = \frac{\alpha^n-\beta^n}{\sqrt{5}},l_n = \alpha^n+\beta^n f n = 5 α n − β n , l n = α n + β n 于是我们直接相乘：
f n × l n = α n − β n 5 × ( α n + β n ) = ( α n − β n ) × ( α n + β n ) 5 = α 2 n − β 2 n 5 = f 2 n \begin{align*}
f_n \times l_n &= \frac{\alpha^n-\beta^n}{\sqrt{5}} \times (\alpha^n+\beta^n) \\
&= \frac{(\alpha^n-\beta^n) \times (\alpha^n+\beta^n)}{\sqrt{5}} \\
&= \frac{\alpha^{2n}-\beta^{2n}}{\sqrt{5}} \\
&= f_{2n}
\end{align*} f n × l n = 5 α n − β n × ( α n + β n ) = 5 ( α n − β n ) × ( α n + β n ) = 5 α 2 n − β 2 n = f 2 n 至此，第三个关系证毕。
更相减损术的核心及证明 更相减损术是一种算法，但它的核心是一个数论性质：
∀ m ≥ n ∈ N + , gcd ( m , n ) = gcd ( m − n , n ) \forall m \ge n \in \mathbb{N}^+,\ \gcd(m,n) = \gcd(m-n,n) ∀ m ≥ n ∈ N + , g cd( m , n ) = g cd( m − n , n ) 令
d = gcd ( m , n ) , d ′ = gcd ( m − n , n ) d = \gcd(m,n),d' = \gcd(m-n,n) d = g cd( m , n ) , d ′ = g cd( m − n , n ) ，显然：
[ d = d ′ ] ⇔ [ d ∣ d ′ ] ∧ [ d ′ ∣ d ] [d = d'] \Leftrightarrow [d \mid d'] \land [d' \mid d] [ d = d ′ ] ⇔ [ d ∣ d ′ ] ∧ [ d ′ ∣ d ] 我们先证明
d ∣ d ′ d \mid d' d ∣ d ′ ，也就是
d d d 是
m − n m-n m − n 和
n n n 的公因数。
这个其实超级简单，因为
d ∣ m d \mid m d ∣ m 并且
d ∣ n d \mid n d ∣ n ，所以根据数论基本原则我们可以得到
d ∣ m − n d \mid m-n d ∣ m − n ，如果实在要证明这个基本原则，我们可以令
m = q d , n = q ′ d m = qd,n = q'd m = q d , n = q ′ d ，因为
m ≥ n m \ge n m ≥ n ，所以
q ≥ q ′ q \ge q' q ≥ q ′ ，即
m − n = ( q − q ′ ) d m-n = (q-q')d m − n = ( q − q ′ ) d ，显然是
d d d 的倍数。
接着再证明
d ′ ∣ d d' \mid d d ′ ∣ d ，也就是
d ′ d' d ′ 是
m m m 和
n n n 的公因数。
因为
d ′ ∣ m − n d' \mid m-n d ′ ∣ m − n 并且
d ′ ∣ n d' \mid n d ′ ∣ n 。所以
d ′ ∣ m − n + n d' \mid m-n+n d ′ ∣ m − n + n ，化简一下得到
d ′ ∣ m d' \mid m d ′ ∣ m ，由于原本就有
d ′ ∣ n d' \mid n d ′ ∣ n ，所以命题得证。
一个数论基本定理的证明 ∀ x ∈ N , a ∈ N + , b ∈ N + , [ a ∣ x ] ∧ [ b ∣ x ] ⇒ [ lcm ( a , b ) ∣ x ] \forall x \in \mathbb{N},a \in \mathbb{N}^+,b \in \mathbb{N}^+,\ [a \mid x] \land [b \mid x] \Rightarrow [\operatorname{lcm}(a,b) \mid x] ∀ x ∈ N , a ∈ N + , b ∈ N + , [ a ∣ x ] ∧ [ b ∣ x ] ⇒ [ lcm ( a , b ) ∣ x ] 我们令
d = gcd ( a , b ) d = \gcd(a,b) d = g cd( a , b ) ，那么存在整数
m , n m,n m , n 使得：
a = d m , b = d n , gcd ( m , n ) = 1 a = dm,b = dn,\gcd(m,n) = 1 a = d m , b = d n , g cd( m , n ) = 1 我们已知
a ∣ x a \mid x a ∣ x 并且
b ∣ x b \mid x b ∣ x ，我们将
a , b a,b a , b 进行替换后，很容易得到：
x = d m × k , k ∈ N x = d n × t , t ∈ N \begin{align*}
x &= dm \times k,k \in \mathbb{N} \\
x &= dn \times t,t \in \mathbb{N}
\end{align*} x x = d m × k , k ∈ N = d n × t , t ∈ N 我们容易能想到将两式合并，得到
d m k = d n t dmk = dnt d mk = d n t ，两边同时除以
d d d ，可得
m k = n t mk = nt mk = n t ，根据简单性质我们有
m ∣ n t m \mid nt m ∣ n t ，而又因为
m , n m,n m , n 互质，所以
m ∣ t m \mid t m ∣ t ，这里我们设
t = m q t = mq t = m q ，则代入
m k = n m q mk = nmq mk = nm q 得到
k = n q k = nq k = n q ，于是我们就有了：
x = d m × k = d m × ( n q ) = ( d m n ) × q x = dm \times k = dm \times (nq) = (dmn) \times q x = d m × k = d m × ( n q ) = ( d mn ) × q 而：
lcm ( a , b ) = a b gcd ( a , b ) = ( d m ) × ( d n ) d = d m n \operatorname{lcm}(a,b) = \frac{ab}{\gcd(a,b)} = \frac{(dm) \times (dn)}{d} = dmn lcm ( a , b ) = g cd( a , b ) ab = d ( d m ) × ( d n ) = d mn 因为
x = ( d m n ) × q x = (dmn) \times q x = ( d mn ) × q ，所以：
x = lcm ( a , b ) × q ⇓ lcm ( a , b ) ∣ x \begin{align*}
&x = \operatorname{lcm}(a,b) \times q \\
&\Downarrow \\
&\operatorname{lcm}(a,b) \mid x
\end{align*} x = lcm ( a , b ) × q ⇓ lcm ( a , b ) ∣ x 至此，该定理证毕。
上一个定理的扩展 ∀ x ∈ N , m ∈ N + , n ∈ N + , y ∈ N , gcd ( m , n ) = 1 , [ x ≡ y ( m o d m ) ] ∧ [ x ≡ y ( m o d n ) ] ⇒ [ x ≡ y ( m o d ( m n ) ) ] \forall x \in \mathbb{N},m \in \mathbb{N}^+,n \in \mathbb{N}^+,y \in \mathbb{N},\gcd(m,n) = 1,\ [x \equiv y \pmod m] \land [x \equiv y \pmod n] \Rightarrow [x \equiv y \pmod {(mn)}] ∀ x ∈ N , m ∈ N + , n ∈ N + , y ∈ N , g cd( m , n ) = 1 , [ x ≡ y ( mod m )] ∧ [ x ≡ y ( mod n )] ⇒ [ x ≡ y ( mod ( mn ))] 我们先改写一波：
∀ x ∈ N , m ∈ N + , n ∈ N + , y ∈ N , gcd ( m , n ) = 1 , [ x − y ≡ 0 ( m o d m ) ] ∧ [ x − y ≡ 0 ( m o d n ) ] ⇒ [ x − y ≡ 0 ( m o d ( m n ) ) ] \forall x \in \mathbb{N},m \in \mathbb{N}^+,n \in \mathbb{N}^+,y \in \mathbb{N},\gcd(m,n) = 1,\ [x-y \equiv 0 \pmod m] \land [x-y \equiv 0 \pmod n] \Rightarrow [x-y \equiv 0 \pmod {(mn)}] ∀ x ∈ N , m ∈ N + , n ∈ N + , y ∈ N , g cd( m , n ) = 1 , [ x − y ≡ 0 ( mod m )] ∧ [ x − y ≡ 0 ( mod n )] ⇒ [ x − y ≡ 0 ( mod ( mn ))] 很容易发现，这不就是上一个定理的基本变形吗？
至此，该定理证毕。
数论性质
∀ m , n ∈ N , m + n ≠ 0 , gcd ( f m , f n ) = f gcd ( m , n ) \forall m,n \in \mathbb{N},m+n \ne 0,\ \gcd(f_m,f_n) = f_{\gcd(m,n)} ∀ m , n ∈ N , m + n = 0 , g cd( f m , f n ) = f g c d ( m , n )
该命题也有一个常用的变形弱化命题：
∀ m ∈ N + , n ∈ N , [ m ∣ n ] ⇔ [ f m ∣ f n ] \forall m \in \mathbb{N}^+,n \in \mathbb{N},\ [m \mid n] \Leftrightarrow [f_m \mid f_n] ∀ m ∈ N + , n ∈ N , [ m ∣ n ] ⇔ [ f m ∣ f n ] ，只要证明了上面那个原命题成立，这个变形弱化命题也一定成立。
根据之前我们得出的：
∀ m ∈ N , n ∈ N + , f m + n = f m + 1 f n + f m f n − 1 \forall m \in \mathbb{N},n \in \mathbb{N}^+,\ f_{m+n} = f_{m+1}f_n+f_mf_{n-1} ∀ m ∈ N , n ∈ N + , f m + n = f m + 1 f n + f m f n − 1 ∀ m ∈ N + , n ∈ N , f m + n = f m f n + 1 + f m − 1 f n \forall m \in \mathbb{N}^+,n \in \mathbb{N},\ f_{m+n} = f_mf_{n+1}+f_{m-1}f_n ∀ m ∈ N + , n ∈ N , f m + n = f m f n + 1 + f m − 1 f n 我们令
A = f m + n , B = f n A = f_{m+n},B = f_n A = f m + n , B = f n ，那么：
A = f m f n + 1 + B × f m − 1 A = f_mf_{n+1}+B \times f_{m-1} A = f m f n + 1 + B × f m − 1 gcd ( x + k × B , B ) = gcd ( x , B ) \gcd(x+k \times B,B) = \gcd(x,B) g cd( x + k × B , B ) = g cd( x , B ) 我们取
x = f m f n + 1 , k = f m − 1 x = f_mf_{n+1},k = f_{m-1} x = f m f n + 1 , k = f m − 1 ，则：
gcd ( A , B ) = gcd ( f m f n + 1 + f m − 1 × B ) = gcd ( f m f n + 1 , f n ) \gcd(A,B) = \gcd(f_mf_{n+1}+f_{m-1} \times B) = \gcd(f_mf_{n+1},f_n) g cd( A , B ) = g cd( f m f n + 1 + f m − 1 × B ) = g cd( f m f n + 1 , f n ) 所以：
gcd ( f m + n , f n ) = gcd ( f m f n + 1 , f n ) \gcd(f_{m+n},f_n) = \gcd(f_mf_{n+1},f_n) g cd( f m + n , f n ) = g cd( f m f n + 1 , f n ) 因为
gcd ( f n + 1 , f n ) = 1 \gcd(f_{n+1},f_n) = 1 g cd( f n + 1 , f n ) = 1 ，所以：
gcd ( f m + n , f n ) = gcd ( f m , f n ) \gcd(f_{m+n},f_n) = \gcd(f_m,f_n) g cd( f m + n , f n ) = g cd( f m , f n ) 接下来一步便是魔法，我们知道这对于
∀ m , n ∈ N , m + n ≠ 0 \forall m,n \in \mathbb{N},m+n \ne 0 ∀ m , n ∈ N , m + n = 0 都是成立的，也就是我们可以对
m m m 和
n n n 进行任意更改，我们为了方便，如果
n > m n>m n > m ，交换
n n n 和
m m m ，也就是我们需要保持
m ≥ n m \ge n m ≥ n ，接着我们令更改后的
m , n m,n m , n 为
m ′ , n ′ m',n' m ′ , n ′ ，则
m ′ = m − n , n ′ = n m' = m-n,n' = n m ′ = m − n , n ′ = n ，此时我们就可以得出：
gcd ( f m ′ + n ′ , f n ′ ) = gcd ( f m ′ , f n ′ ) ⇓ gcd ( f m , f n ) = gcd ( f m − n , f n ) \begin{align*}
\gcd(f_{m'+n'},f_{n'}) &= \gcd(f_{m'},f_{n'}) \\
&\Downarrow \\
\gcd(f_m,f_n) &= \gcd(f_{m-n},f_n)
\end{align*} g cd( f m ′ + n ′ , f n ′ ) g cd( f m , f n ) = g cd( f m ′ , f n ′ ) ⇓ = g cd( f m − n , f n ) 此时回到我们的原命题：
∀ m , n ∈ N , m + n ≠ 0 , gcd ( f m , f n ) = f gcd ( m , n ) \forall m,n \in \mathbb{N},m+n \ne 0,\ \gcd(f_m,f_n) = f_{\gcd(m,n)} ∀ m , n ∈ N , m + n = 0 , g cd( f m , f n ) = f g c d ( m , n ) 考虑使用数学归纳法，对于基础：
当 m = n m = n m = n gcd ( f m , f n ) = f m , f gcd ( m , n ) = f m \gcd(f_m,f_n) = f_m,f_{\gcd(m,n)} = f_m g cd( f m , f n ) = f m , f g c d ( m , n ) = f m
当 m > 0 , n = 0 m>0,n = 0 m > 0 , n = 0 gcd ( f m , f n ) = gcd ( f m , f 0 ) = f m , f gcd ( m , n ) = f m \gcd(f_m,f_n) = \gcd(f_m,f_0) = f_m,f_{\gcd(m,n)} = f_m g cd( f m , f n ) = g cd( f m , f 0 ) = f m , f g c d ( m , n ) = f m
当 m = 0 , n > 0 m = 0,n>0 m = 0 , n > 0
考虑对于一组
m , n ∈ N + m,n \in \mathbb{N}^+ m , n ∈ N + ，比它的
m + n m+n m + n 小的
m , n m,n m , n 已经全部成立，我们要证明这组
m , n m,n m , n 也成立。
根据我们刚刚推出的式子：
gcd ( f m , f n ) = gcd ( f m − n , f n ) \gcd(f_m,f_n) = \gcd(f_{m-n},f_n) g cd( f m , f n ) = g cd( f m − n , f n ) 我们很容易发现
m − n + n = m m-n+n = m m − n + n = m ，而
m < m + n m<m+n m < m + n ，所以
gcd ( f m − n , f n ) = f gcd ( m − n , n ) \gcd(f_{m-n},f_n) = f_{\gcd(m-n,n)} g cd( f m − n , f n ) = f g c d ( m − n , n ) 已经成立了，于是我们便得出：
gcd ( f m , f n ) = f gcd ( m − n , n ) \gcd(f_m,f_n) = f_{\gcd(m-n,n)} g cd( f m , f n ) = f g c d ( m − n , n ) 根据更相减损术，可得：
gcd ( m − n , n ) = gcd ( m , n ) \gcd(m-n,n) = \gcd(m,n) g cd( m − n , n ) = g cd( m , n ) 所以：
gcd ( f m , f n ) = f gcd ( m , n ) \gcd(f_m,f_n) = f_{\gcd(m,n)} g cd( f m , f n ) = f g c d ( m , n ) 至此，证毕。
我们如果定义 P ( x ) P(x) P ( x ) x x x ∀ 4 ≠ n ∈ N , P ( f n ) ⇒ P ( n ) \forall 4 \ne n \in \mathbb{N},\ P(f_n) \Rightarrow P(n) ∀4 = n ∈ N , P ( f n ) ⇒ P ( n )
我们很显然可以将该命题转化为：我们如果定义
C ( x ) C(x) C ( x ) 表示
x x x 是否是合数，则
∀ n ∈ N , C ( n ) ⇒ C ( f n ) \forall n \in \mathbb{N},\ C(n) \Rightarrow C(f_n) ∀ n ∈ N , C ( n ) ⇒ C ( f n ) 。
对于那些既不是合数也不是素数的非负整数下标，我们一一验证之后就可以发现，没有一个对应的斐波那契数是素数，所以此次命题转化完全正确。
运用第一个性质的变形弱化命题：
∀ m ∈ N + , n ∈ N , [ m ∣ n ] ⇔ [ f m ∣ f n ] \forall m \in \mathbb{N}^+,n \in \mathbb{N},\ [m \mid n] \Leftrightarrow [f_m \mid f_n] ∀ m ∈ N + , n ∈ N , [ m ∣ n ] ⇔ [ f m ∣ f n ] 那么当
n n n 为合数时，一定存在
a , b > 1 a,b>1 a , b > 1 ，使得
a b = n ab = n ab = n ，并且根据那个变形弱化命题，我们知道
f a ∣ f n f_a \mid f_n f a ∣ f n 并且
f b ∣ f n f_b \mid f_n f b ∣ f n 。
接下来我们可以使用反证法。
我们要使
n n n 为合数时，
f n f_n f n 可能是素数，所以
f a f_a f a 可以等于
1 1 1 或
n n n ，但尽管
f a f_a f a 可以等于
1 1 1 或
n n n ，不过如果
f a = n f_a = n f a = n 我们就可以通过魔法交换重新让
f a f_a f a 等于
1 1 1 ，所以我们只需要考虑
f a = 1 f_a = 1 f a = 1 的情况。
而只有在
a = 1 a = 1 a = 1 或
a = 2 a = 2 a = 2 时
f a = 1 f_a = 1 f a = 1 ，但是之前规定
a > 1 a>1 a > 1 ，所以
a a a 只能取
2 2 2 。
当
a = 2 a = 2 a = 2 时，
n = 2 b n = 2b n = 2 b ，我们根据斐波那契数列与卢卡斯数列的关系恒等式：
f 2 b = f b × l b f_{2b} = f_b \times l_b f 2 b = f b × l b 而在
b > 2 b>2 b > 2 时，
f b ≥ 2 , l b ≥ 4 f_b \ge 2,l_b \ge 4 f b ≥ 2 , l b ≥ 4 ，所以
f 2 b f_{2b} f 2 b 即
f n f_n f n 一定为合数。
不过
b = 2 b = 2 b = 2 时是一个特例，因为此时
f b = 1 f_b = 1 f b = 1 ，而此时
n = 4 n = 4 n = 4 ，这也刚好对应该命题的
n ≠ 4 n \ne 4 n = 4 的要求。
齐肯多夫定理 对于任意一个非负整数，它可被唯一表示为若干个（也可以是一个）不同且不相邻的斐波那契数列之和，这个表示被称为齐肯多夫表示。
为了证明它，先给出一个前置定理：
对于所有
n ∈ N n \in \mathbb{N} n ∈ N ，用不超过
f n f_n f n （并且严格不相邻）的斐波那契数能表示的最大整数是
f n + 1 − 1 f_{n+1}-1 f n + 1 − 1 。
考虑使用数学归纳法，对于基础
0 0 0 ，最大也只能取
f 0 = 0 f_0 = 0 f 0 = 0 ，而
f 1 − 1 = 0 f_{1}-1 = 0 f 1 − 1 = 0 ，成立。
考虑我们已知：对于所有
i ∈ [ 0 , m − 1 ] i \in [0,m-1] i ∈ [ 0 , m − 1 ] ，此命题成立。
当我们选择了 f n f_n f n f n − 1 f_{n-1} f n − 1 f n − 2 f_{n-2} f n − 2 f n − 2 f_{n-2} f n − 2 f n − 1 − 1 f_{n-1}-1 f n − 1 − 1 f n f_n f n f n + 1 − 1 f_{n+1}-1 f n + 1 − 1
当我们没有选择 f n f_n f n f n − 1 f_{n-1} f n − 1 f n − 1 f_{n-1} f n − 1 f n − 1 f_n-1 f n − 1
将两者答案取
max \max max ，可得值为
f n + 1 − 1 f_{n+1}-1 f n + 1 − 1 。
先证明其存在性。
考虑使用数学归纳法，对于基础
0 0 0 ，显然可以取
f 0 = 0 f_0 = 0 f 0 = 0 ，成立。
这里定义
Q ( x ) Q(x) Q ( x ) 为
x x x 有齐肯多夫表示这个命题是否成立。
考虑我们已知：
∀ i ∈ [ 0 , n − 1 ] , Q ( i ) \forall i \in [0,n-1],\ Q(i) ∀ i ∈ [ 0 , n − 1 ] , Q ( i ) 我们设
f k f_k f k 为不超过
n n n 的最大斐波那契数，则
f k ≤ n < f k + 1 f_k \le n<f_{k+1} f k ≤ n < f k + 1 ，考虑
n − f k n-f_k n − f k ：
当 n − f k = 0 n-f_k = 0 n − f k = 0 f k f_k f k n n n
当 n − f k > 0 n-f_k>0 n − f k > 0 n − f k < f k + 1 − f k n-f_k<f_{k+1}-f_k n − f k < f k + 1 − f k f k + 1 = f k + f k − 1 f_{k+1} = f_k+f_{k-1} f k + 1 = f k + f k − 1 n − f k < f k − 1 n-f_k<f_{k-1} n − f k < f k − 1 n − f k n-f_k n − f k x x x x ≤ f k − 2 x \le f_{k-2} x ≤ f k − 2 n n n f k − 1 f_{k-1} f k − 1 n n n
至此，存在性证毕。
接着证明其唯一性。
利用反证法，假设其表示方法并不唯一，则对于最小的有两种表示方法的数
n ∈ N n \in \mathbb{N} n ∈ N （分别用
a a a 和
b b b 表示）：
n = f a 1 + f a 2 + ⋯ + f a k ( a 1 > a 2 > ⋯ > a k , ∀ i ∈ [ 1 , k − 1 ] , a i − a i + 1 ≥ 2 ) n = f b 1 + f b 2 + ⋯ + f b k ′ ( b 1 > b 2 > ⋯ > b k ′ , ∀ i ∈ [ 1 , k ′ − 1 ] , b i − b i + 1 ≥ 2 ) \begin{align*}
n &= f_{a_1}+f_{a_2}+\dots+f_{a_k}(a_1>a_2>\dots>a_k,\forall i \in [1,k-1],\ a_i-a_{i+1} \ge 2) \\
n &= f_{b_1}+f_{b_2}+\dots+f_{b_{k'}}(b_1>b_2>\dots>b_{k'},\forall i \in [1,k'-1],\ b_i-b_{i+1} \ge 2)
\end{align*} n n = f a 1 + f a 2 + ⋯ + f a k ( a 1 > a 2 > ⋯ > a k , ∀ i ∈ [ 1 , k − 1 ] , a i − a i + 1 ≥ 2 ) = f b 1 + f b 2 + ⋯ + f b k ′ ( b 1 > b 2 > ⋯ > b k ′ , ∀ i ∈ [ 1 , k ′ − 1 ] , b i − b i + 1 ≥ 2 ) 如果
a 1 = b 1 a_1 = b_1 a 1 = b 1 ，那
n − a 1 n-a_1 n − a 1 也是有两种表示方法的数，这与
n n n 是最小的有两种表示方法的数这个定义矛盾。
那么只剩下
a 1 > b 1 a_1>b_1 a 1 > b 1 和
a 1 < b 1 a_1<b_1 a 1 < b 1 了，显然
a 1 < b 1 a_1<b_1 a 1 < b 1 可以通过魔法交换变成
a 1 > b 1 a_1>b_1 a 1 > b 1 ，所以我们只需要考虑
a 1 > b 1 a_1>b_1 a 1 > b 1 的情况即可。
根据我们之前证明的一个性质：用不超过
f k f_k f k （并且严格不相邻）的斐波那契数能表示的最大整数是
f k + 1 − 1 f_{k+1}-1 f k + 1 − 1 。
而又因为
b 1 b_1 b 1 是
b b b 中的最大值，根据那个性质，我们可以得出
n ≤ f b 1 + 1 − 1 n \le f_{b_1+1}-1 n ≤ f b 1 + 1 − 1 ，然后又因为
a 1 > b 1 a_1>b_1 a 1 > b 1 即
b 1 < a 1 b_1<a_1 b 1 < a 1 ，可推出
b 1 + 1 ≤ a 1 b_1+1 \le a_1 b 1 + 1 ≤ a 1 ，所以
f b 1 + 1 − 1 ≤ f a 1 − 1 f_{b_1+1}-1 \le f_{a_1}-1 f b 1 + 1 − 1 ≤ f a 1 − 1 即
n ≤ f a 1 − 1 n \le f_{a_1}-1 n ≤ f a 1 − 1 ，但是如果用第一种表示的角度来看的话，
n ≥ a 1 n \ge a_1 n ≥ a 1 ，这两个不等式不可能同时成立，矛盾。
至此，唯一性证毕。
矩阵关联 对于一个
n × r n \times r n × r 的矩阵
A A A 和一个
r × m r \times m r × m 的矩阵
B B B ，它们的乘积定义为一个
n × m n \times m n × m 的矩阵
C C C ，有：
C i , j = ∑ k = 1 r A i , k × B k , j C_{i,j} = \sum_{k = 1}^r A_{i,k} \times B_{k,j} C i , j = k = 1 ∑ r A i , k × B k , j k k k 通常指
F i = ∑ j = 1 k ( a j × F i − j ) F_i = \sum_{j = 1}^k \left(a_j \times F_{i-j}\right) F i = ∑ j = 1 k ( a j × F i − j ) 的齐次线性递推关系，因为有关
k k k 个常系数，所以得名。
f i = 1 × f i − 1 + 1 × f i − 2 f i − 1 = 1 × f i − 1 + 0 × f i − 2 \begin{align*}
f_i &= 1 \times f_{i-1}+1 \times f_{i-2} \\
f_{i-1} &= 1 \times f_{i-1}+0 \times f_{i-2}
\end{align*} f i f i − 1 = 1 × f i − 1 + 1 × f i − 2 = 1 × f i − 1 + 0 × f i − 2 所以：
[ 1 1 1 0 ] × [ f i − 1 f i − 2 ] = [ f i f i − 1 ] \begin{bmatrix}
1 & 1 \\
1 & 0
\end{bmatrix}
\times
\begin{bmatrix}
f_{i-1} \\
f_{i-2}
\end{bmatrix}
=
\begin{bmatrix}
f_i \\
f_{i-1}
\end{bmatrix} [ 1 1 1 0 ] × [ f i − 1 f i − 2 ] = [ f i f i − 1 ] 初学者到这里可以尝试在图纸上进行笔画理解。因为本人初学时也觉得十分难理解。
那么有了这一步我们再次推广：
[ 1 1 1 0 ] × [ 1 1 1 0 ] × [ f i − 2 f i − 3 ] = [ f i f i − 1 ] \begin{bmatrix}
1 & 1 \\
1 & 0
\end{bmatrix}
\times
\begin{bmatrix}
1 & 1 \\
1 & 0
\end{bmatrix}
\times
\begin{bmatrix}
f_{i-2} \\
f_{i-3}
\end{bmatrix}
=
\begin{bmatrix}
f_i \\
f_{i-1}
\end{bmatrix} [ 1 1 1 0 ] × [ 1 1 1 0 ] × [ f i − 2 f i − 3 ] = [ f i f i − 1 ] 可得：
[ f n f n − 1 ] = [ 1 1 1 0 ] n − 2 × [ f 2 f 1 ] \begin{bmatrix}
f_n \\
f_{n-1}
\end{bmatrix}
=
\begin{bmatrix}
1 & 1 \\
1 & 0
\end{bmatrix}^{n-2}
\times
\begin{bmatrix}
f_2 \\
f_1
\end{bmatrix} [ f n f n − 1 ] = [ 1 1 1 0 ] n − 2 × [ f 2 f 1 ] 因为矩阵乘法满足结合律，所以可以使用快速幂在
O ( log n ) O(\log n) O ( log n ) 的时间内计算矩阵的幂。
这里说一下矩阵快速幂的计算变量
a n s ans an s 的初始值。在普通的快速幂中，开始时
a n s = 1 ans = 1 an s = 1 ，是因为
1 1 1 乘任何数都等于那个数本身，而在矩阵中，也有一个起到这种效果的矩阵，单位矩阵！这个矩阵的
3 × 3 3 \times 3 3 × 3 形式长这样：
[ 1 0 0 0 1 0 0 0 1 ] \begin{bmatrix}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1 \\
\end{bmatrix} 1 0 0 0 1 0 0 0 1 是的，也就是正对角线是
1 1 1 ，其余是
0 0 0 了。
注意：矩阵乘法并不满足交换律。并且要特殊处理 n < 2 n<2 n < 2 简单放一下代码（非完全体）：
CPP struct node
{
int a[3 ][3 ] = {};
node operator *(const node&b)const
{
node c;
for (int i = 1 ;i<=2 ;++i)
{
for (int j = 1 ;j<=2 ;++j)
{
for (int k = 1 ;k<=2 ;++k)
{
c.a[i][j]+=a[i][k]*b.a[k][j];
}
}
}
return c;
}
}a,ans,s,c;
CPP if (n<=2 )
{
cout << 1 ;
}
else
{
a.a[1 ][1 ] = a.a[1 ][2 ] = a.a[2 ][1 ] = ans.a[1 ][1 ] = ans.a[2 ][2 ] = s.a[1 ][1 ] = s.a[2 ][1 ] = 1 ;
int y = n-2 ;
while (y)
{
if (y&1 )
{
ans = ans*a;
}
a = a*a;
y>>=1 ;
}
for (int i = 1 ;i<=2 ;++i)
{
for (int j = 1 ;j<=1 ;++j)
{
for (int k = 1 ;k<=2 ;++k)
{
c.a[i][j]+=ans.a[i][k]*s.a[k][j];
}
}
}
cout << c.a[1 ][1 ];
}
其实还可以推广：
显然这种做法可以推广到
k k k 阶常系数齐次线性递推关系。
F n = ∑ i = 1 k a i F n − i F_n = \sum_{i = 1}^k a_i F_{n-i} F n = i = 1 ∑ k a i F n − i F n = a 1 × F n − 1 + a 2 × F n − 2 + ⋯ + a k − 1 × F n − k + 1 + a k × F n − k F n − 1 = 1 × F n − 1 + 0 × F n − 2 + ⋯ + 0 × F n − k + 1 + 0 × F n − k F n − 2 = 0 × F n − 1 + 1 × F n − 2 + ⋯ + 0 × F n − k + 1 + 0 × F n − k … F n − k + 1 = 0 × F n − 1 + 0 × F n − 2 + ⋯ + 1 × F n − k + 1 + 0 × F n − k \begin{align*}
F_n &= a_1 \times F_{n-1}+a_2 \times F_{n-2}+\dots+a_{k-1} \times F_{n-k+1}+a_k \times F_{n-k} \\
F_{n-1} &= 1 \times F_{n-1}+0 \times F_{n-2}+\dots+0 \times F_{n-k+1}+0 \times F_{n-k} \\
F_{n-2} &= 0 \times F_{n-1}+1 \times F_{n-2}+\dots+0 \times F_{n-k+1}+0 \times F_{n-k} \\
&\dots \\
F_{n-k+1} &= 0 \times F_{n-1}+0 \times F_{n-2}+\dots+1 \times F_{n-k+1}+0 \times F_{n-k}
\end{align*} F n F n − 1 F n − 2 F n − k + 1 = a 1 × F n − 1 + a 2 × F n − 2 + ⋯ + a k − 1 × F n − k + 1 + a k × F n − k = 1 × F n − 1 + 0 × F n − 2 + ⋯ + 0 × F n − k + 1 + 0 × F n − k = 0 × F n − 1 + 1 × F n − 2 + ⋯ + 0 × F n − k + 1 + 0 × F n − k … = 0 × F n − 1 + 0 × F n − 2 + ⋯ + 1 × F n − k + 1 + 0 × F n − k 于是：
[ a 1 a 2 … a k − 1 a k 1 0 … 0 0 0 1 … 0 0 … … … … … 0 0 … 1 0 ] × [ F n − 1 F n − 2 … F n − k + 1 F n − k ] = [ F n F n − 1 F n − 2 … F n − k + 2 F n − k + 1 ] \begin{bmatrix}
a_1 & a_2 & \dots & a_{k-1} & a_k \\
1 & 0 & \dots & 0 & 0 \\
0 & 1 & \dots & 0 & 0 \\
\dots & \dots & \dots &\dots & \dots \\
0 & 0 & \dots & 1 & 0 \\
\end{bmatrix}
\times
\begin{bmatrix}
F_{n-1} \\
F_{n-2} \\
\dots \\
F_{n-k+1} \\
F_{n-k}
\end{bmatrix}
=
\begin{bmatrix}
F_n \\
F_{n-1} \\
F_{n-2} \\
\dots \\
F_{n-k+2} \\
F_{n-k+1}
\end{bmatrix} a 1 1 0 … 0 a 2 0 1 … 0 … … … … … a k − 1 0 0 … 1 a k 0 0 … 0 × F n − 1 F n − 2 … F n − k + 1 F n − k = F n F n − 1 F n − 2 … F n − k + 2 F n − k + 1 推广可得：
[ a 1 a 2 … a k − 1 a k 1 0 … 0 0 0 1 … 0 0 … … … … … 0 0 … 1 0 ] n − k × [ F k F k − 1 … F 2 F 1 ] = [ F n F n − 1 F n − 2 … F n − k + 2 F n − k + 1 ] \begin{bmatrix}
a_1 & a_2 & \dots & a_{k-1} & a_k \\
1 & 0 & \dots & 0 & 0 \\
0 & 1 & \dots & 0 & 0 \\
\dots & \dots & \dots &\dots & \dots \\
0 & 0 & \dots & 1 & 0 \\
\end{bmatrix}^{n-k}
\times
\begin{bmatrix}
F_k \\
F_{k-1} \\
\dots \\
F_2 \\
F_1
\end{bmatrix}
=
\begin{bmatrix}
F_n \\
F_{n-1} \\
F_{n-2} \\
\dots \\
F_{n-k+2} \\
F_{n-k+1}
\end{bmatrix} a 1 1 0 … 0 a 2 0 1 … 0 … … … … … a k − 1 0 0 … 1 a k 0 0 … 0 n − k × F k F k − 1 … F 2 F 1 = F n F n − 1 F n − 2 … F n − k + 2 F n − k + 1 可用矩阵快速幂在
O ( k 3 log n ) O(k^3 \log n) O ( k 3 log n ) 的时间复杂度之内解决。
倍增法关联 根据之前的两个前置恒等式，很容易发现对于所有
k ∈ N k \in \mathbb{N} k ∈ N ，
2 k 2k 2 k 和
2 k + 1 2k+1 2 k + 1 已经完美覆盖了所有非负整数，所以我们可以直接递归处理。
这里也简单放一下代码（主函数内容过于简单就不放了，只放递归函数的代码）：
CPP pair<int ,int >f (int n)
{
if (n == 0 )
{
return {0 ,1 };
}
auto x = f (n>>1 );
int a = x.first*(2 *x.second-x.first);
int b = x.first*x.first+x.second*x.second;
if (n&1 )
{
return {b,a+b};
}
else
{
return {a,b};
}
}
当然也可以改成非递归形式并把 pair 换成结构体来加快速度，只不过会麻烦一点。
这个方法的优势在于它是真正的
O ( log n ) O(\log n) O ( log n ) ，而之前的矩阵快速幂的做法还带一个
2 3 = 8 2^3 = 8 2 3 = 8 的常数。
皮萨诺周期 对于所有
2 ≤ n ∈ N + 2 \le n \in \mathbb{N}^+ 2 ≤ n ∈ N + ，将斐波那契数列统一对
n n n 取模后一定是一个纯周期的数列，且设该数列的最小周期长度为
π ( n ) \pi(n) π ( n ) ，则
π ( n ) ≤ 6 n \pi(n) \le 6n π ( n ) ≤ 6 n ，而且对
n n n 进行质因数分解之后
π ( n ) = lcm i = 1 k π ( p i a i ) \pi(n) = \operatorname{lcm}_{i = 1}^k \pi(p_i^{a_i}) π ( n ) = lcm i = 1 k π ( p i a i ) 。
若
n n n 是奇素数并且
n ≠ 5 n \ne 5 n = 5 ，当
n ≡ ± 1 ( m o d 5 ) n \equiv \pm 1 \pmod 5 n ≡ ± 1 ( mod 5 ) ，则
π ( n ) ∣ n − 1 \pi(n) \mid n-1 π ( n ) ∣ n − 1 ，当
n ≡ ± 2 ( m o d 5 ) n \equiv \pm 2 \pmod 5 n ≡ ± 2 ( mod 5 ) ，则
π ( n ) ∣ 2 ( n + 1 ) \pi(n) \mid 2(n+1) π ( n ) ∣ 2 ( n + 1 ) 。
先证明纯周期。
我们知道斐波那契数列是一个二阶常系数齐次线性递推关系，于是我们有：
f k + 2 ≡ f k + 1 + f k ( m o d n ) f_{k+2} \equiv f_{k+1}+f_k \pmod n f k + 2 ≡ f k + 1 + f k ( mod n ) 该递推由连续两项唯一确定后一项，定义状态：
s k = ( f k , f k + 1 ) ∈ Z n × Z n s_k = (f_k,f_{k+1}) \in \mathbb{Z}_n \times \mathbb{Z}_n s k = ( f k , f k + 1 ) ∈ Z n × Z n 于是状态空间为：
S = Z n × Z n S = \mathbb{Z}_n \times \mathbb{Z}_n S = Z n × Z n 它显然是一个有限集合，且元素个数为
n 2 n^2 n 2 。
定义状态转移函数
h : S → S h:S \to S h : S → S 的转移式为：
h ( x , y ) = h ( y , ( x + y ) m o d n ) h(x,y) = h(y,(x+y) \bmod n) h ( x , y ) = h ( y , ( x + y ) mod n ) 则：
s k + 1 = h ( s k ) s_{k+1} = h(s_k) s k + 1 = h ( s k ) 初始状态：
s 0 = ( f 0 , f 1 ) = ( 0 , 1 ) s_0 = (f_0,f_1) = (0,1) s 0 = ( f 0 , f 1 ) = ( 0 , 1 ) 定义一个状态转移函数
w : S → S w:S \to S w : S → S 可逆 ，则存在另一个状态转移函数
g : S → S g:S \to S g : S → S 使得：
∀ x , y ∈ S , g ( w ( x , y ) ) = ( x , y ) , w ( g ( x , y ) ) = ( x , y ) \forall x,y \in S,\ g(w(x,y)) = (x,y),w(g(x,y)) = (x,y) ∀ x , y ∈ S , g ( w ( x , y )) = ( x , y ) , w ( g ( x , y )) = ( x , y ) g ( x , y ) = g ( ( y − x ) m o d n , x ) g(x,y) = g((y-x) \bmod n,x) g ( x , y ) = g (( y − x ) mod n , x ) 对于一个可逆的状态转移函数，我们称它为双射 。
对于一个有限集合到自身的双射，我们称它为该集合的置换 。
对于从第一个元素就开始循环的集合，我们称它为纯周期 。
鸽笼原理 ：如果把
n + 1 n+1 n + 1 个鸽子放进
n n n 个鸽笼，无论如何放置，至少存在一个鸽笼有两只鸽子。
对于不从第一个元素开始循环但是依旧存在循环的集合，我们称它为最终周期 。
给出一个定理：一个有限集合的置换从某点出发的轨道是纯周期循环。
我们来证明一下，首先它是个最终周期是很显然的，根据鸽笼原理，我们的状态集合有限，在第
∣ S ∣ + 1 |S|+1 ∣ S ∣ + 1 个状态是一定会出现和之前重复的状态的。
然后如何从最终周期变成纯周期呢？
设
i < j i<j i < j 是最小的使得
h i ( s 0 ) = h j ( s 0 ) h^i(s_0) = h^j(s_0) h i ( s 0 ) = h j ( s 0 ) 的指标对，我们采用反证法，设
i > 0 i>0 i > 0 ，由于
h h h 函数可逆，所以我们对等式两边求逆：
h i − 1 ( s 0 ) = h j − 1 ( s 0 ) h^{i-1}(s_0) = h^{j-1}(s_0) h i − 1 ( s 0 ) = h j − 1 ( s 0 ) 于是我们得到了更小的一对重复，与原先的定义矛盾。
所以只有在
i = 0 i = 0 i = 0 时，等式两边无法求逆，才能使得
i < j i<j i < j 是最小的使得
h i ( s 0 ) = h j ( s 0 ) h^i(s_0) = h^j(s_0) h i ( s 0 ) = h j ( s 0 ) 的指指标对。
至此，纯周期证毕。
接下来证明质因数分解的定理。
显然任意两个不同素数的次幂一定是互质的。
于是我们可以弱化这个定理，转化为两个互质数
m , n m,n m , n 。
注意：此 n n n n n n 我们令：
x = π ( m ) , y = π ( n ) , z = π ( m n ) x = \pi(m),y = \pi(n),z = \pi(mn) x = π ( m ) , y = π ( n ) , z = π ( mn ) 因为
z z z 是斐波那契数列模
m n mn mn 的周期，所以必有：
f z ≡ 0 ( m o d ( m n ) ) , f z + 1 ≡ 1 ( m o d ( m n ) ) f_z \equiv 0 \pmod {(mn)},f_{z+1} \equiv 1 \pmod {(mn)} f z ≡ 0 ( mod ( mn )) , f z + 1 ≡ 1 ( mod ( mn )) 根据这个式子，我们又有：
f z ≡ 0 ( m o d m ) , f z + 1 ≡ 1 ( m o d m ) f z ≡ 0 ( m o d n ) , f z + 1 ≡ 1 ( m o d n ) \begin{align*}
&f_z \equiv 0 \pmod m,f_{z+1} \equiv 1 \pmod m \\
&f_z \equiv 0 \pmod n,f_{z+1} \equiv 1 \pmod n
\end{align*} f z ≡ 0 ( mod m ) , f z + 1 ≡ 1 ( mod m ) f z ≡ 0 ( mod n ) , f z + 1 ≡ 1 ( mod n ) 于是显然
x ∣ z x \mid z x ∣ z 并且
y ∣ z y \mid z y ∣ z ，我们便得到了
z z z 的最小取值
t = lcm ( x , y ) t = \operatorname{lcm}(x,y) t = lcm ( x , y ) ，并且显然有
t ∣ z t \mid z t ∣ z ，也就是说我们只需要再证明
z ∣ t z \mid t z ∣ t 即可证明
z = t z = t z = t 。
显然
f t f_t f t 也一定满足模
m m m 和模
n n n 的同余式，但是如何证明
t t t 也是模
m n mn mn 的一个周期呢？
这里需要用到之前证明过的同余扩展的
lcm \operatorname{lcm} lcm 整除定理：
∀ x ∈ N , m ∈ N + , n ∈ N + , y ∈ N , gcd ( m , n ) = 1 , [ x ≡ y ( m o d m ) ] ∧ [ x ≡ y ( m o d n ) ] ⇒ [ x ≡ y ( m o d ( m n ) ) ] \forall x \in \mathbb{N},m \in \mathbb{N}^+,n \in \mathbb{N}^+,y \in \mathbb{N},\gcd(m,n) = 1,\ [x \equiv y \pmod m] \land [x \equiv y \pmod n] \Rightarrow [x \equiv y \pmod {(mn)}] ∀ x ∈ N , m ∈ N + , n ∈ N + , y ∈ N , g cd( m , n ) = 1 , [ x ≡ y ( mod m )] ∧ [ x ≡ y ( mod n )] ⇒ [ x ≡ y ( mod ( mn ))] 因为
m , n m,n m , n 互质，也就是
gcd ( m , n ) = 1 \gcd(m,n) = 1 g cd( m , n ) = 1 ，显然我们就有了：
f t ≡ 0 ( m o d ( m n ) ) , f t + 1 ≡ 1 ( m o d ( m n ) ) f_t \equiv 0 \pmod {(mn)},f_{t+1} \equiv 1 \pmod {(mn)} f t ≡ 0 ( mod ( mn )) , f t + 1 ≡ 1 ( mod ( mn )) 于是我们就证明了
t t t 也是模
m n mn mn 的一个周期，得到
z ∣ t z \mid t z ∣ t ，于是就有了
z = t z = t z = t 。
所以
π ( m n ) = π ( m ) × π ( n ) = lcm ( π ( m ) , π ( n ) ) \pi(mn) = \pi(m) \times \pi(n) = \operatorname{lcm}(\pi(m),\pi(n)) π ( mn ) = π ( m ) × π ( n ) = lcm ( π ( m ) , π ( n )) 。
而推广到多个两两互质数也是很容易的，因为我们对两个数
m , n m,n m , n 进行合并也就是取
lcm ( m , n ) \operatorname{lcm}(m,n) lcm ( m , n ) 之后其实所有数依旧是两两互质，就这样递归下去，最终化为两个质数的情况（不妨说是一直在进行这样的操作）。
至此，质因数分解定理证毕。
接下来证明整除定理之前让我给出一些前置（前置定理中的一切变量均与皮萨诺周期定理定义中的变量无关 ）：
定义：对于一个正整数
x x x ，我们定义它在模
p p p 意义下的乘法逆元
x − 1 x^{-1} x − 1 为最小的正整数
y y y 使得
x y ≡ 1 ( m o d p ) xy \equiv 1 \pmod p x y ≡ 1 ( mod p ) 的
y y y 。
可行性：我们要计算模
p p p 意义下的
a x \frac{a}{x} x a ，即
a × x − 1 a \times x^{-1} a × x − 1 ，说白了就是
a × 1 x a \times \frac{1}{x} a × x 1 ，而在模
p p p 意义下
y = 1 x y = \frac{1}{x} y = x 1 ，也就是说在模
p p p 意义下，
a x = a × y \frac{a}{x} = a \times y x a = a × y 。
存在性：对于
gcd ( a , p ) = 1 \gcd(a,p) = 1 g cd( a , p ) = 1 的情况，
a a a 在模
p p p 意义下存在逆元。这很显然可以用数论的整除性质来理解。
至此，乘法逆元的可行性证毕。
完全剩余系：设
m m m 是一个正整数。从整数集
Z \mathbb{Z} Z 中取出任意
m m m 个数，若它们两两模
m m m 不同余，则这
m m m 个数模
m m m 的值组成的集合称为模
m m m 的一个完全剩余系。
既约剩余系：设
m m m 是一个正整数。在模
m m m 的一个完全剩余系中，取出所有与
m m m 互质的元素，由这些元素组成的集合称为模
m m m 的一个既约剩余系。
二次剩余：对于一个非负整数
a a a 和奇素数
p p p ，若：
∃ t , t 2 ≡ a ( m o d p ) \exists t,\ t^2 \equiv a \pmod p ∃ t , t 2 ≡ a ( mod p ) 可用勒让德符号表示为：
( a p ) \left(\frac{a}{p}\right) ( p a ) 如果是二次剩余，返回值就是
1 1 1 ，否则就是
− 1 -1 − 1 ，特别的，如果满足条件的
t t t 等于
0 0 0 也就是
p ∣ a p \mid a p ∣ a ，返回值为
0 0 0 。
威尔逊定理：对于素数
p p p ，满足
( p − 1 ) ! ≡ − 1 ( m o d p ) (p-1)! \equiv -1 \pmod p ( p − 1 )! ≡ − 1 ( mod p ) 。
威尔逊定理证明：考虑集合
S = { 1 , 2 , 3 , … , p − 1 } S = \{1,2,3,\dots,p-1\} S = { 1 , 2 , 3 , … , p − 1 } ，这是一个模
p p p 的既约剩余系，对于每一个元素
x x x ，它在该集合中有唯一的乘法逆元
x − 1 x^{-1} x − 1 ，而我们需要先找出
x = x − 1 x = x^{-1} x = x − 1 的
x x x 的数量，显然就是找
x 2 ≡ 1 ( m o d p ) x^2 \equiv 1 \pmod p x 2 ≡ 1 ( mod p ) 的解集大小，而我们将此同余式进行化简：
x 2 ≡ 1 ( m o d p ) ⇓ p ∣ ( x 2 − 1 ) ⇓ p ∣ ( x + 1 ) ( x − 1 ) \begin{align*}
x^2 &\equiv 1 \pmod p \\
&\Downarrow \\
p &\mid (x^2-1) \\
&\Downarrow \\
p &\mid (x+1)(x-1)
\end{align*} x 2 p p ≡ 1 ( mod p ) ⇓ ∣ ( x 2 − 1 ) ⇓ ∣ ( x + 1 ) ( x − 1 ) 而因为
p p p 是素数，要么
p ∣ x + 1 p \mid x+1 p ∣ x + 1 ，要么
p ∣ x − 1 p \mid x-1 p ∣ x − 1 。当
p ∣ x + 1 p \mid x+1 p ∣ x + 1 时，
x ≡ − 1 ( m o d p ) x \equiv -1 \pmod p x ≡ − 1 ( mod p ) ，易得
x = p − 1 x = p-1 x = p − 1 是唯一解；当
p ∣ x − 1 p \mid x-1 p ∣ x − 1 时，
x ≡ 1 ( m o d p ) x \equiv 1 \pmod p x ≡ 1 ( mod p ) ，易得
x = 1 x = 1 x = 1 是唯一解。
所以
x 2 ≡ 1 ( m o d p ) x^2 \equiv 1 \pmod p x 2 ≡ 1 ( mod p ) 的解集为
{ 1 , p − 1 } \{1,p-1\} { 1 , p − 1 } 。
我们考虑计算
∏ x ∈ S x \prod_{x \in S} x ∏ x ∈ S x ，当
1 = p − 1 1 = p-1 1 = p − 1 也就是
p = 2 p = 2 p = 2 时我们先排掉（因为很影响我们对各种情况的统一处理，并且
p = 2 p = 2 p = 2 时该定理也成立），显然我们先处理
1 , p − 1 1,p-1 1 , p − 1 这两个特殊的数的乘积与何数在模
p p p 意义下同余，显然是
− 1 -1 − 1 ，而考虑剩余数的个数，显然是
p − 3 p-3 p − 3 ，而因为我们已经排掉了
p = 2 p = 2 p = 2 的情况所以
p p p 是奇数即
p − 3 p-3 p − 3 是偶数，于是由于除了
1 , p − 1 1,p-1 1 , p − 1 这两个特殊数其余数都可以进行乘法逆元两两配对，所以：
∏ x ∈ S x = ( p − 1 ) ! ≡ − 1 × 1 p − 3 2 = − 1 ( m o d p ) \prod_{x \in S} x = (p-1)! \equiv -1 \times 1^{\frac{p-3}{2}} = -1 \pmod p x ∈ S ∏ x = ( p − 1 )! ≡ − 1 × 1 2 p − 3 = − 1 ( mod p ) 至此，证毕。
费马小定理：对于一个正整数
a a a 和一个素数
p p p ，若
gcd ( a , p ) = 1 \gcd(a,p) = 1 g cd( a , p ) = 1 也就是
a , p a,p a , p 互质，那么有：
a p − 1 ≡ 1 ( m o d p ) a^{p-1} \equiv 1 \pmod p a p − 1 ≡ 1 ( mod p ) 费马小定理证明：我们考虑构造一个既约剩余系，由于
p p p 是一个素数，所以我们构造的既约剩余系
S = { 1 , 2 , 3 , … , p − 1 } S = \{1,2,3,\dots,p-1\} S = { 1 , 2 , 3 , … , p − 1 } 。
通过上帝的启发我们很容易想到拿
a a a 去乘这个剩余系的每一个元素，得到一个新的集合
S ′ = { 1 × a , 2 × a , 3 × a , … , ( p − 1 ) × a } S' = \{1 \times a,2 \times a,3 \times a,\dots,(p-1) \times a\} S ′ = { 1 × a , 2 × a , 3 × a , … , ( p − 1 ) × a } ，显然将这个集合统一模
p p p 之后，集合元素两两不同，也就是
S ′ S' S ′ 是
S S S 的某种排列方式，即又是一个既约剩余系。
为什么？
采用反证法。我们假设有两个不同的
i , j ∈ [ 1 , p − 1 ] i,j \in [1,p-1] i , j ∈ [ 1 , p − 1 ] ，使得：
a i ≡ a j ( m o d p ) ai \equiv aj \pmod p ai ≡ aj ( mod p ) 即：
a ( i − j ) ≡ 0 ( m o d p ) a(i-j) \equiv 0 \pmod p a ( i − j ) ≡ 0 ( mod p ) 于是我们有
p ∣ a ( i − j ) p \mid a(i-j) p ∣ a ( i − j ) ，而又因为
gcd ( p , a ) = 1 \gcd(p,a) = 1 g cd( p , a ) = 1 ，所以
p ∣ i − j p \mid i-j p ∣ i − j ，但是
∣ i − j ∣ < p |i-j|<p ∣ i − j ∣ < p ，那么只有在
i − j = 0 i-j = 0 i − j = 0 也就是
i = j i = j i = j 时
p ∣ i − j p \mid i-j p ∣ i − j 才成立，但是这与原本假设矛盾，命题成立。
知道了原因之后，我们继续证明，再一次根据仁慈上帝的启发我们很容易想到求两个集合的元素乘积：
∏ x ∈ S x = ( p − 1 ) ! ∏ x ∈ S ′ x = a p − 1 ( p − 1 ) ! \begin{align*}
\prod_{x \in S}x &= (p-1)! \\
\prod_{x \in S'}x &= a^{p-1}(p-1)!
\end{align*} x ∈ S ∏ x x ∈ S ′ ∏ x = ( p − 1 )! = a p − 1 ( p − 1 )! 我们知道
S ′ S' S ′ 只是
S S S 的一个排列，所以这两个乘积在模
p p p 意义下理应是相等的，于是我们可以写出同余式：
( p − 1 ) ! ≡ a p − 1 ( p − 1 ) ! ( m o d p ) (p-1)! \equiv a^{p-1}(p-1)! \pmod p ( p − 1 )! ≡ a p − 1 ( p − 1 )! ( mod p ) 而我们显然可以两边交换后，将右边化为
0 0 0 ，得到：
( a p − 1 − 1 ) ( p − 1 ) ! ≡ 0 ( m o d p ) (a^{p-1}-1)(p-1)! \equiv 0 \pmod p ( a p − 1 − 1 ) ( p − 1 )! ≡ 0 ( mod p ) 而
( p − 1 ) ! = 1 × 2 × 3 × ⋯ × ( p − 1 ) (p-1)! = 1 \times 2 \times 3 \times \dots \times (p-1) ( p − 1 )! = 1 × 2 × 3 × ⋯ × ( p − 1 ) ，这些数中所有数都和
p p p 互质，也就是说
( p − 1 ) ! (p-1)! ( p − 1 )! 和
p p p 也是互质的，那么我们就可以从原本的
p ∣ ( a p − 1 − 1 ) ( p − 1 ) ! p \mid (a^{p-1}-1)(p-1)! p ∣ ( a p − 1 − 1 ) ( p − 1 )! 得到
p ∣ ( a p − 1 − 1 ) p \mid (a^{p-1}-1) p ∣ ( a p − 1 − 1 ) ，再次变形成同余式，得到：
a p − 1 − 1 ≡ 0 ( m o d p ) ⇓ a p − 1 ≡ 1 ( m o d p ) \begin{align*}
a^{p-1}-1 &\equiv 0 \pmod p \\
&\Downarrow \\
a^{p-1} &\equiv 1 \pmod p
\end{align*} a p − 1 − 1 a p − 1 ≡ 0 ( mod p ) ⇓ ≡ 1 ( mod p ) 至此，费马小定理证毕。
后话：然而费马小定理其实还有一种更朴素的形式：对于一个正整数
a a a 和一个素数
p p p ，有：
a p ≡ a ( m o d p ) a^p \equiv a \pmod p a p ≡ a ( mod p ) 在
gcd ( a , p ) = 1 \gcd(a,p) = 1 g cd( a , p ) = 1 的时候我们很显然可以由刚刚证明的那个形式两边同时乘上
a a a 来得到，那
gcd ( a , p ) ≠ 1 \gcd(a,p) \ne 1 g cd( a , p ) = 1 的时候呢？
显然，若
gcd ( a , p ) ≠ 1 \gcd(a,p) \ne 1 g cd( a , p ) = 1 ，则因为
p p p 是素数，所以
p ∣ a p \mid a p ∣ a ，而根据整除基本性质，
∃ k ∈ N + , k p = a \exists k \in \mathbb{N}^+,\ kp = a ∃ k ∈ N + , k p = a ，那么我们有：
a p = ( k p ) p = k p p p a^p = (kp)^p = k^p p^p a p = ( k p ) p = k p p p 也就是
a p ≡ 0 ( m o d p ) a^p \equiv 0 \pmod p a p ≡ 0 ( mod p ) ，而本身我们就有
a ≡ 0 ( m o d p ) a \equiv 0 \pmod p a ≡ 0 ( mod p ) ，所以
a p ≡ a ( m o d p ) a^p \equiv a \pmod p a p ≡ a ( mod p ) 。
至此，证毕。
欧拉判别法：对于奇素数
p p p 和满足
gcd ( a , p ) = 1 \gcd(a,p) = 1 g cd( a , p ) = 1 的整数
a a a ，我们有：
a p − 1 2 ≡ ( a p ) ( m o d p ) a^{\frac{p-1}{2}} \equiv \left(\frac{a}{p}\right) \pmod p a 2 p − 1 ≡ ( p a ) ( mod p ) 欧拉判别法证明：根据费马小定理
a p − 1 ≡ 1 ( m o d p ) a^{p-1} \equiv 1 \pmod p a p − 1 ≡ 1 ( mod p ) 和平方差公式，我们有：
( a p − 1 2 + 1 ) ( a p − 1 2 − 1 ) ≡ 0 ( m o d p ) (a^{\frac{p-1}{2}}+1)(a^{\frac{p-1}{2}}-1) \equiv 0 \pmod p ( a 2 p − 1 + 1 ) ( a 2 p − 1 − 1 ) ≡ 0 ( mod p ) 所以对于任意满足
gcd ( a , p ) = 1 \gcd(a,p) = 1 g cd( a , p ) = 1 的
a a a 我们都有
a p − 1 2 ≡ ± 1 ( m o d p ) a^{\frac{p-1}{2}} \equiv \pm 1 \pmod p a 2 p − 1 ≡ ± 1 ( mod p ) 。
我们考虑集合
S = { 1 , 2 , 3 , … , p − 1 } S = \{1,2,3,\dots,p-1\} S = { 1 , 2 , 3 , … , p − 1 } ，对于每一个元素
x x x ，它在集合中有唯一的乘法逆元
x − 1 x^{-1} x − 1 。
我们分情况考虑，先考虑
( a p ) = 1 \left(\frac{a}{p}\right) = 1 ( p a ) = 1 时的情况。
显然此时存在
b b b 使得
b 2 ≡ a ( m o d p ) b^2 \equiv a \pmod p b 2 ≡ a ( mod p ) ，那么这个二次同余方程的解的数量肯定是
2 2 2 ，并且互为相反数，也可以说是
b b b 和
− b -b − b ，而除了这两个特殊数其余数都可以两两配对（因为剩余数的数量是
p − 3 p-3 p − 3 为偶数，并且每一个元素
x x x 都可以和
a × x − 1 a \times x^{-1} a × x − 1 进行配对），于是我们有：
∏ x ∈ S x = ( p − 1 ) ! ≡ b × ( − b ) × a p − 3 2 ( m o d p ) ≡ − b 2 × a p − 3 2 ( m o d p ) ≡ − a × a p − 3 2 ( m o d p ) = − a 1 + p − 3 2 = − a p − 1 2 \begin{align*}
\prod_{x \in S} x &= (p-1)! \\
&\equiv b \times (-b) \times a^{\frac{p-3}{2}} \pmod p \\
&\equiv -b^2 \times a^{\frac{p-3}{2}} \pmod p \\
&\equiv -a \times a^{\frac{p-3}{2}} \pmod p \\
&= -a^{1+\frac{p-3}{2}} \\
&= -a^{\frac{p-1}{2}}
\end{align*} x ∈ S ∏ x = ( p − 1 )! ≡ b × ( − b ) × a 2 p − 3 ( mod p ) ≡ − b 2 × a 2 p − 3 ( mod p ) ≡ − a × a 2 p − 3 ( mod p ) = − a 1 + 2 p − 3 = − a 2 p − 1 于是我们就有了：
( p − 1 ) ! ≡ − a p − 1 2 ( m o d p ) (p-1)! \equiv -a^{\frac{p-1}{2}} \pmod p ( p − 1 )! ≡ − a 2 p − 1 ( mod p ) 根据威尔逊定理，我们得到：
− a p − 1 2 ≡ − 1 ( m o d p ) -a^{\frac{p-1}{2}} \equiv -1 \pmod p − a 2 p − 1 ≡ − 1 ( mod p ) a p − 1 2 ≡ 1 ( m o d p ) a^{\frac{p-1}{2}} \equiv 1 \pmod p a 2 p − 1 ≡ 1 ( mod p ) 至此，
( a p ) = 1 \left(\frac{a}{p}\right) = 1 ( p a ) = 1 时的情况证毕。
再考虑
( a p ) = − 1 \left(\frac{a}{p}\right) = -1 ( p a ) = − 1 时的情况。
此时不存在
b b b 使得
b 2 ≡ a ( m o d p ) b^2 \equiv a \pmod p b 2 ≡ a ( mod p ) ，也就是说没有不能配对的点，即：
∏ x ∈ S x = ( p − 1 ) ! ≡ a p − 1 2 ( m o d p ) \begin{align*}
\prod_{x \in S} x &= (p-1)! \\
&\equiv a^{\frac{p-1}{2}} \pmod p
\end{align*} x ∈ S ∏ x = ( p − 1 )! ≡ a 2 p − 1 ( mod p ) 根据威尔逊定理，我们得到：
a p − 1 2 ≡ − 1 ( m o d p ) a^{\frac{p-1}{2}} \equiv -1 \pmod p a 2 p − 1 ≡ − 1 ( mod p ) 至此，
( a p ) = − 1 \left(\frac{a}{p}\right) = -1 ( p a ) = − 1 时的情况证毕。
高斯引理：对于奇素数
p p p ，若
n ∈ N + , gcd ( n , p ) = 1 n \in \mathbb{N}^+,\gcd(n,p) = 1 n ∈ N + , g cd( n , p ) = 1 ，则
∀ k ∈ [ 1 , p − 1 2 ] , a k = n k m o d p \forall k \in [1,\frac{p-1}{2}],\ a_k = nk \bmod p ∀ k ∈ [ 1 , 2 p − 1 ] , a k = nk mod p ，有两个集合
A = { a k : a k ≤ p − 1 2 } , B = { a k : a k > p − 1 2 } A = \{a_k:a_k \le \frac{p-1}{2}\},B = \{a_k:a_k>\frac{p-1}{2}\} A = { a k : a k ≤ 2 p − 1 } , B = { a k : a k > 2 p − 1 } ，我们有：
( n p ) = ( − 1 ) ∣ B ∣ \left(\frac{n}{p}\right) = (-1)^{|B|} ( p n ) = ( − 1 ) ∣ B ∣ 高斯引理证明：设
λ = ∣ A ∣ , μ = ∣ B ∣ \lambda = |A|,\mu = |B| λ = ∣ A ∣ , μ = ∣ B ∣ ，显然我们知道
a a a 数列不存在两个重复的数（即
λ + μ = p − 1 2 \lambda+\mu = \frac{p-1}{2} λ + μ = 2 p − 1 ），证明很简单，采用反证法，若有两个不同下标
i , j i,j i , j 使得：
a i = a j a_i = a_j a i = a j 即：
n i ≡ n j ( m o d p ) ni \equiv nj \pmod p ni ≡ nj ( mod p ) 显然
n n n 在模
p p p 意义下是存在乘法逆元的（根据逆元的存在性），所以将式子化为：
i ≡ j ( m o d p ) i \equiv j \pmod p i ≡ j ( mod p ) 显然由于
i , j ≤ p − 1 2 i,j \le \frac{p-1}{2} i , j ≤ 2 p − 1 ，所以
i = j i = j i = j ，与原先假设矛盾，该命题成立。
既然我们证明了数列没有两个重复的数，所以：
n p − 1 2 ( p − 1 2 ) ! = ∏ k = 1 p − 1 2 n k ≡ ∏ a ∈ A a ∏ b ∈ B b ( m o d p ) n^{\frac{p-1}{2}}\left(\frac{p-1}{2}\right)! = \prod_{k = 1}^{\frac{p-1}{2}}nk \equiv \prod_{a \in A} a \prod_{b \in B} b \pmod p n 2 p − 1 ( 2 p − 1 ) ! = k = 1 ∏ 2 p − 1 nk ≡ a ∈ A ∏ a b ∈ B ∏ b ( mod p ) 这里我简单说明一下为什么可以由第二个式子推出第三个式子，因为根据乘法逆元的存在性性质，我们知道在这里
n n n 在模
p p p 意义下是有乘法逆元的，于是我们就可以同余号两边同时乘上
n n n 在模
p p p 意义下的乘法逆元，得到显然正确的同余式。
我们知道对于
B B B 中任意元素
b b b ，有
p − 1 2 < b < p \frac{p-1}{2}<b<p 2 p − 1 < b < p ，所以
0 < p − b ≤ p − 1 2 0<p-b \le \frac{p-1}{2} 0 < p − b ≤ 2 p − 1 ，而对于
B B B 中任意一个元素
b b b ，我们有
p − b ∉ A p-b \not \in A p − b ∈ A ，否则若
A , B A,B A , B 中分别存在元素
a , b a,b a , b 使得
a = p − b a = p-b a = p − b ，则存在整数
1 ≤ k 1 ≠ k 2 ≤ p − 1 2 1 \le k_1 \ne k_2 \le \frac{p-1}{2} 1 ≤ k 1 = k 2 ≤ 2 p − 1 使得
a = n k 1 , b = n k 2 a = nk_1,b = nk_2 a = n k 1 , b = n k 2 且
p ∣ n k 1 + n k 2 p \mid nk_1+nk_2 p ∣ n k 1 + n k 2 ，由于
( n , p ) = 1 (n,p) = 1 ( n , p ) = 1 ，则
p ∣ k 1 + k 2 p \mid k_1+k_2 p ∣ k 1 + k 2 ，注意到
1 ≤ k 1 + k 2 < p 1 \le k_1+k_2<p 1 ≤ k 1 + k 2 < p ，所以产生矛盾。
而我们知道
b ≡ − ( p − b ) ( m o d p ) b \equiv -(p-b) \pmod p b ≡ − ( p − b ) ( mod p ) ，所以：
n p − 1 2 ( p − 1 2 ) ! ≡ ( − 1 ) μ ∏ a ∈ A a ∏ b ∈ B ( p − b ) = ( − 1 ) μ ( p − 1 2 ) ! ( m o d p ) n^{\frac{p-1}{2}}\left(\frac{p-1}{2}\right)! \equiv (-1)^{\mu}\prod_{a \in A} a \prod_{b \in B} (p-b) = (-1)^{\mu}\left(\frac{p-1}{2}\right)! \pmod p n 2 p − 1 ( 2 p − 1 ) ! ≡ ( − 1 ) μ a ∈ A ∏ a b ∈ B ∏ ( p − b ) = ( − 1 ) μ ( 2 p − 1 ) ! ( mod p ) 再次利用乘法逆元的存在性性质，得出：
n p − 1 2 ≡ ( − 1 ) μ ( m o d p ) n^{\frac{p-1}{2}} \equiv (-1)^{\mu} \pmod p n 2 p − 1 ≡ ( − 1 ) μ ( mod p ) 运用欧拉判别法：
n p − 1 2 ≡ ( n p ) ( m o d p ) n^{\frac{p-1}{2}} \equiv \left(\frac{n}{p}\right) \pmod p n 2 p − 1 ≡ ( p n ) ( mod p ) 可得：
( n p ) ≡ ( − 1 ) μ ( m o d p ) \left(\frac{n}{p}\right) \equiv (-1)^{\mu} \pmod p ( p n ) ≡ ( − 1 ) μ ( mod p ) 二次互反律：对于两个二次剩余
( p q ) , ( q p ) \left(\frac{p}{q}\right),\left(\frac{q}{p}\right) ( q p ) , ( p q ) ，这里
p ≠ q p \ne q p = q ，我们有：
( p q ) ( q p ) = ( − 1 ) p − 1 2 q − 1 2 \left(\frac{p}{q}\right)\left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\frac{q-1}{2}} ( q p ) ( p q ) = ( − 1 ) 2 p − 1 2 q − 1 二次互反律证明：先给出一个推论，对于奇素数
p p p ，我们有：
( 2 p ) = ( − 1 ) p 2 − 1 8 \left(\frac{2}{p}\right) = (-1)^{\frac{p^2-1}{8}} ( p 2 ) = ( − 1 ) 8 p 2 − 1 若奇数
n n n 满足
gcd ( n , p ) = 1 \gcd(n,p) = 1 g cd( n , p ) = 1 ，则我们有：
( n p ) = ( − 1 ) ∑ i = 1 p − 1 2 ⌊ n i p ⌋ \left(\frac{n}{p}\right) = (-1)^{\sum_{i = 1}^{\frac{p-1}{2}} \left\lfloor \frac{ni}{p} \right\rfloor} ( p n ) = ( − 1 ) ∑ i = 1 2 p − 1 ⌊ p ni ⌋ 考虑证明（
这个推论的证明中 p p p p p p ）。
对于高斯引理中的
n , k , a k , A , B , λ , μ n,k,a_k,A,B,\lambda,\mu n , k , a k , A , B , λ , μ ，我们有
∃ p ∈ N + , n k = p ⌊ n k p ⌋ + a k \exist p \in \mathbb{N}^+,\ nk = p \left\lfloor \frac{nk}{p} \right\rfloor+a_k ∃ p ∈ N + , nk = p ⌊ p nk ⌋ + a k ，首先我们有：
n × p 2 − 1 8 = ∑ k = 1 p − 1 2 n k n \times \frac{p^2-1}{8} = \sum_{k = 1}^{\frac{p-1}{2}} nk n × 8 p 2 − 1 = k = 1 ∑ 2 p − 1 nk 证明很简单，我们来推导一下就行了：
∑ k = 1 p − 1 2 n k = n ∑ k = 1 p − 1 2 k = n × p − 1 2 ( p − 1 2 + 1 ) 2 = n × p − 1 2 p + 1 2 2 = n × ( p − 1 ) ( p + 1 ) 8 = n × p 2 − 1 8 \begin{align*}
\sum_{k = 1}^{\frac{p-1}{2}} nk &= n \sum_{k = 1}^{\frac{p-1}{2}} k \\
&= n \times \frac{\frac{p-1}{2}\left( \frac{p-1}{2}+1 \right)}{2} \\
&= n \times \frac{\frac{p-1}{2}\frac{p+1}{2} }{2} \\
&= n \times \frac{(p-1)(p+1)}{8} \\
&= n \times \frac{p^2-1}{8}
\end{align*} k = 1 ∑ 2 p − 1 nk = n k = 1 ∑ 2 p − 1 k = n × 2 2 p − 1 ( 2 p − 1 + 1 ) = n × 2 2 p − 1 2 p + 1 = n × 8 ( p − 1 ) ( p + 1 ) = n × 8 p 2 − 1 证明完后我们继续进一步可以得到：
∑ k = 1 p − 1 2 n k = p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + ∑ a ∈ A a + ∑ b ∈ B b = p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + ∑ a ∈ A a + ∑ b ∈ B ( p − b ) + 2 ∑ b ∈ B b − p μ \begin{align*}
\sum_{k = 1}^{\frac{p-1}{2}} nk &= p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\sum_{a \in A} a+\sum_{b \in B} b \\
&= p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\sum_{a \in A} a+\sum_{b \in B} (p-b)+2 \sum_{b \in B} b-p\mu
\end{align*} k = 1 ∑ 2 p − 1 nk = p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + a ∈ A ∑ a + b ∈ B ∑ b = p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + a ∈ A ∑ a + b ∈ B ∑ ( p − b ) + 2 b ∈ B ∑ b − p μ 我们来证明一下为什么：
p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + ∑ a ∈ A a + ∑ b ∈ B b = p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + ∑ a ∈ A a + ∑ b ∈ B ( p − b ) + 2 ∑ b ∈ B b − p μ p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\sum_{a \in A} a+\sum_{b \in B} b = p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\sum_{a \in A} a+\sum_{b \in B} (p-b)+2 \sum_{b \in B} b-p\mu p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + a ∈ A ∑ a + b ∈ B ∑ b = p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + a ∈ A ∑ a + b ∈ B ∑ ( p − b ) + 2 b ∈ B ∑ b − p μ 等式两边同时减去
p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + ∑ a ∈ A a p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\sum_{a \in A} a p ∑ k = 1 2 p − 1 ⌊ p nk ⌋ + ∑ a ∈ A a ，得出我们只需要证明：
∑ b ∈ B b = ∑ b ∈ B ( p − b ) + 2 ∑ b ∈ B b − p μ \sum_{b \in B} b = \sum_{b \in B} (p-b)+2 \sum_{b \in B} b-p\mu b ∈ B ∑ b = b ∈ B ∑ ( p − b ) + 2 b ∈ B ∑ b − p μ 来推导一下：
∑ b ∈ B b = ∑ b ∈ B ( p − b ) + 2 ∑ b ∈ B b − p μ ⇓ 0 = ∑ b ∈ B ( p − b ) + 2 ∑ b ∈ B b − ∑ b ∈ B b − p μ ⇓ 0 = ∑ b ∈ B ( p − b ) + ∑ b ∈ B b − p μ ⇓ 0 = ∑ b ∈ B ( p − b ) − ( p μ − ∑ b ∈ B b ) ⇓ 0 = ∑ b ∈ B ( p − b ) − ∑ b ∈ B ( p − b ) ⇓ 0 = 0 \begin{align*}
\sum_{b \in B} b &= \sum_{b \in B} (p-b)+2 \sum_{b \in B} b-p\mu \\
&\Downarrow \\
0 &= \sum_{b \in B} (p-b)+2 \sum_{b \in B} b-\sum_{b \in B} b-p\mu \\
&\Downarrow \\
0 &= \sum_{b \in B} (p-b)+\sum_{b \in B} b-p\mu \\
&\Downarrow \\
0 &= \sum_{b \in B} (p-b)-\left(p\mu-\sum_{b \in B} b\right) \\
&\Downarrow \\
0 &= \sum_{b \in B} (p-b)-\sum_{b \in B} (p-b) \\
&\Downarrow \\
0 &= 0
\end{align*} b ∈ B ∑ b 0 0 0 0 0 = b ∈ B ∑ ( p − b ) + 2 b ∈ B ∑ b − p μ ⇓ = b ∈ B ∑ ( p − b ) + 2 b ∈ B ∑ b − b ∈ B ∑ b − p μ ⇓ = b ∈ B ∑ ( p − b ) + b ∈ B ∑ b − p μ ⇓ = b ∈ B ∑ ( p − b ) − ( p μ − b ∈ B ∑ b ) ⇓ = b ∈ B ∑ ( p − b ) − b ∈ B ∑ ( p − b ) ⇓ = 0 证明完后我们继续：
p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + ∑ a ∈ A a + ∑ b ∈ B ( p − b ) + 2 ∑ b ∈ B b − p μ = p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + ∑ k = 1 p − 1 2 k + 2 ∑ b ∈ B b − p μ = p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + p 2 − 1 8 + 2 ∑ b ∈ B b − p μ \begin{align*}
p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\sum_{a \in A} a+\sum_{b \in B} (p-b)+2 \sum_{b \in B} b-p\mu &= p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\sum_{k = 1}^{\frac{p-1}{2}} k+2 \sum_{b \in B} b-p\mu \\
&= p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+\frac{p^2-1}{8}+2 \sum_{b \in B} b-p\mu \\
\end{align*} p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + a ∈ A ∑ a + b ∈ B ∑ ( p − b ) + 2 b ∈ B ∑ b − p μ = p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + k = 1 ∑ 2 p − 1 k + 2 b ∈ B ∑ b − p μ = p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + 8 p 2 − 1 + 2 b ∈ B ∑ b − p μ 我们很容易得到：
( n − 1 ) × p 2 − 1 8 = p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + 2 ∑ b ∈ B b − p μ (n-1) \times \frac{p^2-1}{8} = p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+2 \sum_{b \in B} b-p\mu ( n − 1 ) × 8 p 2 − 1 = p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + 2 b ∈ B ∑ b − p μ 先证明这个推论的第一个部分，也就是
n = 2 n = 2 n = 2 的时候。
而为了证明
( − 1 ) p 2 − 1 8 = ( − 1 ) μ (-1)^{\frac{p^2-1}{8}} = (-1)^{\mu} ( − 1 ) 8 p 2 − 1 = ( − 1 ) μ ，我们需要证明
p 2 − 1 8 ≡ μ ( m o d 2 ) \frac{p^2-1}{8} \equiv \mu \pmod 2 8 p 2 − 1 ≡ μ ( mod 2 ) 。
因为
n = 2 n = 2 n = 2 ，所以上面的恒等式变为：
p 2 − 1 8 = p ∑ k = 1 p − 1 2 ⌊ 2 k p ⌋ + 2 ∑ b ∈ B b − p μ ⇓ p 2 − 1 8 ≡ p ∑ k = 1 p − 1 2 ⌊ 2 k p ⌋ + 2 ∑ b ∈ B b − p μ ( m o d 2 ) \begin{align*}
\frac{p^2-1}{8} &= p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{2k}{p} \right\rfloor+2 \sum_{b \in B} b-p\mu \\
&\Downarrow \\
\frac{p^2-1}{8} &\equiv p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{2k}{p} \right\rfloor+2 \sum_{b \in B} b-p\mu \pmod 2
\end{align*} 8 p 2 − 1 8 p 2 − 1 = p k = 1 ∑ 2 p − 1 ⌊ p 2 k ⌋ + 2 b ∈ B ∑ b − p μ ⇓ ≡ p k = 1 ∑ 2 p − 1 ⌊ p 2 k ⌋ + 2 b ∈ B ∑ b − p μ ( mod 2 ) 我们显然有
0 < 2 k p ≤ p − 1 p < 1 0<\frac{2k}{p} \le \frac{p-1}{p}<1 0 < p 2 k ≤ p p − 1 < 1 ，也就是
∀ k ∈ [ 1 , p − 1 2 ] , ⌊ 2 k p ⌋ = 0 \forall k \in [1,\frac{p-1}{2}],\ \left\lfloor \frac{2k}{p} \right\rfloor = 0 ∀ k ∈ [ 1 , 2 p − 1 ] , ⌊ p 2 k ⌋ = 0 ，所以可以转化为：
p 2 − 1 8 ≡ − p μ ( m o d 2 ) \frac{p^2-1}{8} \equiv -p\mu \pmod 2 8 p 2 − 1 ≡ − p μ ( mod 2 ) 又因为
p p p 是奇数所以
p ≡ 1 ( m o d 2 ) p \equiv 1 \pmod 2 p ≡ 1 ( mod 2 ) ，可转化为：
p 2 − 1 8 ≡ − μ ( m o d 2 ) ⇓ p 2 − 1 8 ≡ μ ( m o d 2 ) \begin{align*}
\frac{p^2-1}{8} &\equiv -\mu \pmod 2 \\
&\Downarrow \\
\frac{p^2-1}{8} &\equiv \mu \pmod 2
\end{align*} 8 p 2 − 1 8 p 2 − 1 ≡ − μ ( mod 2 ) ⇓ ≡ μ ( mod 2 ) 而当
2 ∤ n 2 \nmid n 2 ∤ n 时，我们需要证明
( − 1 ) ∑ i = 1 p − 1 2 ⌊ n i p ⌋ = ( − 1 ) μ (-1)^{\sum_{i = 1}^{\frac{p-1}{2}} \left\lfloor \frac{ni}{p} \right\rfloor} = (-1)^{\mu} ( − 1 ) ∑ i = 1 2 p − 1 ⌊ p ni ⌋ = ( − 1 ) μ ，也就是
∑ i = 1 p − 1 2 ⌊ n i p ⌋ ≡ μ ( m o d 2 ) \sum_{i = 1}^{\frac{p-1}{2}} \left\lfloor \frac{ni}{p} \right\rfloor \equiv \mu \pmod 2 ∑ i = 1 2 p − 1 ⌊ p ni ⌋ ≡ μ ( mod 2 ) 。
依旧利用上面的那个恒等式，因为此时
n ≡ p ≡ 1 ( m o d 2 ) n \equiv p \equiv 1 \pmod 2 n ≡ p ≡ 1 ( mod 2 ) ，可得：
( n − 1 ) × p 2 − 1 8 ≡ p ∑ k = 1 p − 1 2 ⌊ n k p ⌋ + 2 ∑ b ∈ B b − p μ ( m o d 2 ) ⇓ 0 ≡ ∑ k = 1 p − 1 2 ⌊ n k p ⌋ − μ ( m o d 2 ) ⇓ μ ≡ ∑ k = 1 p − 1 2 ⌊ n k p ⌋ ( m o d 2 ) ⇓ ∑ k = 1 p − 1 2 ⌊ n k p ⌋ ≡ μ ( m o d 2 ) \begin{align*}
(n-1) \times \frac{p^2-1}{8} &\equiv p \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor+2 \sum_{b \in B} b-p\mu \pmod 2 \\
&\Downarrow \\
0 &\equiv \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor-\mu \pmod 2 \\
&\Downarrow \\
\mu &\equiv \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor \pmod 2 \\
&\Downarrow \\
\sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{nk}{p} \right\rfloor &\equiv \mu \pmod 2
\end{align*} ( n − 1 ) × 8 p 2 − 1 0 μ k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ ≡ p k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ + 2 b ∈ B ∑ b − p μ ( mod 2 ) ⇓ ≡ k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ − μ ( mod 2 ) ⇓ ≡ k = 1 ∑ 2 p − 1 ⌊ p nk ⌋ ( mod 2 ) ⇓ ≡ μ ( mod 2 ) 显然这个推论已经证明完毕了。
此时要证明二次互反律也就是要证明：
p − 1 2 q − 1 2 = ∑ k = 1 p − 1 2 ⌊ q k p ⌋ + ∑ k = 1 q − 1 2 ⌊ p k q ⌋ \frac{p-1}{2}\frac{q-1}{2} = \sum_{k = 1}^{\frac{p-1}{2}} \left\lfloor \frac{qk}{p} \right\rfloor+\sum_{k = 1}^{\frac{q-1}{2}} \left\lfloor \frac{pk}{q} \right\rfloor 2 p − 1 2 q − 1 = k = 1 ∑ 2 p − 1 ⌊ p q k ⌋ + k = 1 ∑ 2 q − 1 ⌊ q p k ⌋ 我们考虑构造一个点集
S = { ( p x , q y ) ∣ 1 ≤ x ≤ q − 1 2 , 1 ≤ y ≤ p − 1 2 } S = \{(px,qy)|1 \le x \le \frac{q-1}{2},1 \le y \le \frac{p-1}{2}\} S = {( p x , q y ) ∣1 ≤ x ≤ 2 q − 1 , 1 ≤ y ≤ 2 p − 1 } ，其中装的是形如
( p x , q y ) (px,qy) ( p x , q y ) 的点。
因为
p , q p,q p , q 互质并且
x , y x,y x , y 互质，所以
p x ≠ q y px \ne qy p x = q y ，那么
∣ S ∣ = p − 1 2 q − 1 2 |S| = \frac{p-1}{2}\frac{q-1}{2} ∣ S ∣ = 2 p − 1 2 q − 1 。
考虑将
S S S 分成
S 1 = { ( x , y ) ∈ S ∣ p x > q y } S_1 = \{(x,y) \in S|px>qy\} S 1 = {( x , y ) ∈ S ∣ p x > q y } 和
S 2 = { ( x , y ) ∈ S ∣ p x < q y } S_2 = \{(x,y) \in S|px<qy\} S 2 = {( x , y ) ∈ S ∣ p x < q y } ，于是
S = S 1 ∪ S 2 , S 1 ∩ S 2 = ∅ S = S_1 \cup S_2,S_1 \cap S_2 = \varnothing S = S 1 ∪ S 2 , S 1 ∩ S 2 = ∅ 。
先计算
∣ S 1 ∣ |S_1| ∣ S 1 ∣ ，对于固定的
x x x ，满足
p x > q y px>qy p x > q y 即
y < p x q y<\frac{px}{q} y < q p x 的
y y y 的数量是
⌊ p x q ⌋ \left\lfloor \frac{px}{q} \right\rfloor ⌊ q p x ⌋ ，而
x x x 的取值范围是
[ 1 , q − 1 2 ] [1,\frac{q-1}{2}] [ 1 , 2 q − 1 ] ，所以：
∣ S 1 ∣ = ∑ x = 1 q − 1 2 ⌊ p x q ⌋ |S_1| = \sum_{x = 1}^{\frac{q-1}{2}} \left\lfloor \frac{px}{q} \right\rfloor ∣ S 1 ∣ = x = 1 ∑ 2 q − 1 ⌊ q p x ⌋ 然后计算
∣ S 2 ∣ |S_2| ∣ S 2 ∣ 的方法也基本一样，对于固定的
y y y ，满足
p x < q y px<qy p x < q y 即
x < q y p x<\frac{qy}{p} x < p q y 的
x x x 的数量是
⌊ q y p ⌋ \left\lfloor \frac{qy}{p} \right\rfloor ⌊ p q y ⌋ ，而
y y y 的取值范围是
[ 1 , p − 1 2 ] [1,\frac{p-1}{2}] [ 1 , 2 p − 1 ] ，所以：
∣ S 2 ∣ = ∑ y = 1 p − 1 2 ⌊ q y p ⌋ |S_2| = \sum_{y = 1}^{\frac{p-1}{2}} \left\lfloor \frac{qy}{p} \right\rfloor ∣ S 2 ∣ = y = 1 ∑ 2 p − 1 ⌊ p q y ⌋ 显然
∣ S 1 ∣ + ∣ S 2 ∣ = ∣ S ∣ |S_1|+|S_2| = |S| ∣ S 1 ∣ + ∣ S 2 ∣ = ∣ S ∣ ，也就是：
∑ x = 1 q − 1 2 ⌊ p x q ⌋ + ∑ y = 1 p − 1 2 ⌊ q y p ⌋ = p − 1 2 q − 1 2 \sum_{x = 1}^{\frac{q-1}{2}} \left\lfloor \frac{px}{q} \right\rfloor+\sum_{y = 1}^{\frac{p-1}{2}} \left\lfloor \frac{qy}{p} \right\rfloor = \frac{p-1}{2}\frac{q-1}{2} x = 1 ∑ 2 q − 1 ⌊ q p x ⌋ + y = 1 ∑ 2 p − 1 ⌊ p q y ⌋ = 2 p − 1 2 q − 1 这和我们要证明的等式是一样的。
至此，证毕。
普通域：若一个集合里的任意两个元素做加减乘除中的任意一个操作（做除法操作时，除数不能为
0 0 0 ）后得到的结果依旧是这个集合元素，则这个集合被称为域。
模意义下的域：若一个模
p ∈ N + p \in \mathbb{N}^+ p ∈ N + 意义下的集合
F p \mathbb{F}_p F p 里的任意两个元素在模意义下做加减乘除中的任意一个操作（做除法操作的前提是有意义）后得到的结果依旧是这个集合元素，则这个集合被称为模
p p p 意义下的域。而我们知道，在一个模
p p p 意义下的集合在模
p p p 意义下不管是做加减乘除操作任意一项得到的结果都一定是该集合的元素，所以我们也可以直接检验每一个元素的加法逆元和乘法逆元的存在性来判断该集合是否是域。
不管是在任何一个域，都可以进行四则运算，只不过在模意义下的域中，结果要对 p p p 0 0 0 扩域：在一个已有的域里，加入一些新的数，然后把这些新数和原来的数通过加减乘除组合起来，得到的所有结果仍然能构成一个域，这个更大的域就叫原域的扩域。
二项式定理：
∀ n ∈ N , a ∈ R , b ∈ R , ( a + b ) n = ∑ k = 0 n ( n k ) a n − k b k \forall n \in \mathbb{N},a \in \mathbb{R},b \in \mathbb{R},\ (a+b)^n = \sum_{k = 0}^n \binom{n}{k}a^{n-k}b^k ∀ n ∈ N , a ∈ R , b ∈ R , ( a + b ) n = k = 0 ∑ n ( k n ) a n − k b k 二项式定理证明：考虑使用数学归纳法。
对于基础
0 0 0 ，我们有
( a + b ) 0 = ∑ k = 0 0 ( 0 0 ) a 0 − k b k = 1 (a+b)^0 = \sum_{k = 0}^0 \binom{0}{0}a^{0-k}b^k = 1 ( a + b ) 0 = ∑ k = 0 0 ( 0 0 ) a 0 − k b k = 1 ，成立。
考虑我们已知：
∀ i ∈ [ 0 , m ] , ( a + b ) i = ∑ k = 0 i ( i k ) a i − k b k \forall i \in [0,m],\ (a+b)^i = \sum_{k = 0}^i \binom{i}{k}a^{i-k}b^k ∀ i ∈ [ 0 , m ] , ( a + b ) i = k = 0 ∑ i ( k i ) a i − k b k 如何证明
( a + b ) m + 1 = ∑ k = 0 m + 1 ( m + 1 k ) a m + 1 − k b k (a+b)^{m+1} = \sum_{k = 0}^{m+1} \binom{m+1}{k}a^{m+1-k}b^k ( a + b ) m + 1 = ∑ k = 0 m + 1 ( k m + 1 ) a m + 1 − k b k 呢？
于是开始推式子：
( a + b ) m + 1 = ( a + b ) × ( a + b ) m = ( a + b ) × ∑ k = 0 m ( m k ) a m − k b k = a × ∑ k = 0 m ( m k ) a m − k b k + b × ∑ k = 0 m ( m k ) a m − k b k = ∑ k = 0 m ( m k ) a m + 1 − k b k + ∑ k = 0 m ( m k ) a m − k b k + 1 = ∑ k = 0 m ( m k ) a m + 1 − k b k + ∑ k = 1 m + 1 ( m k − 1 ) a m + 1 − k b k = ( m 0 ) a m + 1 + ∑ k = 1 m [ ( m k ) + ( m k − 1 ) ] a m + 1 − k b k + ( m m ) b m + 1 \begin{align*}
(a+b)^{m+1} &= (a+b) \times (a+b)^m \\
&= (a+b) \times \sum_{k = 0}^m \binom{m}{k}a^{m-k}b^k \\
&= a \times \sum_{k = 0}^m \binom{m}{k}a^{m-k}b^k+b \times \sum_{k = 0}^m \binom{m}{k}a^{m-k}b^k \\
&= \sum_{k = 0}^m \binom{m}{k}a^{m+1-k}b^k+\sum_{k = 0}^m \binom{m}{k}a^{m-k}b^{k+1} \\
&= \sum_{k = 0}^m \binom{m}{k}a^{m+1-k}b^k+\sum_{k = 1}^{m+1} \binom{m}{k-1}a^{m+1-k}b^k \\
&= \binom{m}{0}a^{m+1}+\sum_{k = 1}^m \left[\binom{m}{k}+\binom{m}{k-1}\right]a^{m+1-k}b^k+\binom{m}{m}b^{m+1}
\end{align*} ( a + b ) m + 1 = ( a + b ) × ( a + b ) m = ( a + b ) × k = 0 ∑ m ( k m ) a m − k b k = a × k = 0 ∑ m ( k m ) a m − k b k + b × k = 0 ∑ m ( k m ) a m − k b k = k = 0 ∑ m ( k m ) a m + 1 − k b k + k = 0 ∑ m ( k m ) a m − k b k + 1 = k = 0 ∑ m ( k m ) a m + 1 − k b k + k = 1 ∑ m + 1 ( k − 1 m ) a m + 1 − k b k = ( 0 m ) a m + 1 + k = 1 ∑ m [ ( k m ) + ( k − 1 m ) ] a m + 1 − k b k + ( m m ) b m + 1 因为
( m k ) + ( m k − 1 ) = ( m + 1 k ) \binom{m}{k}+\binom{m}{k-1} = \binom{m+1}{k} ( k m ) + ( k − 1 m ) = ( k m + 1 ) ，所以：
( m 0 ) a m + 1 + ∑ k = 1 m [ ( m k ) + ( m k − 1 ) ] a m + 1 − k b k + ( m m ) b m + 1 = ( m 0 ) a m + 1 + ∑ k = 1 m [ ( m + 1 k ) ] a m + 1 − k b k + ( m m ) b m + 1 = a m + 1 + ∑ k = 1 m [ ( m + 1 k ) ] a m + 1 − k b k + b m + 1 = ∑ k = 0 m + 1 [ ( m + 1 k ) ] a m + 1 − k b k \begin{align*}
\binom{m}{0}a^{m+1}+\sum_{k = 1}^m \left[\binom{m}{k}+\binom{m}{k-1}\right]a^{m+1-k}b^k+\binom{m}{m}b^{m+1} &= \binom{m}{0}a^{m+1}+\sum_{k = 1}^m \left[\binom{m+1}{k}\right]a^{m+1-k}b^k+\binom{m}{m}b^{m+1} \\
&= a^{m+1}+\sum_{k = 1}^m \left[\binom{m+1}{k}\right]a^{m+1-k}b^k+b^{m+1} \\
&= \sum_{k = 0}^{m+1} \left[\binom{m+1}{k}\right]a^{m+1-k}b^k
\end{align*} ( 0 m ) a m + 1 + k = 1 ∑ m [ ( k m ) + ( k − 1 m ) ] a m + 1 − k b k + ( m m ) b m + 1 = ( 0 m ) a m + 1 + k = 1 ∑ m [ ( k m + 1 ) ] a m + 1 − k b k + ( m m ) b m + 1 = a m + 1 + k = 1 ∑ m [ ( k m + 1 ) ] a m + 1 − k b k + b m + 1 = k = 0 ∑ m + 1 [ ( k m + 1 ) ] a m + 1 − k b k 这个结果和我们要证明的式子一模一样。
至此，二项式定理证毕。
freshman's dream 定义：对于素数
p p p 和实数
a , b a,b a , b ，我们有：
( a + b ) p ≡ a p + b p ( m o d p ) (a+b)^p \equiv a^p+b^p \pmod p ( a + b ) p ≡ a p + b p ( mod p ) freshman's dream 证明：根据二项式定理，我们可以将
( a + b ) p (a+b)^p ( a + b ) p 展开成
∑ k = 0 p ( p k ) a p − k b k \sum_{k = 0}^p \binom{p}{k}a^{p-k}b^k ∑ k = 0 p ( k p ) a p − k b k 的形式，但是在
1 ≤ k ≤ p − 1 1 \le k \le p-1 1 ≤ k ≤ p − 1 时，
( p k ) ≡ 0 ( m o d p ) \binom{p}{k} \equiv 0 \pmod p ( k p ) ≡ 0 ( mod p ) ，因为：
( p k ) = p ! k ! ( p − k ) ! \binom{p}{k} = \frac{p!}{k!(p-k)!} ( k p ) = k ! ( p − k )! p ! 要证明
p ! k ! ( p − k ) ! ≡ 0 ( m o d p ) \frac{p!}{k!(p-k)!} \equiv 0 \pmod p k ! ( p − k )! p ! ≡ 0 ( mod p ) ，我们根据乘法逆元的存在性可以将同余式两边同时乘上
k ! k! k ! 和
( p − k ) ! (p-k)! ( p − k )! 的乘法逆元，得到我们只需要证明：
p ! ≡ 0 ( m o d p ) p! \equiv 0 \pmod p p ! ≡ 0 ( mod p ) 这显然是对的。
至此，证毕。
再给出证明：
考虑通过二次剩余的角度来进行思考，第一种情况是
n ≡ ± 1 ( m o d 5 ) n \equiv \pm 1 \pmod 5 n ≡ ± 1 ( mod 5 ) ，可以转化为
( 5 n ) = 1 \left(\frac{5}{n}\right) = 1 ( n 5 ) = 1 ，而第二种情况是
n ≡ ± 2 ( m o d 5 ) n \equiv \pm 2 \pmod 5 n ≡ ± 2 ( mod 5 ) ，可以转化为
( 5 n ) = − 1 \left(\frac{5}{n}\right) = -1 ( n 5 ) = − 1 。
先来证明第一种情况转化的正确性。
显然简单手磨几个数就能发现
[ n ≡ ± 1 ( m o d 5 ) ] ⇒ [ ( n 5 ) = 1 ] [n \equiv \pm 1 \pmod 5] \Rightarrow \left[\left(\frac{n}{5}\right) = 1\right] [ n ≡ ± 1 ( mod 5 )] ⇒ [ ( 5 n ) = 1 ] 。
而根据二次互反律，我们可以将原本的
( n 5 ) \left(\frac{n}{5}\right) ( 5 n ) 转化成
( 5 n ) \left(\frac{5}{n}\right) ( n 5 ) ，而系数
( − 1 ) 4 ( n − 1 ) 4 = ( − 1 ) n − 1 = 1 (-1)^{\frac{4(n-1)}{4}} = (-1)^{n-1} = 1 ( − 1 ) 4 4 ( n − 1 ) = ( − 1 ) n − 1 = 1 ，因为
n n n 是奇数，所以
n − 1 n-1 n − 1 是偶数。
至此，第一种情况的转化的正确性证毕。
再考虑证明第二种情况转化的正确性。
显然根据平方运算模
p p p 以
p p p 为周期重复（这个原理显然，无需证明，在草稿纸上手玩一下完全平方公式即可），我们只需要手动验证
{ 1 , 2 , 3 , 4 } \{1,2,3,4\} { 1 , 2 , 3 , 4 } 中是否存在能使得
( n 5 ) = 1 \left(\frac{n}{5}\right) = 1 ( 5 n ) = 1 的数字即可。显然答案是没有，也就是说
( n 5 ) = − 1 \left(\frac{n}{5}\right) = -1 ( 5 n ) = − 1 ，而依旧根据二次互反律得到
( 5 n ) = − 1 \left(\frac{5}{n}\right) = -1 ( n 5 ) = − 1 ，过程几乎没有任何变化。
至此，第二种情况的转化的正确性证毕。
接下来进入正题，考虑第一种情况
( 5 n ) = 1 \left(\frac{5}{n}\right) = 1 ( n 5 ) = 1 ，那么根据二次剩余的定义，我们有
∃ t ∈ N + , t 2 ≡ 5 ( m o d n ) \exists t \in \mathbb{N}^+,\ t^2 \equiv 5 \pmod n ∃ t ∈ N + , t 2 ≡ 5 ( mod n ) ，在模
n n n 意义下的域
F n \mathbb{F}_n F n 中
t = 5 t = \sqrt{5} t = 5 ，而因为域满足可运算的性质，所以
5 , α , β ∈ F n \sqrt{5},\alpha,\beta \in \mathbb{F}_n 5 , α , β ∈ F n ，而又因为
α − β = 5 \alpha-\beta = \sqrt{5} α − β = 5 ，所以
α ≠ β \alpha \ne \beta α = β 。
根据费马小定理，我们有：
α n − 1 ≡ 1 ( m o d n ) , β n − 1 ≡ 1 ( m o d n ) \alpha^{n-1} \equiv 1 \pmod n,\beta^{n-1} \equiv 1 \pmod n α n − 1 ≡ 1 ( mod n ) , β n − 1 ≡ 1 ( mod n ) 于是：
f n − 1 = α n − 1 + β n − 1 α − β ≡ 1 − 1 α − β = 0 ( m o d n ) f n = α n + β n α − β ≡ α − β α − β = 1 ( m o d n ) \begin{align*}
&f_{n-1} = \frac{\alpha^{n-1}+\beta^{n-1}}{\alpha-\beta} \equiv \frac{1-1}{\alpha-\beta} = 0 \pmod n \\
&f_n = \frac{\alpha^n+\beta^n}{\alpha-\beta} \equiv \frac{\alpha-\beta}{\alpha-\beta} = 1 \pmod n
\end{align*} f n − 1 = α − β α n − 1 + β n − 1 ≡ α − β 1 − 1 = 0 ( mod n ) f n = α − β α n + β n ≡ α − β α − β = 1 ( mod n ) 因为状态
( f n − 1 , f n ) (f_{n-1},f_n) ( f n − 1 , f n ) 和状态
( 0 , 1 ) (0,1) ( 0 , 1 ) 重复，所以
n − 1 n-1 n − 1 是斐波那契数列统一模
n n n 的一个周期，即
π ( n ) ∣ n − 1 \pi(n) \mid n-1 π ( n ) ∣ n − 1 。
再考虑第二种情况
( 5 n ) = − 1 \left(\frac{5}{n}\right) = -1 ( n 5 ) = − 1 。
显然此时刚刚的那个同余方程在
F n \mathbb{F}_n F n 这个域中是无解的，也就是
5 ∉ F n \sqrt{5} \not \in \mathbb{F}_n 5 ∈ F n ，但是我们可以对
F n \mathbb{F}_n F n 进行扩域操作，显然扩域的元素是形如
a + b 5 a+b\sqrt{5} a + b 5 的形式，而
a , b ∈ F n a,b \in \mathbb{F}_n a , b ∈ F n ，因为
a a a 和
b b b 都是
n n n 个取值，所以扩域后元素数量从
n n n 变成了
n 2 n^2 n 2 ，而扩域后的域的加法和乘法都是可以进行简单验证的（这里就不写了），这里重点说明如何证明扩域后的域满足非
0 0 0 元素乘法逆元的存在性。
根据乘法逆元的定义，相当于给定
0 ≠ x = a + b 5 0 \ne x = a+b\sqrt{5} 0 = x = a + b 5 ，求
y = c + d 5 y = c+d\sqrt{5} y = c + d 5 使得
x y ≡ 1 ( m o d n ) xy \equiv 1 \pmod n x y ≡ 1 ( mod n ) 。
x y = ( a + b 5 ) ( c + d 5 ) = a c + a d 5 + b c 5 + 5 b d = ( a c + 5 b d ) + ( a d + b c ) 5 \begin{align*}
xy &= (a+b\sqrt{5})(c+d\sqrt{5}) \\
&= ac+ad\sqrt{5}+bc\sqrt{5}+5bd \\
&= (ac+5bd)+(ad+bc)\sqrt{5}
\end{align*} x y = ( a + b 5 ) ( c + d 5 ) = a c + a d 5 + b c 5 + 5 b d = ( a c + 5 b d ) + ( a d + b c ) 5 要使这个式子等于
1 1 1 ，那么一定是
1 + 0 × 5 = 1 1+0 \times \sqrt{5} = 1 1 + 0 × 5 = 1 这种形式，所以我们有：
{ a c + 5 b d = 1 a d + b c = 0 \begin{cases}
ac+5bd = 1 \\
ad+bc = 0
\end{cases} { a c + 5 b d = 1 a d + b c = 0 解决这种方程的思想是用
a , b a,b a , b 来踢掉
c , d c,d c , d ，显然如果我们假设
a ≠ 0 a \ne 0 a = 0 ，那么根据第二个等式一定有
d = − b c a d = -\frac{bc}{a} d = − a b c ，代入第一个等式，我们有：
a c + 5 b ( − b c a ) = 1 ⇓ a c − 5 b 2 c a = 1 ⇓ c ( a − 5 b 2 a ) = 1 ⇓ c ( a 2 − 5 b 2 a ) = 1 ⇓ c = a a 2 − 5 b 2 \begin{align*}
ac+5b\left(-\frac{bc}{a}\right) &= 1 \\
&\Downarrow \\
ac-\frac{5b^2c}{a} &= 1 \\
&\Downarrow \\
c\left(a-\frac{5b^2}{a}\right) &= 1 \\
&\Downarrow \\
c\left(\frac{a^2-5b^2}{a}\right) &= 1 \\
&\Downarrow \\
c &= \frac{a}{a^2-5b^2}
\end{align*} a c + 5 b ( − a b c ) a c − a 5 b 2 c c ( a − a 5 b 2 ) c ( a a 2 − 5 b 2 ) c = 1 ⇓ = 1 ⇓ = 1 ⇓ = 1 ⇓ = a 2 − 5 b 2 a 于是：
d = − b c a = − b a × a a 2 − 5 b 2 = − b a 2 − 5 b 2 d = -\frac{bc}{a} = -\frac{b}{a} \times \frac{a}{a^2-5b^2} = -\frac{b}{a^2-5b^2} d = − a b c = − a b × a 2 − 5 b 2 a = − a 2 − 5 b 2 b 显然我们得到了使得这个方程成立的
c , d c,d c , d ，但是我们还需要证明
c , d c,d c , d 取值分母
a 2 − 5 b 2 ≠ 0 a^2-5b^2 \ne 0 a 2 − 5 b 2 = 0 以及
a = 0 a = 0 a = 0 的情况。
我们先证明分母的非零性，显然若
a 2 − 5 b 2 = 0 a^2-5b^2 = 0 a 2 − 5 b 2 = 0 ，则我们只有两种情况：
若 b = 0 b = 0 b = 0 a = 0 , x = 0 a = 0,x = 0 a = 0 , x = 0
若 b ≠ 0 b \ne 0 b = 0 a 2 = 5 b 2 a^2 = 5b^2 a 2 = 5 b 2 ( a b ) 2 = 5 \left(\frac{a}{b}\right)^2 = 5 ( b a ) 2 = 5 0 ≠ b ∈ F n , a ∈ F n 0 \ne b \in \mathbb{F}_n,a \in \mathbb{F}_n 0 = b ∈ F n , a ∈ F n a b ∈ F n \frac{a}{b} \in \mathbb{F}_n b a ∈ F n
于是我们证明了分母的非零性，接下来是补全一下
a = 0 a = 0 a = 0 的证明。
若
a = 0 a = 0 a = 0 ，则
x = b 5 x = b\sqrt{5} x = b 5 ，且
b ≠ 0 b \ne 0 b = 0 ，否则
x = 0 x = 0 x = 0 就矛盾了，此时我们有：
{ 5 b d = 1 b c = 0 \begin{cases}
5bd = 1 \\
bc = 0
\end{cases} { 5 b d = 1 b c = 0 由第二个等式，因为
b ≠ 0 b \ne 0 b = 0 ，所以
c = 0 c = 0 c = 0 ，再由第一个等式，因为
b ≠ 0 b \ne 0 b = 0 并且
5 b d = 1 5bd = 1 5 b d = 1 ，所以
d = 1 5 b d = \frac{1}{5b} d = 5 b 1 ，所以
y = 0 + 1 5 b 5 y = 0+\frac{1}{5b}\sqrt{5} y = 0 + 5 b 1 5 。
至此，乘法逆元性证毕。
显然我们有
α , β ∈ F n 2 \alpha,\beta \in \mathbb{F}_{n^2} α , β ∈ F n 2 ，此时在域中我们有
α n = β \alpha^n = \beta α n = β ，我们考虑证明。
因为
α = 1 + 5 2 , β = 1 − 5 2 \alpha = \frac{1+\sqrt{5}}{2},\beta = \frac{1-\sqrt{5}}{2} α = 2 1 + 5 , β = 2 1 − 5 ，所以我们需要证明：
( 1 + 5 2 ) n ≡ 1 − 5 2 ( m o d n ) \left(\frac{1+\sqrt{5}}{2}\right)^n \equiv \frac{1-\sqrt{5}}{2} \pmod n ( 2 1 + 5 ) n ≡ 2 1 − 5 ( mod n ) 我们先来将
( 1 + 5 2 ) n \left(\frac{1+\sqrt{5}}{2}\right)^n ( 2 1 + 5 ) n 化简一下：
( 1 + 5 2 ) n = ( 1 + 5 ) n 2 n ≡ 1 n + ( 5 ) n 2 n ( m o d n ) \left(\frac{1+\sqrt{5}}{2}\right)^n = \frac{(1+\sqrt{5})^n}{2^n} \equiv \frac{1^n+(\sqrt{5})^n}{2^n} \pmod n ( 2 1 + 5 ) n = 2 n ( 1 + 5 ) n ≡ 2 n 1 n + ( 5 ) n ( mod n ) 最后一步使用了 freshman's dream。
显然
1 n = 1 1^n = 1 1 n = 1 ，并且根据费马小定理的另外一个形式
a n ≡ a ( m o d n ) a^n \equiv a \pmod n a n ≡ a ( mod n ) 我们有
2 n ≡ 2 ( m o d n ) 2^n \equiv 2 \pmod n 2 n ≡ 2 ( mod n ) ，所以式子变成
1 + ( 5 ) n 2 \frac{1+(\sqrt{5})^n}{2} 2 1 + ( 5 ) n 。
考虑如何求出
( 5 ) n m o d n (\sqrt{5})^n \bmod n ( 5 ) n mod n 。
我们稍加改写可得
( 5 ) n = 5 × ( 5 ) n − 1 = 5 × 5 n − 1 2 (\sqrt{5})^n = \sqrt{5} \times (\sqrt{5})^{n-1} = \sqrt{5} \times 5^{\frac{n-1}{2}} ( 5 ) n = 5 × ( 5 ) n − 1 = 5 × 5 2 n − 1 ，那么根据欧拉判别法我们有
5 n − 1 2 ≡ ( 5 n ) ( m o d n ) 5^{\frac{n-1}{2}} \equiv \left(\frac{5}{n}\right) \pmod n 5 2 n − 1 ≡ ( n 5 ) ( mod n ) ，根据第二种情况，于是我们有
5 n − 1 2 ≡ − 1 ( m o d n ) 5^{\frac{n-1}{2}} \equiv -1 \pmod n 5 2 n − 1 ≡ − 1 ( mod n ) ，可得
5 × 5 n − 1 2 ≡ 5 × ( − 1 ) = − 5 ( m o d n ) \sqrt{5} \times 5^{\frac{n-1}{2}} \equiv \sqrt{5} \times (-1) = -\sqrt{5} \pmod n 5 × 5 2 n − 1 ≡ 5 × ( − 1 ) = − 5 ( mod n ) ，于是原式可改写：
1 + ( 5 ) n 2 ≡ 1 + ( − 5 ) 2 = 1 − 5 2 = β \frac{1+(\sqrt{5})^n}{2} \equiv \frac{1+(-\sqrt{5})}{2} = \frac{1-\sqrt{5}}{2} = \beta 2 1 + ( 5 ) n ≡ 2 1 + ( − 5 ) = 2 1 − 5 = β 至此，
α n ≡ β ( m o d n ) \alpha^n \equiv \beta \pmod n α n ≡ β ( mod n ) 证毕。
于是：
α n + 1 = α × α n ≡ α β = − 1 ( m o d n ) \alpha^{n+1} = \alpha \times \alpha^n \equiv \alpha\beta = -1 \pmod n α n + 1 = α × α n ≡ α β = − 1 ( mod n ) 此时我们也有
β n + 1 ≡ − 1 ( m o d n ) \beta^{n+1} \equiv -1 \pmod n β n + 1 ≡ − 1 ( mod n ) ，为什么？
因为
F n \mathbb{F}_n F n 是模
n n n 的整数域，所以可以利用费马小定理得出在该域中
∀ a ∈ F n , a n = a \forall a \in \mathbb{F}_n,\ a^n = a ∀ a ∈ F n , a n = a 。
而我们注意到：
β n + 1 ≡ ( α n ) n + 1 = α n ( n + 1 ) = α n 2 + n = α n 2 × α n = α n 2 × β \begin{align*}
\beta^{n+1} &\equiv (\alpha^n)^{n+1} \\
&= \alpha^{n(n+1)} \\
&= \alpha^{n^2+n} \\
&= \alpha^{n^2} \times \alpha^n \\
&= \alpha^{n^2} \times \beta
\end{align*} β n + 1 ≡ ( α n ) n + 1 = α n ( n + 1 ) = α n 2 + n = α n 2 × α n = α n 2 × β 而在
α n 2 = α \alpha^{n^2} = \alpha α n 2 = α 的时候
β = − 1 \beta = -1 β = − 1 ，考虑对于
a , b ∈ F n a,b \in \mathbb{F}_n a , b ∈ F n 如何证明
∀ x = a + b 5 ∈ F n 2 \forall x = a+b\sqrt{5} \in \mathbb{F}_{n^2} ∀ x = a + b 5 ∈ F n 2 。
根据 freshman's dream，我们有：
( a + b 5 ) n = a n + b n ( 5 ) n (a+b\sqrt{5})^n = a^n+b^n(\sqrt{5})^n ( a + b 5 ) n = a n + b n ( 5 ) n 而根据之前证明的
( 5 ) n = − 5 (\sqrt{5})^n = -\sqrt{5} ( 5 ) n = − 5 ，再根据费马小定理得出的
a n = a , b n = b a^n = a,b^n = b a n = a , b n = b ，令
x = a + b 5 x = a+b\sqrt{5} x = a + b 5 ，我们有：
x n = a − b 5 x^n = a-b\sqrt{5} x n = a − b 5 而
x n 2 = ( x n ) n x^{n^2} = (x^n)^n x n 2 = ( x n ) n ，所以：
x n 2 = ( x n ) n = ( a − b 5 ) n x^{n^2} = (x^n)^n = (a-b\sqrt{5})^n x n 2 = ( x n ) n = ( a − b 5 ) n 而我们再次利用 freshman's dream 可得：
( a − b 5 ) n = a n + ( − b ) n ( 5 ) n (a-b\sqrt{5})^n = a^n+(-b)^n(\sqrt{5})^n ( a − b 5 ) n = a n + ( − b ) n ( 5 ) n 而又因为
n n n 是奇数，所以
( − b ) n = − b n (-b)^n = -b^n ( − b ) n = − b n ，再根据之前的化简方法，可得：
a n + ( − b ) n ( 5 ) n = a + b 5 = x a^n+(-b)^n(\sqrt{5})^n = a+b\sqrt{5} = x a n + ( − b ) n ( 5 ) n = a + b 5 = x 于是我们就证明了
∀ x ∈ F n 2 , x n 2 = x \forall x \in \mathbb{F}_{n^2},\ x^{n^2} = x ∀ x ∈ F n 2 , x n 2 = x 。
进而在
F n 2 \mathbb{F}_{n^2} F n 2 ，我们有：
α 2 ( n + 1 ) = β 2 ( n + 1 ) = 1 \alpha^{2(n+1)} = \beta^{2(n+1)} = 1 α 2 ( n + 1 ) = β 2 ( n + 1 ) = 1 于是：
f 2 ( n + 1 ) = α 2 ( n + 1 ) − β 2 ( n + 1 ) α − β ≡ 1 − 1 α − β = 0 ( m o d n ) f 2 ( n + 1 ) + 1 = α 2 ( n + 1 ) + 1 − β 2 ( n + 1 ) + 1 α − β ≡ α − β α − β = 1 ( m o d n ) \begin{align*}
&f_{2(n+1)} = \frac{\alpha^{2(n+1)}-\beta^{2(n+1)}}{\alpha-\beta} \equiv \frac{1-1}{\alpha-\beta} = 0 \pmod n \\
&f_{2(n+1)+1} = \frac{\alpha^{2(n+1)+1}-\beta^{2(n+1)+1}}{\alpha-\beta} \equiv \frac{\alpha-\beta}{\alpha-\beta} = 1 \pmod n
\end{align*} f 2 ( n + 1 ) = α − β α 2 ( n + 1 ) − β 2 ( n + 1 ) ≡ α − β 1 − 1 = 0 ( mod n ) f 2 ( n + 1 ) + 1 = α − β α 2 ( n + 1 ) + 1 − β 2 ( n + 1 ) + 1 ≡ α − β α − β = 1 ( mod n ) 因为状态
( f 2 ( n + 1 ) , f 2 ( n + 1 ) + 1 ) (f_{2(n+1)},f_{2(n+1)+1}) ( f 2 ( n + 1 ) , f 2 ( n + 1 ) + 1 ) 和状态
( 0 , 1 ) (0,1) ( 0 , 1 ) 重复，所以
2 ( n + 1 ) 2(n+1) 2 ( n + 1 ) 是斐波那契数列统一模
n n n 的一个周期，即
π ( n ) ∣ 2 ( n + 1 ) \pi(n) \mid 2(n+1) π ( n ) ∣ 2 ( n + 1 ) 。