Maths Post-Bac Ouvrir l'app

Exercices corrigés — Arithmétique & structures

Algèbre · 18 exercices-types du palier socle

L2L3Maths ingénieurCAPES

Chaque exercice donne l'énoncé, des indices progressifs et la correction rédigée étape par étape. Ouvre les blocs seulement après avoir cherché.

Revoir le cours : Arithmétique & structures Définitions, méthodes et exemples corrigés du chapitre.

Division euclidienne

DémonstrationDifficulté 3/5

Effectuer la division euclidienne de 20242024 par 1717 : donner le quotient et le reste.

Indices (3)

On cherche (q,r)(q,r) avec 2024=17q+r2024=17q+r et 0≤r<170\le r<17.

17×100=170017\times100=1700, 17×119=202317\times119=2023.

En déduire rr.

Correction détaillée
Ce que la division euclidienne EXIGE
a=b q+ravec0≤r<∣b∣\boxed{a=b\,q+r\qquad\text{avec}\qquad 0\leq r<\lvert b\rvert}

👉 La condition sur rr n'est pas un détail de présentation : c'est elle qui rend le couple (q,r)(q,r) UNIQUE. Sans elle on pourrait écrire 2024=17×100+3242024=17\times 100+324, 2024=17×118+182024=17\times 118+18, et une infinité d'autres décompositions.

Le quotient se trouve en divisant, puis en prenant la partie entière par DÉFAUT :

202417≈119,06⟹q=⌊202417⌋=119.\frac{2024}{17}\approx 119{,}06\qquad\Longrightarrow\qquad q=\left\lfloor\frac{2024}{17}\right\rfloor=119.

⚠️ Ne jamais arrondir : ici 119,06119{,}06 arrondi donnerait 119119, ce qui est juste par chance, mais un quotient comme 2035/17≈119,712035/17\approx 119{,}71 arrondirait à 120120 et donnerait un reste négatif (2035−17×120=−52035-17\times 120=-5). C'est toujours la partie entière inférieure.

Le calcul, et son controle
r=2024−17×119.r=2024-17\times 119.

Calculons 17×11917\times 119 proprement :

17×119=17×120−17=2040−17=2023.17\times 119=17\times 120-17=2040-17=2023.

👉 Passer par 17×12017\times 120 est plus sûr que la multiplication posée — c'est un réflexe qui évite beaucoup d'erreurs de calcul.

r=2024−2023=1.r=2024-2023=1.
2024=17×119+1,q=119,r=1\boxed{2024=17\times 119+1,\qquad q=119,\quad r=1}

Les DEUX contrôles à faire systématiquement :

contrôle vérification
l'égalité 17×119+1=2023+1=202417\times 119+1=2023+1=2024 ✓
l'encadrement du reste 0≤1<170\leq 1<17 ✓

⚠️ Le second est celui qu'on oublie, et c'est pourtant lui qui distingue une vraie division euclidienne d'une simple égalité. Un reste de 1818 satisferait la première ligne et pas la seconde.

Ce que le reste $1$ signifie

👉 Un reste de 11 n'est pas anodin : il dit que 20242024 et 1717 sont premiers entre eux.

En effet, tout diviseur commun à 20242024 et 1717 divise aussi r=2024−17×119=1r=2024-17\times 119=1, donc vaut 11.

pgcd⁡(2024,17)=1.\operatorname{pgcd}(2024,17)=1.

⚠️ Ici c'était prévisible : 1717 est premier, donc son seul diviseur autre que 11 est 1717 lui-même — et 17∤202417\nmid 2024 précisément parce que le reste n'est pas nul.

👉 Traduction en congruences (B3, B4) :

2024≡1(mod17),2024\equiv 1\pmod{17},

ce qui rend immédiat le calcul de 2024k mod 172024^k\bmod 17 pour n'importe quel kk : c'est toujours 11.

ℹ️ Le reste est ce qui compte en arithmétique modulaire — le quotient, lui, est presque toujours jeté. Toute la suite du chapitre travaille sur les restes.

⚠️ Le piege : que se passe-t-il si $a$ est NEGATIF

👉 La condition 0≤r<∣b∣0\leq r<\lvert b\rvert vaut aussi pour a<0a<0, et c'est là qu'on se trompe (voir E1).

division qq rr valide ?
2024=17×119+12024=17\times 119+1 119119 11 ✓
2024=17×118+182024=17\times 118+18 118118 1818 ❌ — 18≥1718\geq 17
2024=17×120−162024=17\times 120-16 120120 −16-16 ❌ — reste négatif

👉 Il n'y a qu'un seul couple valide, et l'unicité se démontre : si bq+r=bq′+r′bq+r=bq'+r' avec deux restes dans [0,b[[0,b[, alors b(q−q′)=r′−rb(q-q')=r'-r, donc bb divise r′−rr'-r. Or ∣r′−r∣<b\lvert r'-r\rvert<b, ce qui force r′−r=0r'-r=0, puis q=q′q=q'.

👉 Une conséquence pratique immédiate : le reste de la division par bb classe les entiers en bb familles — les classes de congruence modulo bb. Pour b=17b=17, il y en a exactement 1717, indexées par r∈{0,1,…,16}r\in\{0,1,\dots,16\}.

ℹ️ C'est cette partition qui donne naissance à Z/17Z\mathbb{Z}/17\mathbb{Z} (D4), et le fait que 1717 soit premier en fera un corps.

Réponse. 2024=17×119+12024=17\times119+1 : quotient 119119, reste 11. (Recoupement : vérifié machine ✓)
Faire cet exercice dans l'app →

PGCD par l'algorithme d'Euclide

DémonstrationDifficulté 3/5

Calculer pgcd⁡(252,198)\operatorname{pgcd}(252,198) par l'algorithme d'Euclide.

Indices (3)

pgcd⁡(a,b)=pgcd⁡(b,r)\operatorname{pgcd}(a,b)=\operatorname{pgcd}(b,r) où rr est le reste de aa par bb.

Itérer : 252=198⋅1+54252=198\cdot1+54, puis 198198 par 5454…

S'arrêter au reste nul ; le PGCD est le dernier reste non nul.

Correction détaillée
Le principe de l'algorithme

👉 L'idée tient en une seule égalité :

pgcd⁡(a,b)=pgcd⁡(b, a mod b)\boxed{\operatorname{pgcd}(a,b)=\operatorname{pgcd}(b,\ a\bmod b)}

Pourquoi c'est vrai. Si a=bq+ra=bq+r, alors tout diviseur commun à aa et bb divise r=a−bqr=a-bq ; et réciproquement tout diviseur commun à bb et rr divise a=bq+ra=bq+r. Les deux couples ont donc exactement les mêmes diviseurs communs, donc le même plus grand.

👉 Et l'algorithme TERMINE, ce qui n'est pas une évidence : les restes forment une suite d'entiers positifs strictement décroissante

b>r1>r2>⋯≥0,b>r_1>r_2>\cdots\geq 0,

donc elle atteint 00 en un nombre fini d'étapes. Le pgcd est alors le dernier reste non nul.

ℹ️ La terminaison est rapide : le nombre d'étapes est majoré par environ 55 fois le nombre de chiffres du plus petit des deux — un résultat dû à Lamé, et le pire cas est atteint par les nombres de Fibonacci.

Le calcul sur $(252,198)$
division reste
252=198×1+54252=198\times 1+\mathbf{54} 5454
198=54×3+36198=54\times 3+\mathbf{36} 3636
54=36×1+1854=36\times 1+\mathbf{18} 1818
36=18×2+036=18\times 2+\mathbf{0} 00 ← on s'arrête
pgcd⁡(252,198)=18\boxed{\operatorname{pgcd}(252,198)=18}

👉 Le pgcd est le DERNIER RESTE NON NUL, c'est-à-dire 1818 — surtout pas 00, qui n'est que le signal d'arrêt.

Comment lire chaque ligne. À chaque étape, le dividende et le diviseur de la ligne suivante sont le diviseur et le reste de la ligne courante : (252,198)→(198,54)→(54,36)→(36,18)(252,198)\to(198,54)\to(54,36)\to(36,18).

⚠️ Erreur classique : recopier le dividende au lieu du diviseur. Le contrôle est que le premier nombre de chaque ligne est le second de la ligne précédente.

Les trois controles

1. Divisibilité. 1818 doit diviser les deux nombres de départ :

252=18×14,198=18×11.252=18\times 14,\qquad 198=18\times 11.

2. Les quotients doivent être premiers entre eux. 14=2×714=2\times 7 et 1111 premier : aucun facteur commun ✓

👉 C'est le contrôle le plus fort, et il est souvent oublié : si les quotients avaient un facteur commun, on n'aurait pas pris le plus grand diviseur. Par exemple pgcd⁡=9\operatorname{pgcd}=9 donnerait 252/9=28252/9=28 et 198/9=22198/9=22, tous deux pairs — la preuve qu'on peut faire mieux.

