证明欧几里得算法

第一步：令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=kyd+xd=(ky+x)d，则a=mc=(ky+x)dc，b=nc=ycd，故a与b最大公约数≥cd，而非c，与前面结论矛盾】 
从而可知gcd(b,r)=c，继而gcd(a,b)=gcd(b,r），得证