数论基础（一）同余及其求证

2019独角兽企业重金招聘Python工程师标准>>>

同余的概念：

        给定一个正整数m，如果两个整数a和b满足（a-b）能够被m整除，即（a-b）/m得到一个整数，那么就称整数a与b对模m同余，记作a≡b(mod m)。

证明：

充分性: m|(a-b)——> a≡b(mod m)

        设a=mq1+r1,b=mq2+r2且0≤r1,r2<m

        a-b=m(q1-q2)+(r1-r2).

        ∴  r1-r2= a-b-m(q1-q2)

        又m|(a-b)

        ∴必有常数n使得(r1-r2)=mn

        则有m|(r1-r2).

        ∵0≤r1,r2<m,

        ∴0≤|r1-r2|<m

        ∴r1-r2=0

        即r1=r2.

        故a≡b(mod m).

必要性:a≡b(mod m)——>m|(a-b)

        设a,b用m去除余数为r,

        即a=mq1+r,b=mq2+r.

        ∵a-b=m(q1-q2)

        ∴m|(a-b).

转载于:https://my.oschina.net/zhcnlyh/blog/733946