Bezout定理的完整证明

《数论与代数的计算性导论》 华南师范大学 王立斌
定理 2.2. Bézout 定理
设 a 和 b 为非零整数，存在整数 r 和 s 使得：
gcd(a, b) = ar + bs
而且，a 与 b 的最大公因子是惟一的。称 r 和 s 为 Bézout 系数。
Bézout 定理的证明可在标准数论教材中找到。以下给出证明思路。

证明定理2.2：
构造集合S={am-bn:m,n∈Z且am+bn≥0}.
显然，集合S非空，根据良序原理(自然数集的每个非空子集都有个最小元素，即自然数在其标准的大小关系下构成一良序集)，取其中最小值d=ar+bs。

①证明d是a和b的公因子：
假设d不是a和b的公因子，那么d至少不是a和b其中一个的因数。则设有整数k₁，k₂，j₁，j₂，使得a=k₁d+j₁,b=k₂d+j₂。其中j₁，j₂不整除于d且至少一个不为0。
d=ar+bs可写成：d=(k₁d+j₁)r+(k₂d+j₂)s。
两边同除以d得：k₁r+k₂s+j₁r/d+j₂s/d=1。
由于j₁，j₂不整除于d且至少一个不为0，所以j₁r/d+j₂s/d不一定为整数，而由于k₁，k₂，r，s都为整数，则k₁r+k₂s一定为整数，1也是整数。等式两边会出现整数+非整数=整数的情况，这种情况是不存在的。因此，d一定是a和b的公因子。

②证明如果存在 a 和 b 的公因子 d′，则 d′| d：
假设存在a和b的一个公因子为d’，则设正整数q₁，q₂，使得a=q₁d’，b=q₂d’。
d=ar+bs可写成：d=q₁d’r+q₂d’s。
两边同除以d’得：d/d’=q₁r+q₂s。由于q₁，q₂，r，s都是整数，因此q₁r+q₂s是整数。d’|d得证。

综合①②的证明，d=gcd(a,b)得证。
因此，原定理得证。