条 整除 整除(divisible)是定义在Z上的二元关系： 设a,b∈Z,a≠0，ab台(3c∈Z)(b=a×c) alb读作“a整除b” 设a,b,c∈Z且a≠0，有： o(ab)A(alc)→al(b+c) oab→al(b×c) o(alb)A(blc)→alc
整除
般鷗感 余数 ■余数(remainder)来源于带余除法 定义（带余除法)：令a∈Z,d∈Z+,则： (3!q,r∈Z∧0≤r<d)(a=d×q+r) 0 其中，a称为被除数(dividend),d称为除数 (divisor),q称为商(quotient)4,r称为余数 0 记：q=a div d,r=a mod d,后者读作“"a模b” 例：：-11=3×(-4+1，-11m0d3=1 6
余数
条 余数 模的基本性质：令a,b∈Z,d∈Z+,则： o(a+b)mod d (a mod d+b mod d)mod d o (a x b)mod d [(a mod d)(b mod d)]mod d
余数