浙江理工大学 数论基础 考试 笔记

浙江理工大学 数论基础考试 个人整理笔记（Latex代码写了好几个小时，csdn的Ketex和Latex还是有些许区别，还得改一改才能用）

$2$个小时，$5-6$个题目

一、$p2$ 定理$1$：带余除法的证明

定理$1$：设$a，b$是两个整数，其中$b>0$，则存在两个唯一的整数$q$及$r$，使得

$$a=bq+r，0⩽r$$

成立

证明：作整数序列 $...,-3b,-2b,-b,0,b,2b,3b,...$

则a必定在某两项之间，即存在$q$使得
$$qb⩽a<(q+1)b$$

成立，令$a-bq=r$，则结论成立
设 q 1 ， r 1 是 另 一 对 整 数 b q 1 + r 1 = b q + r ∴ b ( q − q 1 ) = r 1 − r ∴ b ∣ ( r 1 − r ) 假 设 r − r 1 ≠ 0 ∴ ∣ b ∣ ⩽ ∣ r 1 − r ∣ ⩽ b − 1 ∴ ∣ b ∣ < b 矛 盾 ∴ q = q 1 证 毕 \begin{aligned} && &设q_{1}，r_{1}是另一对整数\\ && &bq_{1}+r_{1}=bq+r\\ && &\therefore b(q-q_{1}) = r_{1}-r\\ && &\therefore b|(r_{1}-r)\\ && &假设r-r_{1}\not = 0\\ && &\therefore |b|\leqslant|r_{1}-r|\leqslant b-1\\ && &\therefore |b|<b矛盾\\ && &\therefore q = q_{1}\\ && &证毕\\ \end{aligned} ​​​设q1​，r1​是另一对整数bq1​+r1​=bq+r∴b(q−q1​)=r1​−r∴b∣(r1​−r)假设r−r1​​=0∴∣b∣⩽∣r1​−r∣⩽b−1∴∣b∣<b矛盾∴q=q1​证毕​

二、$p7$ 定理$1$：$(a,b)[a,b]=ab$

定理$1$：设$a，b$是任给的两个正整数，则

$[a,b]=\frac{ab}{(a,b)}$

证明：$iff$ $\frac{ab}{[a,b]}⩽(a,b)且(a,b)⩽\frac{ab}{[a,b]}$

$$\begin{array}{rlrl}& & & \because \frac{ab}{[a,b]},\frac{[a,b]}{b}\in \mathbb{Z}\\ & & & \because a=\frac{ab}{[a,b]}\frac{[a,b]}{b}\\ & & & b=\frac{ab}{[a,b]}\frac{[a,b]}{a}\\ & & & \therefore \frac{ab}{[a,b]}|a且\frac{ab}{[a,b]}|b\\ & & & \therefore \frac{ab}{[a,b]}⩽(a,b)\\ & & & \because \frac{ab}{(a,b)}=a\left(\frac{b}{(a,b)}\right)\\ & & & \therefore a|\frac{ab}{(a,b)}\\ & & & 同理有\\ & & & b|\frac{ab}{(a,b)}\\ & & & \therefore \frac{ab}{(a,b)}=k[a,b]\\ & & & \therefore [a,b]=\frac{ab}{(a,b)}\\ & & & 证毕\end{array}$$

三、$p9$ 质因数唯一分解定理

引理$1$：若$a\in \mathbb{Z},a⩾2$, $q⩾2$是$a$的除1以外的最小的因子，且当$a$是合数时，$q⩽\sqrt{a}$

证明：假设$q$是合数，$q=d{d}^{{}^{\prime }},2⩽d,d^{{}^{\prime }}<q$

$\therefore d|q,q|a$

$\therefore d|a$

$\therefore q是素数$

$a=q{q}^{{}^{\prime }}$

$\therefore q⩽q^{{}^{\prime }}$

$\therefore q^2⩽q{q}^{{}^{\prime }}=q$

$\therefore q⩽\sqrt{a}$

证毕

引理$2$：$p\in \mathcal{P}$，$\forall a\in \mathbb{Z}$，则$p|a$或$(p,a)=1$

证明：

$\because (p,a)|p$且$p$是素数

$\therefore (p,a)=1或(p,a)=p$

引理3：$p\in \mathcal{P}，p|ab$，则$p|a$或$p|b$

$p|a$

$p\nmid a$则$p|b$

证毕

定理$1$：$\forall a⩾2,\exists p_1⩽p_2⩽...⩽p_n$，素数$a=p_1{p}_2\cdot \cdot \cdot p_n$，且若$\exists q_1⩽q2⩽...⩽q_n$使得$a=q_1{q}_2\cdot \cdot \cdot q_n$，则$m=n，p_i=q_i$

证明：

$a=2$成立，$a$是素数成立

$a$是合数，$\exists b,c$使得$a=bc$

