证明辗转相除法的正确性

证明辗转相除法的正确性

第一步：令$c=\gcd (a,b)$，则设 $a=mc$，$b=nc$。

第二步：根据前提可知 $r=a-kb=mc-knc=(m-kn)c$。

第三步：根据第二步结果可知 $c$ 也是 $r$ 的因数。

第四步：可以断定 $m-kn$ 与 $n$ 互质（假设 $m-kn=xd$，$n=yd$，其中 $d>1$)，则

• $m=kn+xd$，
• $=ykd+xd$，
• $=(yk+x)d$

因此，

• $a=mc=(yk+x)cd$，
• $b=nc=ycd$

然而，这导致 $a$ 与 $b$ 共有一个公约数 $cd$，其中 $cd>c$。这与前面的结论矛盾，因为 $c$被认为是 $a$ 和 $b$ 的最大公约数。

因此，我们得出结论：$m-kn$ 与 $n$ 互质。这也意味着 $c$ 是 $b$ 与 $r$ 的最大公约数。

证毕。