欧几里德算法(辗转相除法)
欧几里德算法又称辗转相除法,由于计算两个正整数的最大公约数。
证明
定理:两个整数的最大公约数等于其中较小的那个数和两个数相除余数的最大公约数。最大公约数缩写为gcd(greatest common divisor)。
gcd(a , b) = gcd(b , a mod b)(a>b , r=a mod b , r!=0)
证法:
a可以表示为a=kb + r (a , b , k , r皆为正整数,且r < b), 则r = a mod b
假设d是a和b的公约数,记作d|a , d|b, 即a和b都可以被d整除。
而 r = a - kb,两边同时除以d,r/d = a/d - kb/d = m,由等式右边可知m为整数,因此d|r
因此d也是b , a mod b的公约数
因此(a ,b)和(b ,a mod b)的公约数是一样的,其最大的公约数也必然相等,得证。
算法版本:
Java
/**
* 获得最大公约数
*
* @param a
* @param b
* @return gcd >0
*/
public static int getGCD(int a, int b) {
if (a <= 0 || b <= 0) {
throw new IllegalArgumentException("参数需求:正整数");
}
if (a > b) {
int r = a;
a = b;
b = r;
}
if (b % a == 0) {
return a;
} else {
return getGCD(b % a, a);
}
}
/**
* 获得最小公倍数
* @param a
* @param b
*/
public static int getLCM(int a ,int b){
return a*b/getGCD(a,b);
}