数论概论读书笔记 5.整除性与最大公因数

整除性与最大公因数

定理5.1（欧几里得算法）. 要计算两个整数a与b的GCD，先令$r_{-1}=a$且$r_{0}=b$，然后计算相继的商和余数：$r_{i-1}=q_{i+1}*r_{i}+r_{i+1} \quad (i=0,1,2,...)$，直到某余数$r_{n+1}=0$，最后的非零余数$r_{n}$就是a与b的最大公因数。

欧几里得算法的步数至多是b的位数的7倍