贝祖定理及其逆定理的几种证明

---

前言

第一次写CSDN的博客，因为我是学数学的，也学一些代码但是不多，所以文章可能更多的是和数学有关的，也许以后会有一些和算法有关的。这次重读数学分析时，又注意了一遍开头讲述的实数域的东西，因为后面就要涉及到数列，说到数列就要提到整数和数学归纳法，整数论里很基础的东西就是因数倍数的关系，说到这些就不能不提到贝祖定理，虽然说到这里和数学分析的关系疏远了很多，不过这次的主题是贝祖定理。

---

贝祖定理

为了方便，我们令$a$和$b$是正整数，$a$和$b$有公因数$d$，则贝祖定理即是说，存在整数$x$和$y$（一般为一个正数一个负数）使得$ax+by=d$。当$a$或$b$是负数的时候很容易用正数的结论证明出来，如果有一个是$0$则显然成立。

贝祖定理的证明

1.整除方法

我们考虑$a$，$2a$，$3a$，$\dots$，$\frac{b}{d}a$这一共$\frac{b}{d}$个数除以$b$的余数，因为$d$为$a$和$b$的最大公因数，所以任意$a$的整数倍除以$b$的余数为$d$的倍数，所以上面这$\frac{b}{d}$个余数都是$d$的倍数，而且没有任何两个是相等的。可以用反证法说明这一点，如果有两个是相等的，设为$ia$和$ja$相等，则说明$b$整除$(j-i)a$，进而说明$\frac{b}{d}$整除$(j-i)$。由于$i$和$j$都是小于$\frac{b}{d}$的，产生了矛盾，所以不能有两个相等的。又因为任意$a$的整数倍除以$b$的余数为$d$的倍数，小于$b$的$d$的倍数一共只有$\frac{b}{d}$个，所以上面那$\frac{b}{d}$个余数就是$0$，$d$，$2d$，$\dots$，$b-d$的一个排列。从而存在$ia$满足它除以$b$的余数是$d$，又设此时的商是$y$，则有$ia-yb=d$，至此即证。

2.辗转相减法

我们定义以下流程：
第一次迭代：
如果$a\ge b$，则令$a_1=a-b$，$b_1=b$；
如果$a<b$，则令$a_1=b-a$，$b_1=a$；
第二次迭代：
如果$a_1\ge b_1$，则令$a_2=a_1-b_1$，$b_2=b_1$；
如果$a_1<b_1$，则令$a_2=b_1-a_1$，$b_2=a_1$；
第三次迭代：
$\dots \dots$
如此一直迭代，直到$a_i$或$b_i$中有一个是 $0$ 则停止。
因为$a_i$是随着迭代进行不断减小的，由于$a$和$b$的有限性，所以经过有限次的迭代最终总能终止。另一方面，设$d$是$a$和$b$的最大公因数，则对于任意的$a_i$和$b_i$都是被$d$整除的。而最后假设$a_k$是$0$然后停止迭代了，则说明$a_{k-1}=b_{k-1}\ne 0$，此时逆着推回去很容易证明$b_{k-1}$整除任意的$a_i$和$b_i$，于是$b_{k-1}$是$a$和$b$的公因数。综上可以知道$b_{k-1}$是$a$和$b$的最大公因数，这也即求最大公因数的一种方法。依然是吧以上的多次迭代的式子逆推回去，就可以得到用$a$和$b$的线性组合表示的$d$。

3.归纳法

我们假设$a+b\le k$时是成立的，并以此证明对于$a+b=k+1$时是成立的。
首先对于$a+b=2$时，$a=1$，$b=1$，命题是显然成立的。
证明对于$a+b=k+1$时是成立的，不妨设$a>b$，我们只需要证明有一种$a$和$b$的线性组合是$d$，这等价于有一种$a-b$和$b$的线性组合是$d$，而后面这个命题为满足$a+b=k-b$的一个命题，由归纳假设易证。另外，上面如果$a=b$，命题也是显然成立的。

贝祖定理逆定理的证明

内容

如果对于正整数$a$、$b$存在他们的一个线性组合等于$1$，则他们互素。
这个内容乍一看不完整，因为上面的定理中还涉及到了最大公因数。不过上面这句话其实已经很完整了，换一种表述就是，$a$、$b$线性组合的最小值是他们的最大公因数。为了不赘述，因而只把它最关键的一步描述了出来。

证明

这个的证明很简单，不再提供更多的方法：
设$a$、$b$的最大公因数是$d$，则根据上面的式子知道$d$整除$1$，所以最大公因数是$1$，亦即互素。

---

总结

上面不是很严格的内容的演绎，没有从最根本上入手，只是相当于大致理解一下定理内容或关系