本专题主要围绕同余来讲：

下面介绍一下基本概念与定理：

下面给出解这方程的一个例子：

下面是用代码实现扩展欧几里得算法：

#include<bits/stdc++.h>
using namespace std;
int gcd(int a,int b,int &x,int &y){
    if(b==0){
        x=1;
        y=0;
        return a;
    }
    int d=gcd(b,a%b,y,x);
    y=y-b/a*x;
    return d;
}

下面我们引进二元一次不定方程的通解：