二次剩余与Pell方程

二次剩余的定义：（该部分直接给定义 ）

    考虑一个素数和一个不被p整除的整数a（即a不是p的倍数，0也是p的倍数）。如果有整数x，使得$x^2\equiv a(modp)$,那么称a为p的二次剩余，也叫平方剩余；否则就称a为p的二次非剩余。
例如，2和4都是7的二次剩余
    关于加快二次剩余的计算，勒让德（A. M. Lagrange, 1752—1833）引入了如下记号，称为“勒让德符号”：
$$(\frac{a}{p})=\{\begin{array}{ll}1& 若a是p的二次剩余\\ -1& 若a是p的二次非剩余\end{array}$$
    对一般的两个非零整数a, b(b>0) ,如果存在整数x，使得 $x^2\equiv a(modb)$,那么称a是b的二次剩余，并记为$(\frac{a}{b})=1$,否则就称a是b的二次非剩余，记为$(\frac{a}{b})=-1$。此时，称$(\frac{a}{b})$为雅可比符号（Carl Gustav Jacob Jacobi,1804—1851）。勒让德符号是雅可比符号的特例。
   从欧拉定理可以得出：p恰好有$\frac{p-1}{2}$个二次剩余（后面有这个的证明）。
   同时，有$(\frac{a}{p})\equiv a^{\frac{p-1}{2}}(modp)（后面有这个式子的证明）$。
   通过该公式，可计算出勒让德符号。由此有：
   a 为模p的二次剩余的充要条件为：$a^{\frac{p-1}{2}}\equiv 1(modp)$
   a 为模p的二次非剩余的充要条件为：$a^{\frac{p-1}{2}}\equiv -1(modp)$
   对勒让德符号$(\frac{a}{p})$的计算，也可用下面的规则。对不同的奇素数p,q和不能被p整除的整数a,b,有下面的计算规则：
  （1） $$(\frac{ab}{p})=(\frac{a}{p})(\frac{b}{p})$$
   （2）$$(\frac{1}{p})=1$$
   （3）$$a\equiv b(modp)\Rightarrow (\frac{a}{p})=(\frac{b}{p})$$
   （4）$$(\frac{-1}{p})=(-1{)}^{\frac{p-1}{2}},(\frac{2}{p})=(-1{)}^{\frac{p^2-1}{2}}$$