ax+by=kk-by 能整除 a得出x0,y0x0-q 要使by+u则q同余u(mod t)a(x0-q)+by=k-aq要在方程中加入bu而aq=bu易知a:b=u:qa=ub=qx=x0-bt,y=y0+att为任意整数} 证明完毕。
