Petit théorème de Fermat

En mathématiques, le petit théorème de Fermat est un résultat de l'arithmétique modulaire, qui peut aussi se démontrer avec les outils de l'arithmétique élémentaire.

Il s'énonce comme suit : « si $p$ est un nombre premier et si $a$ est un entier non divisible par $p$ , alors $a p -1 - 1$ est un multiple de $p$ », autrement dit (sous les mêmes conditions sur $a$ et $p$ ), $a p -1$ est congru à 1 modulo $p$ :

a^{p-1}\equiv 1{\bmod {p}}

.

Un énoncé équivalent est : « si $p$ est un nombre premier et si $a$ est un entier quelconque, alors $a p - a$ est un multiple de $p$ » :

a^{p}\equiv a{\bmod {p}}

.

Il doit son nom à Pierre de Fermat, qui l'énonce pour la première fois en 1640.

Il dispose de nombreuses applications, à la fois en arithmétique modulaire et en cryptographie.

Histoire[modifier | modifier le code]

La première apparition connue de l'énoncé de ce théorème provient d'une lettre de Fermat à Frénicle de Bessy datée d'octobre 1640^[1], qui a été publiée par son fils Samuel en 1679 dans les Varia Opera^[2]. On peut y lire ceci : « Tout nombre premier mesure infailliblement une des puissances – 1 de quelque progression que ce soit, et l'exposant de ladite puissance est sous-multiple du nombre premier donné – 1 ; et, après qu'on a trouvé la première puissance qui satisfait à la question, toutes celles dont les exposants sont multiples de l'exposant de la première satisfont tout de même à la question. »^[3], soit en termes modernes, pour tout nombre premier $p$ et tout nombre $a$ (premier avec $p$ ), il existe un entier $t$ tel que $p$ divise $a t - 1$ , et, $t$ étant le plus petit entier vérifiant ceci, $t$ divise $p - 1$ et tous les multiples $n$ de $t$ vérifient que $p$ divise $a n - 1$ .

On en déduit immédiatement l'énoncé donné en introduction, et réciproquement on déduit de celui-ci l'énoncé plus précis que donne Fermat. Comme habituellement dans sa correspondance, il ne donne aucune démonstration de ce résultat, ni même, comme il le fait parfois, d'indications à propos de celle-ci, mais précise : « Et cette proposition est généralement vraie en toutes progressions et en tous nombres premiers ; de quoi je vous envoierois la démonstration, si je n'appréhendois d'être trop long^[3]. »

À cette époque, il est d'usage de ne pas publier les preuves des théorèmes. Ainsi Leibniz rédige une démonstration^[4] vers 1683 mais ne la publie pas. En 1741^[5], 1750^[6] et 1761^[7], Euler en publie deux qui procèdent par récurrence et utilisent le développement du binôme, et une qui étudie la répartition des restes modulo le nombre premier considéré. On trouve cette dernière en 1801 dans les Disquisitiones arithmeticae^[8] de Gauss. Il y résume également la première démonstration d'Euler^[9], et en donne une version plus rapide utilisant le développement du multinôme^[10].

Gauss mentionne en 1801 que « Ce théorème remarquable, tant par son élégance que par sa grande utilité, s'appelle ordinairement « théorème de Fermat », du nom de l'inventeur »^[9]. On trouve la dénomination « petit théorème de Fermat » (kleine Fermatsche Satz) dans un ouvrage de Kurt Hensel de 1913^[11].

Un étudiant américain^[12], cité entre autres par Dickson^[13], avait avancé que le théorème était déjà connu en Chine 2 000 ans avant Fermat, dans le cas particulier $a = 2$ , accompagné d'une réciproque — trivialement fausse^[14]. Cette « hypothèse chinoise » n'est qu'une légende urbaine, due à une erreur de traduction qui s'est amplifiée et déformée au fil des citations^[15]^,^[16].

Exemples[modifier | modifier le code]

Voici quelques exemples (fondés sur le second énoncé) :

5³ − 5 = 120 est divisible par 3
7² − 7 = 42 est divisible par 2.
2⁵ − 2 = 30 est divisible par 5.
(−3)⁷ + 3 = −2 184 est divisible par 7.
2⁹⁷ − 2 = 158 456 325 028 528 675 187 087 900 670 est divisible par 97.

Applications[modifier | modifier le code]

Les applications sont nombreuses, particulièrement en cryptographie. On trouve néanmoins des exemples classiques d'applications du théorème en mathématiques pures.

Applications théoriques[modifier | modifier le code]

