初等数论二

整数唯一分解定理

引理1

若p是一个素数,a是任意整数,则有pa(a,p)=1p\mid a或(a,p)=1

引理2

若p是素数,且pabp\mid ab,则papbp\mid a或p\mid b

定理1

任何大于1的正整数都能分解为素数得乘积,即对于整数a>1,a=p1p2...pn,p1p2...pn,p1,p2...pna>1,有且仅有唯一表达式a=p_1p_2...p_n,p_1\leq p_2\leq ...\leq p_n,其中p_1,p_2...p_n都是素数
任意大于1的整数能够唯一写成a=p1α1p2α2...pkαk,αi>0,pi<pj(i<j)a=p_1^{\alpha_1}p_2^{\alpha_2}...p_k^{\alpha_k},其中\alpha_i>0,p_i<p_j(i<j)是素数对于a和b,(a,b)=p1min(α1,β1)p2min(α2,β2)...pkmin(αk,βk).[a,b]=p1max(α1,β1)p2max(α2,β2)...pkmax(αk,βk)(a,b)=p_1^{min(\alpha_1,\beta_1)}p_2^{min(\alpha_2,\beta_2)}...p_k^{min(\alpha_k,\beta_k)}.\\ [a,b]=p_1^{max(\alpha_1,\beta_1)}p_2^{max(\alpha_2,\beta_2)}...p_k^{max(\alpha_k,\beta_k)}


由于x+y=max(x,y)+min(x,y),所以有ab=[a,b] (a,b)

一元不定方程

二元一次不定方程:a1x+a2y=n,a1,a2,na1a20a_1x+a_2y=n,其中a_1,a_2,n给定,a_1a_2\neq0

定理2

二元一次不定方程有解的充要条件是(a1,a2)n(a_1,a_2)\mid n
证明:有解时显然成立,设(a1,a2)=1a1>0,a2>0a1u+a2v=1,x=nuy=nv(a_1,a_2)=1及a_1>0,a_2>0,则a_1u+a_2v=1,于是x=nu,y=nv有解

定理3

(a1,a2)=1(a_1,a_2)=1,则其全部解表示为x=x0+a2t,y=y0a1t,x0,y0x=x_0+a_2t,\\ y=y_0-a_1t,\\ x_0,y_0为二元一次不定方程的以一组解

定理4

s2,sa1x1+...+asxs=n,a1...as0设s\geq 2,s元一次不定方程a_1x_1+...+a_sx_s=n,a_1...a_s\neq0有解的充要条件是(a1,...,as)n(a_1,...,a_s)\mid n

定理5

不定方程a1x1+a2x2=n,(a1,a2)=1,a1>0,a2>0a_1x_1+a_2x_2=n,(a_1,a_2)=1,a_1>0,a_2>0n>a1a2n>a_1a_2时有整数解初等数论二初等数论二

同余

定义1

给定正整数m,则a,b同余记为ab(mod  m)a\equiv b(\mod m)否则记为a≢b(mod  m)a\not\equiv b(\mod m)
性质1 自反性,对称性,传递性

定理6

整数a,b对模m同余的充要条件时mabm\mid a-b

定理7

如果ab(mod  m),αβ(mod  m),(1)ax+αybx+βy(mod  m),(2)aαbβ(mod  m),(3)anbn(mod  m),(6)f(a)f(b)(mod  m).a\equiv b(\mod m),\alpha \equiv \beta(\mod m),则有\\(1)ax+\alpha y\equiv bx+\beta y(\mod m),\\ (2)a\alpha \equiv b\beta (\mod m),\\(3)a^n\equiv b^n(\mod m),\\ (6)f(a)\equiv f(b)(\mod m).


定理8

如果acbc(mod  m),m,c)=d,ab(mod  md)ac\equiv bc(\mod m),且若(m,c)=d,则\\ a\equiv b(\mod \frac{m}{d})
初等数论二

定理9

ab(mod  mi),i=1,2,...,nab(mod  [m1,m2,...,mn])a\equiv b(\mod m_i),i=1,2,...,n则a\equiv b(\mod [m_1,m_2,...,m_n])初等数论二

剩余类和完全剩余系

定义2

设m是一个给定整数,Cr(r=0,1,…,m-1)表示所有形如qm+r的整数组成的集合,其中q=0,±1,±2...C0,C1,...,Cm1mq=0,\pm1,\pm 2...,则C_0,C_1,...,C_{m-1}叫做模m的剩余类

定理10

设m>0,模m剩余类Cj,则,每个整数都包含在某个剩余类Cj中,两个整数x,y属于同一类的充要条件是xy(mod  m)x\equiv y(\mod m)

定义3

在模m的剩余类C0,C1,...,Cm1C_0,C_1,...,C_{m-1}中各取一个数ajCja_j \in C_j,这m个数称为模m的一组完全剩余系

定理11

m个整数成为模m的完全剩余系的充要条件是两两对模m不同余

非负最小完全剩余

0,1,2,。。。,m-1

定理12

设(k,m)=1,而a0,a1,...,am1a_0,a_1,...,a_{m-1}是模m的一组完全剩余系,则ka0,ka2,...,kam1ka_0,ka_2,...,ka_{m-1}也是模m的一组完系初等数论二

定理13

m1>0,m2>0,(m1,m2)=1,xi,yjm1,m2m2xi+m1yjm1m2设m_1>0,m_2>0,(m_1,m_2)=1,而x_i,y_j分别通过模m_1,m_2的完系,则m_2x_i+m_1y_j通过模m_1m_2的完系

m2x1+m1x2m2x1m1x20(mod  m1m2)m_2x_1'+m_1x_2'-m_2x_1^{''}-m_1x_2^{''}\equiv 0(\mod m_1m_2)
初等数论二