Mathématiques expertes (option) · Terminale
Le petit théorème de Fermat : cours de Terminale expertes
Publié le 6 novembre 2026 · Mis à jour le 6 novembre 2026 · Signaler une erreur
L'essentiel
- Si est premier et n'est pas multiple de , alors ; pour tout entier , on a aussi .
- Démonstration : les restes de sont les entiers dans un autre ordre ; on compare les produits et on simplifie avec le théorème de Gauss.
- Pour calculer modulo , on réduit l'exposant modulo ; l'inverse de modulo est .
- Si avec non multiple de , alors n'est pas premier ; la réciproque n'est pas garantie.
- Piège classique : oublier la condition « non multiple de », ou réduire l'exposant modulo au lieu de .
Pourquoi ce théorème et d'où vient-il ?
Tu sais déjà calculer un PGCD, utiliser le théorème de Bézout et celui de Gauss, et décomposer un entier en produit de facteurs premiers. Le petit théorème de Fermat s'appuie directement sur ces outils. Il répond à une question très concrète : comment trouver le reste de la division de par sans calculer un nombre de 48 chiffres ?
Ce résultat appartient à l'arithmétique modulaire, mais il peut aussi se démontrer avec les outils de l'arithmétique élémentaire 3. C'est exactement ce que tu vas faire dans ce cours : une démonstration complète avec Bézout et Gauss, sans rien d'autre.
Côté histoire, l'énoncé apparaît pour la première fois, d'après ce qu'on en connaît, dans un courrier que Fermat adresse à son correspondant Frénicle de Bessy en octobre 1640 3. Samuel, le fils de Fermat, a publié ce courrier en 1679 dans les Varia Opera 3. Fermat n'y écrit pas de formule moderne : il parle de puissances d'une progression et de nombres premiers qui les mesurent 3.
Le nom du résultat a mis du temps à se fixer. En 1801, Gauss souligne que ce théorème est remarquable par son élégance et par son utilité, et qu'on l'appelle ordinairement « théorème de Fermat » 3. L'expression « petit théorème de Fermat » apparaît dans un ouvrage de Kurt Hensel de 1913 3. Le mot « petit » sert à ne pas le confondre avec le dernier théorème de Fermat, énoncé sans démonstration au XVIIe siècle et démontré en 1994 par Andrew Wiles 4.
Rappels : congruences et outils nécessaires
L'énoncé du petit théorème de Fermat
Cet énoncé dit que, pour un nombre premier, toute puissance avec plus petit que (et non nul) a pour reste dans la division par 3. La condition « non divisible par » est indispensable : si divise , alors et toutes les puissances de sont congrues à , jamais à .
Démonstration · De la première forme à la seconde
Si divise , alors et . Sinon, la première forme donne ; on multiplie les deux membres par et on obtient .
Démonstration par permutation des restes
Plusieurs démonstrations existent. L'une consiste à dénombrer, de deux façons, les mots de longueur écrits avec lettres 3. Une autre, la seconde preuve d'Euler, passe par l'ordre de dans le groupe multiplicatif 3. Nous choisissons ici une démonstration qui n'utilise que Gauss et les congruences, donc entièrement à ta portée.
Démonstration · Démonstration du petit théorème de Fermat
Soit premier et un entier non divisible par . Considérons les entiers
Étape 1 : aucun n'est multiple de . Soit entre et . Comme est premier, il est premier avec (car ) et avec (car ne divise pas ). Si divisait , le théorème de Gauss appliqué avec premier avec donnerait que divise , ce qui est impossible puisque . Donc le reste de modulo appartient à .
Étape 2 : ces restes sont deux à deux distincts. Supposons avec . Alors divise . Comme est premier avec , le théorème de Gauss donne que divise . Or , donc , c'est-à-dire .
Étape 3 : conclusion sur les restes. Les restes sont des éléments distincts de , qui en contient exactement . Ce sont donc tous les entiers de à , dans un ordre éventuellement différent.
Étape 4 : comparaison des produits. En multipliant les congruences, le produit est congru au produit modulo . Cela s'écrit
Étape 5 : simplification. Le nombre est le produit d'entiers strictement inférieurs à , tous premiers avec ; il est donc premier avec . Par la simplification vue plus haut, on obtient .
Calculer des restes de grandes puissances
L'usage le plus direct du théorème est de calculer lorsque est grand. L'idée : puisque , on peut retirer autant de blocs de facteurs que l'on veut sans changer le reste.
Inverses modulo $p$ et équations de congruence
Un test de primalité et un pont vers la cryptographie
Fermat lui-même s'en est servi pour factoriser. Dans une lettre à Mersenne, il affirme que le nombre est composé et qu'il est le produit de deux nombres premiers, et 3. Avec une méthode voisine, Euler a montré que les nombres de Fermat ne sont pas tous premiers, ce qui réfute la seule conjecture fausse de Fermat 3.
Aujourd'hui, la clé secrète du chiffrement RSA est la factorisation d'un très grand entier, qui compte souvent plusieurs centaines de chiffres, en deux nombres premiers 3. Les méthodes employées en industrie au début des années 2000 reposent largement sur le petit théorème de Fermat, pour fabriquer de grands nombres premiers et vérifier si un nombre l'est 3. La cryptographie RSA, notion qui suit celle-ci, réutilisera les exponentiations modulo que tu viens de maîtriser.
Exercices corrigés
Exercice 1 Reste d'une très grande puissance
Détermine le reste de la division euclidienne de par .
Indice 1
Le nombre est premier et ne divise pas : quelle puissance de vaut modulo ?
Indice 2
Divise l'exposant par .
Voir la correction pas à pas
Le nombre est premier et ne divise pas , donc d'après le petit théorème de Fermat.
On divise l'exposant par : .
Ainsi .
On calcule , car .
Le reste cherché est donc .
Le reste de dans la division par est . La clé est de réduire l'exposant modulo .
Exercice 2 Un inverse modulo 11
Soit . Calcule modulo , puis explique pourquoi le résultat est l'inverse de modulo . Donne le résultat sous forme d'un entier de .
Indice 1
Calcule les puissances , , modulo en élevant au carré.
Indice 2
Rappelle-toi que .
Voir la correction pas à pas
On calcule .
Puis .
Puis .
Donc .
Justification : est premier et ne divise pas , donc par le petit théorème de Fermat ; est donc un inverse de .
Contrôle direct : .
On trouve et est bien l'inverse de modulo . En général, l'inverse de modulo est .
Exercice 3 Divisibilité de $n^{13}-n$
Soit un entier. On veut montrer que est divisible par , , , et , puis en déduire que est divisible par un entier égal au produit de ces cinq nombres premiers. Calcule .
Indice 1
Pour un nombre premier , utilise la forme et la relation .
Indice 2
Vérifie que divise pour chacun des cinq nombres premiers.
Voir la correction pas à pas
Soit l'un des nombres premiers . Alors vaut respectivement , et chacun de ces nombres divise .
Si divise , alors est divisible par (les deux termes le sont).
Sinon, . Comme divise , on a .
On en déduit , donc divise .
Les cinq nombres premiers divisent tous et sont deux à deux premiers entre eux : leur produit divise aussi (par le théorème de Gauss, appliqué de proche en proche).
Le produit vaut .
Pour tout entier , est divisible par . Le raisonnement repose sur le fait que divise pour chacun des cinq nombres premiers.
Quiz
9 questions · correction immédiate · ton score reste sur ton appareil.
-
La bonne réponse est la première : le module doit être premier et non divisible par . La deuxième est fausse car (et non ), par exemple . La troisième est la réciproque, qui n'est pas garantie. La quatrième utilise le mauvais exposant.
-
C'est faux : est un multiple de , donc et . La tentation est d'appliquer Fermat sans vérifier la condition « ne divise pas ».
-
Comme est premier et ne divise pas , . On a , donc . Le reste est . Réduire l'exposant modulo (en prenant ) donnerait le faux résultat .
-
Si était premier, comme il ne divise pas , on aurait . Or le résultat est , donc n'est pas premier. La réponse « on ne peut rien conclure » conviendrait si l'on avait trouvé , pas ici.
-
Un nombre premier vérifie forcément pour tout non multiple de : la condition est nécessaire. L'inverse n'est pas assuré, donc elle n'est pas suffisante. C'est pourquoi le test de Fermat permet de prouver qu'un nombre est composé, pas de certifier qu'il est premier.
-
Les énoncés 1, 3 et 4 sont vrais. Le deuxième est faux pour multiple de : par exemple donne . Les autres découlent de et de la seconde forme .
-
Comme est premier et ne divise pas , . On a , donc . Le reste est . Le piège serait de diviser par au lieu de .
-
La première apparition connue est la lettre à Frénicle de Bessy d'octobre 1640. Gauss en parle en 1801 et Hensel emploie l'expression « petit théorème de Fermat » en 1913, mais tous deux sont bien postérieurs à la lettre.
-
C'est faux : ce sont deux résultats distincts de Fermat. Le dernier théorème de Fermat fut énoncé sans démonstration et démontré en 1994 par Wiles, alors que le petit théorème est un résultat d'arithmétique modulaire que l'on démontre avec Gauss.
Les questions qu'on se pose
Pourquoi dit-on « petit » théorème de Fermat ?
Pour le distinguer du dernier théorème de Fermat, énoncé sans démonstration au XVIIe siècle et démontré en 1994 par Andrew Wiles 4. L'expression « petit théorème de Fermat » est attestée dans un ouvrage de Kurt Hensel de 1913 3. Les deux résultats n'ont aucun rapport direct de preuve : l'un est élémentaire, l'autre a demandé plus de trois siècles.
Le théorème marche-t-il si le module n'est pas premier ?
Non. Le module doit être premier. Avec , on a par exemple , et non . C'est même ce qui permet de prouver que n'est pas premier. Pour un module composé, il existe une généralisation, mais elle n'est pas au programme de cette option.
Si $a^{n-1}\equiv 1 \pmod n$, est-ce que $n$ est forcément premier ?
À quoi sert ce théorème en pratique ?
À trois choses principales : calculer rapidement des restes de grandes puissances, trouver des inverses modulo un nombre premier, et tester si un nombre est composé. Il intervient aussi dans la fabrication de grands nombres premiers et dans la sécurisation des échanges sur internet 3. La cryptographie RSA en est une suite 2.
Comment savoir si je dois réduire l'exposant modulo $p$ ou modulo $p-1$ ?
Toujours modulo pour l'exposant, et modulo pour la base. Le raisonnement : , donc on peut enlever des paquets de facteurs. Vérifie sur un petit exemple : modulo doit donner , ce qui est cohérent avec .
Sources
- Petit théorème de Fermat et applications (Collège Stanislas), CNRS - Blog Ressources mathématiques. Consulté le 6 novembre 2026.
- Du petit théorème de Fermat à la notion de groupe, CNRS - Blog Ressources mathématiques. Consulté le 6 novembre 2026.
- Petit théorème de Fermat, Wikipédia. Consulté le 6 novembre 2026.
- Théorème de Fermat, Wikipédia. Consulté le 6 novembre 2026.
Les numéros dans le texte renvoient à ces sources. Une source qui ne dit pas ce qu'on lui fait dire ? Signale-le.