初等数论初探

终于肝完了，感觉比我肝原神里面的任务还累！幸好我这个原魔玩家的肝够用哈哈哈！

数论是非常重要的知识点，同时也是一个可能较无趣的知识点 （但是咱们还是得学呀艹），所以这篇博客就来讨论一下一些非常简单的数论入门知识（终于打开了尘封已久的博客）

一、关于整除

1、定义：

设$a,b\in \mathbb{Z}$且$a\ne 0$，如果$\exists$一个$q\in \mathbb{Z}$，使得$a\times q＝b$，则称$b$能够被$a$整除，记作$a\mid b$，否则为$a\nmid b$
（啊定义是不是肥肠地简单）

2、性质：

（1）、传递性

如果$a\mid b$且$b\mid c$，则一定有$a\mid c$（这真的不能写易证吗）

证明：
$\because a\mid b$，令$ax=b$（$x\in \mathbb{Z}$且$x\ne 0$）
又$\because b\mid c$，令$by=c$（$y\in \mathbb{Z}$且$y\ne 0$）
$\therefore axy=c$，即$a\mid c$

（2）、不知道叫什么性

$a\mid b$ 且$a\mid c$ $⟺$ $\forall$整数$x,y$，有$a\mid (bx+cy)$

证明
$\because a\mid b$，令$as=b$（$s\in \mathbb{Z}$且$s\ne 0$）
又$\because a\mid c$，令$at=c$（$t\in \mathbb{Z}$且$t\ne 0$）
又$\because bx+cy=asx+aty=a(sx+ty)$
$\therefore a\mid a(sx+ty)\Rightarrow a\mid (bx+cy)$

（3）、还是不知道叫什么性

设$m\in \mathbb{Z}$且$m\ne 0$，则$a\mid b$ 等价于 $ma\mid mb$

证明：（易证）
$\because a\mid b$，令$ax=b$（$x\in \mathbb{Z}$且$x\ne 0$）
$\therefore axm=bm$，即$xam=bm$
$\therefore am\mid bm$

（4）、也不知道叫什么性

设整数$x,y$满足下式：$ax+by=1$且$a\mid n$，$b\mid n$，那么$a\times b\mid n$

证明：
$\because a\mid n,b\mid n$
$\therefore n=sa=tb$（$s,t\in \mathbb{Z}$且$s,t\ne 0$）
又$\because a,b\ne 0$且$ax+by=1$
$\therefore$ $\frac{ax+by}{ab}$＝ $\frac{1}{ab}$，即$\frac{x}{b}$ $+$ $\frac{y}{a}$ $=$ $\frac{1}{ab}$
$\therefore$ $\frac{n}{ab}$ $=$ $($$\frac{x}{b}$$+$$\frac{y}{a}$$)n=$$\frac{nx}{b}$$+$$\frac{ny}{a}$$=$$\frac{tbx}{b}$$+$$\frac{say}{a}$$=$$tx+sy$
又$\because tx+sy\in \mathbb{Z}$
$\therefore$ $\frac{n}{ab}$ $\in \mathbb{Z}$，即$a\times b\mid n$

（5）、依旧不知道叫什么性

若$b=q\times d+c$，那么$d\mid b$$⟺$$d\mid c$（$q\in \mathbb{Z}$且$q\ne 0$）
即证明$d\mid b$的充要条件为$d\mid c$

证明：
（$\Rightarrow$的证明）（也就是充分条件的证明拉~）：
$\because d\mid b$
$\therefore dy=b$（$y\in \mathbb{Z}$且$y\ne 0$）
$\therefore dy=dq+c$
$\therefore dy-dq=c$
$\therefore d(y-q)=c$
$\therefore d\mid c$
（$\Leftarrow$的证明）（也就是必要条件的证明拉~）：
$\because d\mid c$
$\therefore dx=c$（$x\in \mathbb{Z}$且$x\ne 0$）
$\therefore b=qd+xd=(q+x)d$
$\therefore d\mid b$
上面两个证明揉在一起，不就是$⟺$（充要条件）的证明了吗~

