就是用来求解 x 2 ≡ n   m o d   p x^2\equiv n \bmod p x2≡nmodp的一个方法
对 p p p进行分类讨论:
- p = 2 p=2 p=2 ,则 x = n x=n x=n
- p p p为奇素数
勒让德符号:
( a p ) = { 1 a 在 模 p 意 义 下 是 二 次 剩 余 − 1 a 在 模 p 意 义 下 是 非 二 次 剩 余 0 a ≡ 0   m o d   p \begin{pmatrix}\frac{a}{p}\end{pmatrix}=\begin{cases}1&a在模p意义下是二次剩余\\-1&a在模p意义下是非二次剩余\\0&a\equiv 0\bmod p\end{cases} (pa)=⎩⎪⎨⎪⎧1−10a在模p意义下是二次剩余a在模p意义下是非二次剩余a≡0modp
有一个定理: ( a p ) ≡ a p − 1 2   m o d   p \begin{pmatrix}\frac{a}{p}\end{pmatrix}\equiv a^{\frac{p-1}{2}}\bmod p (p