数论第二波，欧几里得，欧拉费马，二次探测，威尔逊

---

持续更新中……

前言

数论中所有的数通常都是正整数，在出现的字母在未经说明的情况下为正整数

同余

• 定义：两个数除以同一个整数，若余数相同，则这两个整数同余
• 符号：$a\equiv b(\mathrm{mod}m)$，读作“$a$与$b$关于$m$同余”

它们具有以下性质：
1、自反性$a\equiv a(\mathrm{mod}m)$
2、对称性$a\equiv b(\mathrm{mod}m)\Rightarrow b\equiv a(\mathrm{mod}m)$
3、传递性$a\equiv b(\mathrm{mod}m)，b\equiv c(\mathrm{mod}m)\Rightarrow a\equiv c(\mathrm{mod}m)$
$a\equiv b(\mathrm{mod}m)$等同于$m|(a-b)$
说明$a\equiv b(\mathrm{mod}m)，n|m$，∴$a\equiv b(\mathrm{mod}n)$

• $a\equiv b(\mathrm{mod}m)，c\equiv d(\mathrm{mod}m)\Rightarrow a\pm c\equiv b\pm d(\mathrm{mod}m)$
  证明：$m|(a-b)，m|(c-d)\Rightarrow m|[(a-b)\pm (c-d)]$
  应用：同余式任意一边可以加减模数的任意整数倍

• $a\equiv b(\mathrm{mod}m)，c\equiv d(\mathrm{mod}m)\Rightarrow ac\equiv bd(\mathrm{mod}m)$

证明：$m|(a-b)，m|(c-d)\Rightarrow m|[c(a-b)\pm b(c-d)]\Rightarrow m|(ac-bd)$

• $a\equiv b(\mathrm{mod}m)\iff ka\equiv kb(\mathrm{mod}km)$
  证明：$m|(a-b)\iff km|k(a-b)\iff km|(ka-kb)$

• $ac\equiv bc(\mathrm{mod}m)\iff a\equiv b(\mathrm{mod}\frac{m}{(c,m)})$
  证明：$m|(ac-bc)\iff m|c(a-b)$
  若$gcd(m,c)=1$，即$m|(a-b)$
  若$gcd(m,c)\ne 1$，即$\frac{m}{(m,c)}|\frac{c}{(c,m)}(a-b)$，所以$\frac{m}{(c,m)}|(a-b)$
  所以$a\equiv b(\mathrm{mod}\frac{m}{(c,m)})$

辗转相除法（欧几里得算法）

• 定理：$(a,b)=(r,b)$其中$a\equiv r(\mathrm{mod}b)$
  证明：不妨设$c=(a,b)$则$a=nc，b=mc，(n,m)=1，a=kb+r$
  所以$a=nc=kb+r=knc+r\Rightarrow r=(m-kn)c$
  所以只需证$(m-kn,n)=1$
  反证法，假设$m-kn=xd，n=yd$，其中$d>1$
  那么$m=xd+kn=xd+kyd=(x+ky)d$
  而此时$d|(m,n)$，与假设矛盾，所以原命题成立

代码

int gcd(int a, int b){
	if( !b )
		return a;
	return gcd(b, a%b); 
}

附上$lcm$的代码

int gcd(int a, int b){
	if( !b )
		return a;
	return gcd(b, a%b); 
}

int lcm(int a, int b){
	return a*b/gcd(a,b);
}

剩余系与剩余类

定义模m同余的所有整数构成一个剩余类。将整数划分为m个剩余类，同一个类中所有的数模m同余，来自不同剩余类的数模m不同余。
例如模3意义下可分为以下3个剩余类：
1、$a\equiv 0(\mathrm{mod}3)\Rightarrow \left\{\begin{array}{c}\dots ，-3，0，3，6，\dots \end{array}\right\}$
2、$a\equiv 1(\mathrm{mod}3)\Rightarrow \left\{\begin{array}{c}\dots ，-2，1，4，7，\dots \end{array}\right\}$
3、$a\equiv 2(\mathrm{mod}3)\Rightarrow \left\{\begin{array}{c}\dots ，-1，2，5，8，\dots \end{array}\right\}$
记号$[a]$表示$a$所在的剩余类，例如$[0]=\left\{\begin{array}{c}\dots ，-3，0，3，6，\dots \end{array}\right\}$

对于集合$S$，$S$中所有数模$m$的余数构成的集合称为$S$在模$m$意义下的剩余系。如果$S$为全体整数，此剩余系称为完全剩余系
一般地，模m意义下的完全剩余系为$\left\{\begin{array}{c}1，2，3，4，\dots ，m-1\end{array}\right\}$
剩余系中与m互质的数的集合称为简化剩余系，或缩系。

完全剩余系

