问题及解答

Lemma (Bezout) 对任意整数 $a,b$, 存在整数 $s,t$, 使得
\[
\text{gcd}(a,b)=sa+tb.
\]
即任何两个整数的最大公因子可由它们整线性表示.

Blankinship 方法

References:

W. Edwin Clark, Elementary Number Theory. Chapter 9