ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Congruences

Exercice 50

Démonstration

Théorème de Wilson. Soit n⩾2n \geqslant 2. Montrer que nn est premier si et seulement si (n−1)!≡−1  [n](n - 1)! \equiv -1 \;[n]. On pourra, pour nn premier, regrouper chaque entier de [ ⁣[2 ;n−2] ⁣][\![2\,;n - 2]\!] avec son inverse modulo nn.

Corrigé

Si nn n'est pas premier, il s'écrit n=abn = ab avec 1<a<n1 < a < n. Alors aa figure dans le produit (n−1)!(n - 1)!, donc a∣(n−1)!a \mid (n - 1)!. Si l'on avait (n−1)!≡−1  [n](n - 1)! \equiv -1 \;[n], l'entier aa, qui divise nn, diviserait (n−1)!+1(n - 1)! + 1, donc 11 : c'est absurde.

Si n=pn = p est premier. Pour p=2p = 2 et p=3p = 3, on a 1!=1≡−1  [2]1! = 1 \equiv -1 \;[2] et 2!=2≡−1  [3]2! = 2 \equiv -1 \;[3]. Soit p⩾5p \geqslant 5. D'après la proposition 12, chaque k∈[ ⁣[1 ;p−1] ⁣]k \in [\![1\,;p - 1]\!] admet un inverse modulo pp, et un seul dans [ ⁣[1 ;p−1] ⁣][\![1\,;p - 1]\!], que l'on note k′k'. On a k′=kk' = k si et seulement si k2≡1k^{2} \equiv 1, c'est-à-dire p∣(k−1)(k+1)p \mid (k - 1)(k + 1), soit k∈{1,p−1}k \in \{1, p - 1\} par le lemme d'Euclide. Les entiers de [ ⁣[2 ;p−2] ⁣][\![2\,;p - 2]\!] se regroupent donc en paires {k,k′}\{k, k'\} de produit congru à 11, et (p−1)!=1×(∏k=2p−2k)×(p−1)≡1×1×(−1)  [p].(p - 1)! = 1 \times \Big(\prod_{k = 2}^{p - 2} k\Big) \times (p - 1) \equiv 1 \times 1 \times (-1) \;[p].

n premier  ⟺  (n−1)!≡−1  [n]\boxed{n \text{ premier} \iff (n - 1)! \equiv -1 \;[n]} Pour p=7p = 7, les paires sont {2,4}\{2, 4\} et {3,5}\{3, 5\}, et 6!=720=7×103−16! = 720 = 7 \times 103 - 1. ✓

À retenir. Ce critère de primalité est exact mais inutilisable en pratique : calculer (n−1)!(n - 1)! modulo nn demande n−2n - 2 multiplications, bien plus que les essais de divisions jusqu'à n\sqrt{n}.

Ouvrir dans l'atlas interactif →