a n ⋅ x n + … + a 1 ⋅ x + a 0 ≡ 0 ( m o d p ) ( 1 ) a_{n}\cdot x^{n}+\ldots+a_{1}\cdot x+a_{0}\equiv0\; (mod \;p)\qquad (1) an⋅xn+…+a1⋅x+a0≡0(modp)(1) 其中是 p p p素数, a n ≠ 0 ( m o d p ) a_{n}\neq 0 \; (mod \;p) an=0(modp)
定理1 存在余式同余
同余式(1)与一个次数不超过 p − 1 p-1 p−1的素数模同余式等价
证:
由多项式的带余式除法知有多项式 q ( x ) q(x) q(x) ——商, r ( x ) r(x) r(x)——余,使得
a n ⋅ x n + … + a 1 ⋅ x + a 0 = ( x p − x ) q ( x ) + r ( x ) a_{n}\cdot x^{n}+\ldots+a_{1}\cdot x+a_{0}=(x^{p}-x)q(x)+r(x) an⋅xn+…+a1⋅x+a0=(xp−x)q(x)+