好了，关于整除的最基本的数论知识就介绍得差不多拉~

二、关于模运算

1、定义：

对于整数$a,b$，其中$b\ne 0$，求$a$除以$b$的余数，称为$a$模$b$，记作$a$ $mod$ $b$。为了方便表示，我们接下来就将其记作$a\%b$

2、性质：

（1）、分配律

1）：$(a+b)\%c=(a\%c+b\%c)\%c$
2）：$(a-b)\%c=(a\%c-b\%c+c)\%c$
3）：$ab\%c=(a\%c\times b\%c)\%c$
4）：$a^b$ $\%c=(a\%c{)}^b$ $\%c$

（2）、放缩性

1）：如果$a\%b=c$，$d\in \mathbb{Z}$且$d\ne 0$，则$(ad)\%(bd)=cd$

证明：
令$bs+c=a$（$s\in \mathbb{Z}$且$s\ne 0$）
$\therefore bsd+cd=ad$
$\therefore bd\times s+cd=ad$
$\therefore (ad)\%(bd)=cd$

2）：如果$a\%b=c$，$d\mid a$且$d\mid b$，则$\frac{a}{d}$$\%$$\frac{b}{d}$$=$$\frac{c}{d}$

证明：
令$bs+c=a$（$s\in \mathbb{Z}$且$s\ne 0$）
$\therefore$ $\frac{b}{d}$$\times$$s+$$\frac{c}{d}$$=$$\frac{a}{d}$，即$\frac{a}{d}$$\%$$\frac{b}{d}$$=$$\frac{c}{d}$

一些小证明：

1）：若一个数的末尾数字能够被2整除，则这个数一定能够被2整除（易证）

证明：
设这个数为$a$，我们要证明的是：若$2\mid a\%10$ $\Rightarrow$ $2\mid a$。
再设$x=a\%10$，$y=(a-a\%10)÷10$，则$a=10\times y+x$
$\therefore a\%2=$$(10\times y)\%2$ $+x$$\%2$
又$\because 2\mid x$且易得$2\mid (10\times y)$
$\therefore 2\mid a$

其它的小练习：
Number.1：若一个数的末两位数字能够被4整除，则这个数一定能够被4整除
Number.2：若一个数的末三位数字能够被8整除，则这个数一定能够被8整除

2）：若一个数的各个数位之和能够被3整除，则这个数一定能被3整除

证明：
假设有一个三位数$\overline{abc}$，我们要证明的是：若$(a+b+c)\%3=0$ $\Rightarrow$ $\overline{abc}\%3=0$
我们知道这个三位数还可以表示为$a\times (99+1)+b\times (9+1)+c$，所以$\overline{abc}\%3=(a\times (99+1)+b\times (9+1)+c)\%3=(99a+9b+a+b+c)\%3=(a+b+c)\%3$。
多位数时同理。

一个推论：若一个数的各个数位之和能够被9整除，则这个数一定能被9整除（留给读者自己证明吧）

3）：若一个数的奇数位减去偶数位的差的绝对值（从左往右或从右往左均可）能够被11整除，则这个数一定能被11整除

证明：
假设有一个五位数$\overline{abcde}$并且$a+c+e>b+d$，我们要证明的是：若$(a+c+e-b-d)\%11=0$ $\Rightarrow$ $\overline{abcde}\%11=0$
我们知道这个五位数还可以表示为$a\times (9999+1)+b\times (1001-1)+c\times (99+1)+d\times (11-1)+e$，所以$\overline{abcde}\%11=(a\times (9999+1)+b\times (1001-1)+c\times (99+1)+d\times (11-1)+e)\%11=(9999a+1001b+99c+11d+a-b+c-d+e)\%11=(a+c+e-b-d)\%11$。
多位数时同理。

4）：若一个数的末三位数字减去其它位数字的差的绝对值能够被7,11,13整除，则这个数一定能够被7,11,13整除

