【算法讲18：二次剩余】勒让德符号 | 欧拉判别法 | Cipolla 算法

$\mathfrak{S}\mathfrak{o}\mathfrak{u}\mathfrak{r}\mathfrak{c}\mathfrak{e}$

• 《初等数论及其应用》第六版第十一章
  省略了很多帮助理解的例子和证明。浓缩了一下密集的知识点。
  Cipolla算法学习小记 [ 1 ]

$\lceil$二次剩余$\rfloor$与$\lceil$二次非剩余$\rfloor$

• 定义：
  设 $m$ 是正整数，$a$ 是整数，若 $(a,m)=1$，且同余方程 $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$ 的二次非剩余。
• 引理 $11.1$
  设 $p$ 是奇素数， $a$ 是不被 $p$ 整除的整数，则同余方程
  $$x^2\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
  或者无解，或者恰有两个模 $p$ 不同余的解。
  证明：（1）若该同余方程有解，不妨设 $x=x_0$，易得 $x=-x_0$ 是不同余的解。
  （2）为证不存在多于两个不同余的解，设 $x_0$ 和 $x_1$ 都是该同余方程的解。
  则有 $x_0^2=x_1^2\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$，于是 $x_0^2-x_1^2=(x_0+x_1)(x_0-x_1)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$
  因此 $p|(x_0+x_1)$ 或 $p|(x_0-x_1)$，于是 $x_1\equiv -x_0(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 或者 $x_1\equiv x_0(\mathrm{m}\mathrm{o}\mathrm{d}p)$.
  因此，若 $x_2\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$，则只能有两个不同余的解。
• 定理 $11.1$
  若 $p$ 是奇素数，则在整数 $1,2,\cdots ,p-1$ 中，$p$ 的二次剩余恰有 $(p-1)/2$个，二次非剩余恰有 $(p-1)/2$ 个。
• 勒让德符号
  设 $p$ 是奇素数，整数 $a$ 不被 $p$ 整除，勒让德符号定义为：
  $$(\frac{a}{p})=$$