费马小定理

这篇文章是费马小定理的证明过程，为作者原创。

费马小定理 $a^p$ $\equiv$ $a$ $(mod$ $p)$

其中，模数 p为质数。

---

证明过程

设$a^p$ $\equiv$ $a$ $(mod$ $p)$
那么我们只要证明${(a+1)}^p$ $\equiv$ $a+1$ $(mod$ $p)$，就能够证得假设成立。
根据二项式定理：$(a+b{)}^n={\sum }_{r=0}^n{C}_n^r{a}^{n-r}{b}^n$
展开式子：

$$\equiv C_p^0{a}^p{1}^p+C_p^1{a}^{p-1}{1}^p+...+C_p^p{a}^0{1}^p$$
化简一下：
$$\equiv a^p+C_p^1{a}^{p-1}+...+1$$
$$\equiv a^p+\frac{p!a^{p-1}}{1!(p-1)!}+...+1$$
$\because$ $p$为质数。
$\therefore$ 分子中的 $p$ 不会被分母约分而约掉。
$\therefore$ 整个分数可以被 $p$ 整除，取模后得到 $0$，那么中间的所有分数就会都消掉啦。
那么式子就可以进一步化简成：
$$\equiv a^p+1$$
$$\equiv a+1$$
$\therefore$ ${(a+1)}^p$ $\equiv$ $a+1$ $(mod$ $p)$ 得证
证毕

---

版权说明：本文为博主原创文章，转载请附上本文链接(https://blog.csdn.net/smart_CZH/article/details/125950945)。