$ ax + by = c $方程的通解： 令 $ g = gcd(a, b) $ 设有一组特解 \(x_0, y_0\) 是 \(a' x + b' y = 1\)的特解 $ x = x_0 \frac{c}{g} + k \frac{b}{g} $ $y = y_0 \frac{c}{g} - k \frac{a}{g} $ 不难证明(另一篇博客里面已经证明了)
