【浅谈·数论】费马小定理（学习笔记）

定义

若 $p$ 为素数，$\gcd (a,p)=1$，则 $a^{p-1}\equiv 1(\mathrm{mod}p)$。

另一个形式：对于任意整数 $a$，有 $a^p\equiv a(\mathrm{mod}p)$。

推广

$a^{998244353-1}\equiv 1(\mathrm{mod}998244353)$

$a\equiv a(mod998244353)$

$a\equiv a\times 1(mod998244353)$

$a\equiv a\times a^{998244353-1}(mod998244353)$

$a\equiv a^{998244353}(mod998244353)$

---

$a^{998244353-1}\equiv 1(\mathrm{mod}998244353)$

$\frac{1}{a}\equiv \frac{1}{a}(mod998244353)$

$\frac{1}{a}\equiv (\frac{1}{a})\times 1(mod998244353)$

$\frac{1}{a}\equiv \frac{1}{a}\times a^{998244353-1}(mod998244353)$

$\frac{1}{a}\equiv (\frac{a^{998244353-1}}{a})(mod998244353)$

$\frac{1}{a}\equiv a^{998244353-2}(mod998244353)$

$\frac{1}{a}\equiv a^{998244351}(mod998244353)$