证明：
假设有一个八位数$\overline{abcdefgh}$并且$\overline{abcde}>\overline{fgh}$（废话文学？），因为$7\times 11\times 17=1001$，所以我们要证明的就是：若$(\overline{abcde}-\overline{fgh})\%1001=0$ $\Rightarrow$ $\overline{abcdefgh}\%1001=0$
我们知道这个八位数还可以表示为$\overline{abcde}\times (1001-1)+\overline{fgh}$，所以$(\overline{abcde}-\overline{fgh})\%1001=(\overline{abcde}\times (1001-1)+\overline{fgh})\%1001=(\overline{abcde}\times 1001-\overline{abcde}+\overline{fgh})\%1001)=-\overline{abcde}+\overline{fgh}$。将其取绝对值即可。
多位数时同理。

All right，关于模运算的最基本的数论知识也介绍得差不多拉~

三、关于同余

1、定义：

设$m$为${\mathbb{Z}}^{+}$（正整数），若满足$m\mid (a-b)$，则称$a$与$b$对模$m$同余，$a\%m=b\%m$，记作$a\equiv b(modm)$。若$m\nmid (a-b)$，则$a$与$b$对模$m$一定不同余。
显然易得的是：$a=b+km$（$k\in \mathbb{Z}$且$k\ne 0$）$\Rightarrow a\equiv b(modm)$
对同余的证明：
$\because m\mid (a-b)$
$\therefore$ 令$ms=a-b$（$s\in \mathbb{Z}$且$s\ne 0$）
$\therefore a=ms+b$
$\therefore a\%m=(ms+b)\%m=b\%m$

2、性质：

1）：自反性：$a\equiv a(modm)$
2）：对称性：如果$a\equiv b(modm)$，则$b\equiv a(modm)$
3）：传递性：如果$a\equiv b(modm)$，$b\equiv c(modm)$，那么$a\equiv c(modm)$

关于3的证明：
$\because m\mid (a-b)$且$m\mid (b-c)$
$\therefore m\mid (a-b)+(b-c)$，即$m\mid (a-c)$

4）：同加性：如果$a\equiv b(modm)$，那么$a+c\equiv b+c(modm)$

证明：
$\because m\mid (a-b)$
$\therefore m\mid (a-b)+c-c$，即$m\mid (a+c)-(b+c)$

5）：同减性：如果$a\equiv b(modm)$，那么$a-c\equiv b-c(modm)$

证明：
$\because m\mid (a-b)$
$\therefore m\mid (a-b)-c+c$，即$m\mid (a-c)-(b-c)$

6）：同乘性：如果$a\equiv b(modm)$，那么$ac\equiv bc(modm)$

证明：
$\because m\mid (a-b)$
$\therefore m\mid (a-b)c$，即$m\mid (ac-bc)$

7）：同除性：如果$a\equiv b(modm)$且$c\mid a$，$c\mid b$，$gcd(c,m)=1$，那么$\frac{a}{c}$ $\equiv$ $\frac{b}{c}$ $(modm)$

证明：
$\because m\mid (a-b)$
$\therefore$令$mk=a-b$，则$mk+b=a$
$\therefore$ $\frac{m}{c}$$k+$ $\frac{b}{c}$ $=$ $\frac{a}{c}$
又$\because c\mid a$，$c\mid b$，$gcd(c,m)=1$
$\therefore$ $\frac{b}{c}$ $\in \mathbb{Z}$且$\frac{a}{c}$ $\in \mathbb{Z}$且$\frac{m}{c}$ $\notin \mathbb{Z}$
又$\because$ $\frac{m}{c}$$k$ $\in \mathbb{Z}$
$\therefore$ $\frac{k}{c}$ $\in \mathbb{Z}$
$\therefore c\mid k$，令$cx=k$
$\therefore mcx+b=a$
$\therefore$ $\frac{mcx}{c}$ $+$ $\frac{b}{c}$ $=$ $\frac{a}{c}$
$\therefore mx$ $+$ $\frac{b}{c}$ $=$ $\frac{a}{c}$
$\therefore$ $\frac{a}{c}$ $\equiv$ $\frac{b}{c}$ $(modm)$

8）：同幂性：如果$a\equiv b(modm)$ 且$c\in {\mathbb{Z}}^{+}$，则$a^c\equiv b^c(modm)$