$p_1{p}_2\cdot \cdot \cdot p_n=q_1{q}_2\cdot \cdot \cdot q_n$

$\therefore p_1=q_k$，$q_1=p_l$

$\therefore p_1⩽p_l=q_1，q_1⩽q_k=p_1$

$\therefore p_1⩽q_1，q_1⩽p_q$

$\therefore p_1=q_q$

同理$p_i=q_i，m=n$

证毕

四、$p13$ 定理$1$：素数个数是无穷的

定理$1$：素数的个数是无穷的

证明：假设素数的个数是有限的，那么设$p_1=2,p_2=3,...,p_k$是全体素数，再设$N=p_1{p}_2\cdot \cdot \cdot p_k+1$

$\therefore \exists q⩾2$，使得$q|N$

$\because p_i\nmid N$

$\therefore N$是素数，与假设矛盾

故素数的个数是无穷的

证毕

五、$p34$ 定理$6$：威尔逊定理

定理$6$：设$p$是一个素数，则
$$(p-1)!+1\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
证明：

$p=2,3$时成立，设$p>3$是一个奇素数， S = { 2 , 3 , . . . , p − 2 } , α ∈ S S=\{2,3,...,p-2\},\alpha \in S S={2,3,...,p−2},α∈S

$\because (a,p)=1$

$\therefore \exists m,n使得am+pn=1$有解

$\therefore am\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

令$\overline{a}=〈m{〉}_p$

$易知\overline{a}\ne 0,\overline{a}\ne 1,\overline{a}\ne p-1$

假设$a=\overline{a}$

$\therefore a\overline{a}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$\therefore a^2\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$\therefore p|(a-1)(a+1)$

$\because 1⩽a-1⩽p-3,3⩽a+1⩽p-1$

$\therefore p$与$a-1,a+1$互质，与$p$是素数矛盾

故$a\ne \overline{a}$

取$b\in S,b\ne a,b\ne \overline{a}$

则$\exists \overline{b}\in S$使得$b\overline{b}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

假设$\overline{b}=a$

$\therefore b\overline{b}=a\overline{b}$

$\because \therefore b\overline{b}=a\overline{b}\equiv 1\equiv a\overline{a}(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$\therefore a\overline{b}\equiv a\overline{a}(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$\therefore p|a(\overline{b}-\overline{a})$

$\because (p,a)=1,(p,(\overline{b}-\overline{a}))=1$，矛盾

故$\overline{b}\ne a$

故$S$中的数可分为$\frac{p-3}{2}$对，每一对$a\overline{a}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

故$2\cdot 3\cdot ...\cdot (p-2)\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$\therefore (p-1)!\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$(p-1)!+1\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$

证毕

六、$p37$ 定理$3$ + 定理$4$：欧拉定理

定义：欧拉函数$\phi (n)$是一个定义在正整数上的函数，$\phi (n)$的值等于序列$0,1,2,...,n-1$中与$n$互质的个数

$p31$定理$3$：若$ac\equiv bc(\mathrm{m}\mathrm{o}\mathrm{d}m)$，且若$(m,c)=d$，则
$$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}\frac{m}{d})$$
证明：因为$m|c(a-b)$，故$\frac{m}{d}|\frac{c}{d}(a-b)$，又因为$(\frac{m}{d},\frac{c}{d})=1$，所以$\frac{m}{d}|(a-b)$

证毕

定理$1$：模$m$的一组缩系含有$\phi (m)$个数

定理$2$：若$a_1,...,a_{\phi (m)}$是$\phi (m)$个与$m$互质的整数，则$a_1,...,a_{\phi (m)}$是模$m$的一组缩系的充分必要条件是它们两两对模$m$不同余

定理$3$：若$(a,m)=1$, $x$通过模$m$的缩系，则$ax$也通过模$m$的缩系

证明：当$x$通过模$m$的缩系，则$ax$通过模$\phi (m)$个整数，由于$(a,m)=1,(x,m)=1$,故$(ax,m)=1$.若$a{x}_1\equiv a{x}_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$ ，可得$x_1\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$，与所设$x$通过模$m$的缩系矛盾，故$ax$通过模$m$的缩系

