我证了一下,感觉也不是很难,自己导导应该都推的出来。不过不知道是不是有什么更好的方法。
用 (m, n) 表示 m 和 n 的最大公约数。
记 d = (a, b),则 a = kd, b = ld 。
记 D = a * b / d,
首先它是 a, b 的公倍数。
因为 D = b/d * a = la = a/d * b = kb。故 D 是 a, b 的一个公倍数。
再证它是最小公倍数,反证:
设另有一公倍数 D' = l'a = k'b。且 D' < D。
不妨设 (l', k') = 1,否则同除 (l', k') 得 D'',依然有 D'' 是公倍数,且比 D' 还小,但满足 (l'', k'') = 1。取 D' = D'' 即可。
考察 a/k' 这个数。它必为整数,因为 b = l'a/k' 是整数,又 l' 与 k' 互素,故 k' 是 a 的约数。
因而 a/k' 也是 a 的一个约数。同理 b/l' 也是 b 的约数。由 l'a = k'b 知 a/k' = b/l',这个数是 a, b 的一个公约数。
但 k' < k ,从而 a/k' > a/k = d。即得到了一个比 d 还大的公约数,与 d 的最大性矛盾。
故不存在这样的公倍数 D',使其小于 D。D 的最小性得证。
即 D 是 a, b 的最小公倍数。