裴蜀定理 (贝祖定理)
对于任何整数 a,b, 它们的最大公约数为 d, 那么对于任意的的整数 x,y, ax + by 都一定是 d 的倍数,特别地, 一定存在 x,y, 使得 ax + by = d, 这样的 (x,y) 被称为【贝祖系数】。
求所有的贝祖系数
如果 a,b 都非零,并且已经求得了一组贝祖系数 \( (x_1,y_1) \), 所有的贝祖系数可以表示如下: \[ (x_1-k\frac{b}{d}, y_1+k\frac{a}{d}) \] k 为任意整数,d = gcd(a,b)