辗转相除法的证明

定义：设a=qb+r, 其中a,b,q,r都是整数，则gcd(a,b)=gcd(b,r).

证明：只需证a,b和b,r有相同的公因子。设d是a，b的公因子，（若a整除b,且a整除c则a整除x*b+y*c），则d整除r=a-qb,得证。