威尔逊定理 学习笔记

本文的内容仅是个人理解，如有错误请私信纠正

Wilson 定理

内容

对于素数p都有： $(p-1)!\equiv -1(\mathrm{mod}p)$

证明

对于 $p=2$：显然 $1!=1\equiv -1(\mathrm{mod}2)$,成立
对于 $p\ge 3$：
$\because$ $p$ 以内与 $p$ 互质的数有 $p-1$ 个，除 $1$ 和 $p-1$ 外剩余的 $p-2$ 个数均可两两配对，即有不同于自己对于 $p$ 的逆元
$\therefore$ $(p-1)!\equiv 1\times (p-1)\equiv -1$

Legendre 公式

内容

$n!$ 中含有的素数 $p$ 的幂次 $v_p(n!)$ 为：$$v_p(n!)=\sum _{i=1}^{\infty }\lfloor \frac{n}{p!}\rfloor$$
证明：显然

Wilson 定理的推广

内容

$$(p^q!{)}_p\equiv \{\begin{array}{l}1,(p=2)\bigwedge (q\ge 3)\\ -1,otherwise\end{array}$$

对于 $p=2$：

• 当 $q=1$ 显然 $1!=1\equiv -1(\mathrm{mod}2)$,成立
• 当 $q=2$ 显然 $1\ast 3=1\equiv -1(\mathrm{mod}4)$,成立
• 当 $q\ge 3$时，易做到两两配对使得乘积为 $-1$ ，但组数有偶数个，导致乘起来后为 $1$

对于 $p\ge 3$：
$\because$ $p^q$ 以内与 $p^q$ 互质的数有 $(p-1)p^{q-1}$ 个，除 $1$ 和 $p^q-1$ 外剩余的 $(p-1)p^{q-1}-2$ 个数均可两两配对，即有不同于自己对于 $p^q$ 的逆元，此外的 $p^{q-1}$ 个数与 $p$ 不互质但会被排外。
$\therefore$ $(p^q!{)}_p\equiv -1$
综上所述，定理成立。