最小公倍数lcm的证明

都知道   lcm（a，b） =  a*b / gcd(a,b).

找不出什么毛病，但也不知道怎么证明。

今天就学习一下怎么去证明这个公式

已经证明了辗转相除法求gcd的前提下，这个是很容易证明的。

 

设  gcd(a, b) = g,  lcm(a, b) = l.

 所以，设 a = k1 * g,   b = k2 * g.  （  k1 和k2  互质 ）。

l = a * x1 = b*x2   (x1 , x2 互质  ，否则 l 能更小 )

  = k1 * g * x1 = k2 * g * x2

即  k1*x1 = k2 * x2，

因为两个互质，

所以  k1 = x2,   k2 = x1...

 

所以  a*x1 = k1 * g * x1 = k1 * g * k2 = a * b / gcd(a, b)~~~~~ 得证。