二元线性不定方程：

有方程ax+by=c;首先必须满足gcd(a,b)|c;否则无解。

所以我们可以用扩欧求出一组特解：ax₀+by₀=gcd(a,b);

然后我们可以知道a(x₁-x₂)=b(y₂-y₁),b|(x₁-x₂),a|(y₂-y₁);

所以

二元线性不定方程和模线性方程