CINTA扩展作业一：Bezout定理推广版本

题一

1、请证明以下定理：
对任意n个正整数，它们的最大公因子d是这n个整数的某个整数的线性组合，即d = a0 s0 + a1 s1 + a2 s2 + … + a_{n-1} s_{n-1}，即s_i 都是整数。
证明：
构造集合：S={a0 s0+a1 s1+a2 s2+…+an-1 sn-1, s0 ,s1 …sn-1∈Z,且a0 s0+a1 s1+a2 s2+…+an-1 sn-1>=0}
显然S非空，根据良序定理，取其中最小值d= a0 t0+a1 t1+a2 t2+…+an-1 tn-1,d>=0
证明：
① 证d是a0 , a1 …an-1 的公因子
令a0=dq+r0,0<=r0<d,即r0=a0-dq, 将d= a0 t0+a1 t1+a2 t2+…+an-1 tn-1代入前式，
则r0=a0- (a0 t0+a1 t1+a2 t2+…+an-1 tn-1)q
=a0(1-t0 q)+a1(-t1 q)+a2(-t2 q)+…+an-1(-tn-1 q)
与S中 a0 s0+a1 s1+a2 s2+…+an-1 sn-1 样式符合
所以r0为集合S中的一员
若r0>0，根据“d是S中的最小值”，有且仅有r0=d,但“0<=r0<d”，所以r0>0不成立
若r0=0,则有a0=dq
则a0整除d
同理，a1整除d ，
a2整除d
…
an-1整除d
∴d是a0 , a1 …an-1 的公因子
② 证d是a0 , a1 …an-1 的最大公因子
假设存在更大的公因子d1
则a0=q0 d1，
a1=q1 d1
…
an-1=qn-1 d1
则a0 s0+a1 s1+a2 s2+…+an-1 sn-1
= q0 d1 s0+ q1 d1 s1+…+ qn-1 d1 sn-1
=d1(a0 s0+a1 s1+a2 s2+…+an-1 sn-1)
=d
d整除d1
假设不成立，所证成立

综上所述，得证

题二

利用以上定理证明，n个整数的最大公因子满足以下等式：
gcd(a0, a1, a2, … , a_{n-1}) = gcd(a0, gcd(a1, a2, … , a_{n-1}))
证明：
gcd(a0, a1, a2, … , a_{n-1})
=a0 s0+a1 s1+a2 s2+an-1 sn-1
=d0
gcd(a1, a2, … , a_{n-1})
=a1 t1 +a2 t2+…+an-1 tn-1
=d1
gcd(a0, gcd(a1, a2, … , a_{n-1}))
=a0 r0+a1 t1 r1+a2 t2 r2+…+an-1 tn-1 rn-1
=d2
由题一，d0和d2都是a0 a1…an-1的线性组合
所以：r0=s0, t1 r1= s1, t2 r2= s2,…, tn-1 rn-1= sn-1
所以：gcd(a0, a1, a2, … , a_{n-1}) = gcd(a0, gcd(a1, a2, … , a_{n-1}))