定理$4$：设$m>1,(a,m)=1$，则
$$a^{\phi (m)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$$
证明：设$r_1,r_2,...,r_{\phi (m)}$是模$m$的一组缩系，则由定理3，$a{r}_1,a{r}_2,...,a{r}_{\phi (m)}$也是模$m$的一组缩系，故
$$(a{r}_1)(a{r}_2)\cdot \cdot \cdot (a{r}_{\phi (m)})\equiv r_1{r}_2\cdot \cdot \cdot r_{\phi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$$
即
$$a^{\phi (m)}{r}_1{r}_2\cdot \cdot \cdot r_{\phi (m)}\equiv r_1{r}_2\cdot \cdot \cdot r_{\phi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$$
由于
$$(r_i,m)=1,i=1,2,...,\phi (m)$$
故
$$(r_1,r_2,...,r_{\phi (m)})=1$$

根据$p31$定理$3$，和上述两个结论可得
$$a^{\phi (m)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$$
证毕

七、$p43$ 定理$1$：拉格朗日定理

定理$1$：设$p$是一个素数，
$$f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_1{x}^1+a_0,n>0,a_n\ne 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
是一个整系数多项式，则同余式
$$f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
最多有$n$个解

证明：使用数学归纳法证明，当$n$等于1时，设一次同余式为
$$a_{1}x+a_0\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p),p\nmid a_1$$
因为$p\nmid a_1$，故恰有一解，假设当同余式次数为$n-1$时成立，当次数为$n$时，若$n⩾p$时结论显然成立，故设$n⩽p-1$，利用反证法，假设同余式有$n+1$个解
$$x_0,x_1,...,x_n,x_i\ne x_j(\mathrm{m}\mathrm{o}\mathrm{d}p),0⩽i<j⩽n$$
此时出现矛盾，因为
$$f(x)-f(x_0)=\sum _{k=1}^n{a}_k(x^k-x_0^k)=(x-x_0)g(x)$$
$g(x)$是首项系数为$a_n$的$n-1$次整系数多项式，因此
$$f(x_k)-f(x_0)=(x_k-x_0)g(x_k)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
但如$k>0$，$x_k-x_0\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$，故$n-1$次同余式$g(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$有$n$个解，与假设矛盾

证毕

八、$p46$ 孙子剩余定理

$$\begin{array}{rlrl}& & & x\equiv b_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ & & & x\equiv b_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ & & & ...\\ & & & x\equiv b_k(\mathrm{m}\mathrm{o}\mathrm{d}{m}_k)\end{array}\text{\hspace{1em}(1)}$$

定理$1$：设$m_1,m_2,...,m_k$是$k$个两两互质的正整数,$m=m_1\cdot \cdot \cdot m_k,m=m_i{M}_i(i=1,...,k)$.

则同余式组)$(1)$有唯一解
$$x\equiv M_1^{{}^{\prime }}{M}_1{b}_1+M_2^{{}^{\prime }}{M}_2{b}_2+...+M_k^{{}^{\prime }}{M}_k{b}_k(\mathrm{m}\mathrm{o}\mathrm{d}m)\text{\hspace{1em}(2)}$$
其中
$$M_i^{{}^{\prime }}{M}_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)(i=1,...,k)$$
证明：

$\because (m_i,m_j)=1,i\ne j$

$\therefore (M_i,m_i)=1$

$p40$定理1：设$(a,m)=1,m>0$，则同余式
$$ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$$
恰有一个解

证明：因为$1,2,...,m$组成一组模$m$的完全剩余系，$(a,m)=1$，故$a,2a,...,ma$也组成模$m$的一组完全剩余系，故其中恰有一个数设为$a_j$，适合$a_j\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m),x\equiv j(\mathrm{m}\mathrm{o}\mathrm{d}m)$就是同余式的唯一解

由$p40$定理$1$可知对每一对$M_i$，存在使得$M_i^{{}^{\prime }}{M}_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$，因为$m=m_i{M}_i$，因此$m_j|M_i,i\ne j$，故
$$\sum _{j=1}^k{M}_j^{{}^{\prime }}{M}_j{b}_j\equiv M_i^{{}^{\prime }}{M}_i{b}_i\equiv b_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i),i=1,2,...,k$$
即$(2)$为同余式组的解

若$x_1,x_2$是适合同余式组的任意两个整数，则
$$x_1\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)(i=1,2,...,k)$$
因为$m_i,m_j=1,i\ne j$，于是$x_1\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$，故同余式组仅有唯一解$(2)$

九、莫比乌斯函数定义

