ax²+bx+c≡0 mod m 和 x²≡a mod p的解存在性分析

$f\left(x\right)=a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}m$的解存在性分析

1. 对$m$进行素因子分解得到
   $$m={p_1}^{e_1}\cdots {p_n}^{e_n}$$
   则原同余式等价于下面的同余式组
   $$\{\begin{array}{c}a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}{p_1}^{e_1}\\ ⋮\\ a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}{p_n}^{e_n}\end{array}$$
   故我们只需要讨论以素数模为模的同余式
   $$a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}{p}^e$$

2. 欲求解$a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}{p}^e$，只需要解出$a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$。
   若$f\left(x\right)\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$无解，则$f\left(x\right)\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}{p}^e$也无解。
   若$f\left(x\right)\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$有解，则根据Hensel引理一步步迭代求解即可。因此我们只需要讨论同余式
   $$a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$

3. 下面基于$p$与$a,b,c$的关系进行分类讨论。

   1. 若$p|a\&p|b\&p|c$，则同余式恒成立，$\forall x\in \mathbb{Z}$都是同余式的解。
   2. 若$p|a,p|b,p\cancel{|}c$，则$a{x}^2+bx+c\equiv c\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p$，故同余式无解。
   3. 若$p|a,p\cancel{|}b$，则$a{x}^2+bx+c\equiv bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$有解（因为$\gcd \left(b,p\right)=1$）。
   4. 若$p>2,p\cancel{|}a$，则有
      $$\begin{array}{rl}& \gcd \left(a,p\right)=1\\ & \gcd \left(2,p\right)=1\end{array}\}\Rightarrow \gcd \left(4a,p\right)=1$$
      对同余式进行等价转化如下。
      $$\begin{array}{rl}& a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p\\ & \iff 4a\left(a{x}^2+bx+c\right)={\left(2ax+b\right)}^2+4ac-b^2\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p\\ & \iff {\left(2ax+b\right)}^2\equiv b^2-4ac\mathrm{m}\mathrm{o}\mathrm{d}p\end{array}$$
      先解$y^2\equiv \Delta =b^2-4ac$，若无解，则$f\left(x\right)\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$肯定也无解；若有解，再解$2ax+b\equiv y\mathrm{m}\mathrm{o}\mathrm{d}p$，而由于$\gcd \left(2a,p\right)=1$，因此这个一次同余式是肯定有解的，继而$f\left(x\right)\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$肯定也是有解的。
   5. 若$p=2,2\cancel{|}a$，原同余式等价于
      $$a{x}^2+bx+c\equiv \left(1+b\right)x\equiv c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}2$$
      若$b$偶，则存在唯一解$x\equiv c\mathrm{m}\mathrm{o}\mathrm{d}2$；若$b$奇$c$奇，则无解；若$b$奇$c$偶，则有两解$x\equiv 0,1\mathrm{m}\mathrm{o}\mathrm{d}2$。

  基于上述讨论，全面解决一般二次同余式$a{x}^2+bx+c\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}m$的唯一一个难点是解
$$y^2\equiv b^2-4ac\mathrm{m}\mathrm{o}\mathrm{d}p$$
即涉及解如下形式的二次同余式
$$x^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}p$$
其中$p$是奇素数。这也就引出了下面要讨论的内容。

模$m$的平方剩余与平方非剩余的定义

  设$a\in \mathbb{Z},m\in {\mathbb{Z}}_{>0}$。

  若$x^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}m$有解，则称$a$为模$m$的平方剩余；

  若$x^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}m$无解，则称$a$为模$m$的平方非剩余。

$x^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}p$（$p$是一奇素数，$\gcd \left(a,p\right)=1$）的解存在性分析

  设$p$是一奇素数，$a\in \mathbb{Z}$且$\gcd \left(p,a\right)=1$，考虑同余式
$$x^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}p$$

Euler判别法：$p$是一奇素数，若$\gcd \left(a,p\right)=1$，则$$\begin{array}{rl}& a是模p的平方剩余\iff a^{\frac{p-1}{2}}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p,此时恰有两解\\ & a是模p的平方非剩余\iff a^{\frac{p-1}{2}}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p\end{array}$$

证明

1. $\gcd \left(a,p\right)=1$，$p$是素数，根据欧拉定理，有
   a φ ( p ) = a p − 1 ≡ 1     m o d   p { {a}^{\varphi \left( p \right)}}={ {a}^{p-1}}\equiv 1\text{ }\bmod p