Legendre符号的相关引理和部分计算性质的证明

引理（Gauss)：设$p$是奇素数，$a\in \mathbb{Z}$，$\gcd \left(a,p\right)=1$。$\forall k\in \mathbb{Z}\&1\le k\le \frac{p-1}{2}$，设$r_k\in \mathbb{Z},0\le r_k<p$，$ak\equiv r_k\mathrm{m}\mathrm{o}\mathrm{d}p$，则有$\left(\frac{a}{p}\right)={\left(-1\right)}^m$，其中$m$是大于$\frac{p}{2}$的$r_k$的个数。

证明

1. 第一步，我们指出，$\forall k,ak\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p$。
   事实上有推理
   $$\begin{array}{rl}& p是素数,\gcd \left(a,p\right)=1\Rightarrow p\cancel{|}a\Rightarrow a\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p\\ & p是素数,1\le k\le \frac{p-1}{2}\Rightarrow \gcd \left(k,p\right)=1\Rightarrow p\cancel{|}k\Rightarrow k\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p\end{array}$$
   因此有$ak\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p$，也蕴含了$\forall k,r_k\ne 0$。

2. 第二步，由于$p$是奇数，$\frac{p}{2}\notin \mathbb{Z}$，因此不存在$r_k=\frac{p}{2}$。又由上述可将$r_k$的范围缩小至$0<r_k<p$，因此可将全体$r_k$划分为$A\bigcup B$，其中
   A = { r k : 0 < r k < p 2 } = { a 1 , ⋯   , a t } , B = { r k : p 2 < r k < p } = { b 1 , ⋯   , b m } , A ⋂ B = ∅ , \begin{aligned} & A=\left\{ { {r}_{k}}:0<{ {r}_{k}}<\frac{p}{2} \right\}=\left\{ { {a}_{1}},\cdots ,{ {a}_{t}} \right\}, \\ & B=\left\{ { {r}_{k}}:\frac{p}{2}<{ {r}_{k}}<p \right\}=\left\{ { {b}_{1}},\cdots ,{ {b}_{m}} \right\}, \\ & A\bigcap B=\varnothing , \\ \end{aligned} ​A={ rk​:0<rk​<2p​}={ a1​,⋯,at​},B={ rk​:2p​<rk​<p}={ b1​,⋯,bm​},A⋂B=∅,​

3. 第三步，设$a{k}_1\equiv r_1\mathrm{m}\mathrm{o}\mathrm{d}p,a{k}_2\equiv r_2\mathrm{m}\mathrm{o}\mathrm{d}p$，我们指出有$r_1+r_2\ne p$。
   事实上，若$r_1+r_2=p$，则有$a{k}_1+a{k}_2\equiv r_1+r_2=p\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$即
   $$a\left(k_1+k_2\right)\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$
   $p$是素数，$\gcd \left(a,p\right)=1$，因而$p\cancel{|}a,a\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p$，因此有
   $$k_1+k_2\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$
   但这与$2\le k_1+k_2\le p-1$矛盾。
   因此令 C = { c = p − b : b ∈ B } C=\left\{ c=p-b:b\in B \right\} C={ c=p−b:b∈B}，则有$A\bigcap C=\varnothing$，且$\forall c\in C$，$0<c<\frac{p}{2}$。

4. 第四步，我们也指出$\forall k_1\ne k_2,a{k}_1\cancel{\equiv }a{k}_2\mathrm{m}\mathrm{o}\mathrm{d}p$。
   事实上有
   $$\{\begin{array}{rl}& k_1\ne k_2\Rightarrow k_1-k_2\ne 0\\ & 1\le k_1,k_2\le \frac{p-1}{2}\Rightarrow 0\le k_1-k_2\le \frac{p-3}{2}<p\end{array}\Rightarrow k_1-k_2\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p$$
   $\gcd \left(a,p\right)=1$，$p$是素数，因此$p\cancel{|}a\Rightarrow a\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p$。
   因此有
   $$a\left(k_1-k_2\right)\cancel{\equiv }0\mathrm{m}\mathrm{o}\mathrm{d}p\iff a{k}_1\cancel{\equiv }a{k}_2\mathrm{m}\mathrm{o}\mathrm{d}p$$
   因此有$\left|A\right|+\left|C\right|=\left|A\right|+\left|B\right|=t+m=\frac{p-1}{2}$。

5. 基于上述几步的结论，有以下推理
   $$\{\begin{array}{rl}& A\bigcap C=\varnothing \\ & \left|A\right|+\left|C\right|=\frac{p-1}{2}\\ & \forall a\in A,\forall c\in C,0<a,c\le \frac{p-1}{2}\end{array}\Rightarrow A\bigcup C=\left\{1,2,\cdots ,\frac{p-1}{2}\right\}$$
   因此有
   ( p − 1 2 ) ! = ( ∏ i = 1 t a i ) ( ∏ j = 1 m p − b j ) ≡ ( ∏ i = 1 t a i ) ( ∏