欧几里得定理 及 拓展欧几里得 小结

【欧几里得定理】

定义：

• $\gcd (a,b)=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$
  
  

应用：

故得到 求解gcd的辗转相除法

模板：

int gcd(int a,int b)
{
   
	return b?gcd(b,a%b):a;
}

int lcm(int a,int b)
{
   
    return a/gcd(a,b)*b;      //这样写防止溢出
}

---

【拓展欧几里得】

定义：

• 已知$a,b$求解一组$x,y$，使它们满足贝祖等式： $ax+by=\gcd (a,b)=d$（解一定存在）

推导：

已知：$a{x}_1+b{y}_1=\gcd (a,b)=d$ —— ①
　　　$b{x}_2+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y_2=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)=d$ —— ②

由欧几里得定理$\gcd (a,b)=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$࿰