Ppcm (encyclopédie mathématiques)

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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).

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 factoriels.

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.

Sommaire

[modifier] Définition

Soient $a$ et $b$ deux entiers relatifs.

Si $a$ ou $b$ est nul, $PPCM(a, b) = 0$
Si $a$ et $b$ sont non nuls, notons $m a, b$ 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 $| a b |$ . 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$ : $PPCM(a, b) = min(m a, b)$ .

[modifier] Calcul

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

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=2²×3×5
168=2×2×2×3×7=2³×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)=2³×3×5×7=840

[modifier] À l'aide du PGCD

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 :

$a\vee b=\dfrac{|a b|}{a\wedge b},$ ce qui s'écrit aussi $\operatorname{PPCM}(a,b)=\dfrac{|a b|}{\operatorname{PGCD}(a,b)}.$

Démonstration

Supposons, sans perte de généralité, que les entiers $a$ et $b$ sont strictement positifs, et définissons les entiers $d, a', b', m$ par :

$d=\mathrm{PGCD}(a,b),~a=da',~b=db',~m=\mathrm{PPCM}(a,b).$

$m$ est un multiple commun à $a$ et $b$ , donc il existe un entier $k$ tel que $m = b k$ et $a | b k$ , soit (en divisant par $d$ ) : $a' | b' k$ . Comme $a'$ et $b'$ sont premiers entre eux, en vertu du lemme de Gauss on obtient : $a' | k$ , soit (en multipliant par $b$ ) : $d a' b' | m$ .
$d a' b' = a' b = a b'$ est un multiple commun strictement positif de $a$ et $b$ , donc il est minoré par $m$ .
Des deux points précédent on déduit que $m = d a' b'$ , soit : $m = a b / d$ .

Ainsi, l'algorithme d'Euclide pour le calcul du PGCD nous donne aussi un algorithme de calcul du 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 12 × PPCM(60;168) = 60×168, soit PPCM(60;168) = (60 × 168) / 12 = 840.

[modifier] Notes et références

↑ 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.

[modifier] Article connexe

Livre VII des Éléments d'Euclide

v · d · m

Opérations binaires

Numériques	En ensemble ordonné	Structurelles	Autres

Élémentaires $+$ Addition $-$ Soustraction $\times$ Multiplication $\div$ Division $\hat{}$ Puissance Arithmétiques $div$ Quotient euclidien $mod$ Reste euclidien $pgcd$ PGCD $ppcm$ PPCM Combinatoires $()$ Coefficient binomial $A$ Arrangement	Ensembles de parties $\cup$ Union $\backslash$ Complémentation $\cap$ Intersection $Δ$ Différence symétrique Ordre total $min$ Minimum $max$ Maximum Treillis $\wedge$ Borne inférieure $\vee$ Borne supérieure	Ensembles $\times$ Produit cartésien $\dot{\cup}$ Somme disjointe $\hat{}$ Puissance ensembliste Groupes $\oplus$ Somme directe $\ast$ Produit libre $\wr$ Produit en couronne Modules $\otimes$ Produit tensoriel $Hom$ Homomorphisme $Tor$ Torsion $Ext$ Extension Arbres $\vee$ Enracinement Variétés connexes $\#$ Somme connexe Espaces pointés $\vee$ Bouquet $\wedge$ Smash produit $\ast$ Joint	Fonctionnelles $\circ$ Composition de fonctions $\ast$ Produit de convolution Vectorielles $\cdot$ Produit scalaire $\wedge$ Produit vectoriel $\times\,$ Produit vectoriel généralisé Algébriques $[,]$ Crochet de Lie ${,}$ Crochet de Poisson $\wedge$ Produit extérieur Homologiques $\smile$ Cup produit $\cdot$ Produit d'intersection Séquentielles $+$ Concaténation

Logique booléenne : $\land$ ET (conjonction) • $\lor$ OU (disjonction) • $\oplus$ OU exclusif • $\Rightarrow$ IMP (implication) • $\Leftrightarrow$ EQV (équivalence)

Ppcm

Sommaire

[modifier] Définition

[modifier] Calcul

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

[modifier] À l'aide du PGCD

[modifier] Notes et références

[modifier] Article connexe

Rechercher

Menu

Espace membre

Changer d'île