费马小定理

费马小定理是数论中的一个定理：假如a是一个整数，p是一个质数，那么$a^p \equiv a (mod \space p)$
如果a不是p的倍数，也可以写成
$a^{p-1} \equiv 1 (mod \space p)$

证明

证明来自维基百科，补充一些没有证明（可能认为是显而易见的）的细节

条件 gcd(a, p) = 1

考虑 $1 \times a, 2 \times a, 3 \times a, ..... (p-1) \times a$ 这p-1个数，分别模p, 结果 $r_1, r_2, r_3, ..... r_{p-1}$ 必然是1， 2， 3， … p-1的重新排列。

因此可得

$$1\times 2\times 3 \times ... \times (p-1) = (1\times a)\times (2\times a)\times(3 \times a)\times ...\times((p-1)\times a)(mod \space p)$$

因此
$a^{p-1} mod \space p = 1$

现在证明$1 \leqslant k_1, k_2 \leqslant p-1$ ， a 和 p互质
那么 $k_1\%p \neq k_2 \% p$

反证法：

$$y_1\times p +x = k_1\times a, \space \space y_2 \times p + x = k_2 \times a$$
二者相减
可得 $(k_2-k_1)\times a = (y_2-y_1)\times p$
假设 $k_2 > k_1$, 因为 $k_2 < p, k_1 < p, k_2-k_1 < p$, 因为p是质数，所以 $k_2-k_1$与p 互质，又因为a也与p互质，可知 $(k_2-k_1)\times a$也与p互质（后面再证），因此 $(k_2-k_1)\times a$不可能是p的整数倍，所以不存在这样的 $y_2, y_1$使等式成立

现在证明gcd(a, p) = 1, gcd(b, p) = 1 可以推导出 gcd(a*b, p)=1
反证：
设gcd(a*b, p) = k, k>1
假设
a*b = n*k,
p = m*k
其中因为k>1, 所以 n < a*b, m < p
两个等式相除
$\frac{a\times b}{p} = \frac{n}{m}$
因为gcd(a, p) = 1, gcd(b, p) = 1，所以左边等式无法约分，但是 n < a*b, m < p，所以这个等式不可能成立
结果可证