Soit \(d = PGCD(a, b)\). Il existe des entiers \(a'\) et \(b'\) premiers entre eux tels que \(a = da'\) et \(b = db'\).
Soit \(m\) un multiple commun de \(a\) et \(b\).
- Comme \(m\) est multiple de \(a\), il existe un entier \(k\) tel que \(m = ka = kda'\).
- Comme \(m\) est aussi multiple de \(b\), on a \(b \mid kda'\), soit \(db' \mid kda'\).
- En simplifiant par \(d\), on obtient \(b' \mid ka'\).
- Comme \(PGCD(a', b') = 1\), d'après le théorème de Gauss, \(b'\) divise \(k\).
- La plus petite valeur strictement positive de \(k\) est donc \(k = b'\).
Le plus petit multiple commun est donc :$$ PPCM(a, b) = b' \times a = b' \times (da') = d \times a' \times b' $$On vérifie le produit :$$ PGCD(a, b) \times PPCM(a, b) = d \times (d a' b') = (da') \times (db') = a \times b $$