当前位置:   article > 正文

[数论]——辗转相除法求最大公因数

辗转相除法求最大公因数

1. 辗转相除

1.1.算法实现

int gcd(int a, int b){
    return b == 0?a:gcd(a,a%b);
}
  • 1
  • 2
  • 3

无论a>b还是b>a都适用。

因为,若a<b,那么显然会有a%b=a,也就会出现gcd(a,b)=gcd(b,a)显然成立。

1.2.实现流程

求a与b的最大公约数

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-MpSZtF2M-1615450405753)(D:\笔记图片集\1615433946609.png)]

1.3.证明

①引理:如果有等式

a = k ∗ b + r a=k*b+r a=kb+r

r = a%b

成立, 那么a与b和a与r(r=a%b)有相同的公因式。

②假设d为a和b的最大公因式,即d|a, d|b。 r = a%b, 所以d|r。

设gcd是求两数的最大公约数函数,则可以表示为

在这里插入图片描述

在这里插入图片描述

很明显这里的m就是a和b的最大公约数了,其它公约数也一定是m的因数。

1.3.2. 引理及其证明

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ennGxq1C-1615450405766)(D:\笔记图片集\gcd.jpg)]

如果有等式

f = q ∗ g + r f=q*g+r f=qg+r

从式子中可以看出r是f除以g的余数。

成立, 那么f与gg与r(r=f%g)有相同的公因式。

1.3.2. 证明[非手写形式]

f = q ∗ g + r f=q*g+r f=qg+r

即证明 f f f g g g 和$ g 、 、 r$(r=f%g)有相同的公因式


我们可以将以上问题转化为证明:

  • $ g 、 、 r 的 公 因 式 全 是 的公因式全是 f 、 、 g$的公因式

  • f f f g g g 的公因式全是$ g 、 、 r$的公因式


$ g 、 、 r 的 公 因 式 公 因 式 全 是 的公因式公因式全是 f 、 、 g$的公因式

  • ①已知 f = q ∗ g + r f=q*g+r f=qg+r

  • ②如果 x ∣ g x|g xg, x ∣ r x|r xr

  • ③那么由①得, x ∣ f x|f xf

  • ④∴ g,r的公因式, 全是g,f的公因式


f f f g g g 的公因式公因式全是$ g 、 、 r$的公因式

  • ①已知 f = q ∗ g + r f=q*g+r f=qg+r

  • ②如果 x ∣ f x|f xf, x ∣ g x|g xg

  • ③那么x一定能整除它们的组合

    r = f − q ∗ g r=f-q*g r=fqg

  • 这就说明: x是g、r的公约数

  • 所以f、g的公约数,全是g、r的公约数

由引理可得, 如果d为f,g的最大公因式,那么d也是g,r(f%g)的最大公因式。

声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/笔触狂放9/article/detail/662555
推荐阅读
相关标签
  

闽ICP备14008679号