数论基础——整数的可除性

**本文用于收录书《数论基础—潘承洞》中第一章的重点定义，以及性质

**其中涉及，分解质因子，公倍数与公约数，拓展欧几里得，欧几里得，求整，求乘法逆元的扩展欧几里得的求法（如果说隐式的拓展欧几里求法算的话），组合数学的计算C(a,b)问题，等。

**不要问为什么没有看起来跟扩展欧几里得很像的那个算法（中国某剩余），它在大大大后面呐！！同余不简单啊！不知道哪些魂淡把同余放大前面

1.整除，带余数除法

定义1：设a、b为整数，b!=0，若存在c，使得a=bc，则称b可整除a，记作b|a。

基本性质：

1. 商唯一
2. 具有传递性
3. a的除数d一定≤a
4. 若b|a1，b|a2，m1，m2为任意实数，那么b|(m1a1+m2a2)。
5. 对于同一个数的正以及负，其倍数和因数的绝对值均相同。

定理1：任意整数a的除去1以外的最小正除数d为素数。若a不是素数，必有a的除数d≤√a。

证明：a=kd,|a|≥d^2,所以d≤√a

此定理揭示了为什么我们在判断一个数是否是除数时，只要从2除到√a即可，而不用除到a。

 推论1：若p|a1a2a3……an,则p至少可以整除一个a。

定理6（算术基本定理）：设n>1，则n可分解为素数的乘积：n=(p1^c1)(p2^c2)(p3^c3)……(ps^cs)，c为相同的质数p的数目，分解式唯一。其中的p和c都由n唯一确定。

n的标准分解式就是上面的分解，且把一个已知数分解成素因数的乘积问题至今没有任何实用的解法，也就是说，我们只能利用循环一次一次的将素因数除除去。

2.最大公约数，最小公倍数

本文中，最大公约数一论用(a,b)，最小公倍数用[a,b]来标识。

推论3：[[b1,b2,b3,,,bk],[bk+1,bk+2,,,,bn]]=[b1,b2,,,bn]，同最大公倍数。

由此推论，我们可以知道要求多个数的最小公倍数可以用两个两个的求。（同最大公倍数）

推论4，5：两个数的最大公倍数可以提出因子（整数或者分数），结果的最小公倍数要再乘上它。同最大公约数。

定理7：b1,b2,b3,,,bk的任意公倍数必定是其最小公倍数的倍数

应用：a|ab,b|ab,则[a,b]|ab

定理8：a1,a2,a3,,,ak的任意约数必定是其最大公约数的约数

应用：m|a,m|b,则m|(a,b)

定理11：(a,b)[a,b]=ab；

（欧几里得算法）定理12：若a，b,c不全为0，且a=qb+c，则(a,b)=(b,c)

辗转相除法的原型！！

（拓展欧几里得算法）定理13：设a,b不全是0，x0,y0所对应的ax0+by0是使ax+by能娶到的最小正数，则(a,b)=ax0+by0；

ax0+by0有解的条件就是等式左边的y满足：(a,b)|y。

其中的扩展欧几里得算法就是来求这个x0和y0的,x0,y0并不唯一，x0+b/d,y0-a/d都是符合条件的

证明过程（我去又证了老久）：

ax+by=(a,b)

a(x+b/d)+b(y-a/d)=(a,b)

ax+by+a*b/d-b*a/d=(a,b)

因为a*b/d==b*a/d,所以就消去了，得证。

推论:当(a,b)=1时，必有x0,y0存在使ax0+by0=1，反之亦成立。

呼~~

3.辗转相除法

就是利用的上方的定理11来做的，很简单，代码更简单！

4.一次不定方程

所谓不定方程或是方程组，就是指变量的数目多于方程的个数，且未知数受到某种限制的方程。

如：ax+by=c

称为二元一次不定方程

定理17：根据上方的拓展欧几里得算法即定理13，我们得知二元不定方程有解的条件是(a,b)|c，其解x0,y0只是其中之一，通解为：

x=x0+b/(a,b)*t

y=y0-a/(a,b)*t

综上，求解二元一次不定式的关键在于：

1. 验证条件：(a,b)|c
2. 利用拓展欧几里得的算法（辗转相除法里面加上了一个x与y的算法）求出特解x跟y。
3. 通解公式已告诉，可以求出所有的解

5.函数[x]与{x}

很多以前常常不知道怎么就出来的性质！！！很厉害的一节！

定义5：设x为任意实数。函数[x]等于不超过x的最大整数，函数{x}=x-[x]。我们称[x]为x的整数部分，{x}为x的分数部分

简单性质：

• x≥y，则[x]≥[y]
• x-1<[x]≤x,0≤{x}<1
• [n+x]=n+[x],{n+x}={x},n为整数
•  
• [x+y]=[x]+[y]  当{x}+{y}<1 
• [x+y]=[x]+[y]+1  当{x}+{y}≥1
•  
• [-x]=-[x]如果x为整数
• [-x]=-[x]-1如果x为非整数

引理1：设实数x>0，a为正整数，则不超过x且能被a整除的正整数的个数为[x/a]。

就素你！！！在非常简单的容斥原理中经常遇见！比如说求能够同时被2，3，5整除的数之类的啦，哇，终于让我逮着你了

定理18：在n！的标准分解式当中（还记得标准分解式吗，就是分解成质因子的那个式子），素因子p的指数为：

h=[n/p]+[n/p^2]+……=∑₁∞[n/p^i]（咳咳咳式子有那么一丝丝的鬼畜）

推论10：n!的标准分解式为： ∏(p≤n)p^(∑₁∞n/p^i)

长得鬼畜了一点点，不过就是从1到n的p的指数次幂（指数用定理18算出来）相乘罢了。

定理19：设a为任意整数，k为自然数，则（a+1)(a+2)……(a+k)/k!一定是整数

由于上式可以写成(a+k)!/a!/k!，所以常常用来求组合数学中的C的问题，这就巧妙的解释了为何一定可以整除，得到一个整数

推论11：设正整数n=r+s+……+t,r,s,t均大于0，则n!/r!/s!……/t!为整数，且若n=p为素数，则p|p!/r!/s!……/t!

由推论可知，对于任意的1≤i≤p-1，有p|C(p,i)。（C(p,i)从p中选择i个）

定理20：设p为素数，则对任意的x，有p|(x^p-x)