Le petit théorème de Fermat est historiquement utilisé pour analyser la décomposition en produit de facteurs premiers de certains entiers. Ainsi Fermat écrit^[17] à Mersenne (1588-1648) : « Vous me demandez si le nombre 100 895 598 169 est premier ou non, et une méthode pour découvrir, dans l'espace d'un jour, s'il est premier ou composé. À cette question, je réponds que ce nombre est composé et se fait du produit de ces deux : 898 423 et 112 303, qui sont premiers. » En utilisant une méthode analogue, Euler infirme l'unique conjecture fausse de Fermat, en prouvant que les nombres de Fermat ne sont pas tous premiers.

Ce théorème est aussi utilisé pour démontrer des résultats de théorie algébrique des nombres, comme le théorème de Herbrand-Ribet. Il dépasse le cadre strict de l'arithmétique, avec une utilisation pour l'étude des points fixes de l'endomorphisme de Frobenius par exemple.

Cryptographie asymétrique[modifier | modifier le code]

Article détaillé : Cryptographie asymétrique.

La cryptographie à clé publique correspond à un code s'attachant à assurer la confidentialité des messages à l'aide de deux clés de chiffrement. L'une, permettant de chiffrer le message, est publique. L'autre ayant pour objectif le déchiffrement est gardée secrète.

Une famille importante de systèmes asymétriques utilise l'algorithme de chiffrement RSA. La clé secrète est la décomposition d'un grand nombre entier, souvent de plusieurs centaines de chiffres. Il contient deux facteurs premiers. L'essentiel des techniques industrielles du début du XXI^e siècle se fonde sur le petit théorème de Fermat pour générer des grands nombres premiers ou pour tester la primalité d'un nombre.^{[réf. nécessaire]}

Test de primalité[modifier | modifier le code]

Article détaillé : Test de primalité.

Le petit théorème de Fermat donne une condition nécessaire pour qu'un nombre $p$ soit premier. Il faut en effet que, pour tout $a$ plus petit que $p$ , $a p - 1$ soit congru à 1 modulo p. Ce principe est la base du test de primalité de Fermat. Il existe de nombreuses variantes algorithmiques de ce test. Les plus connues sont le test de primalité de Solovay-Strassen et surtout le test de primalité de Miller-Rabin.

Nombre pseudo-premier[modifier | modifier le code]

Article détaillé : Nombre pseudo-premier.

Les tests précédents utilisent une condition nécessaire mais non suffisante. Ainsi, il existe des entiers $p$ non premiers tels que pour tout $a$ premier avec $p$ , $a p - 1$ soit toujours congru à 1 modulo $p$ . Le nombre 1 729 est un exemple. De tels entiers $p$ sont appelés nombres de Carmichael.

Les tests indiqués au paragraphe précédent sont tous statistiques, au sens où il existe toujours une probabilité, parfois très faible, pour que le nombre ayant passé le test ne soit néanmoins pas premier. Ces nombres sont appelés pseudo-premiers et sont attachés à des tests particuliers.

Démonstrations[modifier | modifier le code]

Par le théorème de Lagrange[modifier | modifier le code]