证明：
$\because a\equiv b(modm)$
$\therefore a\%m=b\%m$
$\therefore (a\%m{)}^c\%m=(b\%m{)}^c\%m$
$\therefore a^c\%m=b^c\%m$
$\therefore a^c\equiv b^c(modm)$

9）：如果$a\equiv b(modm)$且$c\equiv d(modm)$，那么$a+c\equiv b+d(modm)$

证明：
$\because m\mid (a-b)$且$m\mid (c-d)$
$\therefore m\mid (a-b)+(c-d)$
$\therefore m\mid (a+c)-(b+d)$
$\therefore a+c\equiv b+d(modm)$

10）：如果$a\equiv b(modm)$且$c\equiv d(modm)$，那么$ac\equiv bd(modm)$

证明：
$\because m\mid (a-b)$且$m\mid (c-d)$
$\therefore m\mid (a-b)\ast c+(c-d)\ast b$
$\therefore m\mid ac-bc+bc-bd$，即$m\mid ac-bd$
$\therefore ac\equiv bd(modm)$

11）：如果$a\%p=x$，$a\%q=x$且$(p,q)=1$，那么$a\%(p\times q)=x$

证明：
设$a=p{k}_1+x=q{k}_2+x$
$\therefore a-x$是$p$和$q$的公倍数
又$\because (p,q)=1$
$\therefore lcm(p,q)=p\times q$
$\therefore p\times q\mid a-x$
$\therefore p\times q\times s=a-x$，即$p\times q\times s+x=a$
$\therefore a\%(p\times q)=x$

彳亍了，在狂肝了几小时后终于将同余的最基本的数论知识也打完拉

四、关于排列组合

1、排列的定义：

给定n个数的元素中，取出指定m个数的元素进行排序。记作$A_n^m$，也可记作$A(n,m)$

计算方法：$A_n^m=n\times (n-1)\times (n-2)\times \dots \times (n-m+1)=$ $\frac{n!}{(n-m)!}$

2、组合的定义：

给定n个数的元素中，取出指定m个数的元素，但不考虑排序。记作$C_n^m$，也可记作$C(n,m)$

计算方法：
$C_n^m=$ $\frac{A_n^m}{m!}$ $=$ $\frac{n!}{(n-m)!m!}$
（其实组合相对于排列就只是不考虑顺序，比如1,2,3和2,3,1，组合认为它们是一种方法，而排列认为它们是两种方法，所以只需要将排列的总方案数除以全排列的个数（即发生重复的个数）$m!$即可）

3、8大经典例题：

以下所有题，均有$n$个小球和$m$个盒子

1）：球相同，盒不同，无空盒

解法：（隔板法）
假设有这些小球：oooo…ooo
如果我们要把这$n$个小球分到$m$个盒子里中
就相当于在这$n$个小球里面插入$m-1$个隔板
举个栗子：（当$n=4$，$m=2$时）
小球：oooo
我们只需要在它们中间插入$2-1=1$个隔板就可以将它们分为2堆。
例如：o|ooo 或者 oo|oo
我们又知道，一共有$n-1$个位置可以放隔板（因为没有空盒）。
所以即求：在$n-1$个位置中放入$m-1$个隔板的方案总数。答案为$C_{n-1}^{m-1}$

2）：球相同，盒不同，可空盒

解法：（依旧是隔板法）
这个问题与上一个问题唯一的一个区别就在于这道题允许空盒。
所以在上一道题的基础上，我们可以先将每一个盒子里面都装进去一个虚球。
这样就保证了每一个盒子里面都有球，就变成了第一道题的做法，答案为$C_{n+m-1}^{m-1}$。
为什么这样做是正确的呢？
因为我们认为虚球不算球。
所以如果有一个盒子只有一个虚球，那我们认为这个盒子没有球。
（应该懂了吧）

3）：球不同，盒相同，无空盒

