二次同余和高次同余的几个命题

命题一：设$p$是奇素数，$p\nmid a$。存在正整数$u,v,(u,v)=1$，使得$u^2+v^2\equiv 0(modp)$的充要条件是$-a$是模$p$的二次剩余。
（选自《信息安全数学基础（第二版）第4章习题》）

$$\begin{gathered} 证明： \\ （1）充分性：因为-a是模p的二次剩余， \\ 所以同余方程x^2\equiv -a(modp)有解，记为x_0。 \\ 所以存在正整数u=x_0，v=1，(u,v)=1，使得u^2+a{v}^2\equiv 0(modp)。 \\ （2）必要性：因为u^2+a^2\equiv 0(modp)， \\ 所以存在k满足kp=a{v}^2+u^2，又因为p，v，u均不为0， \\ 所以(kp,v^2)=(v^2,u^2)=1\Rightarrow (p,v)=1。 \\ 所以存在正整数v^{\prime }使得v{v}^{\prime }\equiv 1(modp) \\ 上式两边同乘v^{\prime 2}，得u^2{v}^{\prime 2}+a{v}^2{v}^{\prime 2}\equiv (u{v}^{\prime }{)}^2+a\equiv 0(modp)。 \\ 所以同余方程x^2\equiv -a(modp)有解，解为u{v}^{\prime }。 \end{gathered}$$
 

命题二：设素数$p>2$，$x^4\equiv -4(modp)$有解的充要条件是$p\equiv 1(mod4)$。
（选自《信息安全数学基础（第二版）第4章习题》）

$$\begin{gathered} 证明： \\ （1）必要性：因为x^4\equiv -4(modp)有解，所以x^2\equiv -4(modp)有解。 \\ 所以(\frac{-4}{p})=1。 \\ 因为(\frac{-4}{p})=(\frac{-1}{p})(\frac{2^2}{p})=(-1{)}^{\frac{p-1}{2}}=1。 \\ 所以存在k\in \mathbb{Z}，使得\frac{p-1}{2}=2k\Rightarrow p=4k+1。 \\ 所以p\equiv 1(mod4)。 \\ （2）充分性：因为p\equiv 1(mod4)，所以存在k\in \mathbb{Z}，使p=4k+1。 \\ 所以(\frac{-1}{p})=(-1{)}^{\frac{p-1}{2}}=(-1{)}^{2k}=1，则x^2\equiv -1(modp)有解，记为x_0+1。 \\ 所以(x_0+1{)}^2\equiv -1(modp)，即x_0^2\equiv -2(x_0+1)(mdp)。上式两边同时平方，得x_0^4\equiv 4(x_0+1{)}^2\equiv -4(modp)。 \\ 所以同余方程x^4\equiv -4(modp)有解，解为x_0。 \end{gathered}$$
 

命题三：对任意素数$p$，必有整数$a,b,c,d$使得

$$x^4+1\equiv (x^2+ax+b)(x^2+cx+d)(modp)$$

(选自《信息安全数学基础（第二版）第4章习题》）

$$\begin{gathered} 证明：先考虑给定一个素数p，x_0取遍整数集中的所有值。 \\ （1）当p\nmid x_0时，取b=c=d=0，则 \\ \begin{array}{rl}& (x_0^2+a{x}_0+b)(x_0^2+c{x}_0+d)\\ =& x_0^4+(a+c)x_0^3+(ac+b+d)x_0^2+(ad+bc)x_0+bd\\ =& x_0^4+a{x}_0^3.\end{array} \\ 令y_0=x_0^3。因为p为素数，又p\nmid x_0，所以(p,x_0)=1\Rightarrow (p,y_0)=1。 \\ 所以存在正整数y_0^{\prime }，使得y_0^{\prime }{y}_0\equiv 1(modp)。 \\ 取a=y_0^{\prime }，则(x_0^2+a{x}_0+b)(x_0^2+c{x}_0+d)\equiv (x_0^4+1)(modp)。 \\ （2）当p\mid x_0时，有 \\ \begin{array}{rl}& (x_0^2+a{x}_0+b)(x_0^2+c{x}_0+d)\\ =& x_0^4+(a+c)x_0^3+(ac+b+d)x_0^2+(ad+bc)x_0+bd\\ \equiv & (x_0^4+bd)(modp).\end{array} \\ 令b=d=1，则(x_0^2+a{x}_0+b)(x_0^2+c{x}_0+d)\equiv (x_0^4+1)(modp)。 \\ 再将p一般化，那么： \\ 对任意素数p，必有整数a,b,c,d使得x^4+1\equiv (x^2+ax+b)(x^2+cx+d)(modp) \end{gathered}$$
 

命题四：对任意素数$p$，同余式

$$(x^2-2)(x^2-17)(x^2-34)\equiv 0(modp)$$

有解。

（选自《信息安全数学基础（第二版）第4章习题》）

$$\begin{gathered} 证明： \\ （1）若p=2或p=17，则x\equiv 0(modp)为该同余方程的一个解。 \\ （2）否则，因为p为奇素数，所以(\frac{34}{p})=(\frac{2}{p})(\frac{17}{p})。 \\ 因为p不整除2，17与34，所以(\frac{34}{p})，(\frac{2}{p})，(\frac{17}{p})的取值范围为-1,1。 \\ 所以(\frac{34}{p})，(\frac{2}{p})，(\frac{17}{p})中至少有一项为1。 \\ 若(\frac{2}{p})=1，则x^2\equiv 2(modp)有解，即x^2-2\equiv 0(modp)有解。 \\ 所以(x^2-2)(x^2-17)(x^2-34)\equiv 0(modp)有解。 \\ 同理，若(\frac{17}{p})=1或(\frac{34}{p})=1，都可推出(x^2-2)(x^2-17)(x^2-34)\equiv 0(modp)有解。 \\ 综上，对任意素数p，同余式(x^2-2)(x^2-17)(x^2-34)\equiv 0(modp)有解。 \end{gathered}$$