定义：莫比乌斯函数$\mu (n)$，当$n=1$时，$\mu (1)=1$；当$n>1$时，设$n=p_1^{l_1}\cdot \cdot \cdot p_s^{l_s}$为$n$的标准分解式，则$\mu (n)$定义为
$$\mu (n)=\{\begin{array}{ll}(-1{)}^s& \text{当 }{l}_1=...=l_s=1时\\ 0& \text{当}某个l_j>1(1⩽j⩽s)时\end{array}$$

十、$p69$ 定理$1$（上课方法证明）

定理$1$：如果$n⩾1$,则有
$$\sum _{d|n}\mu (d)=\left[\frac{1}{n}\right]$$
证明：

当$n=1$时$\mu (1)=1$成立

当$n⩾2$时$n=p_1^{l_1}\cdot \cdot \cdot p_s^{l_s}$，若$d|n$，则$d=p_1^{{\alpha }_1}\cdot \cdot \cdot p_s^{{\alpha }_s},(0⩽{\alpha }_i⩽l_i)$，
$$\begin{array}{rlrl}& & & \sum _{d|n}\mu (d)\\ & & & =\sum _{{\alpha }_1=0}^1\cdot \cdot \cdot \sum _{{\alpha }_s=0}^1\mu (p_1^{{\alpha }_1}\cdot \cdot \cdot p_s^{{\alpha }_s})\\ & & & =\sum _{{\alpha }_1=0}^1\cdot \cdot \cdot \sum _{{\alpha }_s=0}^1\mu (p_1^{{\alpha }_1})\cdot \cdot \cdot \mu (p_s^{{\alpha }_s})\\ & & & =\sum _{{\alpha }_1=0}^1\mu (p_1^{{\alpha }_1})\cdot \cdot \cdot \sum _{{\alpha }_s=0}^1\mu (p_s^{{\alpha }_s})\\ & & & =(\mu (1)+\mu (p_1))\cdot \cdot \cdot (\mu (1)+\mu (p_s))\\ & & & =(1+(-1))\cdot \cdot \cdot (1+(-1))\\ & & & =0\end{array}$$

若$p$为素数，则$\mu (p)=-1$

证毕

十一、$p78$ 莫比乌斯变换

定义：若数论函数$f(n)$和$g(n)$适合
$$f(n)=\sum _{d|n}g(d)=\sum _{d|n}g\left(\frac{n}{d}\right)$$
称$f(n)为$g(n)的莫比乌斯变换，而$g(n)$为$f(x)的莫比乌斯逆变换

十二、$p78$ 定理及冯・曼哥特函数$\Lambda (n)$

定理：若任意两个数论函数$f(n)$和$g(n)$满足等式
$$f(n)=\sum _{d|n}g\left(\frac{n}{d}\right)\text{\hspace{1em}(1)}$$
则有
$$g(n)=\sum _{d|n}\mu (d)f\left(\frac{n}{d}\right)\text{\hspace{1em}(2)}$$
反之亦然

证明：

若$f(n)$和$g(n)$满足$(1)$，则
$$\begin{array}{rlrl}& & & \sum _{d|n}\mu (d)f\left(\frac{n}{d}\right)=\sum _{d|n}\mu (d)\sum _{d^{{}^{\prime }}|n}g(d^{{}^{\prime }})=\sum _{d{d}^{{}^{\prime }}|n}\mu (d)g(d^{{}^{\prime }})\\ & & & =\sum _{d^{{}^{\prime }}|n}\sum _{d|\frac{n}{d^{{}^{\prime }}}}\mu (d)g(d^{{}^{\prime }})=\sum _{d^{{}^{\prime }}|n}g(d^{{}^{\prime }})\sum _{d|\frac{n}{d^{{}^{\prime }}}}\mu (d)=g(n)\end{array}$$

最后一个等式用到$p69$定理$1$
$$\begin{array}{rlrl}& & & \sum _{d^{{}^{\prime }}|n}g(d^{{}^{\prime }})\sum _{d|\frac{n}{d^{{}^{\prime }}}}\mu (d)\\ & & & =\sum _{d^{{}^{\prime }}|n}g(d^{{}^{\prime }})\left[\frac{d^{{}^{\prime }}}{n}\right]\\ & & & =\sum _{d^{{}^{\prime }}=n}g(d^{{}^{\prime }})\left[\frac{d^{{}^{\prime }}}{n}\right]+\sum _{d^{{}^{\prime }}\ne n}g(d^{{}^{\prime }})\left[\frac{d^{{}^{\prime }}}{n}\right]\\ & & & =g(n)+0=g(n)\end{array}$$

若$f(n)$和$g(n)$满足$(2)$，则
$$\begin{gathered} \sum _{d|n}g(d^{{}^{\prime }})=\sum _{d|n}g\left(\frac{n}{d}\right)=\sum _{d|n}\sum _{d^{{}^{\prime }}|\frac{n}{d}}\mu \left(\frac{n}{d{d}^{{}^{\prime }}}\right)f(d^{{}^{\prime }}) \\ =\sum _{d{d}^{{}^{\prime }}|n}\mu \left(\frac{n}{d{d}^{{}^{\prime }}}\right)f(d^{{}^{\prime }})=\sum _{d^{{}^{\prime }}|n}f(d^{{}^{\prime }})\sum _{d|\frac{n}{d^{{}^{\prime }}}}\mu \left(\frac{n}{d{d}^{{}^{\prime }}}\right)=f(n) \end{gathered}$$
证毕

冯・曼哥特函数$\Lambda (n)$定义
$$\Lambda (n)=\{\begin{array}{ll}logp& n=p^m,m⩾1,p是素数\\ 0& n为其他情况\end{array}$$

$$\begin{array}{rlrl}& & & 设n=p_1^{l_1}\cdot \cdot \cdot p_k^{l_k}是n的标准分解式\\ & & & \sum _{d|n}\Lambda (n)=\sum _{s_1=0}^{l_1}\cdot \cdot \cdot \sum _{s_k=0}^{l_k}\Lambda (p_1^{s_1}\cdot \cdot \cdot p_k^{s_k})\\ & & & =\sum _{s_1=1}^{l_1}\Lambda (p_1^{s_1})+\cdot \cdot \cdot +\sum _{s_k=1}^{l_k}\Lambda (p_k^{s_k})\\ & & & =\sum _{s_1=1}^{l_1}log{p}_1+\cdot \cdot \cdot +\sum _{s_k=1}^{l_k}log{p}_k\\ & & & =l_{1}log{p}_1+\cdot \cdot \cdot +l_{k}log{p}_k=logn\end{array}$$

故$logn$是$\Lambda (n)$的莫比乌斯变换

$\Lambda (n)$是$logn$的莫比乌斯变换，故
$$\begin{array}{rlrl}& & & \Lambda (n)=\sum _{d|n}\mu (d)log\frac{n}{d}\\ & & & =logn\sum _{d|n}\mu (d)-\sum _{d|n}\mu (d)logd\\ & & & =I(n)logn-\sum _{d|n}\mu (d)logd\\ & & & =\sum _{d|n}-\mu (d)logd\end{array}$$
故$\Lambda (n)$是$-\mu (d)logd$的莫比乌斯变换

十三、$p91$ 定理$1$：陷门单向函数

定义：数论函数$f(n)$若为陷门单向函数，则满足：

①对$f(n)$的定义域内的每个$n$，均存在函数$f^{-1}(l)$，使得$f^{-1}(f(n))=f(f^{-1}(n))=n$

②$f(n)$和$f^{-1}(l)$都容易计算

③仅根据已知的计算$f(n)$的算法，去找出计算$f^{-1}$的容易算法是非常困难的

定理：设$m=pq$，适当选择两个奇素数$p,q$，以及正整数$s(1⩽s⩽\phi (m)-1)$满足$(s,p-1)=(s,q-1)=1$，则可使
$$f(n)=⟨n^s{⟩}_m\text{\hspace{1em}(1)}$$
是$1⩽n⩽m-1$上的陷门单向函数

证明：

$(s,\phi (m))=1$，存在$h$满足
$$sh\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}\phi (m)),0<h<\phi (m)\text{\hspace{1em}(2)}$$
设$f(n)=⟨n^s{⟩}_m=l,n\in [1,m-1]$定义
$$F(l)=⟨l^h{⟩}_m\text{\hspace{1em}(3)}$$
由$(1)(2)$可得
$$F(f(n))=⟨f(n{)}^h{⟩}_m\equiv f(n{)}^h\equiv n^{sh}(\mathrm{m}\mathrm{o}\mathrm{d}m)\text{\hspace{1em}(4)}$$
此时若$(n,m)=1$，利用欧拉定理，结合$(2)(4)$，可以得出$F(f(n))\equiv n(\mathrm{m}\mathrm{o}\mathrm{d}m)$，即得
$$F(f(n))=n$$
若$(n,m)>1$，则$p|n$，或$q|n$，由$(4)$分别取模$p$或模$q$，仍然给出$F(f(n))=n$，同理可证$f(F(n))=n$