3. Par factorisation (méthode de A4, indépendante d'Euclide) :

252=22×32×7,198=2×32×11.252=2^2\times 3^2\times 7,\qquad 198=2\times 3^2\times 11.
pgcd⁡=2min⁡(2,1)×3min⁡(2,2)×70×110=2×9=18 ✓\operatorname{pgcd}=2^{\min(2,1)}\times 3^{\min(2,2)}\times 7^{0}\times 11^{0}=2\times 9=18\ \checkmark

👉 Deux méthodes indépendantes, même résultat : c'est le meilleur contrôle qui soit.

Pourquoi Euclide plutot que la factorisation

👉 Sur 252252 et 198198, la factorisation est plus rapide. Sur de grands nombres, elle est IMPOSSIBLE.

méthode coût sur des nombres à nn chiffres
Euclide environ 5n5n divisions — instantané même pour n=1000n=1000
factorisation aucun algorithme rapide connu

👉 Et c'est exactement là-dessus que repose RSA (D5) : on sait calculer un pgcd sur des nombres de 600600 chiffres en une fraction de seconde, et personne ne sait les factoriser.

Exemple pour fixer l'ordre de grandeur : pgcd⁡(252,198)\operatorname{pgcd}(252,198) demande 4 divisions. Le pire cas pour des nombres de cette taille serait atteint par deux Fibonacci consécutifs, 233233 et 144144, qui demandent 1111 étapes.

ℹ️ Euclide donne plus que le pgcd : en remontant les égalités, il fournit les coefficients de Bézout u,vu,v tels que 252u+198v=18252u+198v=18 (B1). Aucune méthode par factorisation ne les donne, et ce sont eux qui permettent d'inverser modulo nn (C1) — donc de faire fonctionner RSA.

Réponse. pgcd⁡(252,198)=18\operatorname{pgcd}(252,198)=18. (Recoupement : 252=22⋅32⋅7252=2^2\cdot3^2\cdot7, 198=2⋅32⋅11198=2\cdot3^2\cdot11, pgcd =2⋅32=18=2\cdot3^2=18 ✓ ; vérifié machine)
Faire cet exercice dans l'app →

PPCM et relation fondamentale

ApplicationDifficulté 3/5

En déduire ppcm⁡(252,198)\operatorname{ppcm}(252,198) à partir de pgcd⁡(252,198)=18\operatorname{pgcd}(252,198)=18.

Indices (3)

pgcd⁡×ppcm⁡=∣ab∣\operatorname{pgcd}\times\operatorname{ppcm}=|ab|.

ppcm⁡=252×19818\operatorname{ppcm}=\dfrac{252\times198}{18}.

Simplifier.

Correction détaillée
La relation fondamentale
pgcd⁡(a,b)×ppcm⁡(a,b)=a×b(a,b>0)\boxed{\operatorname{pgcd}(a,b)\times\operatorname{ppcm}(a,b)=a\times b\qquad (a,b>0)}

👉 Pourquoi c'est vrai, en une ligne, avec les factorisations. Pour chaque premier pp :

min⁡(α,β)+max⁡(α,β)=α+β,\min(\alpha,\beta)+\max(\alpha,\beta)=\alpha+\beta,

où α,β\alpha,\beta sont les exposants de pp dans aa et bb. En effet, min⁡\min et max⁡\max ne font qu'échanger les deux nombres : leur somme est inchangée.

⚠️ La formule ne s'étend PAS à trois nombres. Sur a=b=c=2a=b=c=2 :

pgcd⁡=2,ppcm⁡=2,produit des deux=4,maisabc=8.\operatorname{pgcd}=2,\quad\operatorname{ppcm}=2,\quad\text{produit des deux}=4,\qquad\text{mais}\qquad abc=8.

👉 C'est la première chose à vérifier avant de généraliser une formule d'arithmétique — ici, min⁡+max⁡=α+β\min+\max=\alpha+\beta n'a d'analogue à trois termes que par inclusion-exclusion.

Le calcul

On sait que pgcd⁡(252,198)=18\operatorname{pgcd}(252,198)=18 (A2). Donc

ppcm⁡(252,198)=252×19818.\operatorname{ppcm}(252,198)=\frac{252\times 198}{18}.

👉 Le bon geste : SIMPLIFIER AVANT de multiplier. Calculer 252×198=49 896252\times 198=49\,896 puis diviser est possible, mais c'est se donner du travail et des occasions d'erreur.

25218=14⟹ppcm⁡=14×198.\frac{252}{18}=14\qquad\Longrightarrow\qquad \operatorname{ppcm}=14\times 198.
14×198=14×200−14×2=2800−28=2772.14\times 198=14\times 200-14\times 2=2800-28=2772.
ppcm⁡(252,198)=2772\boxed{\operatorname{ppcm}(252,198)=2772}

👉 On aurait pu simplifier de l'autre côté : 198/18=11198/18=11, puis 252×11=2772252\times 11=2772. Les deux marchent — prendre celle qui tombe juste.

Les controles

1. Divisibilité par les deux.

2772=252×11,2772=198×14.2772=252\times 11,\qquad 2772=198\times 14.

👉 Remarquer que les quotients sont exactement les deux nombres croisés 252/18=14252/18=14 et 198/18=11198/18=11 : c'est une conséquence directe de la formule, et un bon moyen de vérifier sans calculer.

2. La relation fondamentale, vérifiée dans les deux sens :

18×2772=49 896et252×198=49 896 ✓18\times 2772=49\,896\qquad\text{et}\qquad 252\times 198=49\,896\ \checkmark

3. Par factorisation (A4) :

252=22⋅32⋅7,198=2⋅32⋅11,252=2^2\cdot 3^2\cdot 7,\qquad 198=2\cdot 3^2\cdot 11,
ppcm⁡=2max⁡(2,1)⋅3max⁡(2,2)⋅7⋅11=4×9×7×11=2772 ✓\operatorname{ppcm}=2^{\max(2,1)}\cdot 3^{\max(2,2)}\cdot 7\cdot 11=4\times 9\times 7\times 11=2772\ \checkmark

👉 Trois voies, trois fois 27722772.

Ou le ppcm sert vraiment

👉 Le ppcm est ce qui répond aux questions de SYNCHRONISATION, et c'est là qu'il faut le reconnaître :

situation réponse
deux événements de périodes aa et bb : quand coïncident-ils ? tous les ppcm⁡(a,b)\operatorname{ppcm}(a,b)
dénominateur commun de 1a+1b\tfrac1a+\tfrac1b ppcm⁡(a,b)\operatorname{ppcm}(a,b)
plus petit entier divisible par aa et par bb ppcm⁡(a,b)\operatorname{ppcm}(a,b)

Exemple concret. Deux feux clignotent, l'un toutes les 252252 secondes, l'autre toutes les 198198. Ils viennent de clignoter ensemble : ils recommenceront dans 27722772 secondes, soit 46 minutes et 12 secondes.

⚠️ Erreur fréquente : répondre 252×198252\times 198. C'est bien un instant de coïncidence, mais pas le premier — il est 1818 fois trop tard.

👉 Le pgcd, lui, répond aux questions de DÉCOUPAGE : « quel est le plus grand carreau qui pave exactement un rectangle 252×198252\times 198 ? » — un carré de côté 1818, et il en faut 14×11=15414\times 11=154.

ℹ️ Les deux notions sont duales : le pgcd est le plus grand qui divise, le ppcm le plus petit qui est divisé. Leur produit rend le produit des nombres, ce qui est exactement le §1.

Réponse. ppcm⁡(252,198)=2772\operatorname{ppcm}(252,198)=2772. (Recoupement : 18×2772=49896=252×19818\times2772=49896=252\times198 ✓ ; vérifié machine)
Faire cet exercice dans l'app →

PGCD/PPCM par factorisation

CalculDifficulté 3/5

Factoriser 360360 et 8484 en produits de facteurs premiers, puis en déduire leur PGCD et leur PPCM.

Indices (3)

Factoriser chaque nombre.

PGCD : min⁡\min des exposants ; PPCM : max⁡\max des exposants.

360=23⋅32⋅5360=2^3\cdot3^2\cdot5, 84=22⋅3⋅784=2^2\cdot3\cdot7.

Correction détaillée
Factoriser $360$ et $84$

👉 Méthode : diviser par les premiers dans l'ordre, 22, puis 33, puis 55, 77… en épuisant chacun avant de passer au suivant.

Pour 360360 :

360→ :2 180→ :2 90→ :2 45→ :3 15→ :3 5→ :5 1360\xrightarrow{\ :2\ }180\xrightarrow{\ :2\ }90\xrightarrow{\ :2\ }45\xrightarrow{\ :3\ }15\xrightarrow{\ :3\ }5\xrightarrow{\ :5\ }1
360=23×32×5\boxed{360=2^3\times 3^2\times 5}

Pour 8484 :

84→ :2 42→ :2 21→ :3 7→ :7 184\xrightarrow{\ :2\ }42\xrightarrow{\ :2\ }21\xrightarrow{\ :3\ }7\xrightarrow{\ :7\ }1
84=22×3×7\boxed{84=2^2\times 3\times 7}

Contrôles : 8×9×5=3608\times 9\times 5=360 ✓ et 4×3×7=844\times 3\times 7=84 ✓

ℹ️ Cette écriture est UNIQUE (théorème fondamental de l'arithmétique), à l'ordre des facteurs près. C'est ce qui rend légitimes les formules du bloc suivant.

Les formules, et le tableau des exposants
pgcd⁡=∏ppmin⁡(αp,βp),ppcm⁡=∏ppmax⁡(αp,βp)\boxed{\operatorname{pgcd}=\prod_p p^{\min(\alpha_p,\beta_p)},\qquad \operatorname{ppcm}=\prod_p p^{\max(\alpha_p,\beta_p)}}

👉 Le bon geste : aligner les deux factorisations sur TOUS les premiers en jeu, en mettant l'exposant 00 là où le facteur manque. C'est ce qui évite les oublis.

premier 360360 8484 min⁡\min max⁡\max
22 33 22 2\mathbf{2} 3\mathbf{3}
33 22 11 1\mathbf{1} 2\mathbf{2}
55 11 0\mathbf{0} 0\mathbf{0} 1\mathbf{1}
77 0\mathbf{0} 11 0\mathbf{0} 1\mathbf{1}

⚠️ Les deux zéros sont le piège de l'exercice. 55 n'apparaît pas dans 8484 et 77 pas dans 360360 : leur exposant y vaut 00, donc leur minimum vaut 00 et ils sont absents du pgcd — mais leur maximum ne l'est pas, et ils sont présents dans le ppcm.

Les resultats

PGCD — les minimums :

pgcd⁡(360,84)=22×31×50×70=4×3=12.\operatorname{pgcd}(360,84)=2^2\times 3^1\times 5^0\times 7^0=4\times 3=12.

PPCM — les maximums :

ppcm⁡(360,84)=23×32×51×71=8×9×5×7.\operatorname{ppcm}(360,84)=2^3\times 3^2\times 5^1\times 7^1=8\times 9\times 5\times 7.
8×9=72,72×5=360,360×7=2520.8\times 9=72,\qquad 72\times 5=360,\qquad 360\times 7=2520.
pgcd⁡(360,84)=12,ppcm⁡(360,84)=2520\boxed{\operatorname{pgcd}(360,84)=12,\qquad \operatorname{ppcm}(360,84)=2520}

Les trois contrôles :

contrôle vérification
1212 divise les deux 360=12×30360=12\times 30, 84=12×784=12\times 7 ✓
quotients premiers entre eux 30=2⋅3⋅530=2\cdot3\cdot5 et 77 : rien en commun ✓
relation fondamentale (A3) 12×2520=30 24012\times 2520=30\,240 et 360×84=30 240360\times 84=30\,240 ✓

👉 Contrôle par Euclide (A2), méthode indépendante : 360=84×4+24360=84\times 4+24 ; 84=24×3+1284=24\times 3+12 ; 24=12×2+024=12\times 2+0 → pgcd =12=12 ✓ en trois étapes.

Quelle methode choisir, et ce que la factorisation donne EN PLUS
Euclide factorisation
grands nombres ✓ rapide toujours ❌ impraticable
donne le pgcd ✓ ✓
donne le ppcm par la formule de A3 ✓ directement
donne les coefficients de Bézout ✓ (B1) ❌
donne tous les diviseurs ❌ ✓ (A5)
donne le nombre de diviseurs ❌ ✓ (A5)

👉 Aucune ne domine l'autre, et c'est pourquoi les deux figurent au programme. Euclide est l'outil de calcul ; la factorisation est l'outil de structure.

👉 La factorisation répond à des questions qu'Euclide ne peut pas atteindre :

  • combien 360360 a-t-il de diviseurs ? —  (3+1)(2+1)(1+1)=24\ (3+1)(2+1)(1+1)=24 (A5) ;
  • 360360 est-il un carré parfait ? — non, l'exposant de 22 et celui de 55 sont impairs ;
  • quel est le plus petit kk tel que 360k360k soit un carré ? — k=2×5=10k=2\times 5=10, pour rendre tous les exposants pairs.

ℹ️ En pratique, on factorise quand les nombres sont petits ou déjà factorisés, et on emploie Euclide dans tous les autres cas — c'est-à-dire presque toujours en informatique.

Réponse. pgcd⁡(360,84)=12\operatorname{pgcd}(360,84)=12, ppcm⁡(360,84)=2520\operatorname{ppcm}(360,84)=2520. (Recoupement : 12×2520=30240=360×8412\times2520=30240=360\times84 ✓ ; vérifié machine)
Faire cet exercice dans l'app →

Nombre et somme des diviseurs

CalculDifficulté 3/5

À partir de 360=23⋅32⋅5360=2^3\cdot3^2\cdot5, déterminer le nombre de diviseurs de 360360 et leur somme.

Indices (3)

Nombre de diviseurs : ∏(αi+1)\prod(\alpha_i+1).

Somme : ∏piαi+1−1pi−1=∏(1+pi+⋯+piαi)\prod\dfrac{p_i^{\alpha_i+1}-1}{p_i-1}=\prod(1+p_i+\dots+p_i^{\alpha_i}).

1+2+4+8=151+2+4+8=15, 1+3+9=131+3+9=13, 1+5=61+5=6.

Correction détaillée
Les deux formules

Si n=p1α1⋯pkαkn=p_1^{\alpha_1}\cdots p_k^{\alpha_k} est la factorisation de nn :

d(n)=∏i=1k(αi+1)etσ(n)=∏i=1kpiαi+1−1pi−1\boxed{d(n)=\prod_{i=1}^{k}(\alpha_i+1)\qquad\text{et}\qquad \sigma(n)=\prod_{i=1}^{k}\frac{p_i^{\alpha_i+1}-1}{p_i-1}}

👉 D'où vient le (αi+1)(\alpha_i+1) : un diviseur de nn s'écrit p1β1⋯pkβkp_1^{\beta_1}\cdots p_k^{\beta_k} avec 0≤βi≤αi0\leq\beta_i\leq\alpha_i. Il y a donc αi+1\alpha_i+1 choix pour chaque exposant — de 00 à αi\alpha_i inclus — et les choix sont indépendants.

⚠️ Le +1+1 compte l'exposant ZÉRO, c'est-à-dire le cas où le premier est absent du diviseur. L'oublier est l'erreur la plus fréquente.

👉 Et la somme des diviseurs vient du DÉVELOPPEMENT d'un produit :

σ(n)=(1+p1+⋯+p1α1)⋯(1+pk+⋯+pkαk).\sigma(n)=\big(1+p_1+\cdots+p_1^{\alpha_1}\big)\cdots\big(1+p_k+\cdots+p_k^{\alpha_k}\big).

En développant, on obtient exactement une fois chaque diviseur. Chaque parenthèse est une somme géométrique, d'où la formule fermée.

Le nombre de diviseurs de $360$
360=23×32×51.360=2^3\times 3^2\times 5^1.
premier exposant α\alpha choix α+1\alpha+1
22 33 44 (de 202^0 à 232^3)
33 22 33 (de 303^0 à 323^2)
55 11 22 (de 505^0 à 515^1)
d(360)=4×3×2=24.d(360)=4\times 3\times 2=24.
360 a exactement 24 diviseurs\boxed{360\ \text{a exactement }24\ \text{diviseurs}}

👉 Vérification par énumération, et il vaut la peine de la faire une fois :

1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 18, 20, 24, 30, 36, 40, 45, 60, 72, 90, 120, 180, 360.1,\ 2,\ 3,\ 4,\ 5,\ 6,\ 8,\ 9,\ 10,\ 12,\ 15,\ 18,\ 20,\ 24,\ 30,\ 36,\ 40,\ 45,\ 60,\ 72,\ 90,\ 120,\ 180,\ 360.

On en compte bien 24 ✓

👉 Remarquer l'appariement : les diviseurs vont par paires de produit 360360 — (1,360)(1,360), (2,180)(2,180), (3,120)(3,120)… C'est pourquoi d(n)d(n) est impair si et seulement si nn est un carré parfait, le seul cas où un diviseur est apparié avec lui-même.

La somme des diviseurs
σ(360)=(1+2+4+8)⏟20→23×(1+3+9)⏟30→32×(1+5)⏟50→51.\sigma(360)=\underbrace{(1+2+4+8)}_{2^0\to 2^3}\times\underbrace{(1+3+9)}_{3^0\to 3^2}\times\underbrace{(1+5)}_{5^0\to 5^1}.
=15×13×6.=15\times 13\times 6.

Calculons :

15×13=195,195×6=1170.15\times 13=195,\qquad 195\times 6=1170.
σ(360)=1170\boxed{\sigma(360)=1170}

👉 Contrôle par la formule géométrique, qui doit donner les mêmes parenthèses :

24−12−1=151=15,33−13−1=262=13,52−15−1=244=6 ✓\frac{2^4-1}{2-1}=\frac{15}{1}=15,\qquad \frac{3^3-1}{3-1}=\frac{26}{2}=13,\qquad \frac{5^2-1}{5-1}=\frac{24}{4}=6\ \checkmark

👉 Second contrôle, très parlant : la somme des diviseurs stricts (tous sauf nn) vaut

1170−360=810 > 360.1170-360=810\ >\ 360.

360360 est donc un nombre abondant — ses diviseurs stricts somment à plus que lui-même.

Ce que ces fonctions racontent

👉 Les nombres se classent selon σ(n)\sigma(n) comparé à 2n2n :

classe condition exemple
déficient σ(n)<2n\sigma(n)<2n 88 : σ=15<16\sigma=15<16
parfait σ(n)=2n\sigma(n)=2n 66 : σ=1+2+3+6=12=2×6\sigma=1+2+3+6=12=2\times 6
abondant σ(n)>2n\sigma(n)>2n 360360 : σ=1170>720\sigma=1170>720

👉 360360 est très abondant, et ce n'est pas un hasard : c'est un nombre hautement composé — aucun entier inférieur n'a autant de diviseurs. C'est pour cette raison qu'il compte 360360 degrés dans un cercle et 6060 minutes dans une heure : on peut diviser en 2,3,4,5,6,8,9,10,12…2,3,4,5,6,8,9,10,12\dots parts égales.

⚠️ dd et σ\sigma sont MULTIPLICATIVES mais pas complètement : d(mn)=d(m)d(n)d(mn)=d(m)d(n) seulement si pgcd⁡(m,n)=1\operatorname{pgcd}(m,n)=1.

d(4)=3,d(2)=2maisd(8)=4≠2×3=6.d(4)=3,\quad d(2)=2\qquad\text{mais}\qquad d(8)=4\neq 2\times 3=6.

👉 C'est la même condition que pour l'indicatrice d'Euler (C3), et pour la même raison : la factorisation de mnmn ne « colle » les exposants que si les deux nombres n'ont aucun premier en commun.

ℹ️ Les nombres parfaits pairs sont entièrement connus — ils sont de la forme 2k−1(2k−1)2^{k-1}(2^k-1) avec 2k−12^k-1 premier (nombres de Mersenne). On n'en connaît que 5252. Et l'on ignore toujours s'il existe un nombre parfait IMPAIR : c'est l'un des plus vieux problèmes ouverts des mathématiques.

Réponse. 360360 a 2424 diviseurs, de somme 11701170. (Recoupement : vérifié machine ✓)
Faire cet exercice dans l'app →

Reconnaître un nombre premier

DémonstrationDifficulté 3/5

Les nombres 211211 et 221221 sont-ils premiers ? Justifier.

Indices (3)

Tester la divisibilité par les premiers ≤n\le\sqrt n.

211≈14,5\sqrt{211}\approx14{,}5 : tester 2,3,5,7,11,132,3,5,7,11,13.

Pour 221221, chercher un diviseur évident.

Correction détaillée
Le critere : s'arreter a la RACINE
pour n≥2,n est premier  ⟺  n n’est divisible par aucun premier p≤n\boxed{\text{pour } n\geq 2,\quad n\ \text{est premier}\iff n\ \text{n'est divisible par aucun premier}\ p\leq\sqrt{n}}

👉 Pourquoi la racine suffit, et c'est l'argument qui rend le test praticable. Si n=abn=ab avec 1<a≤b<n1<a\leq b<n, alors

a×a ≤ a×b=n⟹a≤n.a\times a\ \leq\ a\times b=n\qquad\Longrightarrow\qquad a\leq\sqrt n.

Autrement dit : si nn a un diviseur, il en a forcément un qui ne dépasse pas n\sqrt n. Tester au-delà est inutile — on retrouverait les mêmes couples dans l'autre sens.

👉 Et il suffit de tester les PREMIERS, pas tous les entiers : si nn est divisible par 66, il l'est déjà par 22.

⚠️ Le gain est énorme : pour n=211n=211, on teste 66 nombres au lieu de 209209.

$211$ est PREMIER
211≈14,53⟹tester les premiers ≤14 : 2, 3, 5, 7, 11, 13.\sqrt{211}\approx 14{,}53\qquad\Longrightarrow\qquad \text{tester les premiers}\ \leq 14\ :\ 2,\ 3,\ 5,\ 7,\ 11,\ 13.
pp test reste
22 211211 est impair 11
33 2+1+1=42+1+1=4, non divisible par 33 11
55 ne finit ni par 00 ni par 55 11
77 211=7×30+1211=7\times 30+1 11
1111 211=11×19+2211=11\times 19+2 22
1313 211=13×16+3211=13\times 16+3 33
211 est PREMIER\boxed{211\ \text{est PREMIER}}

👉 Les trois premiers tests se font de tête, par les critères de divisibilité (B4) : parité, somme des chiffres, chiffre des unités. Seuls 77, 1111 et 1313 demandent une division.

⚠️ Ne pas s'arrêter trop tôt. 211≈14,53\sqrt{211}\approx 14{,}53 : il faut aller jusqu'à 1313 inclus. S'arrêter à 1111 laisserait un cas non testé.

$221$ n'est PAS premier

Même racine, mêmes candidats : 221≈14,87\sqrt{221}\approx 14{,}87, donc 2,3,5,7,11,132,3,5,7,11,13.

pp test
22 impair ❌
33 2+2+1=52+2+1=5 ❌
55 finit par 11 ❌
77 221=7×31+4221=7\times 31+4 ❌
1111 alternée 1−2+2=11-2+2=1 ❌
13\mathbf{13} 221=13×17+0221=13\times 17+\mathbf{0} ✓
221=13×17 : NON premier\boxed{221=13\times 17\ :\ NON\ premier}

⚠️⚠️ 221221 est le piège classique, et pour trois raisons qui se cumulent :

  • il paraît premier — impair, pas divisible par 33 ni 55 ;
  • son plus petit facteur est 1313, le dernier candidat à tester ;
  • ses deux facteurs 1313 et 1717 sont proches de 221≈14,87\sqrt{221}\approx 14{,}87.

👉 C'est exactement la structure d'une clé RSA (D5) : le produit de deux premiers voisins de n\sqrt n est le cas le plus difficile à factoriser. En miniature, 221221 illustre pourquoi RSA tient.

Le crible, et ce que coute la primalite

👉 Pour lister tous les premiers jusqu'à NN, le crible d'Ératosthène est bien plus efficace que de tester un par un : on écrit les entiers de 22 à NN, on garde 22 et on barre ses multiples, on garde le premier non barré (33) et on barre ses multiples, etc.

2, 3, 5, 7, 11, 13, 17, 19, 23, …, 199, 211, …2,\ 3,\ 5,\ 7,\ 11,\ 13,\ 17,\ 19,\ 23,\ \dots,\ 199,\ \mathbf{211},\ \dots

⚠️ Il n'est même pas nécessaire de barrer au-delà de N\sqrt N — pour la même raison qu'au §1.

👉 Les faits à connaître :

fait énoncé
Euclide il y a une infinité de premiers
raréfaction il y a environ Nln⁡N\dfrac{N}{\ln N} premiers ≤N\leq N
écarts arbitraires il existe des suites de kk entiers consécutifs tous composés, pour tout kk

La démonstration d'Euclide tient en trois lignes : si p1,…,pkp_1,\dots,p_k étaient tous les premiers, alors N=p1⋯pk+1N=p_1\cdots p_k+1 ne serait divisible par aucun d'eux (reste 11 à chaque fois), donc son plus petit facteur premier serait un premier nouveau.

ℹ️ Tester la primalité est BEAUCOUP plus facile que factoriser : on sait dire en une fraction de seconde qu'un nombre de 600600 chiffres est premier (test de Miller-Rabin, ou AKS en temps polynomial depuis 2002), et personne ne sait factoriser le produit de deux tels premiers. Toute la sécurité de RSA tient dans cet écart (D5).

Réponse. 211211 est premier ; 221=13×17221=13\times17 ne l'est pas. (Recoupement : vérifié machine ✓)
Faire cet exercice dans l'app →

Coefficients de Bézout

DémonstrationDifficulté 3/5

Déterminer des entiers u,vu,v tels que 252u+198v=pgcd⁡(252,198)=18252u+198v=\operatorname{pgcd}(252,198)=18 (Euclide étendu).

Indices (3)

Reprendre les divisions de l'algorithme d'Euclide (A2).

Remonter en exprimant 1818 à partir des restes successifs.

18=54−3618=54-36, puis 36=198−54⋅336=198-54\cdot3, puis 54=252−19854=252-198.

Correction détaillée
Le theoreme de Bezout, et ce qu'il promet
Pour tous a,b non nuls, il existe u,v∈Z tels que au+bv=pgcd⁡(a,b)\boxed{\text{Pour tous }a,b\ \text{non nuls, il existe }u,v\in\mathbb{Z}\ \text{tels que}\ au+bv=\operatorname{pgcd}(a,b)}

👉 L'algorithme d'Euclide ne donne pas seulement le pgcd : il donne AUSSI uu et vv, en remontant les divisions. C'est ce qui le rend irremplaçable — aucune méthode par factorisation ne les fournit.

⚠️ Le couple (u,v)(u,v) n'est PAS unique : si au+bv=dau+bv=d, alors pour tout kk

a(u+kbd)+b(v−kad)=au+bv=d.a\Big(u+k\tfrac bd\Big)+b\Big(v-k\tfrac ad\Big)=au+bv=d.

👉 Il y a donc une infinité de couples de Bézout, et l'on cherche seulement à en exhiber un.

La descente d'Euclide, avec les restes ISOLES

On reprend les divisions de A2, en isolant chaque reste — c'est le geste qui prépare la remontée :

division reste isolé
252=198×1+54252=198\times 1+54 54=252−198×1\mathbf{54=252-198\times 1}
198=54×3+36198=54\times 3+36 36=198−54×3\mathbf{36=198-54\times 3}
54=36×1+1854=36\times 1+18 18=54−36×1\mathbf{18=54-36\times 1}
36=18×2+036=18\times 2+0 — on s'arrête

👉 On ne garde que les lignes à reste non nul, et on part de la dernière, celle qui exhibe le pgcd.

La remontee, ligne par ligne

Départ — la dernière ligne :

18=54−36.18=54-36.

Substituons 36=198−54×336=198-54\times 3 :

18=54−(198−54×3)=54−198+3×54=4×54−198.18=54-(198-54\times 3)=54-198+3\times 54=4\times 54-198.

⚠️ Ne pas développer 5454 tout de suite : on le garde groupé, car c'est lui qu'on va remplacer à l'étape suivante. C'est le point où l'on se trompe le plus.

Substituons 54=252−19854=252-198 :

18=4×(252−198)−198=4×252−4×198−198=4×252−5×198.18=4\times(252-198)-198=4\times 252-4\times 198-198=4\times 252-5\times 198.
252×4+198×(−5)=18,u=4,v=−5\boxed{252\times 4+198\times(-5)=18,\qquad u=4,\quad v=-5}

Contrôle, à ne jamais sauter :

252×4=1008,198×5=990,1008−990=18 ✓252\times 4=1008,\qquad 198\times 5=990,\qquad 1008-990=18\ \checkmark

👉 Un coefficient est toujours négatif quand aa et bb sont positifs — sinon au+bvau+bv dépasserait largement le pgcd. C'est un contrôle de plausibilité immédiat.

A quoi servent $u$ et $v$

👉 Trois usages, et ce sont eux qui portent tout le reste du chapitre :

usage comment
inverser modulo nn (C1) si pgcd⁡(a,n)=1\operatorname{pgcd}(a,n)=1 et au+nv=1au+nv=1, alors au≡1(modn)au\equiv 1\pmod n : uu est l'inverse
résoudre ax+by=cax+by=c (B5) possible ssi pgcd⁡(a,b)∣c\operatorname{pgcd}(a,b)\mid c, et Bézout donne une solution particulière
restes chinois (D1, D2) Bézout fournit les « briques » qui valent 11 modulo l'un, 00 modulo l'autre

👉 Le corollaire le plus utilisé — le théorème de Bézout proprement dit :

a et b sont PREMIERS ENTRE EUX  ⟺  ∃u,v, au+bv=1\boxed{a\ \text{et}\ b\ \text{sont PREMIERS ENTRE EUX}\iff \exists u,v,\ au+bv=1}

Le sens ⇐\Leftarrow est immédiat : tout diviseur commun à aa et bb divise au+bv=1au+bv=1, donc vaut 11.

👉 C'est de ce corollaire que découle le théorème de Gauss (B2), et de proche en proche toute l'arithmétique modulaire — jusqu'à RSA (D5), dont la clé privée est un coefficient de Bézout.

ℹ️ Ici pgcd⁡=18≠1\operatorname{pgcd}=18\neq 1 : 252252 et 198198 ne sont donc pas premiers entre eux, et 252252 n'est pas inversible modulo 198198.

Réponse. 252⋅4−198⋅5=18252\cdot4-198\cdot5=18, soit (u,v)=(4,−5)(u,v)=(4,-5). (Recoupement : la relation au+bv=pgcd⁡au+bv=\operatorname{pgcd} est confirmée machine ✓)
Faire cet exercice dans l'app →

Théorème de Gauss

DémonstrationDifficulté 3/5

Résoudre dans Z\mathbb Z : 15∣7n15\mid 7n. (Indication : théorème de Gauss.)

Indices (3)

15∣7n15\mid 7n et on connaît pgcd⁡(7,15)\operatorname{pgcd}(7,15).

Gauss : si a∣bca\mid bc et pgcd⁡(a,b)=1\operatorname{pgcd}(a,b)=1, alors a∣ca\mid c.

Ici a=15a=15, b=7b=7, c=nc=n.

Correction détaillée
Le theoreme de Gauss, et l'hypothese qui decide
Si a∣bc ET pgcd⁡(a,b)=1, alors a∣c\boxed{\text{Si}\ a\mid bc\ \text{ET}\ \operatorname{pgcd}(a,b)=1,\ \text{alors}\ a\mid c}

⚠️⚠️ L'hypothèse « premiers entre eux » n'est pas décorative — sans elle, l'énoncé est faux :

6∣4×3=12,mais6∤4 et 6∤3.6\mid 4\times 3=12,\qquad\text{mais}\qquad 6\nmid 4\ \text{et}\ 6\nmid 3.

👉 Ici pgcd⁡(6,4)=2≠1\operatorname{pgcd}(6,4)=2\neq 1 : le facteur 22 de 66 se loge dans 44 et le facteur 33 dans 33. Le diviseur se « répartit » entre les deux, au lieu de tomber entier dans l'un.

👉 La démonstration, par Bézout (B1). Comme pgcd⁡(a,b)=1\operatorname{pgcd}(a,b)=1, il existe u,vu,v avec au+bv=1au+bv=1. Multiplions par cc :

c=acu+bcv.c=acu+bcv.

aa divise acuacu (visiblement) et aa divise bcvbcv (puisque a∣bca\mid bc). Donc aa divise leur somme, c'est-à-dire cc. ■\blacksquare

Application : resoudre $15\mid 7n$

Étape 1 — vérifier l'hypothèse. 15=3×515=3\times 5 et 77 est premier, donc

pgcd⁡(15,7)=1 ✓\operatorname{pgcd}(15,7)=1\ \checkmark

👉 C'est la seule chose à vérifier, et c'est elle qui autorise Gauss.

Étape 2 — appliquer. 15∣7×n15\mid 7\times n avec 1515 premier avec 77, donc

15∣n.15\mid n.
{n∈Z : 15∣7n}=15Z={…,−30,−15,0,15,30,45,… }\boxed{\{n\in\mathbb{Z}\ :\ 15\mid 7n\}=15\mathbb{Z}=\{\dots,-30,-15,0,15,30,45,\dots\}}

Contrôle sur trois valeurs :

nn 7n7n 7n÷157n\div 15
1515 105105 77 ✓
3030 210210 1414 ✓
4545 315315 2121 ✓

👉 Et une valeur qui NE convient pas, pour vérifier que la condition mord : n=5n=5 donne 7n=357n=35, qui n'est pas divisible par 1515 ✓

Le corollaire d'Euclide, cas particulier essentiel
p premier et p∣ab ⟹ p∣a ou p∣b\boxed{p\ \text{premier et}\ p\mid ab\ \Longrightarrow\ p\mid a\ \text{ou}\ p\mid b}

👉 C'est Gauss appliqué au cas où aa est premier : si p∤ap\nmid a, alors pgcd⁡(p,a)=1\operatorname{pgcd}(p,a)=1 (les seuls diviseurs de pp sont 11 et pp), donc Gauss donne p∣bp\mid b.

👉 Ce corollaire est LE pilier du théorème fondamental de l'arithmétique — l'unicité de la factorisation en premiers (A4). Sans lui, rien ne garantirait qu'un nombre ne puisse pas se factoriser de deux façons différentes.

⚠️ Et l'unicité n'a rien d'automatique : elle est FAUSSE dans d'autres anneaux. Dans Z[i5]={a+ib5}\mathbb{Z}[i\sqrt5]=\{a+ib\sqrt5\} :

6=2×3=(1+i5)(1−i5),6=2\times 3=(1+i\sqrt5)(1-i\sqrt5),

et les quatre facteurs y sont irréductibles. Deux factorisations essentiellement différentes du même nombre.

👉 Ce qui manque à cet anneau est exactement Bézout — il n'y est pas euclidien, donc l'argument du §1 ne s'y applique pas. C'est ce qui distingue « irréductible » de « premier », deux notions que Z\mathbb{Z} confond.

Reconnaitre les situations de Gauss

👉 Trois formes du même geste, à savoir repérer :

énoncé conclusion
a∣bca\mid bc et pgcd⁡(a,b)=1\operatorname{pgcd}(a,b)=1 a∣ca\mid c
a∣ca\mid c, b∣cb\mid c et pgcd⁡(a,b)=1\operatorname{pgcd}(a,b)=1 ab∣cab\mid c
pgcd⁡(a,b)=1\operatorname{pgcd}(a,b)=1 et pgcd⁡(a,c)=1\operatorname{pgcd}(a,c)=1 pgcd⁡(a,bc)=1\operatorname{pgcd}(a,bc)=1

La deuxième ligne est la plus utile en pratique. Exemple : un nombre divisible par 33 et par 55 est divisible par 1515 — mais un nombre divisible par 44 et par 66 n'est pas forcément divisible par 2424 (1212 en est un contre-exemple), car pgcd⁡(4,6)=2≠1\operatorname{pgcd}(4,6)=2\neq 1.

👉 C'est ce qui fonde les critères de divisibilité composés (B4) : « divisible par 66 » équivaut à « divisible par 22 et par 33 », précisément parce que 22 et 33 sont premiers entre eux.

⚠️ Piège classique : « divisible par 1212 » n'équivaut pas à « divisible par 22 et par 66 » — ces deux-là ne sont pas premiers entre eux. Il faut décomposer en puissances de premiers : 44 et 33.

ℹ️ C'est exactement la structure du théorème des restes chinois (D1), qui exige lui aussi des modules premiers entre eux deux à deux.

Réponse. 15∣7n  ⟺  15∣n15\mid7n\iff15\mid n, donc n∈15Zn\in15\mathbb Z. (Recoupement : pgcd⁡(7,15)=1\operatorname{pgcd}(7,15)=1 vérifié machine ✓)
Faire cet exercice dans l'app →

Calcul d'un reste par congruences

ApplicationDifficulté 3/5

Déterminer le reste de 123×456123\times456 dans la division par 77.

Indices (3)

Réduire chaque facteur modulo 77 AVANT de multiplier.

123=7⋅17+4123=7\cdot17+4, 456=7⋅65+1456=7\cdot65+1.

Multiplier les restes.

Correction détaillée
Le principe : les congruences sont COMPATIBLES avec les operations
a≡a′ [n] et b≡b′ [n] ⟹ a+b≡a′+b′ [n] et ab≡a′b′ [n]\boxed{a\equiv a'\ [n]\ \text{et}\ b\equiv b'\ [n]\ \Longrightarrow\ a+b\equiv a'+b'\ [n]\ \text{et}\ ab\equiv a'b'\ [n]}

👉 C'est ce qui permet de REMPLACER chaque nombre par son reste AVANT de calculer, au lieu de calculer puis réduire. Sur de grands nombres, le gain est décisif.

Démonstration du produit, pour voir que ce n'est pas magique : si a=a′+kna=a'+kn et b=b′+lnb=b'+ln, alors

ab=a′b′+n(a′l+b′k+kln)⏟entier ≡ a′b′ [n].ab=a'b'+n\underbrace{(a'l+b'k+kln)}_{\text{entier}}\ \equiv\ a'b'\ [n].

⚠️ Attention : ça marche pour ++, −-, ×\times et les PUISSANCES, mais PAS pour la division. 6≡0 [6]6\equiv 0\ [6] et 6/2=3≢0/2=0 [6]6/2=3\not\equiv 0/2=0\ [6]. Diviser exige d'inverser (C1), ce qui n'est possible que si le diviseur est premier avec nn.

Le calcul de $123\times 456$ modulo $7$

Étape 1 — réduire chaque facteur.

123=7×17+4⟹123≡4 [7],123=7\times 17+4\qquad\Longrightarrow\qquad 123\equiv 4\ [7],
456=7×65+1⟹456≡1 [7].456=7\times 65+1\qquad\Longrightarrow\qquad 456\equiv 1\ [7].

👉 Contrôles : 7×17=1197\times 17=119 et 119+4=123119+4=123 ✓ · 7×65=4557\times 65=455 et 455+1=456455+1=456 ✓

Étape 2 — multiplier les restes.

123×456 ≡ 4×1 = 4 [7].123\times 456\ \equiv\ 4\times 1\ =\ 4\ [7].
le reste de 123×456 par 7 vaut 4\boxed{\text{le reste de }123\times 456\ \text{par }7\ \text{vaut }4}

👉 Le 456≡1456\equiv 1 rend le calcul trivial : multiplier par un nombre congru à 11 ne change rien. Repérer ces 11 est le premier réflexe à acquérir.

Le controle par le calcul DIRECT
123×456=56 088.123\times 456=56\,088.

Divisons : 56 088=7×8012+456\,088=7\times 8012+4.

👉 Contrôle : 7×8012=56 0847\times 8012=56\,084, et 56 084+4=56 08856\,084+4=56\,088 ✓

les deux methodes donnent 4\boxed{\text{les deux methodes donnent }4}

👉 Mais comparons le TRAVAIL :

méthode opérations
par congruences deux petites divisions, puis 4×14\times 1
directe une multiplication à 5 chiffres, puis une division à 5 chiffres

⚠️ Et sur 123456123^{456}, la méthode directe est tout simplement IMPOSSIBLE — ce nombre a plus de 950950 chiffres. Par congruences, en revanche :

123456≡4456 [7],123^{456}\equiv 4^{456}\ [7],

et comme 43=64≡1 [7]4^3=64\equiv 1\ [7] avec 456=3×152456=3\times 152, on obtient 4456=(43)152≡1 [7]4^{456}=(4^3)^{152}\equiv 1\ [7] de tête.

👉 C'est tout l'intérêt du calcul modulaire : il maintient les nombres petits, quelle que soit la taille du problème.

Les reflexes qui font gagner du temps

👉 Chercher systématiquement un reste égal à 11, ou à −1-1 :

observation conséquence
a≡1 [n]a\equiv 1\ [n] ak≡1a^k\equiv 1 pour tout kk
a≡−1 [n]a\equiv -1\ [n] ak≡±1a^k\equiv \pm 1 selon la parité de kk
a≡0 [n]a\equiv 0\ [n] ak≡0a^k\equiv 0

⚠️ Employer les restes NÉGATIFS quand ils sont plus petits en valeur absolue. Modulo 77, écrire 6≡−16\equiv -1 plutôt que 66 :

6100≡(−1)100=1 [7]en une ligne.6^{100}\equiv(-1)^{100}=1\ [7]\qquad\text{en une ligne.}

👉 Exemple qui combine les deux réflexes — le reste de 21002^{100} modulo 77 :

23=8≡1 [7],100=3×33+1,2^3=8\equiv 1\ [7],\qquad 100=3\times 33+1,
2100=(23)33×2≡133×2=2 [7].2^{100}=(2^3)^{33}\times 2\equiv 1^{33}\times 2=2\ [7].

👉 C'est exactement la méthode de E4, et elle préfigure le petit théorème de Fermat (C2), qui garantit qu'un tel exposant existe toujours : ap−1≡1a^{p-1}\equiv 1 dès que p∤ap\nmid a.

ℹ️ Un dernier réflexe : pour un module composé, on peut travailler modulo chaque facteur premier séparément et recoller par les restes chinois (D1) — souvent plus rapide que de travailler directement.

Réponse. Le reste est 44. (Recoupement : 123×456=56088=7×8012+4123\times456=56088=7\times8012+4 ✓ ; vérifié machine)
Faire cet exercice dans l'app →

Critères de divisibilité par 9 et 11

DémonstrationDifficulté 3/5

À l'aide des congruences, calculer 1234 mod 91234\bmod 9 et 1234 mod 111234\bmod 11.

Indices (3)

10≡1(mod9)10\equiv1\pmod9 : n≡n\equiv somme des chiffres.

10≡−1(mod11)10\equiv-1\pmod{11} : n≡n\equiv somme alternée des chiffres.

Chiffres de 12341234 : 1,2,3,41,2,3,4.

Correction détaillée
D'ou viennent les criteres : $10\equiv 1\ [9]$

👉 Tout le critère par 99 tient dans cette seule congruence :

10≡1 [9]⟹10k≡1k=1 [9]pour tout k.10\equiv 1\ [9]\qquad\Longrightarrow\qquad 10^k\equiv 1^k=1\ [9]\quad\text{pour tout }k.

Donc, pour un nombre écrit akak−1…a1a0‾\overline{a_ka_{k-1}\dots a_1a_0} :

N=∑kak10k ≡ ∑kak [9].N=\sum_k a_k 10^k\ \equiv\ \sum_k a_k\ [9].
N≡(somme de ses chiffres)  [9]\boxed{N\equiv(\text{somme de ses chiffres})\ \ [9]}

👉 Et pour 1111, c'est 10≡−110\equiv -1 qui décide :

10k≡(−1)k [11]⟹N≡∑k(−1)kak [11],10^k\equiv(-1)^k\ [11]\qquad\Longrightarrow\qquad N\equiv\sum_k(-1)^k a_k\ [11],

c'est-à-dire la somme alternée des chiffres, en commençant par les unités avec le signe ++.

⚠️ Le sens de l'alternance compte : partir des unités, pas du chiffre de gauche. Sur un nombre à nombre pair de chiffres, se tromper de sens change le signe du résultat.

$1234$ modulo $9$
1+2+3+4=10.1+2+3+4=10.

👉 1010 n'est pas un reste valide (0≤r<90\leq r<9) : on réitère le procédé.

1+0=1.1+0=1.
1234≡1 [9]\boxed{1234\equiv 1\ [9]}

Contrôle par la division : 1234=9×137+11234=9\times 137+1.

9×137=1233,1233+1=1234 ✓9\times 137=1233,\qquad 1233+1=1234\ \checkmark

👉 On peut itérer autant que nécessaire — le résultat final s'appelle la racine numérique. Pour 12341234, c'est 11.

ℹ️ Le critère par 33 est identique, puisque 10≡1 [3]10\equiv 1\ [3] aussi : 1234≡10≡1 [3]1234\equiv 10\equiv 1\ [3]. C'est pourquoi les deux critères se ressemblent — ils viennent de la même congruence.

$1234$ modulo $11$

👉 Alternance en partant des UNITÉS, avec le signe ++ :

4⏟+−3⏟−+2⏟+−1⏟−=4−3+2−1=2.\underbrace{4}_{+}-\underbrace{3}_{-}+\underbrace{2}_{+}-\underbrace{1}_{-}=4-3+2-1=2.
1234≡2 [11]\boxed{1234\equiv 2\ [11]}

Contrôle : 1234=11×112+21234=11\times 112+2.

11×112=1232,1232+2=1234 ✓11\times 112=1232,\qquad 1232+2=1234\ \checkmark

⚠️ Si la somme alternée est négative, ajouter 1111. Par exemple 1 0 9‾\overline{1\,0\,9} donne 9−0+1=109-0+1=10, et 2 0 9‾\overline{2\,0\,9} donnerait 9−0+2=11≡09-0+2=11\equiv 0 : 209=11×19209=11\times 19 ✓

👉 Une conséquence amusante : tout nombre à deux chiffres identiques (1111, 2222, …, 9999) est divisible par 1111, puisque la somme alternée vaut a−a=0a-a=0. De même abcabc‾\overline{abcabc} est toujours divisible par 1111 — et par 77 et 1313, car abcabc‾=abc‾×1001=abc‾×7×11×13\overline{abcabc}=\overline{abc}\times 1001=\overline{abc}\times 7\times 11\times 13.

Le tableau des criteres, et le PREUVE PAR NEUF
diviseur critère congruence qui le fonde
22 dernier chiffre pair 10≡0 [2]10\equiv 0\ [2]
33 somme des chiffres 10≡1 [3]10\equiv 1\ [3]
44 les 2 derniers chiffres 100≡0 [4]100\equiv 0\ [4]
55 dernier chiffre 00 ou 55 10≡0 [5]10\equiv 0\ [5]
88 les 3 derniers chiffres 1000≡0 [8]1000\equiv 0\ [8]
99 somme des chiffres 10≡1 [9]10\equiv 1\ [9]
1111 somme alternée 10≡−1 [11]10\equiv -1\ [11]

👉 La colonne de droite explique tout : le critère est facile quand 1010 est congru à 00, 11 ou −1-1. C'est pourquoi 77 n'a pas de critère simple — 10≡3 [7]10\equiv 3\ [7], et les puissances de 33 ne se simplifient pas.

👉 La preuve par neuf, qui a servi pendant des siècles à vérifier les multiplications à la main :

Pour contrôler 123×456=56 088123\times 456=56\,088 :

123→1+2+3=6,456→4+5+6=15→6,123\to 1+2+3=6,\qquad 456\to 4+5+6=15\to 6,
6×6=36→3+6=9→0,6\times 6=36\to 3+6=9\to 0,

et 56 088→5+6+0+8+8=27→9→056\,088\to 5+6+0+8+8=27\to 9\to 0 ✓ Les deux valent 00 : cohérent.

⚠️⚠️ La preuve par neuf peut VALIDER un résultat FAUX. Elle ne détecte pas une transposition de chiffres (56 08856\,088 contre 56 88056\,880 ont la même somme), ni une erreur multiple de 99. Elle réfute, elle ne confirme jamais — exactement comme un contrôle de parité.

Réponse. 1234≡1(mod9)1234\equiv1\pmod9 et 1234≡2(mod11)1234\equiv2\pmod{11}. (Recoupement : vérifié machine ✓)
Faire cet exercice dans l'app →

Équation diophantienne

CalculDifficulté 3/5

Résoudre dans Z2\mathbb Z^2 l'équation 17x+5y=117x+5y=1.

Indices (3)

pgcd⁡(17,5)=1\operatorname{pgcd}(17,5)=1 divise 11 : il y a des solutions.

Trouver une solution particulière par Bézout : 17⋅3+5⋅(−10)=117\cdot3+5\cdot(-10)=1.

Solution générale : x=x0+bdtx=x_0+\frac{b}{d}t, y=y0−adty=y_0-\frac{a}{d}t avec d=1d=1.

Correction détaillée
Quand une equation diophantienne a-t-elle des solutions
ax+by=c a des solutions entieres  ⟺  pgcd⁡(a,b) divise c\boxed{ax+by=c\ \text{a des solutions entieres}\iff \operatorname{pgcd}(a,b)\ \text{divise}\ c}

👉 Pourquoi. Tout ax+byax+by est un multiple de d=pgcd⁡(a,b)d=\operatorname{pgcd}(a,b), donc cc doit l'être. Réciproquement, si d∣cd\mid c, Bézout donne au+bv=dau+bv=d, et il suffit de multiplier par c/dc/d.

Ici : pgcd⁡(17,5)=1\operatorname{pgcd}(17,5)=1, car 1717 est premier et 17∤517\nmid 5.

1∣1⟹il y a des solutions.1\mid 1\qquad\Longrightarrow\qquad \text{il y a des solutions.}

⚠️ Toujours commencer par ce test. L'équation 6x+4y=56x+4y=5 n'a aucune solution — le membre de gauche est toujours pair, jamais égal à 55. Chercher une solution particulière y serait une perte de temps garantie.

Une solution particuliere, par Euclide etendu

Descente :

17=5×3+2,5=2×2+1,2=1×2+0.17=5\times 3+2,\qquad 5=2\times 2+1,\qquad 2=1\times 2+0.

Remontée, en isolant les restes :

1=5−2×2et2=17−5×3.1=5-2\times 2\qquad\text{et}\qquad 2=17-5\times 3.

En substituant :

1=5−2×(17−5×3)=5−2×17+6×5=7×5−2×17.1=5-2\times(17-5\times 3)=5-2\times 17+6\times 5=7\times 5-2\times 17.
17×(−2)+5×7=1,(x0,y0)=(−2, 7)\boxed{17\times(-2)+5\times 7=1,\qquad (x_0,y_0)=(-2,\ 7)}

Contrôle : −34+35=1-34+35=1 ✓

👉 Sur de petits nombres, on peut aussi trouver la solution de tête en cherchant un multiple de 1717 voisin d'un multiple de 55 : 17×3=5117\times 3=51 et 5×10=505\times 10=50, d'où 17×3−5×10=117\times 3-5\times 10=1, soit (3,−10)(3,-10). C'est une autre solution, tout aussi valable — et le bloc suivant montre qu'elle est dans la même famille.

La solution GENERALE

👉 Soustrayons deux solutions. Si 17x+5y=117x+5y=1 et 17x0+5y0=117x_0+5y_0=1, alors

17(x−x0)=−5(y−y0).17(x-x_0)=-5(y-y_0).

55 divise 17(x−x0)17(x-x_0) et pgcd⁡(5,17)=1\operatorname{pgcd}(5,17)=1, donc par Gauss (B2) : 5∣x−x05\mid x-x_0, soit x=x0+5kx=x_0+5k. En reportant, y=y0−17ky=y_0-17k.

x=−2+5k,y=7−17k,k∈Z\boxed{x=-2+5k,\qquad y=7-17k,\qquad k\in\mathbb{Z}}

Vérification sur quatre valeurs de kk :

kk xx yy 17x+5y17x+5y
−1-1 −7-7 2424 −119+120=1-119+120=1 ✓
00 −2-2 77 −34+35=1-34+35=1 ✓
11 3\mathbf{3} −10\mathbf{-10} 51−50=151-50=1 ✓
22 88 −27-27 136−135=1136-135=1 ✓

👉 La ligne k=1k=1 est exactement la solution trouvée « de tête » au bloc précédent. Les deux appartiennent bien à la même famille — c'est le contrôle qui montre que la solution générale est complète.

Le cas general, et ce qui change quand $d\neq 1$

👉 Pour ax+by=cax+by=c avec d=pgcd⁡(a,b)d=\operatorname{pgcd}(a,b) divisant cc :

x=x0⋅cd+bdk,y=y0⋅cd−adk.x=x_0\cdot\frac{c}{d}+\frac{b}{d}k,\qquad y=y_0\cdot\frac{c}{d}-\frac{a}{d}k.

⚠️⚠️ Ce sont a/da/d et b/db/d qui apparaissent, PAS aa et bb. C'est l'erreur la plus fréquente, et elle fait manquer des solutions.

Exemple — 6x+4y=26x+4y=2, avec d=2d=2 :

x=1+2k,y=−1−3k(pas x=1+4k).x=1+2k,\qquad y=-1-3k\qquad\text{(pas }x=1+4k\text{)}.
kk xx yy 6x+4y6x+4y
00 11 −1-1 6−4=26-4=2 ✓
11 33 −4-4 18−16=218-16=2 ✓

👉 La solution x=3x=3 serait manquée si l'on écrivait x=1+4kx=1+4k : elle n'apparaîtrait pour aucun kk entier.

👉 Où ces équations servent vraiment :

problème équation
payer 11 € avec des pièces de 1717 et 55 centimes (rendu autorisé) 17x+5y=10017x+5y=100
congruence linéaire ax≡c [n]ax\equiv c\ [n] (B6) ax−ny=cax-ny=c
restes chinois (D1) système de deux congruences

ℹ️ Si l'on impose x,y≥0x,y\geq 0, le problème devient beaucoup plus difficile — c'est le « problème du rendu de monnaie », et le plus grand montant non représentable par deux pièces a,ba,b premières entre elles vaut ab−a−bab-a-b (nombre de Frobenius). Pour 1717 et 55 : 85−22=6385-22=63.

Réponse. {(3+5t, −10−17t)∣t∈Z}\{(3+5t,\,-10-17t)\mid t\in\mathbb Z\}. (Recoupement : 17(3+5t)+5(−10−17t)=117(3+5t)+5(-10-17t)=1 pour tout tt — vérifié machine ✓)
Faire cet exercice dans l'app →

Congruence linéaire

CalculDifficulté 3/5

Résoudre la congruence 3x≡4(mod7)3x\equiv4\pmod7.

Indices (3)

pgcd⁡(3,7)=1\operatorname{pgcd}(3,7)=1 : 33 est inversible modulo 77.

Trouver 3−1(mod7)3^{-1}\pmod7 (3⋅5=15≡13\cdot5=15\equiv1).

Multiplier les deux membres par cet inverse.

Correction détaillée
Quand une congruence lineaire a-t-elle des solutions
ax≡c [n] a des solutions  ⟺  pgcd⁡(a,n) divise c\boxed{ax\equiv c\ [n]\ \text{a des solutions}\iff \operatorname{pgcd}(a,n)\ \text{divise}\ c}

👉 C'est la même condition qu'en B5, et ce n'est pas une coïncidence : ax≡c [n]ax\equiv c\ [n] signifie ax−c=nyax-c=ny pour un entier yy, c'est-à-dire

ax−ny=c,ax-ny=c,

une équation diophantienne. Les deux exercices sont le même problème dans deux langages.

Ici : pgcd⁡(3,7)=1\operatorname{pgcd}(3,7)=1 — car 77 est premier et 7∤37\nmid 3 — et 1∣41\mid 4.

⟹ il y a une solution, et elle est UNIQUE modulo 7.\Longrightarrow\ \text{il y a une solution, et elle est UNIQUE modulo }7.

👉 Quand pgcd⁡(a,n)=1\operatorname{pgcd}(a,n)=1, la solution est unique modulo nn ; sinon il y en a exactement d=pgcd⁡(a,n)d=\operatorname{pgcd}(a,n) modulo nn, ou aucune.

Trouver l'inverse de $3$ modulo $7$

👉 L'idée : au lieu de « diviser par 33 » — ce qui n'a pas de sens dans Z\mathbb{Z} — on MULTIPLIE par l'inverse de 33.

a−1 modulo n = l’entier u tel que au≡1 [n]\boxed{a^{-1}\ \text{modulo }n\ =\ \text{l'entier }u\ \text{tel que}\ au\equiv 1\ [n]}

Sur de petits modules, on le cherche à vue en listant les multiples de 33 :

uu 11 22 33 44 5\mathbf{5} 66
3u3u 33 66 99 1212 15\mathbf{15} 1818
3u mod 73u\bmod 7 33 66 22 55 1\mathbf{1} 44
3×5=15=7×2+1⟹3−1≡5 [7]3\times 5=15=7\times 2+1\qquad\Longrightarrow\qquad \boxed{3^{-1}\equiv 5\ [7]}

👉 Sur un grand module, on emploie Bézout (B1, C1) : 3u+7v=13u+7v=1 donne u=5u=5, v=−2v=-2 — vérification : 15−14=115-14=1 ✓

👉 Remarquer aussi que la ligne du bas contient tous les restes 1,2,…,61,2,\dots,6 exactement une fois. C'est la signature d'un inversible : multiplier par 33 permute les classes non nulles.

Resoudre

On multiplie les deux membres par 3−1=53^{-1}=5 :

3x≡4 [7]⟹5×3x≡5×4 [7]⟹x≡20 [7].3x\equiv 4\ [7]\quad\Longrightarrow\quad 5\times 3x\equiv 5\times 4\ [7]\quad\Longrightarrow\quad x\equiv 20\ [7].

👉 Le membre de gauche vaut 15x≡x15x\equiv x, puisque 15≡1 [7]15\equiv 1\ [7].

20=7×2+6⟹x≡6 [7]20=7\times 2+6\qquad\Longrightarrow\qquad \boxed{x\equiv 6\ [7]}

Contrôle : 3×6=18=7×2+43\times 6=18=7\times 2+4, donc 3×6≡4 [7]3\times 6\equiv 4\ [7] ✓

Contrôle exhaustif, possible ici puisque le module est petit :

xx 00 11 22 33 44 55 6\mathbf{6}
3x mod 73x\bmod 7 00 33 66 22 55 11 4\mathbf{4}

👉 Une seule valeur convient, conformément à l'unicité annoncée. L'ensemble des solutions est

{…,−8, −1, 6, 13, 20,… }=6+7Z.\{\dots,-8,\ -1,\ 6,\ 13,\ 20,\dots\}=6+7\mathbb{Z}.

⚠️ Une congruence a une INFINITÉ de solutions entières, réparties en une seule classe modulo 77. Répondre « x=6x=6 » sans préciser « modulo 77 » est incomplet.

⚠️ Ce qui change quand $\operatorname{pgcd}(a,n)\neq 1$

👉 Trois cas, et il faut savoir les distinguer :

équation d=pgcd⁡(a,n)d=\operatorname{pgcd}(a,n) d∣cd\mid c ? solutions modulo nn
3x≡4 [7]3x\equiv 4\ [7] 11 oui une seule : x≡6x\equiv 6
4x≡2 [6]4x\equiv 2\ [6] 22 oui deux : x≡2x\equiv 2 et x≡5x\equiv 5
4x≡3 [6]4x\equiv 3\ [6] 22 non aucune

Vérifions la deuxième ligne, en balayant les six classes :

xx 00 11 2\mathbf{2} 33 44 5\mathbf{5}
4x mod 64x\bmod 6 00 44 2\mathbf{2} 00 44 2\mathbf{2}

👉 Deux solutions, comme annoncé — et la ligne du bas ne prend que les valeurs 0,2,40,2,4 : 44 n'est pas inversible modulo 66, donc multiplier par 44 ne permute rien, cela écrase.

👉 Et la troisième ligne se réfute d'un coup d'œil : 33 n'apparaît nulle part dans cette ligne, donc 4x≡34x\equiv 3 est impossible.

a est inversible modulo n  ⟺  pgcd⁡(a,n)=1\boxed{a\ \text{est inversible modulo}\ n\iff \operatorname{pgcd}(a,n)=1}

👉 C'est la définition du groupe (Z/nZ)×(\mathbb{Z}/n\mathbb{Z})^\times (D3), dont le cardinal est φ(n)\varphi(n) (C3). Et quand n=pn=p est premier, tous les non-nuls sont inversibles : Z/pZ\mathbb{Z}/p\mathbb{Z} est un corps (D4).

ℹ️ C'est exactement pourquoi RSA choisit ee premier avec φ(n)\varphi(n) : sans cela, la clé privée dd n'existerait pas (D5).

Réponse. x≡6(mod7)x\equiv6\pmod7. (Recoupement : 3⋅6=18≡4(mod7)3\cdot6=18\equiv4\pmod7 ✓ ; vérifié machine)
Faire cet exercice dans l'app →

Division euclidienne (entier négatif, DS)

ApplicationDifficulté 2/5

Effectuer la division euclidienne de −47-47 par 66.

Indices (3)

Le reste doit vérifier 0≤r<60\le r<6 (donc positif).

6×(−8)=−48≤−476\times(-8)=-48\le-47.

r=−47−(−48)r=-47-(-48).

Correction détaillée
⚠️ Le piege : le reste est TOUJOURS positif
a=bq+ravec0≤r<∣b∣\boxed{a=bq+r\qquad\text{avec}\qquad 0\leq r<\lvert b\rvert}

👉 Cette condition ne change pas quand aa est négatif. C'est exactement là que la moitié des copies se trompe.

L'erreur classique. On calcule 47=6×7+547=6\times 7+5, on met un signe moins partout :

−47=6×(−7)+(−5)FAUX-47=6\times(-7)+(-5)\qquad \textbf{FAUX}

⚠️ L'égalité est vraie (−42−5=−47-42-5=-47 ✓), mais ce n'est PAS une division euclidienne : le reste −5-5 est négatif, donc hors de [0,6[[0,6[.

👉 Le quotient est la partie entière par DÉFAUT, c'est-à-dire l'entier immédiatement inférieur :

−476≈−7,83⟹q=⌊−7,83⌋=−8(et non −7).\frac{-47}{6}\approx -7{,}83\qquad\Longrightarrow\qquad q=\lfloor -7{,}83\rfloor=-8\quad\text{(et non }-7\text{)}.

⚠️ Pour un nombre négatif, la partie entière DESCEND : ⌊−7,83⌋=−8\lfloor -7{,}83\rfloor=-8. C'est la source de l'erreur.

Le calcul
r=−47−6×(−8)=−47+48=1.r=-47-6\times(-8)=-47+48=1.
−47=6×(−8)+1,q=−8,r=1\boxed{-47=6\times(-8)+1,\qquad q=-8,\quad r=1}

Les deux contrôles :

contrôle vérification
l'égalité 6×(−8)+1=−48+1=−476\times(-8)+1=-48+1=-47 ✓
l'encadrement 0≤1<60\leq 1<6 ✓

👉 Comparons les deux écritures, pour bien voir ce qui les sépare :

écriture égalité vraie ? 0≤r<60\leq r<6 ? division euclidienne ?
−47=6×(−8)+1-47=6\times(-8)+1 ✓ ✓ OUI
−47=6×(−7)−5-47=6\times(-7)-5 ✓ ❌ non
−47=6×(−9)+7-47=6\times(-9)+7 ✓ ❌ (7≥67\geq 6) non

👉 Les trois égalités sont vraies ; une seule est la division euclidienne. C'est bien la condition sur rr, et elle seule, qui sélectionne le bon couple.

La methode qui ne trompe jamais

👉 Chercher le plus grand multiple de 66 qui soit ≤−47\leq -47.

multiple de 66 ≤−47\leq -47 ?
6×(−7)=−426\times(-7)=-42 non, −42>−47-42>-47
6×(−8)=−48\mathbf{6\times(-8)=-48} oui ✓
6×(−9)=−546\times(-9)=-54 oui, mais plus petit

Le plus grand est −48-48, d'où q=−8q=-8 et r=−47−(−48)=1r=-47-(-48)=1.

👉 Sur une droite graduée, −47-47 est situé entre −48-48 et −42-42 : il est à distance 11 du multiple immédiatement à sa gauche. Ce 11 est le reste.

⚠️ Le langage informatique n'aide pas : en C, Java ou JavaScript, -47 % 6 rend −5-5 et non 11 — le reste y suit le signe du dividende. En Python, en revanche, -47 % 6 rend bien 1. Ne pas se fier au résultat d'une machine sans savoir quelle convention elle applique.

Ce que le reste $1$ dit
−47≡1 (mod6).-47\equiv 1\ \pmod 6.

👉 Donc −47-47 est dans la même classe que 11, que 77, que 1313, que −5-5… — tous les entiers de la forme 6k+16k+1.

{…, −47, −41, −35, …, −5, 1, 7, 13, … }=1+6Z.\{\dots,\ -47,\ -41,\ -35,\ \dots,\ -5,\ 1,\ 7,\ 13,\ \dots\}=1+6\mathbb{Z}.

👉 Vérification par une autre voie : −47+48=1-47+48=1, et 48=6×848=6\times 8 est un multiple de 66. Ajouter un multiple du module ne change pas la classe ✓

👉 La division euclidienne partitionne Z\mathbb{Z} en exactement 66 classes, indexées par r∈{0,1,2,3,4,5}r\in\{0,1,2,3,4,5\} — y compris pour les entiers négatifs, qui se répartissent dans les mêmes six familles.

Z=6Z ⊔ (1+6Z) ⊔ (2+6Z) ⊔ (3+6Z) ⊔ (4+6Z) ⊔ (5+6Z).\mathbb{Z}=6\mathbb{Z}\ \sqcup\ (1+6\mathbb{Z})\ \sqcup\ (2+6\mathbb{Z})\ \sqcup\ (3+6\mathbb{Z})\ \sqcup\ (4+6\mathbb{Z})\ \sqcup\ (5+6\mathbb{Z}).

ℹ️ C'est cette partition qui définit Z/6Z\mathbb{Z}/6\mathbb{Z}, dont D4 montre qu'il n'est pas un corps — contrairement à Z/7Z\mathbb{Z}/7\mathbb{Z}.

Réponse. −47=6×(−8)+1-47=6\times(-8)+1 : quotient −8-8, reste 11. (Recoupement : reste positif, vérifié machine ✓)
Faire cet exercice dans l'app →

PGCD par Euclide (DS)

ApplicationDifficulté 2/5

Calculer pgcd⁡(1001,770)\operatorname{pgcd}(1001,770).

Indices (3)

Euclide : 1001=770⋅1+2311001=770\cdot1+231, puis 770770 par 231231…

Continuer jusqu'au reste nul.

Ou factoriser : 1001=7⋅11⋅131001=7\cdot11\cdot13.

Correction détaillée
L'algorithme

👉 On divise, on remplace le couple par (diviseur, reste), on recommence — jusqu'au reste nul (A2).

division reste
1001=770×1+2311001=770\times 1+\mathbf{231} 231231
770=231×3+77770=231\times 3+\mathbf{77} 7777
231=77×3+0231=77\times 3+\mathbf{0} 00 ← arrêt
pgcd⁡(1001,770)=77\boxed{\operatorname{pgcd}(1001,770)=77}

👉 Trois étapes seulement, alors que les nombres dépassent le millier. C'est toute la force d'Euclide.

Détail des calculs, pour pouvoir refaire chaque ligne :

1001−770=231,231×3=693 et 770−693=77,77×3=231 exactement.1001-770=231,\qquad 231\times 3=693\ \text{et}\ 770-693=77,\qquad 77\times 3=231\ \text{exactement}.
Les controles

1. Divisibilité :

1001=77×13,770=77×10.1001=77\times 13,\qquad 770=77\times 10.

2. Quotients premiers entre eux : 1313 est premier, 10=2×510=2\times 5 — aucun facteur commun ✓

👉 C'est le contrôle qui garantit qu'on a bien le plus grand diviseur commun.

3. Par factorisation, méthode indépendante :

1001=7×11×13,770=2×5×7×11.1001=7\times 11\times 13,\qquad 770=2\times 5\times 7\times 11.
premier 10011001 770770 min⁡\min
22 00 11 00
55 00 11 00
77 11 11 1\mathbf{1}
1111 11 11 1\mathbf{1}
1313 11 00 00
pgcd⁡=7×11=77 ✓\operatorname{pgcd}=7\times 11=77\ \checkmark
$1001$ est un nombre remarquable
1001=7×11×13\boxed{1001=7\times 11\times 13}

👉 C'est le plus petit produit de trois premiers consécutifs après 2,3,52,3,5, et surtout il donne un tour de calcul mental très utile.

Tout nombre de la forme abcabc‾\overline{abcabc} est divisible par 77, 1111 ET 1313 :

abcabc‾=abc‾×1001=abc‾×7×11×13.\overline{abcabc}=\overline{abc}\times 1001=\overline{abc}\times 7\times 11\times 13.

Exemple :  123 123=123×1001\ 123\,123=123\times 1001, donc divisible par 77 (=17 589=17\,589), par 1111 (=11 193=11\,193) et par 1313 (=9 471=9\,471).

👉 C'est aussi de là que vient le « critère de divisibilité par 77 » par tranches de trois chiffres : puisque 1000≡−1 [7]1000\equiv -1\ [7], on peut alterner les tranches de trois comme on alterne les chiffres pour 1111 (B4).

ℹ️ Et 770770 ? 770=7×11×10770=7\times 11\times 10 : il partage 7×11=777\times 11=77 avec 10011001, et diffère par 1313 contre 1010. C'est ce qui rend le pgcd exactement 7777 — visible d'un coup d'œil une fois les deux factorisés.

En deduire le ppcm, et le controle croise

Par la relation fondamentale (A3) :

ppcm⁡(1001,770)=1001×77077.\operatorname{ppcm}(1001,770)=\frac{1001\times 770}{77}.

👉 Simplifier d'abord : 770/77=10770/77=10, donc

ppcm⁡=1001×10=10 010.\operatorname{ppcm}=1001\times 10=10\,010.

Contrôles :

contrôle vérification
divisible par 10011001 10 010=1001×1010\,010=1001\times 10 ✓
divisible par 770770 10 010=770×1310\,010=770\times 13 ✓
relation fondamentale 77×10 010=770 77077\times 10\,010=770\,770 et 1001×770=770 7701001\times 770=770\,770 ✓
par factorisation 2×5×7×11×13=10 0102\times 5\times 7\times 11\times 13=10\,010 ✓

👉 Les quotients 1010 et 1313 sont exactement les nombres croisés 770/77770/77 et 1001/771001/77 — comme en A3, c'est une conséquence directe de la formule.

ℹ️ Remarquer la symétrie : pgcd⁡=7×11\operatorname{pgcd}=7\times 11 prend les premiers communs, ppcm⁡=2×5×7×11×13\operatorname{ppcm}=2\times 5\times 7\times 11\times 13 prend tous les premiers en jeu. Leur produit reprend chaque premier autant de fois qu'il apparaît en tout.

Réponse. pgcd⁡(1001,770)=77\operatorname{pgcd}(1001,770)=77. (Recoupement : 1001=7⋅11⋅131001=7\cdot11\cdot13, 770=2⋅5⋅7⋅11770=2\cdot5\cdot7\cdot11, pgcd =7⋅11=77=7\cdot11=77 ✓)
Faire cet exercice dans l'app →

PPCM (DS)

ApplicationDifficulté 2/5

Déterminer pgcd⁡(12,18)\operatorname{pgcd}(12,18) et ppcm⁡(12,18)\operatorname{ppcm}(12,18).

Indices (3)

12=22⋅312=2^2\cdot3, 18=2⋅3218=2\cdot3^2.

PGCD = min des exposants ; PPCM = max.

Vérifier pgcd⁡×ppcm⁡=12×18\operatorname{pgcd}\times\operatorname{ppcm}=12\times18.

Correction détaillée
Le PGCD par les deux methodes

Par Euclide :

division reste
18=12×1+618=12\times 1+\mathbf{6} 66
12=6×2+012=6\times 2+\mathbf{0} 00 ← arrêt
pgcd⁡(12,18)=6.\operatorname{pgcd}(12,18)=6.

Par factorisation :

12=22×3,18=2×32.12=2^2\times 3,\qquad 18=2\times 3^2.
premier 1212 1818 min⁡\min max⁡\max
22 22 11 1\mathbf{1} 2\mathbf{2}
33 11 22 1\mathbf{1} 2\mathbf{2}
pgcd⁡=21×31=6 ✓\operatorname{pgcd}=2^1\times 3^1=6\ \checkmark

👉 Deux méthodes, même résultat — et sur des nombres aussi petits, la factorisation est immédiate.

Le PPCM, par les deux methodes aussi

Par la relation fondamentale (A3) :

ppcm⁡(12,18)=12×186=2166=36.\operatorname{ppcm}(12,18)=\frac{12\times 18}{6}=\frac{216}{6}=36.

👉 Ou, en simplifiant d'abord : 18/6=318/6=3, puis 12×3=3612\times 3=36.

Par les maximums :

ppcm⁡=2max⁡(2,1)×3max⁡(1,2)=22×32=4×9=36 ✓\operatorname{ppcm}=2^{\max(2,1)}\times 3^{\max(1,2)}=2^2\times 3^2=4\times 9=36\ \checkmark
pgcd⁡(12,18)=6,ppcm⁡(12,18)=36\boxed{\operatorname{pgcd}(12,18)=6,\qquad \operatorname{ppcm}(12,18)=36}

Contrôles :

contrôle vérification
3636 multiple des deux 36=12×3=18×236=12\times 3=18\times 2 ✓
relation fondamentale 6×36=216=12×186\times 36=216=12\times 18 ✓
quotients 12/6=212/6=2 et 18/6=318/6=3 premiers entre eux ✓
Verifier que $36$ est bien le PLUS PETIT

👉 Le contrôle qui manque souvent : lister les premiers multiples communs.

multiples de 1212 1212, 2424, 36\mathbf{36}, 4848, 6060, 72\mathbf{72}, …
multiples de 1818 1818, 36\mathbf{36}, 5454, 72\mathbf{72}, 9090, …

Le premier commun est bien 3636 ✓ — et le suivant est 72=2×3672=2\times 36.

👉 Fait général : les multiples communs de aa et bb sont exactement les multiples du ppcm.

{36, 72, 108, 144,… }=36Z>0.\{36,\ 72,\ 108,\ 144,\dots\}=36\mathbb{Z}_{>0}.

⚠️ Erreur fréquente : croire que le ppcm vaut a×ba\times b. Ici 12×18=21612\times 18=216, qui est bien un multiple commun — mais six fois trop grand. Les deux ne coïncident que si aa et bb sont premiers entre eux, c'est-à-dire quand le pgcd vaut 11.

Le cas $12$ et $18$ en situation

👉 PPCM — les questions de rythme :

Deux roues dentées de 1212 et 1818 dents s'engrènent. Après combien de tours de la première reviennent-elles dans la position initiale ?

Il faut 3636 dents passées, soit 33 tours de la roue à 1212 dents et 22 tours de celle à 1818.

👉 PGCD — les questions de découpe :

On veut découper un rectangle 12×1812\times 18 en carrés identiques, sans perte. Quel est le plus grand carré possible ?

Un carré de côté 66, et il en faut 2×3=62\times 3=6.

notion question type réponse ici
pgcd « quelle est la plus grande part commune ? » 66
ppcm « quand les cycles coïncident-ils ? » 3636

ℹ️ Un dernier fait utile : pgcd⁡(a,b)=a\operatorname{pgcd}(a,b)=a équivaut à a∣ba\mid b, et alors ppcm⁡(a,b)=b\operatorname{ppcm}(a,b)=b. Ici 12∤1812\nmid 18, donc le pgcd est strictement plus petit que 1212 — ce qui est cohérent avec 66.

Réponse. pgcd⁡=6\operatorname{pgcd}=6, ppcm⁡=36\operatorname{ppcm}=36. (Recoupement : produit 216=12×18216=12\times18 ✓)
Faire cet exercice dans l'app →

Puissance par congruences (DS)

CalculDifficulté 2/5

Déterminer le reste de 2102^{10} dans la division par 77.

Indices (3)

Chercher une petite puissance de 22 congrue à 11 modulo 77.

23=8≡1(mod7)2^3=8\equiv1\pmod7.

10=3⋅3+110=3\cdot3+1.

Correction détaillée
La methode : chercher un exposant ou la puissance vaut $1$

👉 Le principe du calcul modulaire de puissances : au lieu de calculer 2102^{10} puis de réduire, on cherche le plus petit exposant kk tel que 2k≡1 [7]2^k\equiv 1\ [7], puis on découpe.

Calculons les premières puissances :

kk 11 22 3\mathbf{3} 44 55 66
2k2^k 22 44 8\mathbf{8} 1616 3232 6464
2k mod 72^k\bmod 7 22 44 1\mathbf{1} 22 44 11
23=8≡1 [7]\boxed{2^3=8\equiv 1\ [7]}

👉 Le cycle a une longueur de 33 : les restes se répètent 2,4,1, 2,4,1,…2,4,1,\ 2,4,1,\dots à l'infini. On dit que 22 est d'ordre 33 modulo 77 (C6).

Le calcul

Découpons l'exposant par la longueur du cycle :

10=3×3+1.10=3\times 3+1.
210=23×3+1=(23)3×21≡13×2=2 [7].2^{10}=2^{3\times 3+1}=\big(2^3\big)^3\times 2^1\equiv 1^3\times 2=2\ [7].
210≡2 (mod7)\boxed{2^{10}\equiv 2\ \pmod 7}

👉 Le reste ne dépend que de 10 mod 3=110\bmod 3=1 : c'est le reste de l'exposant modulo l'ordre qui décide, et c'est ce qui rend la méthode utilisable pour n'importe quel exposant.

Contrôle par le calcul direct :

210=1024,1024=7×146+2.2^{10}=1024,\qquad 1024=7\times 146+2.

👉 7×146=10227\times 146=1022 et 1022+2=10241022+2=1024 ✓

Contrôle par le tableau : la ligne du bas a pour période 33, et 10≡1 [3]10\equiv 1\ [3], donc 2102^{10} a le même reste que 212^1, soit 22 ✓

Ce que la methode permet vraiment

👉 Sur 2102^{10}, le calcul direct est possible. Sur 210002^{1000}, il ne l'est pas — ce nombre a plus de 300300 chiffres. Par congruences, en revanche :

1000=3×333+1⟹21000≡21=2 [7].1000=3\times 333+1\qquad\Longrightarrow\qquad 2^{1000}\equiv 2^1=2\ [7].

Même travail, même réponse, en une ligne.

exposant nn n mod 3n\bmod 3 2n mod 72^n\bmod 7
1010 11 22
100100 11 22
10001000 11 22
20242024 22 44
20252025 00 11

👉 Le tableau se lit d'un coup : trois valeurs possibles seulement, selon le reste de l'exposant modulo 33.

⚠️ Attention à l'exposant 00 : 22025≡20=12^{2025}\equiv 2^0=1, et non 232^3. Un exposant multiple de l'ordre donne toujours 11.

Le lien avec Fermat

👉 Le petit théorème de Fermat (C2) garantit qu'un tel cycle existe toujours :

p premier, p∤a ⟹ ap−1≡1 (modp)\boxed{p\ \text{premier},\ p\nmid a\ \Longrightarrow\ a^{p-1}\equiv 1\ \pmod p}

Ici p=7p=7, donc Fermat annonce 26≡1 [7]2^6\equiv 1\ [7] — et le tableau le confirme ✓

⚠️⚠️ Mais l'ordre RÉEL peut être plus petit que p−1p-1. Ici l'ordre de 22 vaut 33, pas 66 :

aa ordre modulo 77 =p−1=p-1 ?
22 3\mathbf{3} non
33 6\mathbf{6} oui — 33 est générateur (D4)
66 22 non

👉 Fermat donne un exposant qui MARCHE ; il ne donne pas le PLUS PETIT. Utiliser 66 au lieu de 33 reste correct — 10=6×1+410=6\times 1+4 et 24=16≡2 [7]2^4=16\equiv 2\ [7] ✓ — mais fait travailler avec des nombres plus grands.

👉 Le théorème de Lagrange (C6) explique la relation : l'ordre divise toujours p−1p-1. Ici 3∣63\mid 6 ✓ Les ordres possibles modulo 77 sont donc exactement les diviseurs de 66 : 11, 22, 33 et 66.

ℹ️ Chercher le petit ordre est payant sur de gros exposants, mais commencer par Fermat est toujours sûr : c'est la stratégie de C2 et C4.

Réponse. 210≡2(mod7)2^{10}\equiv2\pmod7 : le reste est 22. (Recoupement : 1024=7⋅146+21024=7\cdot146+2 ✓ ; vérifié machine)
Faire cet exercice dans l'app →

Congruence linéaire (DS)

CalculDifficulté 2/5

Résoudre 5x≡3(mod8)5x\equiv3\pmod8.

Indices (3)

pgcd⁡(5,8)=1\operatorname{pgcd}(5,8)=1 : 55 inversible.

5⋅5=25≡1(mod8)5\cdot5=25\equiv1\pmod8, donc 5−1≡55^{-1}\equiv5.

Multiplier par l'inverse.

Correction détaillée
Verifier d'abord qu'il y a des solutions
ax≡c [n] a des solutions  ⟺  pgcd⁡(a,n)∣c\boxed{ax\equiv c\ [n]\ \text{a des solutions}\iff \operatorname{pgcd}(a,n)\mid c}

Ici : pgcd⁡(5,8)\operatorname{pgcd}(5,8).

5=5,8=23⟹pgcd⁡(5,8)=1.5=5,\qquad 8=2^3\qquad\Longrightarrow\qquad \operatorname{pgcd}(5,8)=1.

👉 11 divise 33, donc il y a une solution, et elle est unique modulo 88.

⚠️ Ne jamais sauter ce test. La congruence 4x≡3 [8]4x\equiv 3\ [8] n'a aucune solution — pgcd⁡(4,8)=4\operatorname{pgcd}(4,8)=4 ne divise pas 33 — et l'on peut chercher longtemps sans rien trouver.

Trouver l'inverse de $5$ modulo $8$

Listons les multiples de 55 :

uu 11 22 33 44 5\mathbf{5} 66 77
5u5u 55 1010 1515 2020 25\mathbf{25} 3030 3535
5u mod 85u\bmod 8 55 22 77 44 1\mathbf{1} 66 33
5×5=25=8×3+1⟹5−1≡5 [8]5\times 5=25=8\times 3+1\qquad\Longrightarrow\qquad \boxed{5^{-1}\equiv 5\ [8]}

👉 55 est son propre inverse modulo 88, ce qui n'a rien d'exceptionnel : cela signifie 52≡15^2\equiv 1, c'est-à-dire que 55 est d'ordre 22.

👉 Modulo 88, TOUS les inversibles sont involutifs — c'est une particularité de ce module :

12=1,32=9≡1,52=25≡1,72=49≡1 [8].1^2=1,\qquad 3^2=9\equiv 1,\qquad 5^2=25\equiv 1,\qquad 7^2=49\equiv 1\ [8].

ℹ️ Le groupe (Z/8Z)×(\mathbb{Z}/8\mathbb{Z})^\times est donc le groupe de Klein, comme (Z/12Z)×(\mathbb{Z}/12\mathbb{Z})^\times en D3 — et pour la même raison : il n'est pas cyclique.

Resoudre

On multiplie les deux membres par 5−1=55^{-1}=5 :

5x≡3 [8]⟹5×5x≡5×3 [8]⟹x≡15 [8].5x\equiv 3\ [8]\quad\Longrightarrow\quad 5\times 5x\equiv 5\times 3\ [8]\quad\Longrightarrow\quad x\equiv 15\ [8].

👉 Le membre de gauche vaut 25x≡x25x\equiv x, puisque 25≡1 [8]25\equiv 1\ [8].

15=8×1+7⟹x≡7 (mod8)15=8\times 1+7\qquad\Longrightarrow\qquad \boxed{x\equiv 7\ \pmod 8}

Contrôle : 5×7=35=8×4+35\times 7=35=8\times 4+3, donc 5×7≡3 [8]5\times 7\equiv 3\ [8] ✓

Contrôle exhaustif, faisable ici :

xx 00 11 22 33 44 55 66 7\mathbf{7}
5x mod 85x\bmod 8 00 55 22 77 44 11 66 3\mathbf{3}

👉 Une seule valeur convient, conformément à l'unicité. Et la ligne du bas contient les huit restes exactement une fois — la signature d'un inversible : multiplier par 55 permute les classes.

solutions={…,−9, −1, 7, 15, 23,… }=7+8Z.\text{solutions}=\{\dots,-9,\ -1,\ 7,\ 15,\ 23,\dots\}=7+8\mathbb{Z}.
Une seconde voie : $5\equiv -3$

👉 Employer un reste négatif rend parfois le calcul plus court. Modulo 88, 5≡−35\equiv -3, donc la congruence s'écrit

−3x≡3 [8]⟺3x≡−3 [8].-3x\equiv 3\ [8]\qquad\Longleftrightarrow\qquad 3x\equiv -3\ [8].

L'inverse de 33 modulo 88 est 33 (car 9≡19\equiv 1), d'où

x≡3×(−3)=−9≡−1≡7 [8] ✓x\equiv 3\times(-3)=-9\equiv -1\equiv 7\ [8]\ \checkmark

👉 Même réponse par un chemin différent — c'est le meilleur des contrôles.

⚠️ Et x≡−1 [8]x\equiv -1\ [8] est une écriture parfaitement correcte de la solution. Elle est même plus parlante : elle dit que 5x≡35x\equiv 3 signifie xx « juste avant un multiple de 88 ». Les deux formes désignent la même classe.

👉 Le réflexe à retenir : dès qu'un coefficient dépasse la moitié du module, essayer son représentant négatif. Modulo 88, préférer −3-3 à 55, −1-1 à 77, −2-2 à 66.

ℹ️ Ce réflexe devient décisif sur de grands modules, et c'est aussi ce qui rend les calculs de C5 (exponentiation rapide) plus courts.

Réponse. x≡7(mod8)x\equiv7\pmod8. (Recoupement : 5⋅7=35≡3(mod8)5\cdot7=35\equiv3\pmod8 ✓ ; vérifié machine)
Faire cet exercice dans l'app →

Premier & nombre de diviseurs (DS)

ApplicationDifficulté 2/5

9191 est-il premier ? Combien 100100 a-t-il de diviseurs ?

Indices (3)

Chercher un diviseur de 9191.

100=22⋅52100=2^2\cdot5^2.

Nombre de diviseurs : ∏(αi+1)\prod(\alpha_i+1).

Correction détaillée
$91$ est-il premier ?
91≈9,54⟹tester les premiers≤9 : 2, 3, 5, 7.\sqrt{91}\approx 9{,}54\qquad\Longrightarrow\qquad \text{tester les premiers}\leq 9\ :\ 2,\ 3,\ 5,\ 7.
pp test
22 9191 est impair ❌
33 9+1=109+1=10, non divisible par 33 ❌
55 finit par 11 ❌
7\mathbf{7} 91=7×13+091=7\times 13+\mathbf{0} ✓
91=7×13 : NON premier\boxed{91=7\times 13\ :\ NON\ premier}

⚠️⚠️ 9191 est le piège le plus classique de tout le chapitre, et il vaut la peine de comprendre pourquoi il trompe :

  • il est impair, non divisible par 33 ni par 55 — les trois tests qu'on fait de tête passent tous ;
  • son plus petit facteur est 77, le dernier candidat ;
  • et 9191 ressemble à 8989 et 9797, qui sont premiers.

👉 Il faut tester JUSQU'AU BOUT. S'arrêter après 55 en concluant « premier » est l'erreur exacte que ce test existe pour éviter.

Le nombre de diviseurs de $100$
100=22×52.100=2^2\times 5^2.

Par la formule (A5) :

d(100)=(2+1)×(2+1)=3×3=9.d(100)=(2+1)\times(2+1)=3\times 3=9.
100 a exactement 9 diviseurs\boxed{100\ \text{a exactement }9\ \text{diviseurs}}

Vérification par énumération :

1, 2, 4, 5, 10, 20, 25, 50, 100.1,\ 2,\ 4,\ 5,\ 10,\ 20,\ 25,\ 50,\ 100.

On en compte bien 9 ✓

👉 Le tableau des combinaisons, qui montre d'où viennent les 3×33\times 3 :

505^0 515^1 525^2
202^0 11 55 2525
212^1 22 1010 5050
222^2 44 2020 100100

👉 Chaque case est un diviseur, et il y en a 3×3=93\times 3=9. Le +1+1 de la formule compte bien l'exposant 00, c'est-à-dire la première ligne et la première colonne.

Pourquoi $9$ est IMPAIR : $100$ est un carre

👉 Un nombre de diviseurs impair est le signe d'un carré parfait, et la raison est jolie.

Les diviseurs vont naturellement par paires de produit nn :

(1,100),(2,50),(4,25),(5,20),(10,10).(1,100),\quad (2,50),\quad (4,25),\quad (5,20),\quad \mathbf{(10,10)}.

⚠️ La dernière paire est dégénérée : 1010 est apparié avec lui-même, puisque 10×10=10010\times 10=100. Il compte donc une fois au lieu de deux, ce qui rend le total impair.

d(n) est impair  ⟺  n est un carre parfait\boxed{d(n)\ \text{est impair}\iff n\ \text{est un carre parfait}}

👉 Contrôle par la formule : d(n)=∏(αi+1)d(n)=\prod(\alpha_i+1) est impair si et seulement si tous les αi+1\alpha_i+1 sont impairs, c'est-à-dire si tous les exposants αi\alpha_i sont pairs — ce qui est exactement la définition d'un carré. Ici 100=22×52100=2^2\times 5^2, les deux exposants sont pairs ✓

Comparaison : 360=23⋅32⋅5360=2^3\cdot 3^2\cdot 5 a 4×3×2=244\times 3\times 2=24 diviseurs — pair, et 360360 n'est effectivement pas un carré (A5).

Pour aller plus loin sur $100$

👉 La somme des diviseurs (A5) :

σ(100)=(1+2+4)(1+5+25)=7×31=217.\sigma(100)=(1+2+4)(1+5+25)=7\times 31=217.

Contrôle par l'énumération : 1+2+4+5+10+20+25+50+100=2171+2+4+5+10+20+25+50+100=217 ✓

👉 σ(100)=217>200=2×100\sigma(100)=217>200=2\times 100 : 100100 est ABONDANT, comme 360360. Ses diviseurs stricts somment à 117>100117>100.

ℹ️ Les nombres abondants sont plus fréquents qu'on ne croit — le plus petit est 1212 (σ=28>24\sigma=28>24), et tout multiple d'un nombre parfait ou abondant l'est aussi.

👉 Et l'indicatrice d'Euler (C3), qui compte les entiers premiers avec 100100 :

φ(100)=100(1−12)(1−15)=100×12×45=40.\varphi(100)=100\left(1-\frac12\right)\left(1-\frac15\right)=100\times\frac12\times\frac45=40.
fonction 100100 ce qu'elle compte
dd 99 les diviseurs
σ\sigma 217217 leur somme
φ\varphi 4040 les entiers de 11 à 100100 premiers avec 100100

⚠️ Ne pas confondre dd et φ\varphi : la première compte ce qui divise 100100, la seconde ce qui n'a rien en commun avec lui. Ce sont des notions opposées, et toutes deux se lisent sur la factorisation.

ℹ️ Retour sur 9191 : il a d(91)=2×2=4d(91)=2\times 2=4 diviseurs — 11, 77, 1313, 9191 — et φ(91)=6×12=72\varphi(91)=6\times 12=72. Un nombre premier pp, lui, aurait exactement 22 diviseurs et φ(p)=p−1\varphi(p)=p-1 ; 9191 en a 44, ce qui suffit à conclure qu'il n'est pas premier.

Réponse. 91=7×1391=7\times13 (non premier) ; 100100 a 99 diviseurs. (Recoupement : vérifié machine ✓)
Faire cet exercice dans l'app →

S'entraîner davantage sur arithmétique & structures

12 exercices d'entraînement supplémentaires sur ce chapitre, plus le palier approfondissement, les quiz, le tuteur IA et les PDF à imprimer — dans l'app Maths Post-Bac.