• 性质一：对于m个整数，其构成模m的完系等价于其关于模m两两不同余
• 性质二：若$a_i(1\le i\le m)$构成模m的完系，$k,t∊Z，(k,m)=1，0\le t\le m-1$，因为
  $t(\mathrm{mod}m)$的值总在1到m-1， 则$k{a}_i+t$也构成模$m$的完系
  证明：$\because a_i\equiv k{a}_i(\mathrm{mod}m)$，所以只用考虑$t$对完系的影响
  我们把完系写出来：$\left\{\begin{array}{c}0，1，2，3，\dots ，m-1\end{array}\right\}$而加$t$之后的完系就变成了$\left\{\begin{array}{c}t，1+t，2+t，3+t，\dots ，m+t-1\end{array}\right\}$，我们可以观察发现新的完系中的后$t$个元素是大于等于$m$的，我们来观察这$t$个数$$\left\{\begin{array}{c}m-t，m-(t-1),m-(t-2),\dots m-1\end{array}\right\}$$在观察一下他们加上$t$之后的情况$$\left\{\begin{array}{c}m，m+1,m+2,\dots m+t-1\end{array}\right\}$$在观察他们模$m$的情况$$\left\{\begin{array}{c}0，1,2,\dots ,t-1\end{array}\right\}$$
  我们在观察一下前m-t个小于t的数
  $$\left\{\begin{array}{c}t,t+1,t+2,\dots ,t+(m-t-1)\end{array}\right\}$$
  $$=\left\{\begin{array}{c}t,t+1,t+2,\dots ,m-1\end{array}\right\}$$
  把两个集合合起来就变成：
  $$\Rightarrow \left\{\begin{array}{c}0,1,2,\dots ,m-1\end{array}\right\}$$
  不就是原来的完系吗？
  所以原命题成立

简化剩余系（集约剩余系，缩系）

• 剩余系中与$m$互质的数的集合称为简化剩余系

• 性质一：$m$为自然数$，k，t，$为任意整数，且$(k,m)=1$，则当$x$为$m$的简化剩余系时$kx+tm$亦属于模$m$的简化剩余系
  证明：因为$（x，m）=1，（k，m）=1$，所以$（kx+tm，m）\Rightarrow （kx，m）=1$

• 性质二：$m$为自然数，$s，t$为正整数，$（k，m）=1$，若$a_i$组成m的简化剩余系，那么$k{a}_i+tm$也属于$m$的简化剩余系
  不想写证明惹

欧拉函数

一个数n的简化剩余系的大小记为$\phi (n)$
如何求欧拉函数？
我们想：$n/m（n>m）$是否表示数$n$以内有多少个数是$m$的倍数，我们用容斥原理的思想，$\phi (n)$就等于不知道$p$表示的点这里之后选整数的标准分解
$$\phi (n)=n-\begin{array}{c}{\sum }_{i=1}^w\frac{n}{p_i}\end{array}+\begin{array}{c}{\sum }_{i=1}^w{\sum }_{j=i+1}^w\frac{n}{p_i{p}_j}\end{array}-\begin{array}{c}{\sum }_{i=1}^w{\sum }_{j=i+1}^w{\sum }_{k=j+1}^w\frac{n}{p_i{p}_j{p}_k}\end{array}\dots$$
分解因式后就等于
$$\phi (n)=n\ast (1-\frac{1}{p_1})\ast (1-\frac{1}{p_2})\ast (1-\frac{1}{p_3})\dots \ast (1-\frac{1}{p_w})$$
代码：

int phi(int x){
	int sum = x;
    for(int i = 2; x != 1; i ++){
        if( x % i == 0 ){
            sum = sum/i*(i-1);
            while( x%i == 0 )
                x /= i;
        }
    }
    return sum;
}

或者我们从 另一个方面来理解
$$\phi (n)=n\ast (1-\frac{1}{p_1})\ast (1-\frac{1}{p_2})\ast (1-\frac{1}{p_3})\dots \ast (1-\frac{1}{p_w})$$
因为$p_i$一定整除$n$（不知道的往上翻）
$\frac{1}{p_1}$表示在小于$n$的数中质因子有$p_1$的数占总数的比，而$1-\frac{1}{p_1}$表示在小于$n$的数中质因子没有$p_1$（即有可能与n互质）的数占总数的比，在乘上质因子中没有$p_i(1<i\le w)$的比例，剩下的就是与$n$互质的数的个数了(没有任何质因子因子与$n$的质因子相同了)
$\phi (n)$的性质：

• 对于质数$n$，$\phi (n)=n-1$
• 当$n>2$是，$\phi (n)$为偶数
  证明：若$(x，n)=1$，那么$(n-x，n)=1$，所以与n互质的数成对出现
• 小于n且与n互质的数的总和为$\phi (n)\ast n/2$
  证明：利用上一条，一共配成$\phi (n)/2$对，每一对的和为$n$

欧拉定理与费马小定理

欧拉定理

