证明辗转相除法

假设：

a÷b = k......r

证明辗转相除法，即证gcd（a，b） = gcd（b，r），可以分为两个步骤：

1、令c = gcd（a，b），证明 c 也是 r 的因数
2、令i = b/c， j = r/c，证明 i 和 j 互质

第一步易证，令m = a / c, n = b / c，那么r = a - b*k = mc - nc*k = (m-nk)*c，故 c 也是 r 的一个因数
第二步可用反证法，由第一步可知i = n，j = (m-nk)，假设i 和 j 不互质，设d为它们的公约数，那么就有 n = pd， m - nk = qd，所以m = qd + nk = qd +pdk = (q+pk)d，那么由第一步可知此时a = mc = (q+pk)dc，b = pdc，则a和b的最大公约数为dc而不是c，与前提矛盾了，所以 i 和 j 互质。证毕。