解法：
我们设答案为$dp[n][m]$。
对于第$i$个球，它一共有两种去向，一个是自己独占一个盒子，另一个是与别人一起占一个盒子。
所以可以很轻易地列出动态转移方程$dp[i][j]=dp[i-1][j-1]+dp[i-1][j]\ast j$。
关于$dp[i-1][j-1]$，是它独占一个盒子的情况。
关于$dp[i-1][j]\ast j$，是它与别人一起占一个盒子的情况。因为该题球不同，所以它占这$j$个盒子的哪一个盒子都是一种不同的情况，因此要乘上一个盒子总数$j$
初始化$dp[1][1]=1$。
（这其实就是第二类斯特林数）

4）：球不同，盒相同，可空盒

解法：
与上一题类似，但这个问题允许空盒，那答案也只需要做一点点修改。
答案：${\sum }_{i=1}^{m}dp[n][i]$
$dp[n][1]$即表示有$m-1$个空盒时的情况，$dp[n][2]$即表示有$m-2$个空盒时的情况……以此类推。
因为球不同，且盒子的个数也不同，所以一定没有重复计算的情况。

5）：球不同，盒不同，无空盒

解法：
与第3题类似，这道题如果盒子不同的话，那么就需要考虑顺序。
我们在介绍排列组合的概念时就已经说明了在$m$个数组成的排列中，发生重复的个数为$m!$。此题需要将这些重复全部算进去（因为要考虑顺序），所以答案为：$dp[n][m]\times m!$

6）：球不同，盒不同，可空盒

解法：
这一题因为球和盒子均不同，所以只需要考虑将第$i$个球放在哪个盒子里面，每一个球都有$m$种放法。又因为乘法原理可得答案为：$m^n$

7）：球相同，盒相同，无空盒

解法：
我们可以先将$m$个盒子中均放上一个小球，就还剩下$n-m$个小球，这些小球都可以放在这$m$个盒子里。所以动态转移方程为：${\sum }_{i=2}^n{\sum }_{j=2}^m{\sum }_{k=1}^{j}dp[i-j][k](j<i)$。
初始化：$dp[i][1]=dp[i][i]=1(1\le i\le n)$

8）：球相同，盒相同，可空盒

解法：
与第2题的虚球思想类似，我们只需要提前将$m$个盒子里均放上一个虚球，再套用第7题的方法就可以了。

非常棒，你已经将很多的数论基础知识耐心地看完了，马上就快成功了，加油！

五、gcd和lcm

1、gcd的定义：

设$a_1,a_2,a_3\dots a_k$是$k$个${\mathbb{Z}}^{+}$，如果$\exists$一个${\mathbb{Z}}^{+}d$，使得$d\mid a_1,d\mid a_2,d\mid a_3\dots d\mid a_k$，那么$d$为$a_1,a_2,a_3\dots a_k$的公因数。其中最大的$d$为$a_1,a_2,a_3\dots a_k$的最大公因数

2、lcm的定义：

设$a_1,a_2,a_3\dots a_k$是$k$个${\mathbb{Z}}^{+}$，如果$\exists$一个${\mathbb{Z}}^{+}d$，使得$a_1\mid d,a_2\mid d,a_3\mid d\dots a_k\mid d$，那么$d$为$a_1,a_2,a_3\dots a_k$的公倍数。其中最小的$d$为$a_1,a_2,a_3\dots a_k$的最小公倍数

3、一个小定理：

$gcd(a,b)\times lcm(a,b)=a\times b$

证明：
将$a,b$进行质因子分解，设$a,b$的质因子集合并集为$p_1,p_2,p_3\dots p_n$，那么：
设$a=p_1^{k_1}\times p_2^{k_2}\times \dots \times p_n^{k_n},b=p_1^{j_1}\times p_2^{j_2}\times \dots \times p_n^{j_n}$($k_i,j_i\in \mathbb{Z}$且$k_i,j_i\ne 0$)
$\therefore gcd(a,b)=p_1^{min(k_1,j_1)}\times p_2^{min(k_2,j_2)}\times \dots \times p_n^{min(k_n,j_n)}$
且$lcm(a,b)=p_1^{max(k_1,j_1)}\times p_2^{max(k_2,j_2)}\times \dots \times p_n^{max(k_n,j_n)}$
又$\because min(k_i,j_i)+max(k_i,j_i)=k_i+j_i$
$\therefore gcd(a,b)\times lcm(a,b)=p_1^{k_1+j_1}\times p_2^{k_2+j_2}\times \dots \times p_n^{k_n+j_n}$
且$a\times b=p_1^{k_1+j_1}\times p_2^{k_2+j_2}\times \dots \times p_n^{k_n+j_n}$
$\therefore gcd(a,b)\times lcm(a,b)=a\times b$

