同余问题（含证明）整理（篇目①：定义、性质与两个简单定理）

---

文中部分字母含义、定义（不想累赘书写）

设$a=k_{1}m+r_1,b=k_{2}m+r_2$（$r$为余数）

---

定义&定理

定义①：

$a\equiv b(modm)$指$a$和$b$对模m同余，即$amodm=bmodm$

 
定义②：
在模$m$的意义下，余数相同的归为一个集合，那么所有整数被分为$m$个不同的集合，模$m$的余数分别为 $0,1,2,3,...,m-1$，这些集合被称为模$m$剩余类（同余类）。

 

定理①

$a\equiv b(modm)\iff m|(a-b)$，
证：
$\therefore a-b=k_{1}m+r_1-(k_{2}m+r2)=(k_1-k_2)m+(r_1-r_2)$
$\because m|(a-b)$
$\therefore r_1=r_2$（即与$r$余数无关时，则$a-b=(k_1-k_2)m$必能被$m$整除
当$r_1=r_2$时，即 a ≡ b ( m o