证明贝祖定理

定理2.2：设 a 和 b 为非零整数，存在整数 r 和 s 使得：
$gcd(a,b)=ar+bs$
而且，a 与 b 的最大公因子是惟一的。称 r 和 s 为 Bézout 系数。

证明:
构造集合$S=$ {$am+bn:m,n\in Z且am+bn>=0$}。
显然集合$S$非空，根据良序原则，取其中最小值$d=ax+by$.
下面证明$d$为$a$和$b$的公因子.
根据除法定理，有$a=qd+r，0<=r<d$，$q\in Z$，则有$r=a-qd=a-q(ax+by)=(1-qx)a+(-qy)b\in S$，又因为$d$是$S$中的最小值，所以$r=0$，则$a|d$，同理$b|d$。所以$d$为$a$和$b$的公因子。
下面证明如果存在$a$和$b$的公因子$d\prime$，则 $d\prime |d$。
设d’是a和b的公因子，则有$d=ax+by$ = $d^{\prime }(a^{\prime }x+b^{\prime }y)$。所以$d\prime |d$。
所以$d$为$a$和$b$的最大公因子，即$d=gcd(a,b)$。
所以贝祖定理成立