在开始之前,我们要先了解一些数论的基本符号
(a,b)表示a,b的最大公约数,[a,b]表示a,b的最小公倍数,b|a表示a%b=0。
在数论中我们定义同余:设m!=0,若m|a-b,则a-b=km。称m为模,a同余于b模m以及b是a模m的剩余。
记做a≡b(modm),也称作模m的同余式。
例如对于偶数我们总可以除尽2,那么用同余式就可写为a≡0(mod2),同理对于奇数我们可以写成a≡1(mod2)。
定理一:a同余b的充分必要条件是a和b能被m除后所得的最小非负数余数相等,即若
a=q1+r1且b=q2+r2 (0<=r1<m,0<=r2<m),则r1=r2。
同余的性质有:
性质一:同余是一种等价关系
a≡a(mod m)
a≡b(mod m)<=>b≡a(mod m)
a≡b(mod m),b≡c(mod m)=> a≡c(mod m)
性质二:同余式可以相加,即若有
a≡b(mod m),c≡d(mod m)
则(a+c)≡(d+b)(mod m)
性质三:同余式可以相乘,即若有
a≡b(mod m),c≡d(mod m)
则(ac)≡(db)(mod m)
m|c(a-b),这等价于m/(c,m)|(a-b)c/(c,m)。
由(m/(c,m),c/(c,m))=1,可得m/(c,m)|a-b
性质七:若m>=1,(a,m)=1,则存在c使ca≡1(mod m),我们把c称为a对m的逆,记做a^-1(mod m)或a^-1。
性质八:同余式组
a≡b(mod mj) (j=1,2,3......)
同时成立的充要条件是 a≡b(mod [m1,m2,m3......])。