整除的性质

• 两个互相整除，则相等或相反

$$b=q_1{q}_{2}b(b\ne 0)⟹q_1{q}_2=1$$ $$q_1=q_2=\pm 1$$

• 传递性质

• 被除数 $a$ 可以线性组合，即如果 $c|a$ 且 $c|b$ ，那么 $c|ua+vb$

$$ua+vb=(u{q}_1+v{q}_2)c$$

• 正负号任意

$$a|b⟺-a|b⟺a|-b⟺-a|-b⟺|a|\mid |b|$$

• 大小关系

$$a|b⟹|a|<|b|$$