对于更一般的方程 ax+by=cax+by=c
设 d=gcd(a,b)d=gcd(a,b) 则其有解当且仅当 d|cd|c
求解方法如下:
用扩展欧几里得求出 ax0+by0=dax0+by0=d 的解
则a(x0∗c/d)+b(y0∗c/d)=ca(x0∗c/d)+b(y0∗c/d)=c
故而特解为 x′=x0∗c/d,y′=y0∗c/dx′=x0∗c/d,y′=y0∗c/d
而通解 = 特解 + 齐次解
而齐次解即为方程 ax+by=0ax+by=0的解
故而通解为 x=x′+k∗b/d,x=y′−k∗a/dk∈z