数论第一节：整数的可除性

@[TOC ]

1、整除的概念

整除：
设a，b∈Z，若存在整数c∈Z，s.t. a= bc，则称b整除a，记为$b|a$否则称b不整除a。
带余除法：
设$a，b\in z$，$b\ne 0$，则存在唯一q，r属于Z，$s.t.a=b\ast q+r$，且$0\le r<|b|$。
注意：余数一定大于等于0。所以$(-10)÷3=-\mathrm{4...2}$，因为$3\ast (-4)+2=(-10)$

2、带余除法的证明：

2.1 存在q，r属于Z（存在性证明）

因为b大于0，所以可以用b划分整数轴。得到如下整数轴：

用数学语言描述为：
$$(-\infty ,+\infty )=\bigcup _{k=-\infty }^{+\infty }[kb,(k+1)b)$$
对于任意的a∈Z，存在一个整数q，s.t. a属于$[q\ast b,(q+1)\ast b)$，即满足
$$q\ast b\le a＜(q+1)\ast b$$
即
$$0\le a-q\ast b＜b$$
存在性证明整毕。
当b小于0时，同理可证，这里不再赘述。

2.2 q的唯一性证明

采用反证法证明，假设q不唯一，则存在$q’\ne q$与$r^{\prime }\ne r$，使得对于同一个a，有：
$a=b\ast q^{\prime }+r^{\prime }$；$a=b\ast q+r$
可得
$$b\ast q^{\prime }+r^{\prime }=b\ast q+r$$
$$\Rightarrow b\ast (q^{\prime }-q)=r-r^{\prime }$$
为了方便后续计算，对等式两边取绝对值
$$\Rightarrow |b(q^{\prime }-q)|=|r-r^{\prime }|$$
由初始条件可得，
$$b\le b|(q^{\prime }-q)|,且|r-r^{\prime }|＜b$$
所以得
$$b\le |r-r^{\prime }|＜b$$
$$\Rightarrow b＜b$$
产生了矛盾，所以假设不成立。

3、整除的基本性质

3.1 传递性

概念：
$$a|b，b|c\Rightarrow a|c$$
显然，不做证明。

3.2 其他性质1

概念：
$$c|a,c|b,\Rightarrow c|a+b或c|a-b$$

3.3 其他性质2

设n个整数$q_1-q_n$,然后逐步去证明。

3.4其他性质3

概念：
$$a|b,b|a,则b=a或b=-a$$
简要证明思路：
设$q_1=q_2=1$,则$a=b$
设$q_1=q_2=-1$,则$a=-b$

参考资料：

1、《初等数论》高等教育出版社
2、bilibili视频