cinta扩展作业1：bezout定理的推广证明

1、请证明以下定理：

对任意n个正整数，它们的最大公因子d是这n个整数的某个整数的线性组合，即$d=a_0{s}_0+a_1{s}_1+a_2{s}_2+...+a_{n-1}{s}_{n-1}$，即$s_i$ 都是整数。

证明如下：
构造集合
S = { a 0 s 0 + a 1 s 1 + . . . + a n − 1 s n − 1 : s i ∈   Z 且 a 0 s 0 + a 1 s 1 + . . . + a n − 1 s n − 1 ≥ 0 } S= \left\{a_{0} s_{0} + a_{1} s_{1} + ... + a_{n-1} s_{n-1}:s_i\in\ \mathbb{Z} 且a_{0} s_{0} + a_{1} s_{1} + ... + a_{n-1} s_{n-1}\geq 0\right\} S={a0​s0​+a1​s1​+...+an−1​sn−1​:si​∈ Z且a0​s0​+a1​s1​+...+an−1​sn−1​≥0}
显然集合$S$非空，根据良序原则，$S$中存在最小值$d$，令$d=a_0{s}_0+a_1{s}_1+...+a_{n-1}{s}_{n-1}$
以下分两部分证明：

1）证明$d$是$a_0,a_1\dots \dots ,a_{n-1}$ 的公因子

由除法定理，设$a_0=d{q}_0+r_0$, 且$0\le r_0<d。$则有
$r_0=a_0-d{q}_0=a_0-(a_0{s}_0+a_1{s}_1+...+a_{n-1}{s}_{n-1})q=a_0(1-s_0{q}_0)+(a_1+a_2+...+a_{n-1})(-s_0{q}_0)$
显然，$(1-s_0{q}_0),(a_1+a_2+...+a_{n-1})\in \mathbb{Z}$ ，且因为$r_0>0$ ，则 $r_0\in S。$

又因为$r_0<d$，这与$d$是$S$中最小元素相矛盾，因此$r_0=0$。
则$d\mid a_0$，同理也可得$d\mid a_1$，$d\mid a_2$……$d\mid a_{n-1}$，故$d$是$a_0,a_1\dots \dots ,a_{n-1}$ 的公因子

2）证明d是所有公因子中最大的

设存在另一个$a_0,a_1\dots \dots ,a_{n-1}$的公因子$d^{\prime }$，则有$a_0=d^{\prime }{t}_0$、$a_1=d^{\prime }{t}_1$、……、$a_{n-1}=d^{\prime }{t}_{n-1}$，$t_i\in \mathbb{Z}$ ，i=1，2，……n-1
那么$d=a_0{s}_0+a_1{s}_1+...+a_{n-1}{s}_{n-1}=d^{\prime }(t_0{s}_0+t_1{s}_1+\dots \dots +t_{n-1}{s}_{n-1})$。
显然，$(t_0{s}_0+t_1{s}_1+\dots \dots +t_{n-1}{s}_{n-1})\in \mathbb{Z}$，则$d^{\prime }\mid d$成立，故d是d是所有公因子中最大的。

综上

$d=gcd(a_0,a_1,\dots \dots ,a_{n-1})$成立,
又因$d=a_0{s}_0+a_1{s}_1+...+a_{n-1}{s}_{n-1}$，
即$gcd(a_0,a_1,\dots \dots ,a_{n-1})=a_0{s}_0+a_1{s}_1+...+a_{n-1}{s}_{n-1}$成立

2、利用以上定理证明，n个整数的最大公因子满足以下等式：

gcd(a0, a1, a2, … , a_{n-1}) = gcd(a0, gcd(a1, a2, … , a_{n-1}))

由上面的定理可得
$gcd(a0,a1,a2,...,a_{n-1})$=$a_0{s}_0+a_1{s}_1+...+a_{n-1}{s}_{n-1}$ ——（1）
$gcd(a0,gcd(a1,a2,...,a_{n-1}))$=$a_0{s}_0^{\prime }+gcd(a1,a2,...,a_{n-1})s_1^{\prime }$ ——（2）
$gcd(a1,a2,...,a_{n-1})$=$a_1{s}_1^{\prime \prime }+...+a_{n-1}{s}_{n-1}^{\prime \prime }$ ——（3）

由(2)、(3)式子可得
$gcd(a0,gcd(a1,a2,...,a_{n-1}))$=$a_0{s}_0^{\prime }+(a_1{s}_1^{\prime \prime }+...+a_{n-1}{s}_{n-1}^{\prime \prime })s_1^{\prime }$= $a_0{s}_0^{\prime }+a_1{s}_1^{\prime }{s}_1^{\prime \prime }+...+a_{n-1}{s}_1^{\prime }{s}_{n-1}^{\prime \prime }$ ——（4）

由于所有的$s_i、s_i^{\prime }、s_i^{\prime \prime }$均是整数，将(4)式与（1）式进行比对后，显然等式成立