MetMat

Comment tester la primalité d'un nombre ?

En appliquant le test de Fermat : si an1≢1(modn)a^{n-1} \not\equiv 1 \pmod{n} pour un entier aa avec pgcd(a,n)=1\mathrm{pgcd}(a,n)=1, alors nn est composé

Approfondissement
Hors programme — Cette méthode va au-delà du B.O. officiel. Proposée pour aller plus loin.
L'objectif

Approfondissement — Appliquer le test de Fermat pour détecter qu'un entier est composé sans factorisation complète.

Le principe

Contraposée du petit théorème de Fermat : si nn est premier et pgcd(a,n)=1\mathrm{pgcd}(a,n)=1, alors an11(modn)a^{n-1} \equiv 1 \pmod{n} ; donc si an1≢1(modn)a^{n-1} \not\equiv 1 \pmod{n}, nn est nécessairement composé.

La méthode
  1. 1
    Choisir un entier aa avec 1<a<n1 < a < n et vérifier que pgcd(a,n)=1\mathrm{pgcd}(a,n)=1 (si pgcd(a,n)>1\mathrm{pgcd}(a,n)>1, on a directement un diviseur de nn).
  2. 2
    Calculer an1(modn)a^{n-1} \pmod{n} par exponentiation rapide (décomposition binaire de n1n-1).
    Voir
  3. 3
    Si an1≢1(modn)a^{n-1} \not\equiv 1 \pmod{n} : conclure que nn est composé (aa est un « témoin de Fermat »). Si an11(modn)a^{n-1} \equiv 1 \pmod{n} : on ne peut pas conclure (possible nombre de Carmichael).

Exemple corrigé

Difficulté croissante de 1 à 5

Exercices aujourd'hui0 / 3

Prêt à t'entraîner ?

Génère un exercice personnalisé sur cette méthode et entraîne-toi avec la correction IA.