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)}^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}p\end{array}$$
      此时原同余式等价于
      $$x^2\equiv a\equiv {\left(a^{m+1}{2}^{2m+1}\right)}^2\mathrm{m}\mathrm{o}\mathrm{d}p$$
      有且只有两个解
      $$x\equiv \pm a^{m+1}{2}^{2m+1}\mathrm{m}\mathrm{o}\mathrm{d}p$$
      
      

例题

1. 同余式$x^2\equiv 3\mathrm{m}\mathrm{o}\mathrm{d}13$是否有解？如果有，不用穷举法求其解。
   $\left(13=8\times 1+5\right)$
   解
     $13$是奇素数，于是可用Legendre符号来判断是否有解。
   由于$13\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$，由二次反转律有
   $$\left(\frac{3}{13}\right)=\left(\frac{13}{3}\right)=\left(\frac{1}{3}\right)=1$$
   原同余式有解。
   由欧拉判别方法有
   $$3^{\frac{13-1}{2}}=3^6\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}13$$
   开方得
   $$3^3\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}13$$
   而实际计算得
   $$\begin{array}{rl}& 3^3=27\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}13\\ & \Rightarrow x^2\equiv 3=3\times 1\equiv 3\times 3^3=3^4\mathrm{m}\mathrm{o}\mathrm{d}13\end{array}$$
   同余式有且只有两解
   $$x\equiv \pm 3^2=\pm 9\equiv \mp 4\mathrm{m}\mathrm{o}\mathrm{d}13$$
   
   

2. 同余式$x^2\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}13$是否有解？如果有，不用穷举法求其解。
   $\left(13=8\times 1+5\right)$
   解
     模数$13$是奇素数，因此可用Legendre符号来判断是否有解。
   由于$13\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$，因此有$\left(\frac{-1}{13}\right)=1$，原同余式有解。
   由欧拉判别方法，有
   $${\left(-1\right)}^{\frac{13-1}{2}}={\left(-1\right)}^6\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}13$$
   开方得
   $${\left(-1\right)}^3\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}13$$
   实际计算得
   $${\left(-1\right)}^3\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}13$$
   下面寻找另一个偶数次幂模$13$等于$-1$的例子。
   由于$13\equiv -3\mathrm{m}\mathrm{o}\mathrm{d}8$，因此$2$是模$13$的平方非剩余，有
   $$2^{\frac{13-1}{2}}=2^6\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}13$$
   因此有
   $$\begin{array}{rl}& {\left(-1\right)}^3\times 2^6\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}13\\ & \Rightarrow x^2\equiv -1=\left(-1\right)\times 1\equiv {\left(-1\right)}^4{2}^6\mathrm{m}\mathrm{o}\mathrm{d}13\end{array}$$
   同余式有且只有两解
   $$x\equiv \pm 2^3=\pm 8\equiv \mp 5\mathrm{m}\mathrm{o}\mathrm{d}13$$
   
   

3. 同余式$x^2\equiv 13\mathrm{m}\mathrm{o}\mathrm{d}29$是否有解？如果有，不用穷举法求其解。
   $\left(29=8\times 3+5\right)$
   解
     模数$29$是奇素数，因此可用Legendre符号判断是否有解。
   由于$29\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$，$13\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$，由二次反转律有
   $$\left(\frac{13}{29}\right)=\left(\frac{29}{13}\right)=\left(\frac{3}{13}\right)=\left(\frac{13}{3}\right)=\left(\frac{1}{3}\right)=1$$
   因此原同余式有解。
   由欧拉判别方法，有
   $${13}^{\frac{29-1}{2}}={13}^{14}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}29$$
   开方得
   $${13}^7\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}29$$
   实际计算得
   $$\begin{array}{rl}& {13}^7={169}^3\times 13\equiv {\left(-5\right)}^3\times 13=25\times \left(-65\right)\\ & \equiv \left(-4\right)\times \left(-7\right)=28\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}29\end{array}$$
   下面找一个模$29$的平方非剩余。因为$29\equiv -3\mathrm{m}\mathrm{o}\mathrm{d}8$，因此$2$是模$29$的平方非剩余，有
   $$2^{\frac{29-1}{2}}=2^{14}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}29$$
   于是有
   $$\begin{array}{rl}& {13}^7\times 2^{14}\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}29\\ & \Rightarrow x^2\equiv 13=13\times 1\equiv {13}^8\times 2^{14}\mathrm{m}\mathrm{o}\mathrm{d}29\end{array}$$
   有且只有两解
   $$\begin{array}{rl}& x\equiv \pm {13}^4\times 2^7\\ & =\pm {169}^2\times 32\times 4\\ & \equiv \pm {\left(-5\right)}^2\times 3\times 4\\ & =\pm 25\times 12\\ & \equiv \mp 4\times 12\\ & =\mp 48\\ & \equiv \pm 10\mathrm{m}\mathrm{o}\mathrm{d}29\end{array}$$
   
   

