Divisibilité et nombres premiers : les briques des entiers

Prends deux entiers, $63$ et $9$. La division $63 \div 9$ tombe juste : $63 = 9 \times 7$, il ne reste rien. On dit alors que $9$ divise $63$.

Un entier $b$ divise un entier $a$ lorsqu'il existe un entier $k$ tel que $a = b \times k$. Autrement dit : la division de $a$ par $b$ a un reste égal à zéro.

Cette même phrase se lit dans les deux sens, et c'est là que beaucoup d'élèves se perdent :

Une seule relation, deux mots selon le point de vue. $9$ divise $63$ ; $63$ est divisible par $9$.

Les critères de divisibilité permettent de répondre sans poser la division :

Pourquoi le critère de $9$ fonctionne-t-il ? Ce n'est pas magique. Décompose $4\,383$ selon la position des chiffres :

Remplace maintenant $1\,000$ par $999 + 1$, $100$ par $99 + 1$ et $10$ par $9 + 1$ :

Les trois premiers morceaux sont des multiples de $9$, quoi qu'il arrive. Il ne reste donc qu'une question : la somme des chiffres, $18$, est-elle un multiple de $9$ ? Oui. Donc $4\,383$ aussi. Et comme $9$ est lui-même un multiple de $3$, le même raisonnement donne le critère de $3$.

Le nombre premier, enfin :

Un entier est premier lorsqu'il possède exactement deux diviseurs distincts : $1$ et lui-même.

$7$ est premier : ses seuls diviseurs sont $1$ et $7$. $12$ ne l'est pas : $1$, $2$, $3$, $4$, $6$, $12$. Et $1$ n'est pas premier : il n'a qu'un seul diviseur, lui-même. Le premier nombre premier est $2$ — c'est aussi le seul qui soit pair, puisque tout autre nombre pair est divisible par $2$ en plus de $1$ et de lui-même.

