最大公约数,辗转相除法的原理是 $(a,b) = (a,a \bmod b)$ 解释,如果(a,b)=m(即m是a和b的最大公约数)则 $a \bmod m=0;b \bmod m=0$ 由于 $a=(a//b)*b+(a \bmod b)$ 三式结合得 $(a \bmod b)\bmod m=0$