整除性
定义:设a,b∈Z,如果存在一个q∈Z,使得a=qb,则称b整除a,记为b∣a
整除的性质
- 自反性:a∣a
- 传递性:若b∣a且a∣c , 则 b∣c
- 相乘性:b∣a⇒bc∣ac
- 消去性:bc∣ac且c=0,⇒b∣a
- 线性性:b∣a,b∣c⇒∀s,t∈Z,b∣(sa±tc)
- 比较性:a,b∈N,b∣a⇒b≤a
- ∀x∈Z,x∣0
- ∀x∈Z,1∣x
- b∣a⇔b∣−a⇔−b∣a
相关定理
设a,b∈Z,则b∣a且a∣b当且仅当b=±a特别的a∣1,当且仅当a=±1
素数
∀n∈N,n>1,n是质数⇔∀a,b∈Z,n=ab⇒a=1或b=1
相关定理
1.任何大于1的整数必有素因子
证明如下

2.任何合数n都有一个不超过n的素因子
证明如下

3.算数基本定理
任何非零整数n可以表示成如下的乘积形式n=±p1e1p2e2...prer其中p1...pr是互不相同的素数,e1...er是正整数,n=±1是r=0的情况
4.欧几里得定理
素数有无穷多个,证明如下

模运算
a mod b:设a,b∈Z且b>0,如果q,r∈Z满足a=qb+r且0≤r<b.则定义a mod b=r
模运算的性质
b∣a⇔a mod b=0(a+b) mod n=(a mod n+b mod n) mod n(a−b) mod n=(a mod n−b mod n) mod n(a×b) mod n=(a mod n×b mod n) mod n(ab) mod p=(a mod p)b mod p
最大公约数
设a,b∈Z,如果d∈Z且d∣a,d∣b,则称d是a和b的公因子(公约数)
最大公因数,也称最大公约数、最大公因子,指两个或多个整数公约数中最大的一个。a,b的最大公约数记为gcd(a,b),特别的gcd(0,0)=0
设 gcd(a,b)=d则存在q1,q2∈Z,使得a=q1d,b=q2d且 gcd(q1,q2)=1
互素
设a,b∈Z,若gcd(a,b)=1 则a,b互素
gcd(a,b)=1⇔a,b的公因子只有 ±1
贝祖定理
设a,b∈Z,d=gcd(a,b),则 ∃s,t∈Z使得 as+bt=d
特别的gcd(a,b)=1⇔as+bt=1
可以用扩展的欧几里得算法求解贝祖定理中的s,t
最小公倍数
公倍数
设a,b∈Z如果m∈Z分别是a,b的倍数,则m称作a,b的公倍数
最小公倍数
lcm(a,b)即a,b的最小公倍数
- a,b=0,lcm(a,b)是a,b所有正的公倍数中最小的
- a=0或b=0 可得lcm(a,b)=0
推论
- 设m=lcm(a,b),如果a∣c,b∣c,则m∣c
- 若gcd(a,b)=1⇒lcm(a,b)=ab
- lcm(a,b)=gad(a,b)ab