下面和上面其实是一样的

裴蜀定理特殊形式
a*x'+b*y'=gcd(a,b)

d=gcd(a,b)
a*x'+b*y'=gcd(a,b)
a*x'+b*y'=d
两边同乘m，得       
(备注：c=d*m)
a*x+b*y=c
a*x'*m+b*y'*m=c;
变形得a*(m*x'+k*b/d)+b*(m*y'-k*a/d)=c
即得通解
a*x+b*y=c的通解为
(m*x+k*b/d,m*y-k*a/d)      //m=c/d 
k是整数
所以x%b仍然是一个解，y%a仍然是一个解

转自https://blog.csdn.net/qq_39942341/article/details/79332263