特在所有的解中的任意一组解
通所有的解
（当然,这个不是定义,但是可以帮助你理解.）
已知当x=x0,y=y0时方程ax+by=c左右相等
所以,假设有一组解,其中x=x0+1,那么如果还要左右相等,y就必须等于y0-a/b（这个自己代进去算一下就知道了）
同理,有解x=x0+2,y=y0-2a/b
同理,有解x=x0+3,y=y0-3a/b
同理,有解x=x0-1,y=y0+a/b
以此类推
所以,如果有解x=x0,y=y0,则必定有解x=x0+k,y=y0-ka/b（k为整数）
因为x,y都必须为整数
所以必定有解x=x0+kp,y=y0-ka/b*p,其中p为整数,且a/b*p也为整数
符合条件的最小p就是b/(a,b)
所以必定有解x=x0+kb/(a,b),y=y0-ka/(a,b)
综上所述,若方程ax+by=c（其中a,b,c为常数）有一组整数解x=x0,y=y0
则必定有解x=x0+kb/(a,b),y=y0-ka/(a,b)