Chapitre 23 — les briques élémentaires de l'arithmétique : test de primalité, théorèmes d'Euclide et de Fermat, et la factorisation des entiers.
Naviguez avec les flèches ← → du clavier, ou via le Sommaire.
Le lemme d'Euclide ($p\mid ab\Rightarrow p\mid a$ ou $p\mid b$) et le petit théorème de Fermat ($n^p\equiv n\ [p]$) reviennent sans cesse.
Un entier $p$ est premier lorsqu'il admet exactement deux diviseurs positifs : $1$ et lui-même.
Tout entier $n\geqslant 2$ composé admet un plus petit diviseur premier $p$ tel que $p^2\leqslant n$. Par contraposée :
En pratique : il suffit de tester les diviseurs jusqu'à $\sqrt{n}$.
def est_premier(n): if n < 2: return False if n % 2 == 0: return n == 2 d = 3 while d*d <= n: if n % d == 0: return False d += 2 return True
L'ensemble $\mathbb{P}$ des nombres premiers est infini.
S'il y en avait un nombre fini $2,3,5,\dots,p$, on pose $N=2\times 3\times\cdots\times p$ et $N'=N+1$. Tout diviseur premier $q$ de $N'$ diviserait aussi $N$, donc $q\mid 1$ : impossible.
Si $p$ est premier et $p\mid ab$, alors :
En particulier $p\mid a^n \implies p\mid a$. (Faux si $p$ n'est pas premier : $6\mid 4\times 9$ mais $6\nmid 4$ et $6\nmid 9$.)
Si $p\nmid a$, alors $p$ et $a$ sont premiers entre eux : le théorème de Gauss donne alors $p\mid b$.
D'où $x\equiv 2\ [13]$ ou $x\equiv -3\equiv 10\ [13]$.
Modulo un nombre premier, un produit nul $\Rightarrow$ un des facteurs est nul : c'est ce qui permet de factoriser et de conclure.
Pour $p$ premier et tout $n\in\mathbb{Z}$ :
Et si de plus $p\nmid n$ : $\quad n^{p-1}\equiv 1\ [p].$
C'est une condition nécessaire de primalité, mais pas suffisante : certains entiers composés (nombres de Carmichaël) la vérifient aussi.
Pour tout $n$ : $\ p\mid n^{p}-n$. Par exemple $7\mid n^{7}-n$ et $5\mid n^{5}-n$, sans calcul.
Tout entier $n\geqslant 2$ s'écrit de manière unique (à l'ordre près) comme produit de facteurs premiers :
$4116=2^{2}\times 3\times 7^{3}$.
On divise par le plus petit diviseur premier, puis on recommence avec le quotient, jusqu'à atteindre $1$. Pour $4116$ : $\div2$, $\div2$, $\div3$, $\div7$, $\div7$, $\div7$.
def factorisation(n): d = 2 L = [] while n != 1: while n % d == 0: n = n // d L.append(d) d = d + 1 return L
Les diviseurs de $n=\prod p_i^{\alpha_i}$ sont exactement les $d=\prod p_i^{\beta_i}$ avec $0\leqslant\beta_i\leqslant\alpha_i$.
Exemple : $N=2^{10}\times 3^{2}$ admet $(1+10)(1+2)=33$ diviseurs.
Avec $a=\prod p_i^{\alpha_i}$ et $b=\prod p_i^{\beta_i}$ (mêmes premiers, exposants éventuellement nuls) :
$520=2^{3}\times 5\times 13$ et $156832=2^{5}\times 13^{2}\times 29$ donnent $\operatorname{pgcd}=2^{3}\times 13=104$.