贝祖定理证明

$$\begin{array}{rl}& ax+by=d，d为ax+by的最小正整数d=gcd(a,b)\\ & ax+by=b{x}_1+(a\%b)y_1\\ & 辗转相除\\ & gcd(a,b)x_i+0y_i=d,当x_i取1时，取得最小值d\end{array}$$
$$\begin{array}{rl}& ax+by=d，d为ax+by的最小正整数d=gcd(a,b)\\ & 假设最小正整数为s，首先证明s是a和b的公因子，采用反证法\\ & 假设s不是a的因子，则a=qs+r(r>=0且r<s)\\ & r=a-qs=a-q(a{x}_t+b{y}_t),t为使得ax+by=s的x,y值\\ & r=(1-qs)a+(-y_t)b=a{x}_m+b{y}_m\\ & 上文说到s为最小的正整数，可知r只能等于0了，否则矛盾。\\ & 所以s必为a的因子，同理可得s为b的因子。\\ & gcd(a,b)为a与b的最大公因子，因此我们还要证明非最大公因子不符合条件\\ & ax+by=k,k为a和b的一个非最大公因子\\ & \frac{a}{gcd(a,b)}x+\frac{b}{gcd(a,b)}y=\frac{k}{gcd(a,b)}，可得，k必须为最大公因子，否则等式不成立\end{array}$$