1)同余关系
定义:对给定的正整数m,所有整数根据他们除以m所得余数是否相同,可分为m类(余数相同分为一类)
假设m是任意正整数,对两个整数a和b,它们除以m以后得到的余数记为a(mod m)和b(mod m),如果两个余数相等,则有a(mod m)=b(mod m),称a与b具有模m同余关系(a与b模m同余),记为a 三 b(mod m)或b 三 a(mod m)
2)同余关系判定
定理:假设m是任一正整数,任意整数a和b具有模m同余关系,当且仅当m能够整除a-b
证明方法1:假设a与b模m同余,那么a(mod m)=b(mod m) 即存在正整数k1和k2使
a-k1m=b-k2m,那么a-b=(k1-k2)m;反之,如果m能够整除a-b,那么(a-b)=0(mod m),即a-b=mk(k为某个整数),a-mk1=b-m*k2(其中k1-k2=k),故a与b模m同余
证明方法2
3)同余关系的保加性和保乘性
定理: 设m是任一正整数,若a与b模m同余,c与d模m同余(a b c d均为整数),那么它们的和与积也同余。 即a三b(mod m),c三b(mod m),那么a+c三(b+d)(mod m), ac三bd(mod m)
证明: 由于a三b(mod m),c三d(mod
m),所以存在整数k1和k2,使a=b+k1m,c=d+k2m,故a+c=b+d+(k1+k2)m,同理得ac=bd+()m
定理:若ac与bc模m同余,且c与m互素,则有a与b模m同余(一般的除法不满足这种关系)
证明1:由于ac与bc模m同余,所以存在某整数k使ac=bc+km,那么(a-b)c=km,由于c与m互素,故c为k的因子,那么a-b=k1m(其中k1=k/c),故a与b模m同余
证加粗样式明2:
4)同余类
剩余类:对m求余,余数相同的数放在一个类中,组成了剩余类
5)同余类的加法与乘法
假设m是任一正整数,对任意的整数a和b,定义[a]m+[b]m=[a+b]m ,[a]m*[b]m=[a*b]m
5)完全剩余系
从m个同余类中各取出一个数,组成m元集合,此集合为完全剩余系;称m元有限集合{0,1,2,3…m-1}为最小非负完全剩余系
6)模m简化同余类
模m简化同余类/模m简化剩余类:此剩余类中存在一个整数与m互素
简化剩余系/简化系:从m各简化剩余类中取出一个整数组成的集合
欧拉函数:表示模m简化剩余类的数目(不超过m且与m互素的正整数个数)
7)欧拉函数
对于正整数n而言,欧拉函数为小于或等于n的数中与n互质的数的数目,如8的欧拉函数为4(因为1,3,5,7与8互质)
8)同余方程
使ax与b模m同余的解x为该同余方程的解
8)同余方程解存在的充要条件
证明:模余方程ax三b(mod m)存在解的充要条件是存在整数y,使ax=b+my,即ax-my=b 假设d=gcd(a,m),那么(ax-my)/d=b/d,由于d是a和m的公因数,故除去后左边为整数,如果b/d不为0则说明右边为小数,那么自然的,就不会存在这个y和x;反之也一样
如何证明解的个数为(a,m)个???
9)模m逆
m为任一给定正整数,a是任一与m互素的整数,满足ax与1模m同余的最小正整数解称为整数a的模m逆
79x 三 229(mod 31)
79x=62x+x;而31正好整除62
x 三 229(mod 31)
10)解同余方程组——中国余数定理