主要使用结论: 两个数的公约数一定整除它们的最大公约数.
首先, 若a, b, c中有0, 易见((a,b),c) = 0 = (a,b,c). 以下只讨论a, b, c ≠ 0的情况.
∵(a,b,c)是a, b, c的公约数, 即(a,b,c) | a, (a,b,c) | b, (a,b,c) | c,
∴(a,b,c) | (a,b), (a,b,c) | c, 即(a,b,c)是(a,b)和c的公约数,
∴(a,b,c) | ((a,b),c).
由a, b, c ≠ 0, 有((a,b),c) > 0, 于是(a,b,c) ≤ ((a,b),c).
而∵((a,b),c)是(a,b)和c的公约数, 即((a,b),c) | (a,b), ((a,b),c) | c,
∴((a,b),c) | a, ((a,b),c) | b, ((a,b),c) | c, 即((a,b),c)是a, b, c的公约数.
∴((a,b),c) ≤ (a,b,c).
于是只有((a,b),c) = (a,b,c).
至于怎么证明两个数的公约数一定整除它们的最大公约数.
这个用裴蜀(Bézout)定理, 存在整数x, y使ax+by = (a,b).
易见a, b的公约数一定整除左边, 因此也整除右边.
Bézout定理则是用带余除法证明的.