4、辗转相除法（欧几里得定理）：

$gcd(a,b)=gcd(b,a\%b)$

证明：
设$gcd(a,b)=p$ $\Rightarrow$ $a=kp,b=qp,gcd(k,q)=1$
$\therefore a\%b=(kp)\%(gp)=(k\%g)p$
$\therefore gcd(b,a\%b)=gcd(gp,(k\%g)p)$
又$\because gcd(g,k\%g)=1$
$\therefore gcd(b,a\%b)=gcd(gp,(k\%g)p)=p$
$\therefore gcd(a,b)=gcd(b,a\%b)$

5、扩展欧几里得(exgcd)

在已知$\mathbb{Z}a,b$的情况下求不定方程$ax+by=gcd(a,b)$的一组整数解。对于$x,y\in \mathbb{Z}$，解通常为一正一负。$exgcd$可以求出上述方程中$|x|+|y|$最小的一组解。

推导过程：
设$a{x}_1+b{y}_1=gcd(a,b),b{x}_2+(a\%b)y_2=gcd(b,a\%b)$
由欧几里得定理可得$gcd(a,b)=gcd(b,a\%b)$
$\therefore a{x}_1+b{y}_1=b{x}_2+(a\%b)y_2$
又$\because a\%b=a-bk$（$k\in \mathbb{Z}$）
且$k=\lfloor$$\frac{a}{b}$$\rfloor$
$\therefore a{x}_1+b{y}_1=b{x}_2+(a-$ $b$$\lfloor$$\frac{a}{b}$$\rfloor$)$y_2$
整理得：$a{x}_1+b{y}_1=a{y}_2+b(x_2-$ $\lfloor$$\frac{a}{b}$$\rfloor$$y_2$)
$\therefore x_1=y_2,y_1=x_2-$ $\lfloor$$\frac{a}{b}$$\rfloor$$y_2$
$\therefore (x_1,y_1)$这组解是由$(x_2,y_2)$这组解推来的
不难发现：当$(x_n,y_n)$关于$gcd(a,0)$时，$a{x}_n+b{y}_n=gcd(a,0)=a$，此时可得出$a=a,b=0$
$\therefore a{x}_n+b{y}_n=a$ $\Rightarrow$ $x_n=1,y_n=\forall \mathbb{Z}$
$\therefore \exists x_n=1,y_n=0$，这组边界整数解，可得出$x_1,y_1$

代码：

int exgcd(int a, int b, int &ans1, int &ans2) {
	if(b == 0) {
		ans1 = 1, ans2 = 0;
		return a;
	}
	int ans = exgcd(b, a % b, ans2, ans1);
	ans2 -= ans1 * (a / b);
	return ans;
}

六、裴蜀定理

1、定理：

对于不定方程$ax+by=m$，其有解（$a,b,m$为常数）的充要条件为：$gcd(a,b)\mid m$

证明：（充分条件）
$\because ax+by=m$有解
$\therefore$有$\mathbb{Z}x,y$使得$ax+by=m$
又$\because gcd(a,b)\mid a$且$gcd(a,b)\mid b$
$\therefore gcd(a,b)\mid (ax+by)$
$\therefore gcd(a,b)\mid m$

证明：（必要条件）
$\because gcd(a,b)\mid m$
$\therefore$ 即证$ax+by=gcd(a,b)$
根据exgcd可易证这个结论

2、引理：

对于$\forall x,y\in \mathbb{Z}$，函数$f(x,y)=ax+by$的最小${\mathbb{Z}}^{+}$取值为$gcd(a,b)$

