定义: 设a,b是任意两个整数,其中b!=0,如果存在一个整数q使得等式
a=bq (1)
成立,我们就说b整除a或a被b整除,记作b|a,此时我们把b叫作a的因数,把a叫作b的倍数.
如果(1)里的整数q不存在,我们就说b不能整除a或a不被b整除,记作b/|a.
定理1(传递性)
若a是b的倍数,b是c的倍数,则a是c的倍数,即b|a,c|b=>c|a
定理2
若a,b都是m的倍数,则a+b或a-b也是m的倍数
定理3
若a1,a2,...,an都是m的倍数,q1,q2,...,qn是任意n个整数,则q1a1+q2a2+...+qnan是m的倍数
定理4(带余数除法)
若a,b是两个整数,其中b>0,则存在着两个整数q及r,使得
a=bq+r,0<=r<b (2)
成立,而且q及r是惟一的
定义 (2)中的q叫做a被b除所得的不完全商,r叫作a被b除所得到的余数.