当$m$是一个很大的数时，因为需要得到$h$，需得到$p,q$，但对其分解因式十分困难，故可使得$f(x)$是在$[1,m-1]$间的陷门单向函数

证毕

十四、$p98-99$ 定理$1、2$

$$x^2\equiv n(\mathrm{m}\mathrm{o}\mathrm{d}m),(n,m)=1\text{\hspace{1em}(1)}$$

定义：设$m>1$，若$(1)$有解，则$n$叫做模$m$的二次剩余；若无解，则$n$叫做模$m$的二次非剩余

解同余式$(1)$归结到$m$为素数的情形，因为$m=2$时,解同余式$(1)$变得极为容易,所以，我们着重讨论$m=p$的情形,这里$p$是一个奇素数,即二次同余式
$$x^2\equiv n(\mathrm{m}\mathrm{o}\mathrm{d}p),(p,n)=1\text{\hspace{1em}(2)}$$
定理$1$：在模$p$的缩系$1,\cdots ,p-1$中，有$\frac{p-1}{2}$个模p的二次剩余，和$\frac{p-1}{2}$个模p的二次非剩余，且
$$S=\{1,⟨2^2{⟩}_p,\dots ,⟨(\frac{p-1}{2}{)}^2{⟩}_p\}\text{\hspace{1em}(3)}$$
就是模$p$缩系中的全部二次剩余

证明：

