欧几里得

Posted 2020-11-23 flash-plus

欧几里得

关于欧几里得定理这个东西，我在全网上也没有找到什么好的讲解。所以决定自己来写一写自己都证了好久

欧几里得的应用一般是用在求 (gcd) 的时候用的，用辗转相除发递归求 (gcd) 。

相信大家一般都是直接用的，没有想过去证明它，认为他很显然 是吧。

我最开始也是这样以为的，但是却发现自己证了好久。 肯定是我太菜了

不多废话。。。

我就只讲一下欧几里得求 (gcd) 的证明。好像欧几里得就这个作用

先写出众所周知的公式：

(gcd(a,b) = gcd(b, a % b))

然后不断递归就行了。

现在来证明如上等式：

令 (gcd(a, b) = c)，

那么， (a = c * k1)，(b = c * k2) ((k1) 和 (k2) 互质)

那么， (gcd(a, b) = gcd(c * k1, c * k2))

(a % b = c * k1 % c * k2 = (k1 % k2) * c)

上面这一步需要好好理解一下，如果(k1) 和 (k2)不互质的话就没有这个结论

证明如下：

原式可以展开如下 ： (c * k1 = c * k2 * t + e)

这个 (t) 可以为 (0)，而这个 (e) 就是 (a % b) 了

(a % b = c * k1 - c * k2 * t = c * (k1 - k2 * t)) 这里不就可以显然的看出 (a % b) 就是 (c) 的倍数了。

再写出它需要到达的状态:

(gcd(b, a % b) = gcd(c * k2, c * k1 % c * k2))

在如上面所证，提取一个 (c)

=》 (gcd(c * k2, c * (k1 % k2)))

我们只需要证明这个东西和原式的 (gcd) 相等就行。

那么，我们还需要知道的是 (k2) 和 (k1 % k2) 互质。

那么就能保证两数的 (gcd) 是相等的。

令 (k3 = k1 % k2)

那么，