二元线性不定方程：
有方程ax+by=c;首先必须满足gcd(a,b)|c;否则无解。
所以我们可以用扩欧求出一组特解：ax0+by0=gcd(a,b);
然后我们可以知道a(x1-x2)=b(y2-y1),b|(x1-x2),a|(y2-y1);
所以
二元线性不定方程和模线性方程
原文：http://www.cnblogs.com/SXia/p/6790128.html