①$S$中元素各不相同

假设$S$中有两个数相等,设为$1⩽j<i⩽\frac{p-1}{2},⟨j^2{⟩}_p=⟨i^2{⟩}_p$，则有
$$j^2=⟨j^2{⟩}_p=⟨i^2{⟩}_p\equiv i^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
即
$$(j-i)(j+i)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
因为$1<j+i<p$，故$p|j-i$，与所设$1⩽j<i⩽\frac{p-1}{2}$矛盾

故$S$中元素各不相同

②$S$中每个元素都是模$p$的二次剩余

$\forall ⟨i^2⟩\in S$

$⟨i^2⟩\equiv i^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$\therefore \exists x=i,使得x^2\equiv ⟨i^2⟩(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$\therefore ⟨i^2⟩$是模$p$的二次剩余

故$S$中每个元素都是模$p$的二次剩余

③$(3)$包含了所有的模$p$的二次剩余

设$1⩽n⩽p-1$是模$p$的一个二次剩余则二次同余式$(2)$有解$x_1$,显然$p-x_1$也是$(2)$的解.由于$x_1\ne p-x_1(\mathrm{m}\mathrm{o}\mathrm{d}p)$，再由$p43$拉格朗日定理知$(2)$若有解,则恰有二解.于是,不失一般，可设$1⩽x_1⩽\frac{p-1}{2}$，故由$1⩽n⩽p-1,⟨x_1^2{⟩}_p\equiv x_1^2\equiv n(\mathrm{m}\mathrm{o}\mathrm{d}p)$，可知$n$必与$(3)$中一数相等

证毕

定义：设$p$是奇素数，$(p,m)=1$，令
$$\left(\frac{n}{p}\right)=\{\begin{array}{ll}1& n是模p的二次剩余\\ -1& n是模p的二次非剩余\end{array}$$
函数$\left(\frac{n}{p}\right)$叫做勒让德符号

定理$2$：
$$\left(\frac{n}{p}\right)=1⟺n^{\frac{p-1}{2}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)\text{\hspace{1em}(4)}$$

$$\left(\frac{n}{p}\right)=-1⟺n^{\frac{p-1}{2}}\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}p)\text{\hspace{1em}(5)}$$

证明：若$\left(\frac{n}{p}\right)=1$，则$(2)$有解$x_1$，且$(x_1,p)=1$，利用费马小定理，由$(2)$推出
$$1\equiv x_1^{p-1}\equiv n^{\frac{p-1}{2}}(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
若$n^{\frac{p-1}{2}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$成立，表明$x^{\frac{p-1}{2}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$有解，根据拉格朗日定理该同余式至多有$\frac{p-1}{2}$个解，$\forall ⟨i^2⟩\in S$，$⟨i^2{⟩}^{\frac{p-1}{2}}\equiv (i^2{)}^{\frac{p-1}{2}}=i^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$，所以$S$中的所有元素都是同余式的解，共$\frac{p-1}{2}$个，但$n$也是同余式的解，故$\exists x\in [1,\frac{p-1}{2}]$，使得$⟨x^2⟩\equiv n(\mathrm{m}\mathrm{o}\mathrm{d}p)即x^2\equiv n(\mathrm{m}\mathrm{o}\mathrm{d}p)$，故$\left(\frac{n}{p}\right)=1$

即$(4)$成立，再由$n^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$，推出
$$(n^{\frac{p-1}{2}}-1)(n^{\frac{p-1}{2}}+1)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
因为$p$是奇素数,所以$(4)$和$(5)$有一个且只们一个成立.我们已经证明了，如果$n$是模$p$的二次剩余则$(4)$成立,故$(3)$给出了$x^{\frac{p-1}{2}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$的$\frac{p-1}{2}$个解，再由$p44定理2$

$p44$定理$2$：设同余式
$$f(x)=a_n{x}^n+\dots +a_{1}x+a_0\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
的解的个数大于$n$，这里$p$是素数，$a_i$是整数$(i=1,\dots ,n)$，则$p|a_i(i=1,\dots ,n)$

证明：设最大的不被$p$整除的系数的下标为$k$，$k$次同余式
$$a_k{x}^k+\dots +a_{1}x+a_0\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p),p\nmid a_k$$
的解的个数大于$k$，与定理$1$(拉格朗日定理)矛盾

证毕

可知，$(3)$给出了它的所有解，由定理$1$，可知模$p$的缩系中$\frac{p-1}{2}$个二次非剩余给出了$x^{\frac{p-1}{2}}\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}p)$全部解，证明若$n$是模$p$的二次非剩余，则$(5)$成立

证毕

十五、$p103$ 高斯引理

定理$1$：设$p$是一个奇素数，$(p,m)=1$，且
$$S=\{⟨n{⟩}_p,⟨2n{⟩}_p,\dots ,⟨\frac{p-1}{2}n{⟩}_p\}$$
$S$中含有$m$个大于$\frac{1}{2}p$，则
$$\left(\frac{n}{p}\right)=(-1{)}^m$$
证明：设 S = { a 1 , … , a l , b 1 , … , b m } ,    l + m = p − 1 2 S=\{a_1,\dots,a_l,b_1,\dots,b_m\},\; l+m=\frac{p-1}{2} S={a1​,…,al​,b1​,…,bm​},l+m=2p−1​

假设$a_i=p-b_j$，则

$⟨xn⟩+⟨yn⟩\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$xn+yn\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p),(1⩽x⩽\frac{p-1}{2},1⩽y⩽\frac{p-1}{2})$

