浅谈欧几里得算法(辗转相除法)证明
前言 之前只知道一味的背辗转相除法的biao,连它是欧几里得算法都不知道,所以决定写一篇证明 百度百科了解一下 欧几里德算法又称 辗转相除法 ,是指用于计算两个 正整数 a,b的 最大公约数 。应用领域有数学和计算机两个方面。 计算公式gcd(a,b) = gcd(b,a mod b)。 //这就是我接下来要证明的东东 证明 假设 1.求n、m的最小公倍数 2、a、b分别是 m div n 和 m mod n,即 m = na + b 3、gcd(m,n)表示m、n的最大公因数 求证:gcd(m,n) = gcd(n,b),也就是gcd(x,y)=gcd(y,x mod y)//上面说的那个 证:设c=gcd(m,n),d=gcd(n,b) (1): 因为 c 为m,n的公因数 所以 c | m,c | n //“|” 是整除符号,x | y代表x是y的因数 所以 c | na //n乘任意整数都是c的倍数 所以 c | (m - na) 即 c | b //因为m和na都是c的倍数,所以相减也是 所以 c 为 n,b 的公因数 因为 d 是 n,b 的最大公因数 所以 c <= d (2):同理可证 d <= c 因为 d 为n,b的公因数 所以 d | n , d | b //“|” 是整除符号,x | y代表x是y的因数 所以 d | na //n乘任意整数都是d的倍数 所以