[Math] Can’t understand a proof: Let $a,b,c$ be integers. If $a$ and $b$ divide $c$, then $lcm(a,b)$ also divides $c$

elementary-number-theory

Can't understand a proof: Let $a,b,c$ be integers. If $a$ and $b$ divide $c$, then $lcm(a,b)$ also divides $c$

Proof I've been shown:
Since $c$ is a common multiple of $a,b$, it means that $lcm(a,b) \leq c$.

So:
$c=q\cdot lcm(a,b)+r$, $q \in \mathbb Z$ and $0\leq r \leq lcm(a,b)$

Since $c$ and $lcm(a,b)$ are common multiples of $a,b$, then so is $r$. But $m$ is the least common divisor, then it means $r=0$.

[Proof taken from: http://www.math.utah.edu/~wood/4400/hw1sol.pdf]

I cannot understand the last step… Why does it imply that $r=0$?

Thank you!

Best Answer

It follows from the (general) fact that if $a$ divides $b$ and $c$, then $a$ also divides $b-c$, so in this case:

$c = q.lcm(a,b) + r$ and $0 \leq r < lcm(a,b)$

$c - q.lcm(a,b) = r$

Which means that both $a$ and $b$ divides $r$, but $0 \leq r < lcm(a,b)$. So $r$ must be equal to $0$, and we get:

$c = q.lcm(a,b)$, as you wish.