$x+y\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$

$p|x+y$

与但$2⩽x+y⩽p-1$矛盾

故$a_i\ne p-b_j$

故 { a 1 , … , a l , p − b 1 , … , p − b m } = { 1 , … , p − 1 2 } \{a_1,\dots,a_l,p-b_1,\dots,p-b_m\}=\{1,\dots,\frac{p-1}{2}\} {a1​,…,al​,p−b1​,…,p−bm​}={1,…,2p−1​}
$$\begin{array}{rlrl}& & \therefore \prod _{s=1}^l{a}_s\prod _{t=1}^m(p-b_t)& =\left(\frac{p-1}{2}\right)!\\ & & \left(\frac{p-1}{2}\right)& !=\prod _{s=1}^l{a}_s\prod _{t=1}^m(p-b_t)\\ & & & \equiv (-1{)}^m\prod _{s=1}^l{a}_s\prod _{t=1}^m{b}_t\equiv (-1{)}^m\left(\frac{p-1}{2}\right)!n^{\frac{p-1}{2}}(\mathrm{m}\mathrm{o}\mathrm{d}p)\end{array}$$

故
$$n^{\frac{p-1}{2}}\equiv (-1{)}^m(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
因为$n^{\frac{p-1}{2}}\equiv \left(\frac{n}{p}\right)(\mathrm{m}\mathrm{o}\mathrm{d}p)$，故
$$\left(\frac{n}{p}\right)\equiv (-1{)}^m(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
故$\left(\frac{n}{p}\right)=(-1{)}^m$

证毕

证明$\left(\frac{2}{p}\right)=(-1{)}^{\frac{p^2-1}{8}}$

设素数$p⩾2$，则
$$\left(\frac{2}{p}\right)=(-1{)}^{\frac{p^2-1}{8}}$$

$$\begin{array}{rlrl}& & S& =\{⟨2{⟩}_p,⟨2\cdot 2{⟩}_p,\dots ,⟨\frac{p-1}{2}2{⟩}_p\}\\ & & & =\{2_p,2\cdot 2_p,\dots ,\frac{p-1}{2}{2}_p\}\end{array}$$

求出$S$中大于 $\frac{p}{2}$的个数$m$
2 x > p 2 ​ x > p 4 ​ x ∈ { [ p 4 ] + 1 , … , p − 1 2 } ​ 则 m = p − 1 2 − [ p 4 ] ​ 则 m ≡ p 2 − 1 8 ( m o d 2 ) ​ 故 ( 2 p ) = ( − 1 ) p 2 − 1 8 ​ \begin{aligned} && & 2x>\frac{p}{2}​ \\ && & x>\frac{p}{4} ​\\ && & x\in \{[\frac{p}{4}]+1,\dots,\frac{p-1}{2}\}​ \\ && & 则m=\frac{p-1}{2}-[\frac{p}{4}]​ \\ && & 则m\equiv \frac{p^2-1}{8} \pmod 2 ​\\ && & 故\Big(\frac{2}{p}\Big)=(-1)^{\frac{p^2-1}{8}}​\\\end{aligned} ​​​2x>2p​​x>4p​​x∈{[4p​]+1,…,2p−1​}​则m=2p−1​−[4p​]​则m≡8p2−1​(mod2)​故(p2​)=(−1)8p2−1​​​

十六、$p107$ 二次互反律（上课方法证明）

定理：设$p⩾3,q⩾3$是两个素数，$p\ne q$，则
$$\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1{)}^{\frac{p-1}{2}\frac{q-1}{2}}$$
利用高斯引理计算$\left(\frac{p}{q}\right)$
$$S=\{⟨q{⟩}_p,⟨2q{⟩}_p,\dots ,⟨\frac{p-1}{2}q{⟩}_p\}$$

当$1⩽k⩽\frac{p-1}{2}$时，有
$$kq=q_{k}p+r_k,q_k=\left[\frac{kq}{p}\right],1⩽r_k⩽p-1$$
设 S = { a 1 , … , a l , b 1 , … , b m } ,    l + m = p − 1 2 S=\{a_1,\dots,a_l,b_1,\dots,b_m\},\; l+m=\frac{p-1}{2} S={a1​,…,al​,b1​,…,bm​},l+m=2p−1​

令$a=\sum _{s=1}^l{a}_s,b=\sum _{t=1}^m{b}_t$，则
$$a+b=\sum _{k=1}^{\frac{p-1}{2}}{r}_k\text{\hspace{1em}(1)}$$
由高斯引理可知 { a 1 , … , a l , p − b 1 , … , p − b m } = { 1 , … , p − 1 2 } \{a_1,\dots,a_l,p-b_1,\dots,p-b_m\}=\{1,\dots,\frac{p-1}{2}\} {a1​,…,al​,p−b1​,…,p−bm​}={1,…,2p−1​}，故
$$\frac{p^2-1}{8}=1+2+\cdots +\frac{p-1}{2}=a+mp-b\text{\hspace{1em}(2)}$$
且
$$\frac{p^2-1}{8}q=\sum _{k=1}^{\frac{p-1}{2}}kq=p\sum _{k=1}^{\frac{p-1}{2}}{q}_k+\sum _{k=1}^{\frac{p-1}{2}}{r}_k=p\sum _{k=1}^{\frac{p-1}{2}}{q}_k+a+b\text{\hspace{1em}(3)}$$
$(3)$式减去$(2)$式得
$$\frac{p^2-1}{8}(q-1)=p\sum _{k=1}^{\frac{p-1}{2}}{q}_k-mp+2b$$
因$p-1、p+1、q-1、2b均为偶数,(p,2)=1$

故
$$m\equiv \sum _{k=1}^{\frac{p-1}{2}}{q}_k(\mathrm{m}\mathrm{o}\mathrm{d}2)$$
故
$$\left(\frac{q}{p}\right)=(-1{)}^m=(-1{)}^{\sum _{k=1}^{\frac{p-1}{2}}{q}_k}=(-1{)}^{\sum _{k=1}^{\frac{p-1}{2}}\left[\frac{kq}{p}\right]}$$
同理
$$\left(\frac{p}{q}\right)=(-1{)}^{\sum _{k=1}^{\frac{q-1}{2}}\left[\frac{kp}{q}\right]}$$
选取$xoy$坐标轴的第二象限的一块矩形区域$(0⩽X⩽\frac{p}{2},0⩽Y⩽\frac{q}{2})$，该区域内的整点有$\frac{p-1}{2}\frac{q-1}{2}$个，对角线$y=\frac{q}{p}x$上没有整点

证：假设对角线$y=\frac{q}{p}x$上有整点

$py=qx$

$\therefore p|x$

与$1⩽x⩽\frac{p-1}{2}$矛盾

故对角线$y=\frac{q}{p}x$上没有整点

取$k(1⩽k⩽\frac{p-1}{2})$，位于对角线$y=\frac{q}{p}x$下方的整点有$(k,1),(k,2),\dots ,(k,[\frac{kq}{p}])$

同理取$l(1⩽l⩽\frac{q-1}{2})$，位于对角线$y=\frac{q}{p}x$左方的整点有$(1，l),(2,l),\dots ,([\frac{kp}{q}],l)$

故
$$\sum _{k=1}^{\frac{p-1}{2}}\left[\frac{kq}{p}\right]+\sum _{k=1}^{\frac{q-1}{2}}\left[\frac{kp}{q}\right]=\frac{p-1}{2}\frac{q-1}{2}$$
即得
$$\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1{)}^{\frac{p-1}{2}\frac{q-1}{2}}$$
$(0⩽X⩽\frac{p}{2},0⩽Y⩽\frac{q}{2})$，该区域内的整点有$\frac{p-1}{2}\frac{q-1}{2}$个，对角线$y=\frac{q}{p}x$上没有整点

证：假设对角线$y=\frac{q}{p}x$上有整点

$py=qx$

$\therefore p|x$

与$1⩽x⩽\frac{p-1}{2}$矛盾

故对角线$y=\frac{q}{p}x$上没有整点

取$k(1⩽k⩽\frac{p-1}{2})$，位于对角线$y=\frac{q}{p}x$下方的整点有$(k,1),(k,2),\dots ,(k,[\frac{kq}{p}])$

同理取$l(1⩽l⩽\frac{q-1}{2})$，位于对角线$y=\frac{q}{p}x$左方的整点有$(1，l),(2,l),\dots ,([\frac{kp}{q}],l)$

故
$$\sum _{k=1}^{\frac{p-1}{2}}\left[\frac{kq}{p}\right]+\sum _{k=1}^{\frac{q-1}{2}}\left[\frac{kp}{q}\right]=\frac{p-1}{2}\frac{q-1}{2}$$
即得
$$\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1{)}^{\frac{p-1}{2}\frac{q-1}{2}}$$
证毕