x²≡a mod p（p是奇素数）的解法（配例题）

$p=4m+3$的情况

  已知同余式有解的情况下，

1. 若$p|a$，则原同余式等价于
   $$x^2\equiv a\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$
   有唯一解
   $$x\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$
2. 若$p\cancel{|}a$，由于$p=4m+3$是奇素数，$a$是模$p$的平方剩余，由欧拉判别方法有
   $$\begin{array}{rl}& a^{\frac{p-1}{2}}=a^{\frac{4m+3-1}{2}}=a^{2m+1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p\\ & \Rightarrow x^2\equiv a=a\times 1\equiv a\times a^{2m+1}={\left(a^{m+1}\right)}^2\mathrm{m}\mathrm{o}\mathrm{d}p\end{array}$$
   显然地，
   $$x\equiv \pm a^{m+1}\mathrm{m}\mathrm{o}\mathrm{d}p$$
   是同余式的两解。且由于$p$是奇素数，同余式的解数$\le \mathrm{deg}\left(x^2-a\right)=2$，因此这两解也是所有的解。
   
   

例题

1. 同余式$x^2\equiv 2\mathrm{m}\mathrm{o}\mathrm{d}7$是否有解？如果有，不用穷举法求其解。
   $\left(7=4\times 1+3\right)$
   解
     $7$是奇素数，因此可用Legendre符号来判断是否有解。
   且由于$7\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}8$，有$\left(\frac{2}{7}\right)=1$，因此原同余式有解。
   由欧拉判别方法，有
   $$\begin{array}{rl}& 2^{\frac{7-1}{2}}=2^3\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}7\\ & \Rightarrow x^2\equiv 2=2\times 1\equiv 2\times 2^3=2^4\mathrm{m}\mathrm{o}\mathrm{d}7\end{array}$$
   显然
   $$x\equiv \pm 2^2=\pm 4\equiv \mp 3\mathrm{m}\mathrm{o}\mathrm{d}7$$
   是同余式的两解。由于模数$7$是奇素数，因此该同余式的解数$\le \mathrm{deg}\left(x^2-2\right)=2$。因此这两解也是所有的解。
   
   

2. 同余式$x^2\equiv 5\mathrm{m}\mathrm{o}\mathrm{d}11$是否有解？如果有，不用穷举法求其解。
   $\left(11=4\times 2+3\right)$
   解
     由于$11$是奇素数，因此可用Legendre符号判断是否有解。
   由于$5\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$，因此由二次反转律有
   $$\left(\frac{5}{11}\right)=\left(\frac{11}{5}\right)=\left(\frac{1}{5}\right)=1$$
   即同余式有解。
   由欧拉判别方法，得
   $$\begin{array}{rl}& 5^{\frac{11-1}{2}}=5^5\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}11\\ & \Rightarrow x^2\equiv 5=5\times 1\equiv 5\times 5^5=5^6\mathrm{m}\mathrm{o}\mathrm{d}11\end{array}$$
   显然
   $$x\equiv \pm 5^3=\pm 125\equiv \pm 4\mathrm{m}\mathrm{o}\mathrm{d}11$$
   是其两解。且由于$11$是奇素数，同余式解数$\le \mathrm{deg}\left(x^2-5\right)=2$，因此这两解也是同余式所有的解。
   
   

$p=8m+5$的情况

  已知同余式有解的情况下，

1. 若$p|a$，则原同余式等价于
   $$x^2\equiv a\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$
   有唯一解
   $$x\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$

2. 若$p\cancel{|}a$，由于$p=8m+5$是奇素数，$a$是模$p$的平方剩余，由欧拉判别方法有
   $$a^{\frac{p-1}{2}}=a^{\frac{8m+5-1}{2}}=a^{4m+2}={\left(a^{2m+1}\right)}^2\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$$
   因此有
   $$a^{2m+1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p\text{ 或 }{a}^{2m+1}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$$

   1. 当$a^{2m+1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$时，有
      $${\left(a^{m+1}\right)}^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}p$$
      此时原同余式等价于
      $$x^2\equiv a\equiv {\left(a^{m+1}\right)}^2\mathrm{m}\mathrm{o}\mathrm{d}p$$
      有且只有两个解
      $$x\equiv \pm a^{m+1}\mathrm{m}\mathrm{o}\mathrm{d}p$$

   2. 当$a^{2m+1}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$时，考虑到奇素数$p=8m+5\equiv -3\mathrm{m}\mathrm{o}\mathrm{d}8$，$2$是模$p$的平方非剩余，有
      $$2^{\frac{p-1}{2}}=2^{\frac{8m+5-1}{2}}=2^{4m+2}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$$
      因此有
      $$\begin{array}{rl}& a^{2m+1}{\left(2^{2m+1}\right)}^2\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}p\\ & \Rightarrow \left(a^{m+1}{2}^{2m+1}\right)\end{array}$$