费马小定理看了等于没看证明

一开始我都不知道费马是个人，以为和胡不归问题起名方法一样，是个浪费马的小定理所以叫费马小定理

内容

若$p$是质数，则对于任意整数$a$，有$a^p\equiv$$a(mod$ $p)$。

证明

反过来两边同时除以$a$我们可以得到$a^{p-1}\equiv 1$ $(mod$ $p)$，所以此时可以把该问题转换为证明$a^{p-1}$ $mod$ $p=1$，随手举个例子也确实没什么大问题：$a=2$，$p=3$时$a^{p-1}=4$，$4$ $mod$ $3=1$，但是这只是个小数据的代入，所以不能看做是严格的证明。
$a^{p-1}$ $mod$ $p=1$可以转化为$p\times x=a^{p-1}+1$，然后这个方法我就证不下来了……

换个思路

$gcd(a,p)=1$，考虑$1\times a,2\times a,3\times a,\dots \dots (p-1)\times a$共$(p-1)$个数，将它们分别除以p，余数分别为$r_1,r_2,.....,r_{p-1}$，为集合{$1,2,3...p-1$}的重新排列，即1.3…(p-1)在余数中恰好各出现一次;这是因为对于任两个相异$k\times a$而言$(k=1,2,3...(p-1))$，其差不是p的倍数(所以不会有相同余数)，且任一个$k\times a$亦不为$p$的倍数(所以余数不为$0$)。
因此$1\times 2\times 3.....(p-1)\equiv (1\times a)\times (2\times a)....((p-1)\times a)(mod$ $p)$
即$W\equiv W\times (a^{p-1})(modp)$
在这里$W=1\times 2\times 3\dots \times (p-1)$，且$gcd(W,p)=1$
整理后可得费马小定理。
而费马小定理只是素数判定的一个必要条件，素数一定满足费马小定理，满足费马小定理的数，却不一定是素数。
另外一个应用就是求逆元。