{"partition": "head_middle", "source_domain": "www.ilemaths.net", "digest": "sha1:2QNU6S7XQ5VQUPDML4QZVNDDP4X6NWSR", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00037.parquet"}
Nombre de Fermat
Recherche : Encyclopédie
Les définitions
Top définitions
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z toutes les définitions
Nombre de Fermat : encyclopédie mathématiques
Cet article est issu de l'encyclopédie libre Wikipedia.Vous pouvez consulter l'article ici ainsi que son historique.Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.
Pierre de Fermat étudia les propriétés des nombres portant maintenant son nom.
Un nombre de Fermat est un entier naturel qui peut s'écrire sous la forme 22n + 1, avec n entier. Le n-ème nombre de Fermat, 22n + 1, est noté Fn.
Ces nombres doivent leur nom au mathématicien français Pierre de Fermat (1601-1665) 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 nombres de Fermat jusqu'à F32. On ne sait pas si les nombres à partir de F33 sont premiers ou composés. Les seuls nombres de Fermat premiers connus sont donc F0, F1, F2, F3 et F4.
Ces nombres disposent de propriétés intéressantes, en général issues de l'arithmétique modulaire ; en particulier, Carl Friedrich Gauss a é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 peut être construit à la règle et au compas si et seulement si n est une puissance de 2, ou le produit d'une puissance de 2 et de nombres de Fermat premiers distincts.
2.1 Premières propriétés
2.2 Nombre de Fermat et primalité
2.3 Factorisation des nombres de Fermat composés
3 Polygone régulier
En 1640, dans une lettre adressée à Bernard Frénicle de Bessy, Pierre de Fermat énonce, et probablement démontre son petit théorème : « 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 qu'il n'en a pas encore trouvé de preuve « 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 16 juin 1658, 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. Elle se révèlera d'ailleurs fausse, et c'est la seule conjecture erronée de Fermat. Leonhard Euler présente[8] un diviseur de F5 en 1732. Il ne dévoile la construction de sa preuve[9] que quinze ans plus tard. Il y utilise une méthode similaire à celle qui avait permis à Fermat de démontrer[10] en 1640 la non primalité des candidats de paramètres 23 et 37 pour les nombres de Mersenne.
Premières propriétés[modifier | modifier le code]
La suite des nombres de Fermat possède plusieurs relations de récurrence. On peut citer par exemple si n est supérieur ou égal à 2 :
Ou encore, avec des produits de nombres de Fermat :
On en déduit le théorème de Goldbach