欧几里德算法又称辗转相除法,用于计算两个整数a,b的最大公约数。 公式表述 gcd(a,b)=gcd(b,a mod b) 扩展欧几里德算法 扩展欧几里德算法是用来在已知a, b求解一组x,y使得ax+by = Gcd(a, b) =d(解一定存在,根据 数论中的相关定理)。 (定理:裴蜀定理)