$p=8m+1$的情况（已知$N$是模$p$的平方非剩余）

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

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+1$是奇素数，$a$是模$p$的平方剩余，由欧拉判别方法有
   $$a^{\frac{p-1}{2}}=a^{\frac{8m+1-1}{2}}=a^{4m}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$$
   并将$m$分解为以下形式
   $$m=2^e{m}_1$$
   其中$m_1\in \mathbb{Z}$，$\gcd \left(2,m_1\right)=1$，$e\in {\mathbb{Z}}_{\ge 0}$。于是有
   $$a^{2^{2+e}{m}_1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$$
   另一方面，由于$N$是模$p$的平方非剩余，由欧拉判别方法有
   $$N^{\frac{p-1}{2}}=N^{4m}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$$
   基于此，执行以下算法来求解同余式$x^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}p=8m+1$。
   第一步：令$A=a^{2^{2+e}{m}_1}$，$n=2+e$；
   第二步：解$A\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$得到$A^{\frac{1}{2}}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$或$A^{\frac{1}{2}}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$；
   第三步：若$A^{\frac{1}{2}}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$，则令$A=A^{\frac{1}{2}}$；若$A^{\frac{1}{2}}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$，则令$A=A^{\frac{1}{2}}{N}^{4m}$；
   第四步：令$n=n-1$，若$n=0$，则输出同余式的解
   $$x\equiv \pm {\left(aA\right)}^{\frac{1}{2}}\mathrm{m}\mathrm{o}\mathrm{d}p$$
   若$n>0$，则返回第二步。
   
   

例题

1. 同余式$x^2\equiv 2\mathrm{m}\mathrm{o}\mathrm{d}17$是否有解？如果有，不用穷举法求其解。
   $\left(17=8\times 2+1\right)$
   解
     模数$17$是奇素数，因此可用Legendre符号判断是否有解。
   由于$17\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}8$，因此$\left(\frac{2}{17}\right)=1$，原同余式有解。
   由欧拉判别方法有
   $$2^{\frac{17-1}{2}}=2^8\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   通过开方运算有
   $$2^4\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17\text{ 异或 }{2}^2\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17\text{ 异或 }2\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   由实际计算，仅成立
   $$2^4\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   下面找一个模$17$的平方非剩余。
   由于$17\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$，因此有
   $$\left(\frac{3}{17}\right)=\left(\frac{17}{3}\right)=\left(\frac{2}{3}\right)=-1\left(\because 3\equiv 3\mathrm{m}\mathrm{o}\mathrm{d}8\right)$$
   由欧拉判别方法有
   $$3^{\frac{17-1}{2}}=3^8\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   因此有
   $$2^4\times 3^8\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   通过开方运算有
   $$2^2\times 3^4\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17\text{ 异或 }2\times 3^2\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   而由实际计算，仅成立
   $$\begin{array}{rl}& 2\times 3^2=18\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}17\\ & \Rightarrow x^2\equiv 2=2\times 1\equiv 2^2\times 3^2\mathrm{m}\mathrm{o}\mathrm{d}17\end{array}$$
   同余式有且只有两解
   $$x\equiv \pm 2\times 3=\pm 6\mathrm{m}\mathrm{o}\mathrm{d}17$$
   
   

