【acm】【数论】威尔逊定理：素数的充要条件
定义
\(p\)为素数的充要条件为
\[(p-1)! \equiv -1 \equiv p-1 \pmod p \tag{1.1}\]
也可以说是
\[p\quad|\quad{ (p-1)!+1 } \tag{1.2}\]
证明
百度百科的证明特别简明易懂。
应用
可以将一些与阶乘有关的同余式和素数联系起来，以解决某些特定的问题。
\(p\)为素数的充要条件为
\[(p-1)! \equiv -1 \equiv p-1 \pmod p \tag{1.1}\]
也可以说是
\[p\quad|\quad{ (p-1)!+1 } \tag{1.2}\]
百度百科的证明特别简明易懂。
可以将一些与阶乘有关的同余式和素数联系起来，以解决某些特定的问题。