从欧几里得到扩展欧几里得到裴蜀定理再到扩展中国剩余定理
欧几里得算法欧几里得算法,又称辗转相除法。用于计算两个整数 a,ba,ba,b 的最大公约数。基本算法思路(来自离散数学)为:设 a=bq+ra=bq+ra=bq+r,其中 a,b,q,ra,b,q,ra,b,q,r都是整数。则 gcd(a,b)=gcd(b,r)\text{gcd}(a,b)=\text{gcd}(b,r)gcd(a,b)=gcd(b,r),即 gcd(a,b)=gcd(b,a%b)\text{gcd}(a,b)=\text{gcd}(b,a\%b)gcd(a,b)=gcd(b,a%