A,B,C是整数 Ax+By=C 若C|gcd(a,b),则有解 exgcd得出一组解(x0,y0) 则解系 x=x0-(a/gcd(a,b))*t y=y0+(b/gcd(a,b))*t 证明很简单以后再写