模逆（2.裴蜀定理）

一.裴蜀定理

在数论中，裴蜀定理是一个关于最大公约数（或最大公约式）的定理，裴蜀定理得名于法国数学家艾蒂安·裴蜀。裴蜀定理说明了对任何整数 a、b和它们的最大公约数 d ，关于未知数 x以及 y 的线性的丢番图方程（称为裴蜀等式）。

1.1 裴蜀定理的基本公式

若a,b是整数,且gcd(a,b)=d，那么对于任意的整数x、y，ax+by都一定是d的倍数，特别地，一定存在整数x,y，使ax+by=d成立。

1.2 裴蜀定理的证明

若a,b是整数,且gcd(a,b)=d，那么对于任意的整数x、y，ax+by都一定是d的倍数（容易理解）
特别地，一定存在整数x,y，使ax+by=d成立（求证？）

    设  d  =  gcd（a，b），则 d|a（表示a被d整除), d|b . 对于任意整数 x，y. 都有d|（a*x+b*y)
     
    设s为 ax+by 最小正值，令q=[a/s] (这里的q表示不大于a/s的最大整数)

    令r=a mod s= a - q*s= a - q*（ax+by)=a(1-q*x) + b*(-qy) 

    可见 r 也是a、b的线性组合，由于 r 为 a mod s 所得 ，所以   0 <= r < s

    对于0 <= r < s， s为a、b线性组合的最小正值， r也是a、b的线性组合，但是 r < s , 所以r=0
    
    因为 r = a mod s ，此时 r=0 ，所以 s|a ，同理也可以证明 s | b，因此 s 也是a、b的一个公约数，且 d>=s
     
    因为d|a，d|b，且s是a与b的一个线性组合，所以s可以被d整除，即d | s，所以 d<=s

    由上面可知d=s， gcd（a，b）=d= ax+by## 1.2 裴蜀定理的证明

1.3 裴蜀定理的一个重要推论

由上面的推论可知，如gcd(a,b)=d，一定存在整数x,y，使ax+by=d成立。
如果a，b两个数互素，那么gcd(a,b)=1，此时也一定存在整数x,y，使ax+by=1成立。