2. 同余式$x^2\equiv 13\mathrm{m}\mathrm{o}\mathrm{d}17$是否有解？如果有，不用穷举法求其解。
   $\left(17=8\times 2+1\right)$
   解
     模数$17$是奇素数，因此可用Legendre符号判断是否有解。
   $$\left(\frac{13}{17}\right)=\left(\frac{-4}{17}\right)=\left(\frac{-1\times 2^2}{17}\right)=\left(\frac{-1}{17}\right)\left(\because 17\cancel{|}2\right)$$
   由于$17\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$，因此$\left(\frac{-1}{17}\right)=1$，即
   $$\left(\frac{13}{17}\right)=1$$
   原同余式有解。
   由欧拉判别方法有
   $${13}^{\frac{17-1}{2}}={13}^8\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   通过开方操作得到
   $${13}^4\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17异或{13}^2\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17异或13\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   而实际计算得仅成立
   $${13}^2={\left(-4\right)}^2=16\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   下面找一个模$17$的平方非剩余。由于
   $$\begin{array}{rl}& \left(\frac{3}{17}\right)=\left(\frac{17}{3}\right)\left(\because 17\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4\right)\\ & =\left(\frac{-1}{3}\right)\\ & =-1\left(\because 3\equiv 3\mathrm{m}\mathrm{o}\mathrm{d}4\right)\end{array}$$
   因此由欧拉判别方法有
   $$3^{\frac{17-1}{2}}=3^8\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   因此有
   $${13}^2\times 3^8\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   开方得
   $$13\times 3^4\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}17$$
   实际计算得
   $$\begin{array}{rl}& 13\times 3^4=13\times 81\equiv \left(-4\right)\times \left(-4\right)=16\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}17\\ & \Rightarrow x^2\equiv 13\equiv 13\times \left(-1\right)\times \left(-1\right)=13\times \left(13\times 3^4\right)\times 3^8={\left(13\times 3^6\right)}^2\mathrm{m}\mathrm{o}\mathrm{d}17\end{array}$$
   同余式有且只有两解
   $$x\equiv \pm 13\times 3^6\equiv \mp 4\times {27}^2\equiv \mp 4\times {\left(-7\right)}^2\equiv \mp 4\times \left(-2\right)\equiv \pm 8\mathrm{m}\mathrm{o}\mathrm{d}17$$
   
   

