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