Vtyjkyuk

Define the least common multiple of 2 nonzero integers a and b, denoted by $operatornamelcm(a,b)$ to be the nonnegative integer $m$ such that both $a$ and $b$ divide $m$, and if $a$ and $b$ divide any other integer $n$, then $m$ also divides $n$.
Prove that any two integers $a$ and $b$ have a unique least common multiple.

Not really sure how to prove this, but here's an attempt,
I guess I am thinking it would be something like:
Let the least common multiple of two nonzero integers $a$ and $b$ be given my $operatornamelcm(a,b)=ab=m$. If $n/ab=x$ where $n$ and $x$ are integers, then $n/m=x$, so $m$ also divides $n$. Therefore any two integers $a$ and $b$ have a least common multiple.

Any suggestions for how to think of this problem?

Multiples of $a$ are
$$
a, 2a, 3a, 4a, ldots,.
$$
Multiples of $b$ are
$$
b, 2b, 3b, 4b, ldots,.
$$
First we prove existence of a common multiple: $ab$ is a common multiple: it is the $b$th element of the first list and the $a$th element of the second.

It follows that the set of all common multiples is non-empty.

The well-ordering principle says every non-empty set of positive integers has a least member.

Now we prove uniqueness: There cannot be more than one least member since the integers are linearly ordered.

Q.E.D.

In some cases $ab$ is the least one; in other cases there are smaller common multiples than $ab$.

Pedagogical note:

Show a class of students this:

Multiples of $63$: $quad63,126,189,252,315,378,ldots$

Multuples of $77$: $quad77,154,231,308,385,ldots$

Then ask them to vote "yes" or "no" on this question: Is it possible that for either this pair of numbers or some other, the two lists go on forever without having any numbers in common? Have them write their votes on paper and turn them in anonymously and see what you get.

PS: OK, it said divisibly least, so let's add something: All multiples of the one that is numerically least -- call it $c$ -- are common multiples of $a$ and $b$ (proving that part is trivial), and here is the "hard" part: There are no others. For, suppose there were another, and call it $d$. Then the remainder on division of $d$ by $c$ would not be $0$ (since $d$ was assumed not a multiple of $c$) and would be less than $c$. And that remainder would be a common multiple of $a$ and $b$. So we have a common multiple of $a$ and $b$ that is less than $c$, thus a contradiction.

H/T @Bill Dubuque

Hint $ $ Combining the two directions of your definition yields the equivalent universal property

$$ a,bmid niff mmid n$$

If this holds for $, m',$ too then $,n = m',$ $Rightarrow$ $,mmid m',,$ and, by symmetry, $,m'mid m$.

It's just a natural result of the well ordering property of the natural numbers:

every non-empty set of natural numbers has a least element,

along with the corollary that such an element is unique.

If a and b are non-negative integers, ab is a common multiple of them. Thus the set of common multiples is non-empty and has a unique least element, which, by definition is lcm(a,b).

Adam V. Nease