3. 同余式$x^2\equiv 53\mathrm{m}\mathrm{o}\mathrm{d}97$是否有解？如果有，不用穷举法求其解。
   $\left(97=8\times 12+1\right)$
   解
     模数$97$是奇素数，因此可以用Legendre符号判断是否有解。
   $$\begin{array}{rl}& \left(\frac{53}{97}\right)=\left(\frac{97}{53}\right)\left(\because 53\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4\right)\\ & =\left(\frac{-9}{53}\right)=\left(\frac{-1\times 3^2}{53}\right)=\left(\frac{-1}{53}\right)\left(\because 53\cancel{|}3\right)\\ & =1\left(\because 53\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4\right)\end{array}$$
   原同余式有解。
   由欧拉判别方法，有
   $$\begin{array}{rl}& {53}^{\frac{97-1}{2}}={53}^{48}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}97\\ & \iff {\left({53}^3\right)}^{16}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   通过开方操作得
   $$\begin{array}{rl}& {53}^3\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}97异或{\left({53}^3\right)}^2\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97异或\\ & {\left({53}^3\right)}^4\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97异或{\left({53}^3\right)}^8\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   实际计算得
   $$\begin{array}{rl}& {53}^3=2809\times 53\equiv \left(-4\right)\times 53=-212\equiv -18\mathrm{m}\mathrm{o}\mathrm{d}97\\ & {\left({53}^3\right)}^2\equiv {\left(-18\right)}^2=324\equiv 33\mathrm{m}\mathrm{o}\mathrm{d}97\\ & {\left({53}^3\right)}^4\equiv {33}^2=1089\equiv 22\mathrm{m}\mathrm{o}\mathrm{d}97\\ & {\left({53}^3\right)}^8\equiv {22}^2=484\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   下面找一个模$97$的平方非剩余。由于
   $$\begin{array}{rl}& \left(\frac{5}{97}\right)=\left(\frac{97}{5}\right)\left(\because 97\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4\right)\\ & =\left(\frac{2}{5}\right)=-1\left(\because 5\equiv -3\mathrm{m}\mathrm{o}\mathrm{d}8\right)\end{array}$$
   由欧拉判别方法有
   $$5^{\frac{97-1}{2}}=5^{48}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97$$
   因此有
   $$\begin{array}{rl}& {\left({53}^3\right)}^8\times 5^{48}\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}97\\ & \iff {\left({53}^3\times 5^6\right)}^8\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   通过开方操作得到
   $$\begin{array}{rl}& {53}^3\times 5^6\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}97异或{\left({53}^3\times 5^6\right)}^2\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97\\ & 异或{\left({53}^3\times 5^6\right)}^4\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   实际计算得
   $$\begin{array}{rl}& {53}^3\times 5^6\equiv \left(-18\right)\times {125}^2\equiv \left(-18\right)\times {28}^2=\left(-18\right)\times 784\\ & \equiv \left(-18\right)\times 8=-144\equiv 50\mathrm{m}\mathrm{o}\mathrm{d}97\\ & \\ & {\left({53}^3\times 5^6\right)}^2\equiv {50}^2=2500\equiv 75\mathrm{m}\mathrm{o}\mathrm{d}97\\ & \\ & {\left({53}^3\times 5^6\right)}^4\equiv {75}^2=5625\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   因此有
   $$\begin{array}{rl}& {\left({53}^3\times 5^6\right)}^4\times 5^{48}\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}97\\ & \iff {\left({53}^3\times 5^{18}\right)}^4\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   通过开方操作得到
   $${53}^3\times 5^{18}\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}97异或{\left({53}^3\times 5^{18}\right)}^2\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97$$
   实际计算得
   $$\begin{array}{rl}& {53}^3\times 5^{18}=\left({53}^3\times 5^6\right)\times 5^{12}\equiv 50\times 5^{12}\\ & \equiv 50\times {\left(5^6\right)}^2\equiv 50\times 8^2=3200\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   因此有
   $$\begin{array}{rl}& \left({53}^3\times 5^{18}\right)\times 5^{48}\equiv \left(-1\right)\times \left(-1\right)=1\mathrm{m}\mathrm{o}\mathrm{d}97\\ & \Rightarrow x^2\equiv 53=53\times 1\equiv 53\times \left({53}^3\right)\times 5^{18}\times 5^{48}={\left({53}^2\times 5^{33}\right)}^2\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   同余式有且只有两解
   $$\begin{array}{rl}& x\equiv \pm {53}^2\times 5^{33}\equiv \pm \left(-4\right)\times {\left(5^3\right)}^{11}\equiv \pm \left(-4\right)\times {28}^{11}\\ & =\pm \left(\left(-4\right)\times 28\right)\times {\left({28}^2\right)}^5\equiv \mp 15\times 8^5\\ & =\mp \left(15\times 8\right)\times {\left(8^2\right)}^2=\mp 120\times {64}^2\\ & \equiv \mp 23\times 4096\equiv \mp 23\times 22=\mp 506\equiv \mp 21\mathrm{m}\mathrm{o}\mathrm{d}97\end{array}$$
   
   

其他情况

• $p=4m+1$时，若$m$是偶数，则$\frac{m}{2}\in \mathbb{Z}$，
  $$p=4m+1=8\times \frac{m}{2}+1$$
  若$m$是奇数，则$\frac{m-1}{2}\in \mathbb{Z}$，
  $$p=4m+1=4m-4+5=4\left(m-1\right)+5=8\times \frac{m-1}{2}+5$$

• $p=8m+3$时，可化归为
  $$p=4\times \left(2m\right)+3$$

• $p=8m+7$时，可化归为
  $$p=4\times \left(2m\right)+7=4\times \left(2m+1\right)+3$$