Tout entier plus grand que $1$ s'écrit comme un produit de nombres premiers, et d'une seule façon (à l'ordre des facteurs près). C'est le théorème fondamental de l'arithmétique ; au collège, on l'admet. Les nombres premiers sont donc aux entiers ce que les briques sont à un mur : on ne peut pas les casser plus petit, et il n'y a qu'une seule façon de bâtir chaque mur.

La méthode, par divisions successives : on divise par le plus petit nombre premier possible, on recommence avec le quotient, jusqu'à obtenir $1$.

On regroupe les facteurs répétés avec un exposant :

Comment savoir qu'un nombre est premier ? On teste les nombres premiers dans l'ordre croissant, et on peut s'arrêter dès que le carré du candidat dépasse le nombre. Pour $149$ : pas divisible par $2$ (impair), ni par $3$ ($1+4+9 = 14$), ni par $5$ (il finit par $9$), ni par $7$ ($7 \times 21 = 147$), ni par $11$ ($11 \times 13 = 143$), ni par $13$ ($13 \times 11 = 143$ et $13 \times 12 = 156$). Or $13^{2} = 169 > 149$ : inutile d'aller plus loin. Pourquoi ? Parce que si $149$ avait un diviseur plus grand que $13$, le facteur qui l'accompagne serait plus petit que $13$ — et on l'aurait déjà trouvé. Donc $149$ est premier.

À quoi sert la décomposition ?

1. Trouver tous les diviseurs. Chaque diviseur se fabrique en piochant dans les briques. Pour $252 = 2^{2} \times 3^{2} \times 7$, on décide, brique par brique, combien on en prend : zéro, un ou deux $2$ ; zéro, un ou deux $3$ ; zéro ou un $7$. Par exemple $2 \times 3 \times 7 = 42$ divise bien $252$, et $2^{2} \times 3^{2} = 36$ aussi. En épuisant tous les choix, on obtient les $18$ diviseurs de $252$ — l'exemple guidé montre la recherche par paires, plus rapide à la main.
2. Trouver le plus grand diviseur commun à deux nombres : on garde les facteurs premiers présents dans les deux décompositions, chacun avec son plus petit exposant.
3. Rendre une fraction irréductible : on simplifie par ce plus grand diviseur commun. Une fraction est irréductible quand son numérateur et son dénominateur n'ont plus aucun facteur premier en commun.
4. Faire coïncider deux phénomènes qui se répètent — deux engrenages, deux feux qui clignotent, deux bus qui passent : on cherche cette fois le plus petit multiple commun. On garde alors tous les facteurs premiers des deux décompositions, chacun au plus grand exposant. C'est l'exact symétrique de la règle précédente : plus petit exposant pour un diviseur commun, plus grand exposant pour un multiple commun.

L'exemple type du quatrième usage. Deux ampoules s'allument ensemble à minuit ; l'une se rallume toutes les $153$ s, l'autre toutes les $187$ s. Quand se rallumeront-elles en même temps ? On décompose : $153 = 3^{2} \times 17$ et $187 = 11 \times 17$. On garde tout, au plus grand exposant : $3^{2} \times 11 \times 17 = 1\,683$ s, c'est-à-dire $1\,683 = 28 \times 60 + 3$, soit 28 min 3 s après minuit. Vérification : $1\,683 \div 153 = 11$ et $1\,683 \div 187 = 9$, deux divisions exactes.

Deux remarques honnêtes.

• Tu entendras peut-être parler du PGCD, du PPCM et de l'algorithme d'Euclide, une méthode plus rapide pour le plus grand diviseur commun. Ces sigles et cette méthode ne sont pas des attendus du collège : au brevet, on te demande la décomposition en facteurs premiers, et l'énoncé te redonne toujours en toutes lettres ce qu'il cherche.
• Les nombres premiers ne s'arrêtent jamais : Euclide a démontré, il y a plus de deux mille ans, qu'il en existe une infinité. On ne connaît pourtant toujours pas de formule qui les donnerait tous. Tu croiseras cette question bien après le lycée.

Énoncé. Rendre la fraction $\dfrac{252}{180}$ irréductible.

1. Décomposer les deux nombres. Divisions successives par le plus petit nombre premier possible.

Contrôle : $4 \times 9 \times 7 = 252$ et $4 \times 9 \times 5 = 180$. Les deux produits retombent bien sur les nombres de départ — cette vérification prend cinq secondes et attrape presque toutes les erreurs.

2. Repérer les facteurs communs. $2$ apparaît dans les deux décompositions, avec l'exposant $2$ des deux côtés. $3$ aussi, avec l'exposant $2$. Le $7$ n'est que dans $252$, le $5$ n'est que dans $180$ : on ne les garde pas.

3. Simplifier. On divise le numérateur et le dénominateur par $36$ :

4. Vérifier que c'est bien irréductible. $7$ est premier, $5$ est premier, et ils sont différents : ils n'ont aucun facteur commun. La fraction ne peut plus être simplifiée. Contrôle numérique : $252 \div 180 = 1{,}4$ et $7 \div 5 = 1{,}4$ — les deux écritures désignent le même nombre.

5. Pour aller au bout : combien $36$ a-t-il de diviseurs ? On les cherche par paires : chaque diviseur trouvé en donne un second.

La dernière paire est faite de deux fois le même nombre : $6$ ne se compte qu'une fois. Les diviseurs de $36$ sont donc $1$, $2$, $3$, $4$, $6$, $9$, $12$, $18$ et $36$ : il y en a neuf. On peut s'arrêter dès que le candidat dépasse $6$, car $6^{2} = 36$ : au-delà, on retrouverait les mêmes paires à l'envers.

Figure (fig.math.prime-factor-tree, SVG programmatique à produire) : les deux décompositions de l'exemple, présentées comme deux échelles de division posées l'une à côté de l'autre.

• Échelle de gauche, titrée $252$. Cinq lignes ; à chaque ligne, le nombre à gauche d'une barre verticale, le diviseur premier à droite : $252 \mid 2$, puis $126 \mid 2$, puis $63 \mid 3$, puis $21 \mid 3$, puis $7 \mid 7$, et enfin $1$ seul sur la dernière ligne. Une flèche descendante relie chaque nombre au suivant.
• Échelle de droite, titrée $180$, construite de la même façon : $180 \mid 2$, $90 \mid 2$, $45 \mid 3$, $15 \mid 3$, $5 \mid 5$, puis $1$.
• Colonne des diviseurs mise en avant : les facteurs premiers de la colonne de droite de chaque échelle sont encadrés. Les facteurs qui apparaissent dans les deux échelles ($2$, $2$, $3$, $3$) portent en plus un fond hachuré — la couleur seule ne doit jamais porter l'information.
• Sous les deux échelles, trois lignes de bilan : $252 = 2^{2} \times 3^{2} \times 7$ ; $180 = 2^{2} \times 3^{2} \times 5$ ; puis, sur une ligne encadrée, « facteurs communs : $2^{2} \times 3^{2} = 36$ ».
• Tout en bas, la conclusion : $\dfrac{252}{180} = \dfrac{7}{5}$, avec le $36$ barré au numérateur et au dénominateur.

Ce qu'il faut lire. Les deux échelles ont le même début — $2$, $2$, $3$, $3$ — puis divergent : $7$ d'un côté, $5$ de l'autre. C'est exactement ce début commun qui fait le plus grand diviseur commun, et c'est la divergence qui fait la fraction irréductible. Retiens l'image : décomposer, c'est descendre une échelle ; comparer deux nombres, c'est comparer deux échelles marche par marche.

La figure en détail : deux colonnes de calcul côte à côte. La colonne de gauche part de 252 et donne successivement les quotients 126, 63, 21, 7, 1 en divisant par 2, 2, 3, 3, 7. La colonne de droite part de 180 et donne 90, 45, 15, 5, 1 en divisant par 2, 2, 3, 3, 5. Les diviseurs 2, 2, 3, 3 sont présents dans les deux colonnes et sont signalés par un fond hachuré. En bas, trois égalités : 252 égale 2 puissance 2 fois 3 puissance 2 fois 7 ; 180 égale 2 puissance 2 fois 3 puissance 2 fois 5 ; facteurs communs égale 36. Conclusion : 252 sur 180 égale 7 sur 5.

Unités. Aucune : on travaille sur des entiers naturels, des nombres purs. Attention en revanche à l'écriture des grands nombres, qui se séparent par un espace fin tous les trois chiffres ($4\,383$) et jamais par un point.

Chiffres significatifs. La question ne se pose pas non plus : une décomposition, un nombre de diviseurs ou un plus grand diviseur commun sont des résultats exacts. Si tu obtiens un nombre à virgule, c'est qu'il y a une erreur.

1. Compter $1$ parmi les nombres premiers. La définition demande deux diviseurs distincts ; $1$ n'en a qu'un. Si on l'acceptait, l'unicité de la décomposition s'effondrerait : on pourrait écrire $12 = 2^{2} \times 3$, mais aussi $1 \times 2^{2} \times 3$, ou $1 \times 1 \times 2^{2} \times 3$, sans jamais s'arrêter. Le $1$ n'est pas une brique : c'est le mur vide.
2. Oublier qu'un facteur premier peut se répéter. Écrire $12 = 2 \times 3$ donne $6$, pas $12$. La bonne décomposition est $12 = 2 \times 2 \times 3 = 2^{2} \times 3$. Le réflexe qui sauve : remultiplier ta décomposition et vérifier que tu retombes sur le nombre de départ.
3. Confondre diviseur et multiple. « $3$ est un diviseur de $12$ » et « $12$ est un multiple de $3$ » décrivent la même situation vue des deux bouts. Si on te demande les diviseurs de $12$, la liste est finie ($1$, $2$, $3$, $4$, $6$, $12$) et bornée par $12$ ; si on te demande les multiples, la liste est infinie ($12$, $24$, $36$, …). Une réponse plus grande que le nombre est forcément une erreur.
4. Croire qu'impair veut dire premier. $9 = 3 \times 3$, $15 = 3 \times 5$, $21 = 3 \times 7$, $91 = 7 \times 13$ : tous impairs, aucun premier. L'imparité écarte seulement le facteur $2$.
5. Écrire un facteur non premier dans la décomposition. $360 = 4 \times 90$ n'est pas une décomposition en facteurs premiers : $4$ et $90$ ne sont pas premiers. Il faut continuer jusqu'au bout : $360 = 2^{3} \times 3^{2} \times 5$.
6. Prendre le plus grand exposant au lieu du plus petit pour le plus grand diviseur commun. Avec $252 = 2^{2} \times 3^{2} \times 7$ et $24 = 2^{3} \times 3$, le facteur $2$ doit être pris à la puissance $2$ (le plus petit des deux exposants), pas $3$ : sinon $8$ devrait diviser $252$, ce qui est faux ($252 \div 8 = 31{,}5$).
7. Simplifier une fraction « à moitié ». $\dfrac{252}{180} = \dfrac{126}{90}$ est juste, mais ce n'est pas irréductible. Tant que numérateur et dénominateur partagent un facteur premier, on continue.

À quoi t'attendre. L'exercice tire l'une de trois questions : le plus grand diviseur commun de deux nombres (le cas le plus fréquent), le plus petit facteur premier d'un nombre, ou le nombre de diviseurs d'un entier. La définition du « plus grand diviseur commun » est toujours rappelée dans l'énoncé — tu n'as pas à connaître le sigle. Un exercice voisin pose la même compétence sous forme de QCM sur la décomposition en produit de facteurs premiers.

Énoncé type. On appelle plus grand diviseur commun de deux nombres entiers le plus grand nombre entier qui les divise tous les deux. Déterminer le plus grand diviseur commun des nombres $168$ et $180$.

Corrigé complet.

1. Décomposer $168$. Divisions successives : $168 = 2 \times 84$, $84 = 2 \times 42$, $42 = 2 \times 21$, $21 = 3 \times 7$. Donc

Contrôle : $8 \times 3 \times 7 = 168$.

2. Décomposer $180$. $180 = 2 \times 90$, $90 = 2 \times 45$, $45 = 3 \times 15$, $15 = 3 \times 5$. Donc

Contrôle : $4 \times 9 \times 5 = 180$.

3. Croiser les deux décompositions. Le facteur $2$ est présent des deux côtés : on le prend à la puissance $2$, le plus petit des deux exposants ($3$ et $2$). Le facteur $3$ est présent des deux côtés : exposant $1$, le plus petit entre $1$ et $2$. Le $7$ n'est que dans $168$, le $5$ n'est que dans $180$ : écartés.

4. Vérifier. $168 \div 12 = 14$ et $180 \div 12 = 15$, deux divisions exactes : $12$ divise bien les deux. Et $14 = 2 \times 7$, $15 = 3 \times 5$ n'ont plus aucun facteur commun : on ne peut pas faire mieux que $12$.

Auto-contrôle : le plus grand diviseur commun est toujours inférieur ou égal au plus petit des deux nombres, et il les divise tous les deux sans reste. Si l'une de ces deux vérifications échoue, reprends les décompositions.