說明了對任何整數a、b和它們的最大公約數d

關于未知數x和y的線性不定方程（稱為裴蜀等式）：若a,b是整數,且gcd(a,b)=d，那么對于任意的整數x,y,ax+by都一定是d的倍數

特別地，一定存在整數x,y，使ax+by=d成立

它的一個重要推論是：a,b互質的充分必要條件是存在整數x,y使ax+by=1.

由此，我們便可對式子進行化簡

將同余式ax≡c(mod b)轉化為ax+by=c(很重要，做題列方程化簡幾乎必定會用到，牢記)

充分必要條件也即充要條件，意思是說，如果能從命題p推出命題q，而且也能從命題q推出命題p ，則稱p是q的充分必要條件，且q也是p的充分必要條件。

樣例：

1 A=“三角形的三條邊都相等”；B=“三角形的三個角都相等”。

A是B的充分必要條件；

2 A=“某人觸犯了法律”；B=“應當依照刑法對他處以刑罰”。

A是B的必要不充分條件；（A觸犯法律包含各種法，有刑法有民法；B已經確定是刑法。B屬于A所以A是B的必要不充分條件）

3 A=“付了足夠的錢”；B=“買到商店里的東西”。

A是B的必要不充分條件；（ A付夠了錢 可以買的是車、房子等；但是B能買到商店里的東西一定是要付夠錢）

ax1+by1=gcd(a,b)　　　ax2+by2=gcd(a,b)

可由此推出

ax1+by1=ax2+by2

a(x1-x2)=b(y2-y1)

因為gcd(a,b)為a,b的最大公因數，所以將 A=a/gcd(a,b)，B=b/gcd(a,b)，向下推出

A(x1-x2)=B(y2-y1)

此時A，B互質，繼續向下推出

A(nB)=B(nA)

(x1-x2)=n*B

(y2-y1)=n*A

重點部分

這里從x入手，得

(x1-x2)=n*B

x1=x2+n*B

由此，我們推出了x解的通解公式 x=x0+n*B

同理，我們推出了y解的通解公式 y=y0-m*A

如果要求x的最小整數解,即x0,就為x0=x%B

如果我們要求的是 ax+by=c，還得先轉化 x=x*c/gcd(a,b).

然后套入公式

B=b/gcd(a,b)

x0=x%(b/gcd(a,b))

證畢(博主已累成狗，點個推薦唄) 若還不清楚，可移步Ta的博客(講的蠻詳細的)

int exgcd(int a,int b,int &x,int &y){if(b==0){x=1,y=1;return a;}int gcd=exgcd(b,a%b,y,x);//沒錯，這玩意能求gcd    //不過c++是有系統函數求GCD的->__gcd(a,b);y-=a/b*x;return gcd;  }

(1).求解不定方程

(2).求解線性不定方程(線性同余方程)

(3).求解模的逆元

int exgcd(int a,int b,int &x,int &y){if(b==0){x=1,y=1;return a;}int gcd=exgcd(b,a%b,y,x);y-=a/b*x;return gcd;  }  int getinv(int a,int p){int x,y,gcd;gcd=exgcd(a,p,x,y);if(gcd==1){x=(x%p+p)%p;return x;}else{cout<<"a,p不互質"<

#include  #define int long long  using namespace std;  int x=0,y=0;  int exgcd(int a,int b,int &x,int &y){if(b==0){x=1;y=0;return a;}int g=exgcd(b,a%b,y,x);y-=a/b*x;return g;  }  signed main(){int a,b;cin>>a>>b;exgcd(a,b,x,y);cout<<(x%b+b)%b;return 0;  }