贝祖定理 如果 \(a\)、\(b\) 是整数，那么一定存在整数 \(x\)、\(y\) 使得 \(ax+by=\gcd(a,b)\)。 换句话说，如果 \(ax+by=m\) 有解，那么 \(m\) 一定是 \(\gcd(a,b)\) 的若干倍。（可以来判断一个这样的式子有没有解） 有一个直接的应用就是 如果 \(ax+by=1\) 有解，那么 \(gcd(a,b)=1\)。 ...