题:p为质数,0<a<p,证:x≡b*(-1)^(a-1)*(p-1)*...*(p-a+1)/a!(modp)是同余式ax≡b(modp)的解
证:
以下≡为便于打字也记成==
将x≡b*(-1)^(a-1)*(p-1)*...*(p-a+1)/a!代入axmodp中得:
ax=b*(-1)^(a-1)*(p-1)*...*(p-a+1)/(a-1)!
=b*(1-p)*...*(a-1-p)/(a-1)!modp
==b*1*...*(a-1)/(a-1)!
=b
得证.
备忘:下面的内容与上题的证明无关.
由wilson定理,(p-1)!==-1modp