前提了解：
gcd(a,b):a和b的最大公约数
lcm(a,b):a和b的最小公倍数
两个质数n,m的最小公倍数是n*m   //因为两个数互质
d=gcd(a,b)                    //d是a和b的最大公约数

证明：
a=a'*d  b=b'*d
a*b=a'*d*b'*d
lcm(a,b)=lcm(a'*d,b'*d)        //其中a'和b'一定互质，不然最大公约数就不是d了，而是d与a'和b'因子的乘积
lcm(a,b)=lcm(a'*d,b'*d)        
        =lcm(a',b')*d          //可以将d提出来，仍然成立
        =a'*b'*d               //因为a' b'互质，所以它们的最小公倍数即为两数乘积
        =a'*d*b'*d/d
        =a*b/d
证毕