模平方剩余(二次剩余)与欧拉判别法

跳转到页内：欧拉判别法

模平方剩余(二次剩余)

定义

  设$p$为奇素数，且$(a,p)=1$，如果二次同余式$x^2\equiv a(modp)$有解，则称$a$为模$p$的平方剩余。显然$a\ne 0$。

举例

• 如对于奇素数$p=5$，有：
  $$\begin{gathered} 1^2\equiv 1(mod5) \\ {2}^2\equiv 4(mod5) \\ {3}^2\equiv 9\equiv 4(mod5) \\ {4}^2\equiv 16\equiv 1(mod5) \end{gathered}$$
  因此，当$p=5$时，若$a=1或4$，则$x^2\equiv a(modp)$有解。故1、4为模5的平方剩余；而2、3是模5的平方非剩余。
• 如对于奇素数$p=7$，有：
  $$\begin{gathered} 1^2\equiv 1(mod7) \\ {2}^2\equiv 4(mod7) \\ {3}^2\equiv 9\equiv 2(mod7) \\ {4}^2\equiv 16\equiv 2(mod7) \\ {5}^2\equiv 25\equiv 4(mod7) \\ {6}^2\equiv 36\equiv 1(mod7) \end{gathered}$$
  因此，当$p=7$时，若$a=1或2或4$，则$x^2\equiv a(modp)$有解。故1、2、4为模5的平方剩余；而3、5、6是模5的平方非剩余。

模平方剩余的个数

结论： 设$p$为奇素数，则在模$p$的简化剩余系中，模$p$的平方剩余有$\frac{p-1}{2}$个；模$p$的平方非剩余也有$\frac{p-1}{2}$个。

证明：
取模$p$的简化剩余系：
$$-\frac{p-1}{2},-(\frac{p-1}{2}+1),\dots ,-2,-1,1,2,\dots ,\frac{p-1}{2}-1,\frac{p-1}{2}$$则模$p$的全部平方剩余为：
$$[-\frac{p-1}{2}{]}^2,[-(\frac{p-1}{2}+1){]}^2,\dots ,(-2{)}^2,(-1{)}^2,1^2,2^2,\dots ,[\frac{p-1}{2}-1{]}^2,[\frac{p-1}{2}{]}^2$$又因为$(-a{)}^2\equiv a^2(modp)$，所以模$p$的全部平方剩余可化简为：
$$1^2,2^2,\dots ,[\frac{p-1}{2}-1{]}^2,[\frac{p-1}{2}{]}^2$$下用反证法证上$\frac{p-1}{2}$个全部平方剩余数各不相同：
假设对于$i\ne j,1\le i,j\le \frac{p-1}{2}$，有$i^2\equiv j^2(modp)$成立，则必有：
$$\begin{gathered} i^2-j^2\equiv (i+j)(i-j)\equiv 0(modp) \\ 即p|(i+j)(i-j) \end{gathered}$$又因为$p$为素数，且$i、j$受范围限制，因此上式显然不成立。
故当$i^2\equiv j^2(modp)$时，必有$i=j,1\le i,j\le \frac{p-1}{2}$，因此上述平方剩余各不相同。

欧拉判别法

描述

  若$p$为奇素数，且$(a,p)=1$，判定一个数$a$是模$p$的平方剩余的充要条件是：
$$a^{\frac{p-1}{2}}\equiv 1(modp)$$  判定一个数$a$是模$p$的平方非剩余的充要条件是：
$$a^{\frac{p-1}{2}}\equiv -1(modp)$$

证明

  下仅证明平方剩余的充要条件，平方非剩余的证明类似(用Wilson定理证)：
充分性：
  设$g$是$Z_p$的本原元，则 Z p ∗ = { g 0 , g 1 , … , g p − 2 } Z_p^*=\{g^0, g^1,\dots,g^{p-2}\} Zp∗​={g0,g1,…,gp−2}。因为$(g^{2i}{)}^{\frac{p-1}{2}}\equiv 1(modp)$，所以，所有$g^{2i}$，$0\le i<\frac{p-1}{2}$均为多项式$x^{\frac{p-1}{2}}-1$的根，且是其所有的$\frac{p-1}{2}$个根。又因为：
$$a^{\frac{p-1}{2}}\equiv 1(modp)$$  所以：
$$a\equiv g^{2i}(modp),0\le i<\frac{p-1}{2}$$  故，当$x\equiv g^i$时，必有：
$$x^2\equiv (g^i{)}^2\equiv g^{2i}\equiv a(modp)$$  故充分性得证。
必要性：
  如果数$a$是模$p$的平方剩余，则$a或a+kp$必为平方数，由于$a\equiv a+kp(modp)$，因次讨论$a$为平方数的情况即可；又因为$(a,p)=1$，所以有$(\sqrt{a},p)=1$；根据费马小定理有：
$$(\sqrt{a}{)}^{p-1}\equiv 1(modp),即a^{\frac{p-1}{2}}\equiv 1(modp)$$  故必要性得证。