整除性
定义1
对于整数a= 0,b,a整除b,则存在整数k使得b=ka,记为a∣b。否a则a不整除b,记为 a∤b.
性质
- 对任意a= 0,a∣ 0,a∣a
- 对任意b,1∣b
-
传递性 a∣b,b∣c,则a∣c
- a∣b,b∣c,则a∣(sb+tc),st为任意整数
定理1
设a,b是两个整数,且b> 0,则存在两个唯一的整数q及r,使得a=bq+r,0≤r<b证明:
存在性
做序列……,-2b,-b,0,b,2b,……,则a必然在序列某两项之间,即存在整数q,使得qb≤a<(q+1)b,令r=a−qb,则存在。
唯一性
假设存在另一对整数q1,0≤r1<b,即有q1+r1=a=qb+r,于是b(q1−q)=r−r1,故b∣q1−q∣=∣r−r1∣,而∣r−r1∣<b,因此r=r1,q=q1即唯一。
最大公约数
定义2
a1,a2,a3,...,an是n个不全为0的整数,整数d是每一个的因数,称d为其的一个公因数。最大的公因数记为 (a1,a2,a3,...,an),若最大公因数为1,则 a1,a2,a3,...,an互素。
定理2
a,b,c是三个不全为零的整数,且a=bq+c,q为整数,则(a,b)=(b,c)
证明:

辗转相除
定理3 任意a>0,b>0,则(a,b)就是辗转相除余数为零时的除数
证明:根据定理2递推即可。
定理4 任意a>0,b>0,存在两个整数m,n使得(a,b)=ma+nb
可根据辗转相除递推式逆推得出。
推论 a和b的公因子式】是(a,b)的因数
扩展Euclidean算法
推荐两个博客:1 2
扩展Euclidean算法是用来计算在已知a, b求解一组x,y使得ax+by =c.(c是(a,b)的倍数)。ax+by=k(a,b),k为整数,可转化为求axn+byn=(a,b)中的xn和yn。
根据定理2,(a,b)=(b,a%b),于是ax+by=(b,a%b)=bx1+a%by1=bx1+(a−bab)y1=ay1+b(x1−bay1),所以有
{x=y1,y=x1−bay1,边界条件,xn=1,yn=0
定理5
若a∣bc,(a,b)=1,则a∣c
证明,根据定理4,因为a,b互素,有ma+nb=1,所以mac+nbc=c,mc+anbc=ac
定理6
设n>2,a1>0,a2>0,...,an>0,(a1,a2)=d2,(d2,a3)=d3,...,(dn−1,an)=dn,那么有(a1,a2,...,an)=dn
证明
dn∣dn−1,dn∣an,而dn−1∣dn−2,dn−1∣an−1,得dn∣dn−2,dn∣an−1递推即可得到dn∣a1,...,dn∣an。
设(a1,...,an)=d,则dn≤d,且d∣d2,...,d∣dn,d≤dn,所以dn=(a1,...an)
定理7
存在整数x1,...,xn使得a1x1+...+anxn=(a1,...an)
证明,根据定理4结合定理6.
最小公倍数
定义3
最小公倍数,记作[a1,a2,...,an]
定理8
a,b 是任意两个整数,则a,b得所有公倍数都是[a,b]得公倍数,且[a,b]=(a,b)ab
定理9
设n>2,a1>0,a2>0,...,an>0,[a1,a2]=m2,[m2,a3]=m3,...,[mn−1,an]=mn,那么有[a1,a2,...,an]=mn
素数
定义4
素数任意一个大于1得正整数,正因数只有1和它本身,否则就叫做合数
性质2
a≥1则除1之外的最小正因数q是素数,且当a是合数时,q≤a
证明,反证法
q不是素数,则存在因子1<q1≤q,与q是最小因子矛盾,故q是素数。
a=a1q,且q≤a1,故a≥q2
定理10
素数的个数是无穷的
定理11
存在无数个形如4n-1的素数
证明:
补充:(4n+1)(4b-1)=4(4nb+b-n)-1,
奇数有两种4n+1和4n-1,任意多个4n+1的数或任意多个4n-1的数地乘积一定还是4n+1型的
定理12

证明:
若a0=0 ,那么这个多项式不存在,因为它必是一个含有x0作因子的合数
将a0分解质因子为p1,p2…pk,若x0<其中最小的,不妨设为p1,那么x取p1就可以使这个式子变为合数。若x0>其中最大的,那取x = a0整数倍且>x0,也可以使它变为合数
200以内素数
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71
73 79 83 89 97 101 103 107 109 113 127 131 137 139 149
151 157 163 167 173 179 181 191 193 197 199
定理13
如果π(x)表示所有小于x的素数,则有π(x)≈lnxx