Bezout定理

Bezout定理

Definition

设d=(a,b)

则存在两个整数x,y,满足：
$$ax+by=d$$

Solution

首先带入下数据（随便两个整数）

例：14 10

不难看出，gcd(14,10)=2

辗转相除法：

(a,b)=(b,a mod b)

$\frac{14}{10}=\mathrm{1...4}$

$\frac{10}{4}=\mathrm{2...2}$

$\frac{4}{2}=\mathrm{2...0}$

当(a mod b)=0时，结束，取最后一次的商

Formula

$$\begin{gathered} b=a{q}_1+r_{1}0<r_1<|a| \\ a=r_1{q}_2+r_{2}0<r_2<r_1 \\ {r}_1=r_2{q}_3+r_{3}0<r_3<r_2 \\ {r}_2=r_1{q}_4+r_{4}0<r_4<r_3 \\ ... \\ {r}_{k-3}=r_{k-2}{q}_{k-1}+r_{k-1}0<r_{k-1}<r_{k-2} \\ {r}_{k-2}=r_{k-1}{q}_k+r_{k}0<r_k<r_{k-1} \\ {r}_{k-1}=r_k{q}_{k+1} \\ {r}_{k}mod{r}_{k-1}=r_{k}mod{q}_{k+2}=0 \end{gathered}$$

$\because$ d=(a,b)

$\therefore$ d满足以下条件：
$$d\mid r_{k}d\mid r_{k-1}d\mid r_{k-2}...d\mid r_1$$
从第k 个式子往前推导，又可以得出：

$\because$ $r_k\mid r_{k-1}{r}_k\mid r_{k-2}{r}_k\mid r_{k-3}$

$\therefore$ $r_k\mid a{r}_k\mid b$

$\because$ (a,b)=d，$\therefore$ $r_k⩽$ d

又$\because$ (a,b)=$r_k$，$\therefore$ $r_k=d$

解一下第k个式子：
$$\begin{gathered} r_{k-2}=r_{k-1}{q}_k+r_k \\ {r}_{k-2}=r_{k-1}{q}_k+d \\ -d=r_{k+2}{q}_k-r_{k+2} \\ d=r_{k+2}-r_{k+2}{q}_k \end{gathered}$$
可以很轻易地得出
$$d=r_{k+2}-r_{k+2}{q}_k$$
解一下第$k-1$个式子：
$$\begin{gathered} r_{k-3}=r_{k-2}{q}_{k-1}+r_{k-1} \\ -r_{k-1}=r_{k-2}{q}_{k-1}-r_{k-3} \\ {r}_{k-1}=r_{k-3}-r_{k-2}{q}_{k-1} \end{gathered}$$
$\because$ 假设$a\mid b$ 且 $a\mid c$ ，则对于任意整数x,y，都有$a\mid bx+cy$ （线性组合）

$\therefore$ d可表示为$r_{k-2}$与$r_{k-3}$ 的线性组合

$\therefore$ $d=ax+by$

得证