欧几里得算法(辗转相除法)的证明和思考

一 欧几里得算法：

欧几里得公式中，能不能证明gcd(a,b) = gcd(a,r) 呢？（r = a mod b或者 a = bq + r,q属于整数)
证明：
假设d = gcd(a,b)，则d | a, d | b; r = a - bq且 d | r; 所以 d | gcd(a, r)也就是gcd(a,b) | gcd(a,r)。
假设d = gcd(a,r)，则d | a, r = a - bq且 d | r，由此可以得出a/d - bq/d是整数且 d | bq，此时若能证明d | b即可证明 d | gcd(a,b)也就是gcd(a,r) | gcd(a,b)。但是此时虽然能证明d | bq，但是无法判断bq的关系从而证明d | bq，因此这种写法不正确。

离散数学课本上讲的不是很清楚：

还是万能的知乎讲得好：

二 欧几里得算法扩展：
gcd(r1,r2) = r1x+r2y
由欧几里得算法推导：gcd(r1,r2) = gcd(r2,r3) = gcd(r3,r4) = gcd(r4,r5) = … = gcd(rn -1,rn) = gcd(rn,0) = rn，
其中：r1= r2q2 + r3, r2 = r3 * q3 + r4, r3 = r4 q4 + r5… rn = r(n + 1) * q (n+1) + r(n+2)，逐步带入即可得到公式。
比如 36 = 15* 2 + 6, 15 = 6* 2+ 3, 6= 3*2 + 0，3 = 3x1。