证明：
设$f(x,y)=ax+by=m$
则根据裴蜀定理可得，$gcd(a,b)\mid m$
$\therefore$ 当 $m=gcd(a,b)$时，取得满足条件的最小${\mathbb{Z}}^{+}$值

3、推论：

1）：若$a,b\in {\mathbb{Z}}^{+}$且$gcd(a,b)=1$，则$\nexists k(0<k<b)$，使得$b\mid ak$

证明：
若$b\mid ak$，则$ak$中一定含有$b$的所有质因子
又$\because gcd(a,b)=1$
$\therefore a$中不可能含有$b$的任意质因子
$\therefore k$中一定含有$b$的所有质因子
$\therefore k\mid b$
又$\because 0<k<b$
$\therefore$ 矛盾

2）：若$a,b\in {\mathbb{Z}}^{+}$且$gcd(a,b)=1$，则$0,a,2a,3a\dots (b-1)a$这些数分别模$b$$\nexists$两个相同的结果

证明：
若$\exists$两个不同的数$i\times a,j\times a$（$0<j<i<b$）且$i\times a\equiv j\times a(modb)$
$\therefore i\times a\%b=j\times a\%b$
$\therefore i\times a\%b-j\times a\%b=0$
$\therefore (i-j)\times a\%b=0$且$0<i-j<b$
设$k=i-j$，则有$ak\%b=0$且$0<k<b$
又$\because gcd(a,b)=1$
$\therefore$ 与引理1矛盾

小知识：若$a,b\in {\mathbb{Z}}^{+}$且$gcd(a,b)=1$，则$0,a,2a,3a\dots (b-1)a$这些数模$b$的结果的集合 A = { 0 , 1 , 2 , … b − 2 , b − 1 } A = \{0,1,2,…b-2,b-1\} A={0,1,2,…b−2,b−1}，读者可以自己证明一下。

3）：若$a,b\in {\mathbb{Z}}^{+}$且$gcd(a,b)=1$，则一定$\exists k\in \mathbb{Z}$，使得$ak\%b=1$

证明：
这个其实可以用引理2下面的小知识轻松解决

芜湖，新的一天，又学了新的知识，一起来看看吧~

七、费马小定理

1、定理：

若$p$为质数，且$a\%p\ne 0$，则有$a^{p-1}\%p=1$

证明：
$\because (a\times 1)\times (a\times 2)\times (a\times 3)\times \dots \times (a\times (p-1))\%p=a^{p-1}\times (p-1)!\%p$
又$\because p$为质数且$p\nmid a$
$\therefore gcd(a,p)=1$
根据裴蜀定理引理2下面的小知识可得：$(a\times 1)\%p,(a\times 2)\%p,(a\times 3)\%p,\dots (a\times (p-1)\%p)$互不相等且区间$S=[1,p-1]$
$\therefore (a\times 1)\times (a\times 2)\times (a\times 3)\times \dots \times (a\times (p-1))\%p=(a\times 1)\%p\times (a\times 2)\%p\times (a\times 3)\%p\times \dots \times (a\times (p-1))\%p=1\times 2\times 3\times \dots \times (p-1)\%p=(p-1)!\%p$
$\therefore a^{p-1}\times (p-1)!\%p=(p-1)!\%p$，即$a^{p-1}\times (p-1)!\equiv (p-1)!(modp)$
又$\because p$为质数
$\therefore gcd((p-1)!,p)=1$
$\therefore a^{p-1}\equiv 1(modp)$

至于其它的应用，只能等下次喽~

八、乘法逆元

1、定义：

有${\mathbb{Z}}^{+}a,n$，如果$ax\equiv 1(modn)$，则称$x$的最小${\mathbb{Z}}^{+}$解为$a\%n$的乘法逆元，表示为$inv(a)$

2、用处：

当我们要求$\frac{a}{b}$$\%p$的值时，如果$b$过于大，普通的做法就会爆精度，所以我们只需要求出$b$的乘法逆元$x$，就可以将$\frac{a}{b}$转化成$ax$。

3、（也许是性质？）

