Least common multiple/Student Level

From Citizendium
Jump to navigation Jump to search

In arithmetic, the least common multiple (LCM or lcm) or smallest common multiple of several integers is the smallest integer that is a multiple of all of them.

For example, the smallest common mutliple of 9 and 12 is 36. Since

36 = 12 × 3, and
36 = 2 × 4,

36 is indeed a multiple of both 9 and 12. Moreover it is the smallest mutliple that 9 and 12 have in common.

One use of the smallest common mutliple is as the smallest common denominator when adding, subtracting, or comparing fractions:

A simple theoretical question and a primitive algorithm

A simple theoretical question is whether two integers must have any multiples in common. Imagine that we begin lists of the multiples of two integers, e.g. 63 and 77:

One could wonder whether the two lists might continue forever without any number appearing in both lists. Before addressing that, let us note in the interest of simplicity that we need not perform a mutliplication at each step in extending the list; we need only add:

Could the lists continue forever without any number appearing in both? The answer is that the 77th number in the first list must be equal to the 63rd number in the second list, since both are equal to 63 × 77 = 4851. But that need not be the first number appearing in both lists. It is a common multiple of 63 and 77, but as we shall see, it is not the smallest common multiple. Continuing the list only slightly further we get this:

Thus the smallest common multiple of 63 and 77 is 693.

More sophisticated algorithms

But this brute-force approach to computing the smallest common multiple is not efficient. A more efficient method uses prime factorizations. Consider the factorizations of 63 and 77 into prime numbers:

63 = 3 × 3 × 7,
77 = 7 × 11.

In any common multiple of 63 and 77, each prime factor must occur at least as many times as it does in either 63 or 77. Thus we need at least two 3s, at least one 7, and at least one 11. If we have only that many of each factor, then the common multiple that we get is the smallest possible:

3 × 3 × 7 × 11 = 693.


[ to be continued ... ]