Nombre de Fermat
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f3/Pierre_de_Fermat.jpg/220px-Pierre_de_Fermat.jpg)
Un nombre de Fermat est un nombre qui peut s'écrire sous la forme , avec entier naturel. Le nombre de Fermat de rang , , est noté .
La suite , qui débute par 3, 5, 17, 257, 65537, 4294967297, 18446744073709551617
est répertoriée comme suite A000215 de l'OEIS.
Ces nombres doivent leur nom à Pierre de Fermat, qui émit la conjecture que tous ces nombres étaient premiers. Cette conjecture se révéla fausse, F5 étant composé, de même que tous les suivants jusqu'à F32. On ne sait pas si les nombres à partir de F33 sont premiers ou composés. Ainsi, les seuls nombres de Fermat premiers connus sont au nombre de cinq, à savoir les cinq premiers F0, F1, F2, F3 et F4, qui valent respectivement 3, 5, 17, 257 et 65 537.
Les nombres de Fermat disposent de propriétés intéressantes, en général issues de l'arithmétique modulaire. En particulier, le théorème de Gauss-Wantzel établit un lien entre ces nombres et la construction à la règle et au compas des polygones réguliers : un polygone régulier à côtés peut être construit à la règle et au compas si et seulement si est une puissance de 2, ou le produit d'une puissance de 2 et de nombres de Fermat premiers distincts.
Histoire
[modifier | modifier le code]En 1640, dans une lettre adressée à Bernard Frénicle de Bessy, Pierre de Fermat énonce son petit théorème et commente : « 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[1]. » Ce théorème lui permet d'étudier les nombres portant maintenant son nom. Dans cette même lettre[2], il émet la conjecture que ces nombres sont tous premiers mais reconnaît : « je n'ai pu encore démontrer nécessairement la vérité de cette proposition ». Cette hypothèse le fascine ; deux mois plus tard, dans une lettre à Marin Mersenne, il écrit : « Si je puis une fois tenir la raison fondamentale que 3, 5, 17, etc. sont nombres premiers, il me semble que je trouverai de très belles choses en cette matière, car j'ai déjà trouvé des choses merveilleuses dont je vous ferai part[3]. » Il écrit encore à Blaise Pascal : « je ne vous demanderais pas de travailler à cette question si j'avais pu la résoudre moi-même ». Dans une lettre à Kenelm Digby, non datée mais envoyée par Digby à John Wallis le , Fermat donne encore sa conjecture[4] comme non démontrée[5]. Toutefois, dans une lettre de 1659 à Pierre de Carcavi[6], il s'exprime en des termes qui, selon certains auteurs, impliquent qu'il estime avoir trouvé une démonstration[7]. Si Fermat a soumis cette conjecture à ses principaux correspondants, elle est par contre absente des Arithmétiques de Diophante rééditées en 1670, où son fils retranscrivit les quarante-sept autres conjectures qui furent plus tard prouvées. C'est la seule conjecture erronée de Fermat.
En 1732, le jeune Leonhard Euler, à qui Christian Goldbach avait signalé cette conjecture trois ans auparavant[8], la réfute[9] : F5 est divisible par 641. Il ne dévoile la construction de sa preuve[10] que quinze ans plus tard. Il y utilise une méthode similaire à celle[11] qui avait permis à Fermat de factoriser les nombres de Mersenne M23 et M37[12].
Il est probable que les seuls nombres premiers de cette forme soient 3, 5, 17, 257 et 65 537, car Boklan et Conway[13] ont prépublié en une analyse très fine estimant la probabilité d'un autre nombre premier à moins d'un sur un milliard.
Propriétés
[modifier | modifier le code]Premières propriétés
[modifier | modifier le code]La suite des nombres de Fermat peut se définir par récurrence simple :
ou par récurrence double :
ou par récurrence forte :
ou encore :
- .
On en déduit le théorème de Goldbach[14] affirmant que :
Deux nombres de Fermat distincts sont premiers entre eux.
Soit le nombre de chiffres utilisés pour écrire en base .
où les crochets désignent la fonction partie entière et le logarithme de base .
La suite , qui débute par 1, 1, 2, 3, 5, 10, 20, 39, 78, 155
est répertoriée comme suite A057755 de l'OEIS.
Tous les nombres de Fermat à partir de se terminent par le chiffre 7 en écriture décimale.
Les nombres de Fermat premiers ne sont pas des nombres brésiliens alors que les nombres de Fermat composés sont tous des nombres brésiliens[15].
Nombre de Fermat et primalité
[modifier | modifier le code]La raison historique de l'étude des nombres de Fermat est la recherche de nombres premiers. Fermat connaissait déjà la proposition suivante[16] :
Soit k un entier strictement positif ; si le nombre 2k + 1 est premier, alors k est une puissance de 2.
Fermat a conjecturé (erronément, comme on l'a vu) que la réciproque était vraie ; il a montré que les cinq nombres
- , , , et sont premiers. Actuellement, on ne connaît que cinq nombres de Fermat premiers, ceux cités ci-dessus.
On ignore encore s'il en existe d'autres, mais on sait que les nombres de Fermat Fn, pour n entre 5 et 32, sont tous composés ; F33 est le plus petit nombre de Fermat dont on ne sait pas s'il est premier ou composé.
En 2013[17], le plus grand nombre de Fermat dont on savait qu'il est composé était : F2 747 497 ; l'un de ses diviseurs est le nombre premier de Proth 57×22 747 499 + 1[18].
Factorisation des nombres de Fermat composés
[modifier | modifier le code]Euler démontre le théorème :
Tout facteur premier d'un nombre de Fermat Fn est de la forme k.2n+1 + 1, où k est un entier.
(Lucas a même démontré plus tard que tout facteur premier d'un nombre de Fermat Fn est de la forme k.2n+2 + 1.)
Ceci lui permet de trouver rapidement :
Le cas général est un problème difficile du fait de la taille des entiers Fn, même pour des valeurs relativement faibles de n. En 2020, le plus grand nombre de Fermat dont on connaisse la factorisation complète est F11[19], dont le plus grand des cinq diviseurs premiers a 564 chiffres décimaux (la factorisation complète de Fn, pour n inférieur à 10, est, elle aussi, entièrement connue). En ce qui concerne F12, on sait qu'il est composé ; mais c'est, en 2020, le plus petit nombre de Fermat dont on ne connaisse pas la factorisation complète[20]. Quant à F20, c'est, en 2020, le plus petit nombre de Fermat composé dont on ne connaisse aucun diviseur premier[21].
Série des inverses des nombres de Fermat
[modifier | modifier le code]La série des inverses des nombres de Fermat est convergente et sa somme [22] est irrationnelle[23] et même transcendante[24]. Ces résultats viennent de ce que cette somme est trop bien approchée par des rationnels.
Polygone régulier
[modifier | modifier le code]Gauss et Wantzel ont établi un lien entre ces nombres et la construction à la règle et au compas des polygones réguliers : un polygone régulier à n côtés est constructible si et seulement si n est le produit d'une puissance de 2 (éventuellement égale à 20 = 1) et d'un nombre fini (éventuellement nul) de nombres de Fermat premiers distincts.
Par exemple, le pentagone régulier est constructible à la règle et au compas puisque 5 est un nombre de Fermat premier ; de même, un polygone à 340 côtés est constructible à la règle et au compas puisque 340 = 22.F1.F2.
Généralisations
[modifier | modifier le code]Il est possible de généraliser une partie des résultats obtenus pour les nombres de Fermat.
Pour que an + 1 soit premier, a doit nécessairement être pair et n doit être une puissance de 2.
On appelle couramment « nombres de Fermat généralisés[25] » les nombres de la forme (avec a ≥ 2)[26], mais Hans Riesel a donné aussi ce nom aux nombres de la forme [27]. Le plus grand nombre premier de la forme connu en 2017 est , un nombre de plus d'un million de chiffres[28].
Notes et références
[modifier | modifier le code]- Lettre XLIV à Frénicle, 18 octobre 1640, dans Œuvres de Fermat, t. 2, Paris, Gauthier-Villars, (lire en ligne), p. 209.
- Dans une autre lettre à Frénicle il écrit aussi : « Mais voici ce que j'admire le plus : c'est que je suis quasi persuadé que tous les nombres progressifs augmentés de l'unité, desquels les exposants sont des nombres de la progression double, sont nombres premiers, comme 3, 5, 17, 257, 65537, 4 294 967 297 et le suivant de 20 lettres 18 446 744 073 709 551 617 ; etc. Je n'en ai pas la démonstration exacte, mais j'ai exclu si grande quantité de diviseurs par démonstrations infaillibles, et j'ai de si grandes lumières, qui établissent ma pensée, que j'aurois peine à me dédire. », Lettre XLIII, août ? 1640, dans Œuvres de Fermat, t. 2, p. 206.
- Lettre XLV, 25 décembre 1640, dans Œuvres de Fermat, t. 2, p. 213. Édouard Lucas, dans ses Récréations mathématiques, tome II, p. 234 donne cette citation infidèle (7 n'a pas à être dans la liste) : « Si je puis une fois tenir la raison fondamentale que 3, 5, 7, 17, 257, 65537 sont nombres premiers […] ».
- « Potestates omnes numeri 2, quarum exponentes sunt termini progressionis geometricæ ejusdem numeri 2, unitate auctae, sunt numeri primi » (« Toutes les puissances du nombre 2 dont les exposants sont des termes de la progression géométrique du même nombre 2, donnent, si on les augmente d'une unité, des nombres premiers. »)
- « propositiones aliquot quarum demonstrationem a nobis ignorari non diffitemur […] Quaeritur demonstratio illius propositionis, pulchræ sane, sed et verissimæ » (« quelques propositions dont nous ne nierons pas ignorer la démonstration […] Il reste à trouver une démonstration de cette proposition, certainement belle mais aussi très vraie »), lettre XCVI dans Œuvres de Fermat, t. 2, p. 402-405.
- Lettre CI, point 5, dans Œuvres de Fermat, t. 2, p. 433-434. Fermat énumère des questions qui se traitent par sa méthode de la descente infinie. Il place parmi ces questions sa conjecture (erronée) sur les nombres dits depuis nombres de Fermat et il ne dit plus, comme il l'avait fait dans des lettres antérieures, qu'il n'a pas encore trouvé de démonstration de cette conjecture.
- C'est l'interprétation que donne H.M. Edwards, Fermat's Last Theorem, Springer, 1977, p. 24, prenant position contre les vues contraires de E.T. Bell, The Last Problem, New York, 1961, p. 256.
- (en) E. Sandifer, « How Euler did it — Factoring F5 », sur eulerarchive.maa.org, .
- (la) L. Euler, « Observationes de theoremate quodam Fermatiano aliisque ad numeros primos spectantibus », Commentarii academiae scientiarum Petropolitanae, vol. 6, , p. 102-103 (lire en ligne).
- (la) L. Euler, « Theoremata circa divisors numerorum », Novi Commentarii academiae scientiarum imperialis Petropolitanae, vol. 1, , p. 20-48 (lire en ligne) (présenté en 1747/48).
- Décrite dans (en) John J. O'Connor et Edmund F. Robertson, « Perfect numbers », sur MacTutor, université de St Andrews.
- Fermat, dans sa lettre XL à Mersenne de juin ? 1640 (Œuvres de Fermat, t. 2, p. 195-199), découvre pour M37 le diviseur 6 × 37 + 1, après avoir détaillé sa méthode sur l'exemple connu M11 = 23 × 89. Dans sa lettre XLIII à Frénicle (août ? 1640) déjà citée, il signale de plus, pour M23, le diviseur 47.
- (en) Kent D. Boklan et John H. Conway, « Expect at most one billionth of a new Fermat Prime! », The Mathematical Intelligencer, (DOI 10.1007/s00283-016-9644-3, arXiv 1605.01371v2, lire en ligne, consulté le ).
- (en) Leonid Durman et Luigi Morelli, « History — All researchers of Fermat numbers, who found at least one factor », sur Distributed search for Fermat number divisors.
- B. Schott, [1], Les nombres brésiliens, Quadrature, no 76, 2010, Prop. 3 p.36.
- Boklan et Conway 2017 appellent « nombres premiers de Fermat » (avec un t en italique) les nombres premiers de la forme 2k + 1 avec k entier positif ou nul, qui sont donc 2 et les « vrais » nombres premiers de Fermat.
- Pour des résultats plus récents, voir par exemple (en) Wilfrid Keller, « Prime factors k•2n + 1 of Fermat numbers Fm and complete factoring status », .
- (en) « PrimeGrid’s Proth Prime Search - 57*2^2747499+1 (official announcement) », Primegrid, .
- (en) Richard P. Brent, Factorization of the Tenth and Eleventh Fermat Numbers, février 1996.
- Depuis le , on connaît six des diviseurs premiers de F12, mais toujours pas sa décomposition complète. Voir [2].
- Avant 2010, le plus petit tel nombre était F14. Le , un diviseur à 54 chiffres de F14 a été découvert par Tapio Rajala, Département de Mathématiques et Statistiques, Université de Jyväskylä, Finlande. Voir le site prothsearch et mersenneforum : k.216 + 1, où k est un nombre à 49 chiffres.
- Suite
A051158 de l'OEIS.
- (en) Solomon W. Golomb, « On the sum of the reciprocals of the Fermat numbers and related irrationalities », Canad. J. Math., vol. 15, , p. 475-478 (lire en ligne).
- (en) D. Duverney, « Transcendence of a fast converging series of rational numbers », Math. Proc. Cambridge Philos. Soc., vol. 130, no 2, , p. 193-207.
- (en) Eric W. Weisstein, « Generalized Fermat Number », sur MathWorld.
- (en) Generalized Fermat Prime search.
- (en) H. Riesel, Prime Numbers and Computer Methods for Factorization, Springer, (lire en ligne), p. 102.
- (en) The prime database.
Voir aussi
[modifier | modifier le code]- Test de Pépin
- Nombre trapézoïdal (les nombres triangulaires non trapézoïdaux font intervenir les nombres de Fermat premiers)
- (en) Michal Křížek (cs), Florian Luca (en) et Lawrence Somer, 17 Lectures on Fermat Numbers : From Number Theory to Geometry, New York, Springer, , 257 p. (ISBN 978-0-387-95332-8, lire en ligne) — Contient une bibliographie étendue.
- (en) Suite
A000215 de l'OEIS