最大公约数 存在性定理
描述
任意n(n>=2)个整数a1,a2,…,an,都有最大公约数.如果d是最大公约数,则-d也是最大公约数;a1,a2,…,an的最大公约数至多相差一个符号.
证明
- 若a1,a2,…,an全为0,那么它们有且只有一个最大公约数0.
- 若a1,a2,…,an不全为0
构建集合S,S={
∑1ntiai∣t1,t2,...,tn∈{
1,2,...,n}}S = \{\sum_1^nt_ia_i|t_1,t_2,...,t_n\in \{1,2,...,n\}\}S={
∑1ntiai∣t1,t2,...,t