Plus petit commun multiple

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir ppcm.

En mathématiques et plus précisément en arithmétique, le plus petit commun multiple – en abrégé PPCM – de deux entiers non nuls a et b est le plus petit entier strictement positif qui soit à la fois multiple de ces deux nombres. On le note a ∨ b[1] ou PPCM(a, b), ou parfois simplement [a, b][2].

Le PPCM de a et b peut également se définir comme un multiple commun de a et de b qui divise tous les autres. Cette seconde définition se généralise à un anneau commutatif quelconque, mais on perd en général l'existence et l'unicité ; on parle alors d'un PPCM de deux éléments. L'existence est assurée dans les anneaux intègres factoriels ou même seulement à PGCD.

Le PPCM peut se définir plus généralement pour un nombre quelconque d'éléments : par exemple le PPCM de n entiers non nuls est le plus petit entier strictement positif multiple simultanément de ces n entiers.

Définition[modifier | modifier le code]

Soient a et b deux entiers relatifs :

  • si a ou b est nul, PPCM(a, b) = 0 ;
  • si a et b sont non nuls, considérons l'ensemble des entiers strictement positifs qui sont multiples à la fois de a et de b. Cet ensemble d'entiers naturels est non vide, car il contient |ab|. Il possède donc un plus petit élément, et c'est cet entier (strictement positif) que l'on appelle le PPCM de a et b :
\operatorname{PPCM}(a,b)=\min\left(\left\{ m\in\N^*\mid a|m~{\rm et}~b|m\right\}\right).

Calcul[modifier | modifier le code]

À l'aide de la décomposition en facteurs premiers[modifier | modifier le code]

La décomposition en facteurs premiers du PPCM de n entiers strictement positifs contient tous les nombres premiers qui apparaissent dans au moins une des décompositions en facteurs premiers de ces n entiers, chacun affecté du plus grand exposant qui apparait dans celles-ci.

On obtient donc une méthode de calcul du PPCM en décomposant chaque nombre en produit de nombres premiers.

Exemple

Prenons les nombres 60 et 168 et décomposons-les en produits de facteurs premiers. On a :

  • 60 = 2×2×3×5 = 22×3×5 ;
  • 168 = 2×2×2×3×7 = 23×3×7.

Pour le nombre premier 2, le plus grand exposant est 3. Pour les nombres premiers 3, 5 et 7, le plus grand exposant est 1. On a ainsi PPCM(60, 168) = 23×3×5×7 = 840.

À l'aide du PGCD[modifier | modifier le code]

Dans le cas où aucun des deux entiers a et b n'est nul, le plus petit commun multiple peut être calculé en utilisant le plus grand commun diviseur (ou PGCD) de a et b :

\operatorname{PPCM}(a,b)=\dfrac{|a b|}{\operatorname{PGCD}(a,b)}.

Ainsi, l'algorithme d'Euclide pour le calcul du PGCD permet de calculer aussi le PPCM.

Exemple

Avec l'algorithme d'Euclide, calculons PGCD(60, 168) :
168 = 60 × 2 + 48
60 = 48 x 1 + 12
48 = 12 × 4 + 0.

Donc PGCD(60, 168) = 12 et PPCM(60, 168) = (60×168)/12 = 840.

Propriétés[modifier | modifier le code]

Soient a, b, c trois entiers naturels non nuls.

  • Les multiples communs à a et b sont les multiples de PPCM(a, b)[3]
  • En particulier, \operatorname{PPCM}(a,b)=a\iff b\mid a
  • \operatorname{PPCM}(a,b,c)=\operatorname{PPCM}(\operatorname{PPCM}(a,b),c)=\operatorname{PPCM}(a,\operatorname{PPCM}(b,c)) (on peut étendre à un nombre arbitraire d'éléments)
  • \operatorname{PPCM}(ac,bc)=c\operatorname{PPCM}(a,b)[3]
  • \operatorname{PGCD}(a,\operatorname{PPCM}(a,b))=\operatorname{PPCM}(a,\operatorname{PGCD}(a,b))=a
  • \operatorname{PGCD}(a,\operatorname{PPCM}(b,c))=\operatorname{PPCM}(\operatorname{PGCD}(a,b),\operatorname{PGCD}(a,c))
  • \operatorname{PPCM}(a,\operatorname{PGCD}(b,c))=\operatorname{PGCD}(\operatorname{PPCM}(a,b),\operatorname{PPCM}(a,c))
  • \operatorname{PGCD}(\operatorname{PPCM}(a,b),\operatorname{PPCM}(b,c),\operatorname{PPCM}(a,c))=\operatorname{PPCM}(\operatorname{PGCD}(a,b),\operatorname{PGCD}(b,c),\operatorname{PGCD}(a,c)).

Notes et références[modifier | modifier le code]

  1. Cette notation, utilisée plus généralement pour la borne supérieure dans les treillis ici celui de la divisibilité, sert également pour la disjonction logique.
  2. La notation correspondante pour le PGCD est (a, b).
  3. a et b Pour une démonstration, voir par exemple PPCM sur Wikiversité.

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Lien externe[modifier | modifier le code]

Outil en ligne calculant le PPCM de deux nombres