Plus petit commun multiple

Un article de Wikipédia, l'encyclopédie libre.

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

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Le plus petit commun multiple, en abrégé PPCM, de deux entiers naturels a et b, est le plus petit entier qui soit à la fois multiple de ces deux nombres. On le note a ∨ b^[1], ppcm(a,b), ou parfois simplement (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 multiples communs de a et de b.

La définition s'étend aux entiers relatifs. Sous la seconde forme, il faut alors ajouter qu'il doit être positif. La seconde forme de la définition se généralise en fait à un aanneau 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 dans les entiers naturels, le PPCM de n entiers est le plus petit entier multiple simultanément de ces n entiers.

Sommaire

1 Définition
2 Calcul du PPCM
- 2.1 A l'aide de la décomposition avec les nombres premiers
- 2.2 A l'aide du PGCD
3 Voir aussi

[modifier] Définition

Soient $(a,b)\in{\mathbb{Z}}^2$ .

Si a=0 ou b=0 $\operatorname{PPCM}(a,b)=0$
Si a et b sont non nuls on note $m_{a,b}=\left\{ m\in\mathbb{N}^* / a|m \land b|m \right\}$

On vérifie alors que $m_{a,b} \subset \mathbb{N}$ et $m_{a,b} \ne \empty$ (car $|ab|\in m_{a,b}$ )

Par axiome, $min(m a, b)$ existe.

On définit $\operatorname{PPCM}(a,b)=\min(m_{a,b})$ .

[modifier] Calcul du PPCM

[modifier] A l'aide de la décomposition avec les nombres 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 alors PPCM(60, 168)=2³×3×5×7=840

[modifier] A 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 = \frac{|a b|}{a\wedge b}$ qui s'écrit aussi $PPCM(a,b) = \frac{|a b|}{PGCD(a,b)}$

Ainsi, l'algorithme d'Euclide pour le calcul du PGCD. nous donne aussi un algorithme rapide 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 .

PGCD(60,168) = 12. Donc 12 × PPCM(60;168) = 60×168, soit :

PPCM(60;168) = (60 × 168) / 12 = 840.

[modifier] Voir aussi

Opération binaire
numérique	fonctionnelle	en ensemble ordonné	structurelle
élémentaire + addition – soustraction × multiplication ÷ division ^ puissance arithmétique div quotient euclidien mod reste euclidien ∧ PGCD ∨ PPCM combinatoire ( ) coefficient binomial A arrangement	∘ composition ∗ convolution	ensemble de parties ∪ réunion \ complémentation ∩ intersection Δ différence symétrique ordre total min minimum max maximum treillis ∧ borne inférieure ∨ borne supérieure	ensembles × produit cartésien ⊔ union disjointe ^ puissance ensembliste groupes ⊕ somme directe ∗ produit libre ≀ produit en couronne modules ⊗ produit tensoriel Hom homomorphismes Tor torsion Ext extensions	arbres ∨ enracinement variétés connexes # somme connexe espaces pointés ∨ bouquet ∧ smash produit ∗ joint
	vectorielle
	(.) produit scalaire ∧ produit vectoriel
	algébrique
	[,] crochet de Lie {,} crochet de Poisson ∧ produit extérieur
	homologique
	∪ cup-produit • produit d'intersection	séquentielle
	∪ cup-produit • produit d'intersection	+ concaténation
logique booléenne
∧ ET (conjonction)	∨ OU (disjonction)	⊕ OU exclusif	⇒ IMP (implication)	⇔ EQV (coïncidence)