classblog

摘要： 证明辗转相除法 即证明 \(\gcd(a,b)=\gcd(b,a\bmod b)\) 我们规定 \(a\ge b\) 设 \(d\) 是 \(a,b\) 的公约数 \(a=x_1d,b=x_2d\) \(a\bmod b=(x_1\bmod x_2)d\) 所以 \(\forall d|a且d|b, 阅读全文