若正整数$n,a$互质，那么$a^{\phi (n)}\equiv 1(\mathrm{mod}n)$
证明：
设$n$的缩系为$$b_1,b_2,b_3\dots ，b_{\phi (n)}$$
都乘以$a$，那么$a{b}_1,a{b}_2,a{b}_3,\dots ,a{b}_{\phi (n)}$亦构成$n$的缩系(缩系性质二)
$$b_1{b}_2{b}_3\dots b_{\phi (n)}\equiv a{b}_{1}a{b}_{2}a{b}_3\dots a{b}_{\phi (n)}\equiv a^{\phi (n)}{b}_1{b}_2{b}_3\dots b_{\phi (n)}(\mathrm{mod}n)$$
由于$n$的缩系内所有数之积与$n$是互质的，故约去$b_1{b}_2{b}_3\dots b_{\phi (n)}$
所以$a^{\phi (n)}\equiv 1(\mathrm{mod}n)$

费马小定理

若$p$是素数，$a，p$互质，有$a^{p-1}\equiv 1(\mathrm{mod}p)$
我们可以看到，因为p为素数，所以$\phi (p)=p-1$
原式就等于$a^{\phi (p)}\equiv 1(\mathrm{mod}p)$
因为$a,p$互质，由于欧拉定理，所以原式成立
所以费马小定理是欧拉定理的一个特殊情况

二次探测定理

$p$是奇素数，在$p$的缩系内解方程$x^2\equiv 1(\mathrm{mod}p)$
$x^2-1\equiv (x+1)(x-1)\equiv 0(\mathrm{mod}p)$
显然有$1$和$p-1$两个解，下证它们是唯二解
假设还有一组解$x_0$满足$(x_0+1)(x_0-1)\equiv 0(\mathrm{mod}p)$
即$p|(x_0+1)(x_0-1)$，因为$p$是素数，所以$p|(x_0+1)$或者$p|(x_0-1）$
可得$x_0=kp-1$，但另一个解就为$x_0=kp+1$，所以在$p$的缩系内只有，$1$和$p-1$两个解

威尔逊定理

若p是素数，则$(p-1)!\equiv -1(\mathrm{mod}p)$
证明：（充分性）

• 先证明：对于$p$的缩系内的任意整数$a$，方程$ax\equiv 1(\mathrm{mod}p)$，在$p$的缩系内有且仅有一个解，我们令这个命题为（*）
• 存在性：由费马小定理可得$a^{p-2}\%p$是一个解
• 唯一性：我们设存在两个不同的解$x_1,x_2$（均为$p$的缩系中不同元素），则有$a{x}_1\equiv 1(\mathrm{mod}p)$和$a{x}_2\equiv 1(\mathrm{mod}p)$，就有$a{x}_1-a{x}_2\equiv 0(\mathrm{mod}p)$
  $\Rightarrow a(x_1-x_2)\equiv 0(\mathrm{mod}p)\Rightarrow x_1-x_2\equiv 0(\mathrm{mod}p)\Rightarrow x_1\equiv x_2(\mathrm{mod}p)$，所以与缩系中不同元素违背，故解唯一
• 综上所述，命题（*）的解唯一

我们继续考虑方程$ax\equiv 1(\mathrm{mod}p)$中$a$的取值，若$x=a$，则有$a^2\equiv 1(\mathrm{mod}p)$
所以$(a-1)(a+1)\equiv 1(\mathrm{mod}p)$，所以在$p$的缩系中有且仅有$1$和$p-1$两个解，
因此，我们可以把$2$到$p-2$这$p-3$个数两两分组，使他们的乘积取模$p$余$1$
所以$（p-2）$取模$p$就可以表示为$$(p-2)!\equiv \begin{array}{c}1\ast \underbrace{2\ast 3\ast \cdots \ast (p-2)}\\ \frac{p-3}{2}组数\end{array}\equiv \begin{array}{c}1\ast \underbrace{1\ast 1\ast \cdots \ast 1}\\ \frac{p-3}{2}组个一\end{array}\equiv 1(\mathrm{mod}p)$$
所以$(p-1)!\equiv p-1(\mathrm{mod}p)\Rightarrow (p-1)!\equiv -1(\mathrm{mod}p)$
所以证毕了？当然不可能，我们来继续探讨p不为素数的情况

• 若p=4，显然有$(4-1)!\equiv 2(\mathrm{mod}4)$
• 若p>4，且p不为完全平方数，那么在p的缩系内就存在整数a，b，使得n=ab$$因为在1,2,3\dots p-1中存在a和b，所以ab|(p-1)!\Rightarrow (p-1)!\equiv 0(\mathrm{mod}p)$$
• 若p>4，且p为完全平方数，令k=$\sqrt{n}$，所以2k$\le n-1$
  $$因为在1,2,3\dots p-1中存在k和2k，所以2p=2k^2|(p-1)!\Rightarrow (p-1)!\equiv 0(\mathrm{mod}p)$$
• 所以若p不为素数则有$(p-1)!\equiv 0(\mathrm{mod}p)$