1）：如果每个$\mathbb{Z}a$均有唯一的与之对应的乘法逆元$x$，使得$ax\equiv 1(modn)$，其充要条件为$gcd(a,n)=1$（懒得证了，显然易得）

2）：设$k$为关于$b$的乘法逆元，$gcd(b,p)=1$，那么$\frac{a}{b}$$\%p=ak\%p$

证明：
由题可得：
$bk\equiv 1(modp)\Rightarrow bk=px+1$
$\therefore k=$ $\frac{px+1}{b}$
$\therefore ak\%p=$ $\frac{apx+a}{b}$ $\%p$
$=$ $($$\frac{apx}{b}$$+$$\frac{a}{b}$$)\%p$
$=$ $($$\frac{apx}{b}$$\%p+$$\frac{a}{b}$$\%p$$)\%p$
$=$ $(p$$\frac{ax}{b}$$\%p+$$\frac{a}{b}$$\%p$$)\%p$
$=$ $\frac{a}{b}$$\%p$

4、求逆元的方法

1）：快速幂+费马小定理

推导：
设$p$为质数，则由费马小定理可得：$a^{p-1}\equiv 1(modp)\Rightarrow a\times a^{p-2}\equiv 1(modp)$且$gcd(a,p)=1$
$\therefore a\times a^{p-2}\equiv a\times inv(a)(modp)\Rightarrow a^{p-2}\equiv inv(a)(modp)$
$\therefore a^{p-2}$为$a$关于$\%p$的乘法逆元。

代码：

int qkpow(int a, int b) {
	if(b == 1) return a;
	if(b == 0) return 1;
	int ans = qkpow(a, b / 2) % mod;
	if(b & 1) return ans * ans % mod * a % mod;
	return ans * ans % mod; 
}
int inv(int i) {
	return qkpow(i, mod - 2) % mod;
}

2）：扩展欧几里得（exgcd）

一句话：要求$ax\equiv 1(modp)$的最小${\mathbb{Z}}^{+}$解$x$，即$ax-py=1$（$a,p$互质）
所以只需要一个扩欧的模板即可。最后的$x$要化负为正。

代码：

int exgcd(int a, int b, int &ans1, int &ans2) {
	if(b == 0) {
		ans1 = 1, ans2 = 0;
		return a;
	}
	int ans = exgcd(b, a % b, ans2, ans1);
	ans2 -= ans1 * (a / b);
	return ans;
}
int inv(int i) {
	int x, y;
	int sum = exgcd(i, mod, x, y);
	if(sum != 1) return -1; //判无解
	return (x % mod + mod) % mod; //化负为正
}

3）：递推式

先上代码：

inv[1] = 1;
for(int i = 2; i <= n; i++) inv[i] = (p - p / i) % p * inv[p % i] % p;

推导：
设$t=\lfloor$$\frac{p}{i}$$\rfloor ,k=p\%i$
$\therefore p=i\times t+k\Rightarrow i\times t+k\equiv 0(modp)$
$\therefore i\times t\equiv -k(modp)$
设$inv[i]$为$i$对于$\%p$的乘法逆元
$\therefore i\times t\times inv[i]\times inv[k]=-k\times inv[i]\times inv[k]$
$\therefore t\times inv[k]=-inv[i]\Rightarrow t\times inv[k]\equiv -inv[i](modp)$
将$k$和$t$带入得：
$\therefore \lfloor$$\frac{p}{i}$$\rfloor \times inv[p\%i]\equiv -inv[i](modp)$
$inv[i]=-\lfloor$$\frac{p}{i}$$\rfloor \times inv[p\%i]\%p$
将$-\lfloor$$\frac{p}{i}$$\rfloor$化负为正得：
$inv[i]=(p-\lfloor$$\frac{p}{i}$$\rfloor )\%p\times inv[p\%i]\%p$

4）：求阶乘逆元的递推式：

代码：

inv[i] = inv[i + 1] × (i + 1) % p

因证明太过于复杂且用处不大，故省去。

到这里，数论的所有基础知识就结束了，以后应该还会继续更新的~