证明两数乘积等于其最小公倍数和最大公因数乘积（转载)

原文链接：https://blog.csdn.net/qq_40930559/article/details/96147354

设gcd(a,b)=c,lcm(a,b)=d，即ab的最大公因数为c，最小公倍数为d，则一定有a=k1c ， b=k2c （1） a=d/t1 b=d/t2 （2）,其中k1,k2必然互质（反证法：假设k1，k2不互质，则必定有一个大于1的最大公因数，设其为x，则有a=k1/x * xc, b=k2/x * xc,此时k1/x和k2/x已经互质，但是明显a和b有一个公因数xc,又因为x>1，则xc>c，和前提ab的最大公因数c矛盾，则k1,k2必然互质，同理可证t1,t2互质）

对于（1）式，可有b/a=k2/k1.对于（2）式，可有b/a=t1/t2,即k2/k1=t1/t2,定有常数y,使得k2=yt1,k1=yt2,即k2/k1=yt1/yt2=t1/t2,

而k2和k1是互质的，y只能为1，所以k2=t1,k1=t2,而k1=a/c,t2=d/b,所以a/c=d/b,即ab=cd，证毕