La seconde preuve d'Euler du premier énoncé, telle que reprise par Gauss^[8], reformulée en termes modernes, consiste à démontrer que l'ordre $t$ de $a$ dans le groupe multiplicatif (ℤ/pℤ)* est un diviseur de l'ordre $p -1$ de ce groupe (il démontre donc le théorème de Lagrange dans le cas particulier du sous-groupe engendré par $a$ ). Il en déduit immédiatement le petit théorème de Fermat, en élevant les deux membres de l'équation $a t \equiv 1 (mod p)$ à la puissance : l'entier $(p - 1)/ t$ . Le résultat et sa démonstration valent pour n'importe quel groupe fini (ici le groupe multiplicatif (ℤ/pℤ)* d'ordre $p - 1$ ).

Démonstration d'Euler et de Leibniz[modifier | modifier le code]

La démonstration d'Euler et de Leibniz du second énoncé utilise la formule du binôme de Newton et un raisonnement par récurrence sur l'entier $a$ , supposé positif sans perte de généralité. Leur raisonnement (reformulé ici dans le langage des congruences introduit ultérieurement par Gauss), est le suivant :

La proposition $a p \equiv a mod p$ est vraie pour $a = 1$ .
Tout entier $k$ vérifie : $(k + 1) p \equiv k p + 1 mod p$ .
Il suffit, pour cela, de développer l'expression $(k + 1) p$ et de remarquer que tous les coefficients binomiaux à l'exception du premier et du dernier sont des multiples de $p$ car $p$ est premier (une démonstration est donnée dans le paragraphe « Diviseurs et coefficients binomiaux » de l'article « Coefficient binomial »).
Enfin, si la proposition est vraie pour $a = k$ alors elle l'est aussi pour $a = k + 1$ . En effet, grâce au point précédent, il est prouvé que $(k + 1) p \equiv k p + 1 mod p$ . Si de plus $k p \equiv k mod p$ , alors $(k + 1) p \equiv (k + 1) mod p$ .

Équivalence des deux énoncés[modifier | modifier le code]

Si le premier énoncé est vrai alors le second aussi : Pour $a$ quelconque, comme $a p - a$ est égal au produit $a (a p -1 - 1)$ , on sait que ce produit est toujours divisible par $p$ , car ou bien $a$ est multiple de $p$ , ou bien il ne l'est pas mais le premier énoncé assure alors que $a p -1 - 1$ est divisible par $p$ .

Réciproquement, le premier énoncé se déduit du second en utilisant le lemme d'Euclide : si $a (a p -1 - 1)$ est divisible par $p$ et si $a$ ne l'est pas, alors $a p -1 - 1$ l'est.

Une démonstration arithmétique élémentaire[modifier | modifier le code]

Une autre démonstration du premier énoncé est analogue (en plus simple) à une preuve du lemme de Gauss : l'astuce ici est d'évaluer modulo $p$ , de deux façons, le produit

N=a\times 2a\times 3a\times \dots (p-1)a

.

La preuve est très rapide en effectuant les calculs dans l'anneau ℤ/pℤ^[18], mais on peut aussi la détailler en utilisant seulement la division euclidienne, le lemme d'Euclide, et une propriété algébrique de la congruence sur les entiers.

Démonstration

Supposons que $a$ n'est pas divisible par $p$ et notons

N

le produit

a \times 2 a \times 3 a \times \dots \times(p - 1) a

r k

le reste de la division euclidienne de

ka

par

p

, pour tout entier

k

de 1 à

p - 1

. Alors

En réordonnant les facteurs, $N = 1\times2\times \dots \times(p - 1)\times a p -1 = (p - 1)! a p -1$ .
Par ailleurs, $N \equiv r 1 \times r 2 \times \dots \times r p -1 mod p$ . En effet, si dans un produit on remplace un facteur par un entier qui lui est congru modulo $p$ alors le nouveau produit est congru modulo $p$ à l'ancien. En remplaçant dans $N$ , un par un, chaque $ka$ par $r k$ , le résultat est donc congru à $N$ modulo $p$ .
Or $r 1 \times r 2 \times \dots \times r p -1 = (p - 1)!$ car $(r 1, r 2, \dots , r p -1)$ est une permutation de $(1, 2, \dots , p - 1)$ . En effet, $0 \leq r k \leq p - 1$ et

aucun

r k

n'est nul, car (d'après le lemme d'Euclide) aucun

ka

n'est divisible par

p

;

les

r k

sont distincts deux à deux, car si

r i = r j

alors

(i - j) a

est divisible par

p

, donc (à nouveau par le lemme d'Euclide)

i - j

aussi, donc (comme

- p < i - j < p

)

i = j

.

Des trois points précédents on déduit : $(p - 1)! a p -1 \equiv (p - 1)! mod p$ , autrement dit $(p - 1)!(a p -1 - 1)$ est divisible par $p$ . Par application répétée du lemme d'Euclide, on obtient la conclusion : $a p -1 - 1$ est divisible par $p$ .

Une démonstration par double dénombrement[modifier | modifier le code]

Article détaillé : Preuve par double dénombrement du petit théorème de Fermat.

On peut démontrer le petit théorème de Fermat en comptant de deux manières différentes le nombre de mots de $p$ symboles dans un alphabet à $a$ symboles comportant au moins deux symboles différents.

Généralisations[modifier | modifier le code]

Une légère généralisation du théorème s'énonce de la manière suivante : si $p$ est un nombre premier et si $m$ et $n$ sont des entiers strictement positifs tels que $m \equiv n mod (p - 1)$ alors, pour tout entier $a$ :

a^{m}\equiv a^{n}{\bmod {p}}

.

En effet, modulo $p$ , les deux membres sont congrus à 0 si $a$ est divisible par $p$ , et s'il ne l'est pas, alors $a n - m = (a p - 1) (n - m)/(p - 1) \equiv 1 (n - m)/(p - 1) = 1$ . Sous cette forme, le théorème fonde l'algorithme de chiffrement RSA.

Le petit théorème de Fermat est généralisé par le théorème d'Euler : pour tout entier naturel non nul $n$ et tout entier $a$ premier avec $n$ , on a

a^{\varphi (n)}\equiv 1{\bmod {n}}

où $φ(n)$ désigne l'indicatrice d'Euler de $n$ , égale à l'ordre du groupe des unités de l'anneau ℤ/nℤ. Si $n$ est un nombre premier, alors $φ(n) = n - 1$ et l'on retrouve le petit théorème de Fermat.

Il se généralise de même à tout corps fini donc à tout quotient de l'anneau des entiers d'un corps de nombres par un idéal premier.

Notes et références[modifier | modifier le code]

↑ Tannery et Henry 1894, p. 209, Lettre de Fermat à Frénicle du 18 octobre 1640, note 1.
↑ Fermat 1679, p. 163 ; les publications successives des œuvres de Fermat sont étudiées dans l'avertissement préliminaire de Tannery et Henry 1891, voir aussi la table de concordance p. 440.
↑ ^{a et b} Tannery et Henry 1894, p. 209, Lettre de Fermat à Frénicle du 18 octobre 1640.
↑ M. Bülher et A. Pichel-Pajus, Une démonstration du théorème de Fermat par Leibniz, Mnemosyne n^o 19, Bonnes vieilles pages (2), 2007, p. 61-66.
↑ (la) L. Euler, « Theorematum quorundam ad numeros primos spectantium demonstratio (E054) », Comment. Acad. Sci. Petrop., vol. 8,‎ 1741, p. 141-146 (lire en ligne), écrit et présenté en 1736.
↑ (la) L. Euler, « Theoremata circa divisores numerorum », Novi Comment. Acad. Sci. Petrop., vol. 1,‎ 1750 (lire en ligne), écrit et présenté en 1747.
↑ (la) L. Euler, « Theoremata circa residua ex divisione potestatum relicta (E262) », Novi Comment. Acad. Sci. Imp. Petrop., vol. 7,‎ 1761, p. 49-82 (lire en ligne), écrit en 1755 et présenté en 1758 (dans la traduction de Poullet-Delisle, la référence fournie (n^o 50) est « Comm. nov. Petrop. T. VIII, p. 70 », mais dans l'original de 1801, Gauss a bien écrit « T. VII »).
↑ ^{a et b} C. F. Gauss (trad. du latin par Antoine Charles Marcelin Poullet-Delisle), Recherches arithmétiques [« Disquisitiones arithmeticae »], Courcier, 1807 (1^re éd. 1801), p. 32-34, n^o 49.
↑ ^{a b et c} Gauss 1807, n^o 50.
↑ Gauss 1807, n^o 51.
↑ Hensel donne sous ce nom l'énoncé généralisé à un groupe fini commutatif, (de) Kurt Hensel, Zahlentheorie, Göschen, Berlin/Leipzig, 1913 numérisé sur le projet Gutenberg, § V.6, p 128 de la version du projet Gutenberg.
↑ (en) J. H. Jeans, « The converse of Fermat's theorem », Messenger of Mathematics, vol. 27,‎ 1898, p. 174.
↑ (en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions], 1919, vol. 1 : Divisibility and primality, p. 59.
↑ Cf. commentaires de la suite A230579 de l'OEIS.
↑ (en) J. Needham (éd.), Mathematics and the Sciences of the Heavens and the Earth, Science and Civilisation in China, vol. 3, CUP, 1959, chap. 19, p. 54, note d, aperçu sur Google Livres.
↑ (en) Paulo Ribenboim, The New Book of Prime Number Records (lire en ligne), p. 103-105.
↑ P. de Fermat, Lettre à Marin Mersenne du 7 avril 1643 lire.
↑ Voir par exemple (en) Sanjoy Dasgupta, Christos Papadimitriou et Umesh Vazirani, Algorithms, McGraw-Hill, 2008, p. 34, ou cet exercice corrigé de la leçon « Introduction à la théorie des nombres » sur Wikiversité.

Annexes[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

Mathématiques

(en) G. H. Hardy et E. M. Wright, An Introduction to the Theory of Numbers (1^re éd. 1938) [détail des éditions]
Pierre Samuel, Théorie algébrique des nombres [détail de l’édition]
Gilles Zémor, Cours de cryptographie, Paris, Cassini, 2000, 227 p. (ISBN 2-84225-020-6)

Histoire des mathématiques

(la) Pierre de Fermat, Varia Opera mathematica : accesserunt selectae quaedam ejusdem Epistolae, vel ad ipsum a plerisque doctissimis viris gallice, latine vel italice, de rebus ad mathematicas disciplinas, aut physicam pertinentibus scriptae., Toulouse, Apud Joannem Pech, 1679 (lire en ligne), lettre de Monsieur de Fermat au Révérend Père Mersenne de l'Ordre des Minimes, à Paris (XL de l'édition Tannery-Henry) p 177, A Monsieur de ****, du 18 octobre 1640 (XLIV de l'édition Tannery-Henry) p 163.
Paul Tannery et Charles Henry, Œuvres de Fermat, tome premier, Paris, Gauthier-Villars et cie, 1891 (lire en ligne), Avertissement p IX-XXXVII.
Paul Tannery et Charles Henry, Œuvres de Fermat, tome deuxième, correspondance, Paris, Gauthier-Villars et cie, 1894 (lire en ligne), XL, Fermat à Mersenne, juin ? 1640, p 198, et XLIV, Fermat à Frenicle, jeudi 18 octobre 1640, p 208.
(en) André Weil, Number Theory : An approach through history from Hammurapi to Legendre [détail des éditions] (chap. II. Fermat and his correspondents).

Liens externes[modifier | modifier le code]

Michel Hort, « Une présentation sans la notion de congruence de la démonstration d'Euler et Leibniz ci-dessus » (version du 28 juin 2013 sur Internet Archive)
Le petit théorème de Fermat sur le site de G. Villemin
Fermat revisité par M. Gouy, G. Huvent et A. Ladureau

Arithmétique et théorie des nombres

[1] Tannery et Henry 1894, p. 209, Lettre de Fermat à Frénicle du 18 octobre 1640, note 1.

[2] Fermat 1679, p. 163 ; les publications successives des œuvres de Fermat sont étudiées dans l'avertissement préliminaire de Tannery et Henry 1891, voir aussi la table de concordance p. 440.

[TanneryHenryII209-3] {a et b} Tannery et Henry 1894, p. 209, Lettre de Fermat à Frénicle du 18 octobre 1640.

[4] M. Bülher et A. Pichel-Pajus, Une démonstration du théorème de Fermat par Leibniz, Mnemosyne n^o 19, Bonnes vieilles pages (2), 2007, p. 61-66.

[5] (la) L. Euler, « Theorematum quorundam ad numeros primos spectantium demonstratio (E054) », Comment. Acad. Sci. Petrop., vol. 8,‎ 1741, p. 141-146 (lire en ligne), écrit et présenté en 1736.

[6] (la) L. Euler, « Theoremata circa divisores numerorum », Novi Comment. Acad. Sci. Petrop., vol. 1,‎ 1750 (lire en ligne), écrit et présenté en 1747.

[7] (la) L. Euler, « Theoremata circa residua ex divisione potestatum relicta (E262) », Novi Comment. Acad. Sci. Imp. Petrop., vol. 7,‎ 1761, p. 49-82 (lire en ligne), écrit en 1755 et présenté en 1758 (dans la traduction de Poullet-Delisle, la référence fournie (n^o 50) est « Comm. nov. Petrop. T. VIII, p. 70 », mais dans l'original de 1801, Gauss a bien écrit « T. VII »).

[Gauss-8] {a et b} C. F. Gauss (trad. du latin par Antoine Charles Marcelin Poullet-Delisle), Recherches arithmétiques [« Disquisitiones arithmeticae »], Courcier, 1807 (1^re éd. 1801), p. 32-34, n^o 49.

[GaussDA50-9] {a b et c} Gauss 1807, n^o 50.

[10] Gauss 1807, n^o 51.

[11] Hensel donne sous ce nom l'énoncé généralisé à un groupe fini commutatif, (de) Kurt Hensel, Zahlentheorie, Göschen, Berlin/Leipzig, 1913 numérisé sur le projet Gutenberg, § V.6, p 128 de la version du projet Gutenberg.

[12] (en) J. H. Jeans, « The converse of Fermat's theorem », Messenger of Mathematics, vol. 27,‎ 1898, p. 174.

[13] (en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions], 1919, vol. 1 : Divisibility and primality, p. 59.

[14] Cf. commentaires de la suite A230579 de l'OEIS.

[Needham-15] (en) J. Needham (éd.), Mathematics and the Sciences of the Heavens and the Earth, Science and Civilisation in China, vol. 3, CUP, 1959, chap. 19, p. 54, note d, aperçu sur Google Livres.

[16] (en) Paulo Ribenboim, The New Book of Prime Number Records (lire en ligne), p. 103-105.

[17] P. de Fermat, Lettre à Marin Mersenne du 7 avril 1643 lire.

[18] Voir par exemple (en) Sanjoy Dasgupta, Christos Papadimitriou et Umesh Vazirani, Algorithms, McGraw-Hill, 2008, p. 34, ou cet exercice corrigé de la leçon « Introduction à la théorie des nombres » sur Wikiversité.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]