线性丢番图方程（ax + by = c）

方程 ax + by = c 的整数解：当且仅当 gcd(a,b) | c 时有解；一般解由扩展欧几里得算法用整参数 k 表示。