费马小定理证明

费马小定理

若存在整数 a ， p 且gcd(a，p)=1gcd(a，p)=1gcd(a，p)=1，即二者互为质数，则有$a^{(p-1)}\equiv 1(modp)$ 即$a^{(p-1)}\%p=1$

证明方法一：剩余系与乘法群

有一个集合A={1，2，3，4···p-1}
是模p的一个完全剩余系去掉0

因为gcd(a,p)=1，所以a在模p下有逆元，且a乘以A中的每一个元素，我们就可以得到另外一个集合
B={a1modp，a2modp······a*(p-1)modp};

集合B依然是属于集合A的，只是顺序不同。

于是乎我们可以得到一个通解：
${\prod }_{x\in A}i={\prod }_{x\in a}(i\ast a)modp$
即：$(p-1)!\equiv a^{p-1}\ast (p-1)!modp$

这里为什么会想到累乘？
因为AB集合是相同的，只是顺序不同，集合元素乘起来的和一定相同，这样就不会因为元素位置不同，而产生无法联系的关系。
由于他们都是质数，就可以得出：
$1\equiv a^{p-1}modp$
得证。

---

证明方法二：二项式定理与归纳法

引理证明：二项式系数的整除性

对于质数 $(p)$，二项式系数 $\left(\genfrac{}{}{0ex}{}{p}{k}\right)$ 当$1\le k\le p-1$时，有$(p\mid (\genfrac{}{}{0ex}{}{p}{k}))$。
展开二项式系数：
$[(\genfrac{}{}{0ex}{}{p}{k})=\frac{p!}{k!(p-k)!}]$
分子含因子 ( p )，而分母 ( k!(p-k)! ) 不包含 ( p )（因为 ( k < p ) 且 ( p-k < p )），故 $\left(\genfrac{}{}{0ex}{}{p}{k}\right)$ 是 ( p ) 的倍数。

数学归纳法证明 $(a^p\equiv a(\mathrm{mod}p)$

基础情况：( a = 0 ) 时显然成立。
归纳假设：假设 $(a^p\equiv a(\mathrm{mod}p)$ 成立。
归纳步骤：考虑 ( (a+1)^p ) 的展开式：
$[(a+1{)}^p={\sum }_{k=0}^p\left(\genfrac{}{}{0ex}{}{p}{k}\right)a^k]$

由引理知，当 ( $1\le k\le p-1$ ) 时，($\left(\genfrac{}{}{0ex}{}{p}{k}\right)\equiv 0(\mathrm{mod}p)$ )，因此：

$[(a+1{)}^p\equiv a^p+1(\mathrm{mod}p)$]
根据归纳假设 ( a^p \equiv a \pmod{p} )，代入得：
$[(a+1{)}^p\equiv a+1(\mathrm{mod}p)]$

归纳成立，故对任意整数 ( $a\ge 0$ ) 有 ( $a^p\equiv a(\mathrm{mod}p)$ )。

在这个基础上，两边同时乘一个a的逆元（$a^{-1}$）
得到：$a^{p-1}\equiv 1(\mathrm{mod}p)$

得证

---