同余

• $a\equiv b(\mathrm{mod}m)⟺m|(a-b)$
• 基本性质
  • 加减乘的保加性、保乘性。
  • $2\equiv -1(\mathrm{mod}3)$ 可得 $2^n\equiv (-1{)}^n(\mathrm{mod}3)$
  • ⚠️ 难点：同余式中的除法规则（只有当 $(c,m)=1$ 时才能消去因子 $c$）。