Quand deux régularités finissent-elles par retomber d'accord ?
Le PPCM de deux entiers est le plus petit nombre qu'ils divisent tous les deux. On peut le chercher en avançant de multiple en multiple jusqu'à la première rencontre ; le déduire du PGCD, car le produit des deux nombres vaut toujours PGCD × PPCM ; ou le lire directement sur les décompositions en facteurs premiers. Ces trois routes mènent au même endroit, et la deuxième est la seule praticable sur de grands nombres.
Un premier sauteur avance de a en a, le second de b en b. À chaque tour, on fait sauter celui qui est en retard. Ils finissent forcément par tomber sur la même case : cette case est le PPCM.
Voici pourquoi. Découpons le rectangle a × b en bandes horizontales de hauteur d = PGCD : il y en a exactement b / d, toutes de format a × d. Mises bout à bout, elles forment un rectangle de hauteur d et de largeur a × b / d — qui est précisément le PPCM.
Décomposons a et b. Pour chaque nombre premier, le PPCM prend le plus grand des deux exposants — il faut être multiple des deux — tandis que le PGCD prend le plus petit. Les deux exposants d'un même premier étant toujours l'un le max et l'autre le min, leur somme est conservée : c'est la planche 2, autrement dite.
C'est la situation où le PPCM se voit. Deux roues dentées engrenées : une dent marquée sur la petite roue, une encoche marquée sur la grande. Elles ne se retrouvent face à face qu'au bout d'un nombre de dents égal au PPCM des deux dentures.
Additionner deux fractions, c'est chercher le PPCM des dénominateurs — le plus petit dénominateur qui convienne aux deux.
Posons L(n) = PPCM(1, 2, …, n). Ce nombre explose : L(20) vaut déjà 232 792 560. Traçons non pas L(n) mais son logarithme. L'escalier obtenu — la fonction ψ de Tchebychev — colle à la droite y = n, et cette coïncidence est le théorème des nombres premiers.
PPCM(a, b) vaut au plus a × b, et cette valeur maximale est atteinte exactement quand les deux nombres n'ont aucun facteur commun. Comptons la proportion de tels couples dans un carré N × N.
| méthode | principe | coût |
|---|---|---|
| Les deux sauteurs | avancer celui qui est en retard | a/d + b/d − 1 sauts — long si le PGCD est petit |
| Facteurs premiers | max des exposants premier par premier | exige de factoriser : impraticable en grand |
| Par le PGCD | PPCM = (a ÷ PGCD) × b | quelques divisions d'Euclide, toujours |