UVA1434--Wilson证明

UVA1434

这题的筛素数环节dalao们都已经讲清楚了

而另一个难点$\Rightarrow$

Wilson定理 我在这里给出证明：

（数竞党必备）

多项式大法！

前置技能一：Fermat定理

p为素数，$x^{p-1}\equiv 1(modp)$

用缩系易证

前置技能二：Lagrange定理

p为素数，$f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0$

其中(p,$a_n$)=1,则f(x)$\equiv$0(modp)最多有n个解

（注：$c_1\equiv c_2$(modp)算作相同解）

Lagrange归纳法可证，再次不再赘述

推论：若有多于n个解，则$a_n\equiv a_{n-1}\equiv ...\equiv a_0\equiv 0(modp)$

下面，就来证明Wilson定理

p=2时显然成立

当p为奇素数时，由Fermat,$x^{p-1}\equiv 1(modp)$有1,2，…n-1这n-1个解

$\therefore f(x)=(x^{p-1}-1)-(x-1)(x-2)...(x-(p-1))$显然也有这p-1个解

$\because f(x)$ 的次数小于p-2,由Lagrange推论

f(x)的所有系数均为p的倍数

$\therefore$常数项也是p的倍数

$\therefore (p-1)!+1\equiv 0(modp)$,证毕！