Voir la source de Pierre de Fermat

{{Infobox Scientifique
 | charte              = mathématicien
 | nom                 = Pierre de Fermat
 | image               = Pierre de Fermat.jpg
 | légende             = 
 | date de naissance   = Première décennie du {{s-|xvii|e}}
 | lieu de naissance   = [[Beaumont-de-Lomagne]]
 | date de décès       = 12 janvier 1665
 | lieu de décès       = [[Castres]]
 | domicile            = 
 | nationalité         = {{drapeau|France monarchie}} [[Royaume de France|française]]
 | champs              = [[Mathématiques]] et [[droit]]
 | institutions        = [[Académie des Sciences Inscriptions et Belles-Lettres de Toulouse|Académie des sciences, inscriptions et belles-lettres de Toulouse]]<br />[[Parlement de Toulouse]]
 | diplôme             = 
 | directeur thèse     = 
 | étudiants thèse     = 
 | renommé pour        = [[Dernier théorème de Fermat]]<br />[[Géométrie analytique]]<br />[[Petit théorème de Fermat]]<br />[[Principe de Fermat]]<br />[[Théorie des probabilités]]
 | prix                = 
 | notes               = 
 | signature           = 
}}

'''Pierre de Fermat''', né dans la première décennie du {{s|XVII|e}}<ref group="F">Il existe des pièces justificatives contradictoires. Un acte de baptême de 1601 a été souvent pris pour preuve, par exemple par l'éditeur de Fermat, Paul Tannery. Un monument funéraire, repéré au {{s-|XIX}} par Charles Henry, suggère une autre date, entre 1607 et 1609, que le mathématicien Klaus Barner a récemment remis à l'ordre du jour. Réf. {{Article|langue=en|prénom=Klaus|nom=Barner|titre=How old did Fermat become?|revue=NTM – Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin|volume=9|année=2001|p.=209-228|présentation en ligne=http://cat.inist.fr/?aModele=afficheN&cpsidt=14213014}}. Pierre Gairin, historien local de Beaumont-de-Lomagne a récemment trouvé plusieurs actes pertinents, mais ils ne permettent pas de conclure.</ref>, à [[Beaumont-de-Lomagne]] (département actuel de [[Tarn-et-Garonne]]), près de [[Montauban]], et mort le {{date de décès|12|janvier|1665}} à [[Castres]] (département actuel du [[Tarn (département)|Tarn]])<ref group="F">L'épitaphe du [[musée des Augustins de Toulouse]] stipule qu'il était âgé de {{unité|57|ans}}.</ref>{{,}}<ref name="SD">{{ouvrage|langue=fr|prénom1=Michel|nom1=Serfati|directeur1=oui|prénom2=Dominique|nom2=Descotes|titre=Mathématiciens français du {{s-|XVII|e}}|sous-titre=Descartes, Fermat, Pascal|éditeur=Presses universitaires Blaise Pascal|année=2008|mois=avril|jour=21|pages totales=284|passage={{refinc|date=mai 2012|p. ?}}|isbn=|lire en ligne=https://books.google.com/books?id=oEcCa9oMI9YC}}.</ref>, est un [[magistrat]], [[Polymathie|polymathe]] et surtout [[mathématicien]] [[France|français]], surnommé par [[Eric Temple Bell|E.T. Bell]] « le prince des amateurs »<ref>{{lien web|url=https://www.letemps.ch/sciences/pierre-fermat-dernier-theoreme|titre=Pierre de Fermat et son dernier théorème|auteur=Anton Vos|date=2002.7.16|site=letemps|consulté le=2024.2.16}}</ref>. Il est aussi [[poète]], habile [[latin]]iste et [[Hellénisme|helléniste]], et s'est intéressé aux [[science]]s et en particulier à la [[physique]] ; on lui doit notamment le [[principe de Fermat]] en [[optique]]. Il est particulièrement connu pour avoir énoncé le [[dernier théorème de Fermat]], dont la [[démonstration (logique et mathématique)|démonstration]] n'a été établie que plus de {{unité|300|ans}} plus tard, par le mathématicien britannique [[Andrew Wiles]] en [[1994 en science|1994]]<ref>{{ouvrage|langue=fr|auteur1=Jeanne Vigouroux|titre=Une aventure mathématique, le théorème de Fermat|éditeur=PEMF|année=1998|pages totales=63|isbn=2-87785-494-9}}</ref>.
[[Fichier:Pierre de Fermat3.jpg|vignette|Portrait de Pierre de Fermat ([[Rolland Lefebvre]])]]

== Biographie ==
=== Origines familiales ===
[[Fichier:Beaumont-de-Lomagne - Hôtel de Fermât- IA00038971.jpg|vignette|Hôtel Fermat - [[Beaumont-de-Lomagne]]]]
Son père, Dominique Fermat, était un marchand aisé de [[Beaumont-de-Lomagne]]. Ce [[bourgeoisie|bourgeois]] et second [[Consulat (Ancien Régime)|consul]] de la ville de Beaumont est connu comme marchand de cuir (et autres denrées) ; il s'est marié successivement à Françoise Cazeneuve, fille d'un marchand aisé (et ce jusqu'en 1603 au moins), puis à Claire de Long, fille de Clément de Long seigneur de Barès (et ce avant 1607). On ne sait cependant laquelle de ces deux femmes fut la mère du mathématicien<ref group="F">Selon les recherches faites à la fin du 20e siècle par l'Abbé Dugros, il ne semble donc plus possible que Fermat soit né en 1601, avec Claire de Long comme mère, comme l'ont écrit au 19e siècle les premiers biographes de Fermat.</ref>{{,}}<ref name="SD"/>. Plusieurs documents témoignent de la naissance d'un enfant Fermat du nom de Pierre, l'un baptisé le {{date-|20|août|1601}}<ref>{{Ouvrage|auteur1=Louis Taupiac|titre=Fermat : sa vie privée avec pièces justificatives|lieu=Montauban|éditeur=Forestié|année=1880}}, pièce justificative 3.</ref>, un autre le {{date-|31|octobre|1605}}, un autre document le faisant naître en 1607 ou 1608<ref group="F">Les lacunes des registres entre 1607 et 1611 rendent impossible toute certitude. Réf. {{Lien brisé|url=https://www.ladepeche.fr/article/2002/12/27/346123-pierre-gairin-se-penche-sur-le-mystere-pierre-fermat.html |titre=« Pierre Gairin se penche sur le mystère Pierre Fermat »}} in ''[[La Dépêche du Midi]]''.</ref>. Il avait, semble-t-il, un frère Clément et deux sœurs, Louise et Marie<ref>{{Harvsp| Luis Fernando Areán Alvarez|Sara Martinez| 2018| p=29}}</ref>.

La [[Hôtel de Fermat|maison où est né le mathématicien]] (et qui abrite de nos jours un musée dédié au mathématicien ainsi que l'Office de Tourisme Intercommunal) est bien identifiée : elle fut occupée, de 1577 à 1707, par quatre générations de Fermat<ref name="EF">{{Ouvrage|langue=fr|nom1=[[Émerand Forestié]]|titre=Biographie de Tarn-et-Garonne|sous-titre=études historiques et bibliographiques|lieu=Montauban|éditeur=Forestié neveu|année=1860|pages totales=519|passage=476|lire en ligne=https://books.google.fr/books?id=AYheAAAAIAAJ&pg=PA476}}.</ref>. En revanche, on ignore où Pierre de Fermat a effectué ses études primaires. Par la suite, il suit des études de droit à [[université de Toulouse|Toulouse]] et à l'[[université d'Orléans]], dont il sort bachelier de droit civil en 1631<ref>{{Ouvrage|auteur1=[[Catherine Goldstein]]|titre=Un théorème de Fermat et ses lecteurs|éditeur=Presses universitaires de Vincennes|année=1995|pages totales=228|passage=23|isbn=978-2-910381-10-3}}.</ref>.

=== Premiers pas ===
Dès 1627, Fermat, avocat à [[Bordeaux]], fréquente vraisemblablement les milieux scientifiques et juridiques autour du président [[Jean d'Espagnet]]<ref name="SD"/> et de son fils, Étienne. Il y rencontre le secrétaire royal [[Jean de Beaugrand]] et s'initie aux notations algébriques de [[François Viète|Viète]] au travers d'un exemplaire prêté par son ami d'Espagnet. Selon les affirmations contenues dans ses lettres à [[Marin Mersenne|Mersenne]], il entretient Étienne d'Espagnet de sa méthode ''de maximis et minimis'' dès cette époque. Il affirme également avoir produit une méthode pour les [[carré magique (mathématiques)|carrés magiques]]. Hormis cela, sa formation en tant que mathématicien n'est que peu connue ; il semble qu'il se soit même éloigné de ces recherches pendant un temps.

En 1631, il s'installe à Toulouse pour poursuivre une carrière dans la magistrature. Il achète une charge de commissaire aux requêtes au sein du [[parlement de Toulouse]] dans laquelle il est installé le 14 mai<ref name="EF"/>. Les commissaires aux requêtes du palais, bien que jouissant du titre de ''[[conseiller du roi]],'' ne faisaient pas partie de la cour de parlement proprement dite. À l’époque cette chambre, autrefois composée des plus vieux conseillers, servait au contraire, et depuis longtemps déjà, aux jeunes magistrats débutants, qui de là passaient ensuite dans les chambres plus prestigieuses du parlement, la Grand'chambre et les chambres des enquêtes. Fermat épouse à Toulouse ([[cathédrale Saint-Étienne de Toulouse|paroisse Saint-Étienne]]), le {{1er}} juin (bans le 20 avril à Beaumont) de la même année, Louise de Long, fille de Clément de Long, un des principaux conseillers du Parlement, cousine éloignée<ref name="EF"/>, avec laquelle il aura sept enfants : Clément-Samuel, Claire, Jean, Catherine, Bertrand, Louise et Jeanne.

Clément-Samuel deviendra juriste et achètera en 1662 à son beau-frère la charge de conseiller en la Cour et commissaire aux requêtes du palais au parlement de Toulouse ; Jean sera [[archidiacre]] de Fimarcon, en [[Lomagne]] [[Gers (département)|gersoise]] ; Claire fondera une famille de six enfants avec Guillaume de Melet ; Catherine et Louise deviendront religieuses franciscaines à Toulouse et Bertrand et Jeanne mourront en bas âge<ref>{{Lien web|url=http://gw.geneanet.org/lafaurie|titre=Arbre généalogique des familles Fermat}}</ref>.

Fermat ne rencontrera jamais [[François Viète]], décédé en 1603, quand il n'a peut-être que deux ans, mais il noue des liens avec l'un de ses disciples, [[Jean de Beaugrand]], qui va devenir son ami et son collègue jusqu'à sa mort. En 1629, à vingt-huit ans, Fermat commence déjà à manifester les premiers signes de son talent mathématique et envoie à Beaugrand un exemplaire de sa reconstitution d'une œuvre perdue du géomètre grec [[Apollonios de Perga|Apollonius de Perge]], ''De locis planis'' (Sur les lieux [géométriques] plans)<ref>{{Harvsp|Luis Fernando Areán Alvarez|Sara Martinez|2018|p=30}}</ref>. Il persiste à se faire connaître au début des années 1630, par la publication de courts traités, la plupart consacrés à la géométrie.
 
=== Fermat et l'académie de Mersenne ===
[[Fichier:Pierre de Fermat.png|vignette|gauche|130px|Pierre de Fermat]]
Dès 1636, il entre en correspondance avec [[Marin Mersenne]], et dans sa première lettre lui demande quelles nouveautés ont paru en mathématiques depuis les cinq dernières années. La même année, il publie sa traduction d'[[Apollonios de Perga]], ''De Locis planis'', ''Des lieux plans''. En 1638, il expose au public sa méthode des minima. Le 18 janvier, [[René Descartes|Descartes]] l'attaque dans une lettre à Mersenne sur sa passion, qu’il partage avec [[François Viète|Viète]], [[Marin Ghetaldi|Ghetaldi]] et [[Willebrord Snell|Snell]], de s'appliquer à restaurer les Grecs.

Quoiqu'il ne semble pas s'être rendu à Paris, ses amis mathématiciens le représentent auprès de Mersenne. Ce sont [[Jean de Beaugrand|Beaugrand]], [[Étienne Pascal]] et [[Gilles Personne de Roberval|Roberval]] qu'il charge de soutenir ses idées, lorsque, en 1640, il y a la première controverse avec Descartes au sujet de l'optique.

Il correspond avec [[Evangelista Torricelli|Torricelli]], [[Pierre de Carcavi|Carcavi]], [[John Wallis]], [[William Brouncker]], [[Bernard Frénicle de Bessy|Frénicle]]... Comme il demande systématiquement de démontrer par la preuve les théories qu'il avance, cette exigence ravive quelquefois l'ire des autres envers lui. N'écrit-il pas à Mersenne : {{Citation|''J'ay si peu de commodité d'escrire mes démonstrations, que je me contente d'avoir découvert la vérité et de sçavoir le moyen de la prouver, lorsque j'auray le loisir de le faire.''}}. Et à Roberval : {{Citation|''Je ne doute pas que la chose n'eût pu se polir davantage, mais je suis le plus paresseux de tous les hommes.''}}

L'année qui suit, Descartes provoque une nouvelle dispute à propos de la généralité de la méthode de Fermat (méthode ''de maximis et minimis'') à déterminer correctement les tangentes d'une [[courbe algébrique]]. Celle-ci se fait encore par la médiation de Mersenne. Roberval et Étienne Pascal, convaincus par la méthode de Fermat, même s'ils la maîtrisent mal, prennent son parti, tandis que Descartes est soutenu par [[Claude Mydorge]] et [[Claude Hardy]].

Pour mettre fin à la polémique, Fermat transmet à Descartes une lettre où il décrit plus précisément sa méthode<ref>Méthode ''de maximis et minimis'' expliquée et envoyée par M. Fermat à M. Descartes. (lettre incomplète)</ref>, lettre qui commence par ces mots :

{{Citation|''La méthode générale pour trouver les tangentes des lignes courbes mérite d'être expliquée plus clairement qu'elle ne semble l'avoir été.''}}

Descartes lui répond<ref group="F">Lettre du {{date|27|juillet|1638}} de Descartes à Fermat.</ref> :

{{Citation bloc|''Je n'ai pas eu moins de joie de recevoir la lettre par laquelle vous me faites la faveur de me promettre votre amitié, que si elle me venait d'une maîtresse dont j'aurais passionnément désiré les bonnes grâces.''}} […] {{Citation|''Et voyant la dernière façon dont vous usez pour trouver les tangentes des lignes courbes, je n'ai autre chose à y répondre, sinon qu'elle est très bonne et que si vous l'eussiez expliquée au commencement en celte façon, je n'y eusse point du tout contredit.''}}

Ainsi Descartes admet la pertinence de la méthode de Fermat, méthode qui deviendra par la suite le fondement du [[Différentielle|calcul différentiel]].
{{Article détaillé|Controverses du cartésianisme}}

=== Castres ===
[[Image:Gravure de Pierre de Fermat.jpg|vignette|160px|Gravure du [[musée Saint-Raymond]].]]
Mais en dépit de cette activité épistolaire et mathématique, Fermat remplit ses tâches de magistrat avec fidélité et assurance ; il achète, en 1637, une charge plus importante, celle de conseiller en la première chambre des enquêtes du parlement. Les [[lettres patentes]] sont signées le 30 décembre 1637<ref group="F">Ces lettres sont signées par de Beaugrand, sans prénom ; Tannery, Henry et Waard (tome 4 page 22, voir note suivante) ne précisent pas s'il s'agit de son protecteur [[Jean de Beaugrand]].</ref> et Fermat est installé le samedi 16 janvier suivant<ref name="PT">{{harvsp|Tannery|Henry|Waard|1912|id=T4|texte=Tannery, Henry et Waard 1912 (tome 4)|p=22}}.</ref>. Il est délégué pour servir à [[Castres]] cette année-là comme conseiller catholique à la [[Chambre de l'Édit (Castres)|chambre de l'Édit]], division du parlement composée de magistrats catholiques et protestants et chargée d'appliquer l'[[édit de Nantes]]<ref>[http://www.persee.fr/doc/bec_0373-6237_2000_num_158_1_451029_t1_0303_0000_3 Stéphane Capot, ''Justice et religion en Languedoc : la chambre de l'Édit de Castres'', Paris, 1998.]</ref>. Les nominations des magistrats catholiques sont faites pour un an et Fermat, qui apprécie notamment les discussions au sein de l'[[Académie de Castres]], y est nommé à nouveau en 1642, 1644, 1645, 1648 et 1649.

Des nombreuses lettres échangées avec l’érudit [[Jacques de Ranchin]], membre de la chambre de l'Édit de Castres et traducteur d'ouvrages grecs, il ne nous reste, hélas, qu'une seule lettre de la main de Fermat<ref>{{article|nom=Chabbert|prénom=Pierre|titre=Fermat à Castres|revue=Revue d'histoire des sciences et de leurs applications|année=1967|numéro=4|p.=337-348|url=http://www.persee.fr/web/revues/home/prescript/article/rhs_0048-7996_1967_num_20_4_2541}}</ref>. Par ailleurs, c'est à Castres, par l'[[Académie de Castres|Académie culturelle]], qu'il rencontre le médecin [[Polymathie|polymathe]] [[Pierre Borel]]. Celui-ci le présente à [[Claude Hardy]], autre polymathe parisien. Dans ces cercles d'érudits, il est courant qu'on s'adresse à Fermat pour éclaircir une traduction ou confirmer une citation. Ainsi a-t-on prétendu, avec vraisemblance, qu'il fut membre [[Académie des sciences, inscriptions et belles-lettres de Toulouse|des Lanternistes]]. Néanmoins, des études de 1858 tendent à montrer qu'il s'agit de son fils, Clément Samuel<ref name="EF"/>.

Ces activités littéraires et scientifiques ne l'empêchent pas pour autant de progresser dans sa carrière. En 1652, la peste qui ravage la France s'attaquera à lui, mais il y fera face et la combattra. Il exerce à partir de cette année-là à la ''Tournelle''<ref group="F">La Tournelle était la plus grande chambre de justice du [[Parlement (Ancien Régime)|parlement]], traitant les affaires pénales et ainsi nommée parce qu'elle se composait de magistrats qui y venaient siéger à tour de rôle. Réf. Luis Fernando Areán Alvarez et Sara Martinez (Trad.). Le théorème qui avait trois siècles d’avance sur son temps : Fermat. {{page|36}}.</ref>, et enfin, deux ans plus tard, à la Grand’chambre où il lit son premier rapport. Profond [[jurisconsulte]], Fermat semble avoir exercé ses fonctions de magistrat consciencieusement et avec jugement mais sans passion pour son emploi ; il n'est pas des amis de [[Gaspard de Fieubet]], le président du Parlement, et si un de ses amis de Castres, l'avocat [[Pierre Saporta]], affirme qu'il fut d'une grande intégrité dans les affaires du Palais, d'autres rapports sont plus sévères sur son activité en ce domaine. [[Jean-Baptiste Colbert|Colbert]] en particulier, dans un rapport secret sur la [[magistrature]] en juge ainsi : « Parlement de Toulouse : Fermat, personne très érudite, a commercé dans tous les domaines avec les sages, mais de manière assez intéressée. Plutôt mauvais orateur. ».

Parmi ses amis et ses correspondants de Toulouse et de Castres, on compte encore le père [[jésuite]] [[Antoine de Lalouvère|Lalouvère]] et le minime [[Emmanuel Maignan]], qui ont quelques connaissances mathématiques. Néanmoins, ses talents s'exercent généralement à côté de son travail de magistrat, au travers de ses lettres avec le Père Mersenne, et en 1654, au travers de sa correspondance avec [[Blaise Pascal]], puis en 1659 par ses échanges avec [[Pierre de Carcavi|Carcavi]] et la publication de sa « relation des nouvelles découvertes en la science des nombres » qui le font connaître comme un des mathématiciens les plus ingénieux de son temps.

=== Derniers travaux ===
[[Fichier:Fermat burial plaque.jpg|vignette|gauche|alt=En ces lieux le 13 janvier 1665 a été enseveli Pierre de Fermat conseiller a la chambre de l'Edit et mathématicien de grand renom célébré pour son théorème, a^n + b^n =/ c^n for n>2|Plaque posée place Jean-Jaurès, à [[Castres]], où Fermat a été enterré ; on y mentionne son [[dernier théorème de Fermat|« dernier » théorème]].]]
Pierre de Fermat, profond érudit, très créatif, publie pourtant très peu. Les grands écrits que l'on a retrouvés de lui sont des annotations dans des textes renommés tels l'''Arithmetica'' de [[Diophante]] et une partie de sa correspondance avec les scientifiques du {{s-|XVII|e}}, parmi lesquels [[Francis Bacon (philosophe)|Bacon]], dont il est un lecteur passionné. Tous deux partagent l’intense désir d'apporter de nouvelles idées « qui ne figuraient pas dans les livres ».

Fermat, vivant « avec enthousiasme le réveil de la science nouvelle » se plait, encore plus que ses correspondants, à lancer des défis mathématiques. Afin aussi de permettre au lecteur de poursuivre sa propre réflexion, il livre rarement davantage que quelques indices de ses solutions, à moins que la situation ne l’exige.

Il commente, en l'étendant, [[Diophante]], et rétablit avec une admirable sagacité plusieurs ouvrages perdus d'[[Apollonius de Perga|Apollonius]] et d'[[Euclide]]. Tant par sa vie, assez peu connue, que par la rareté de sa production, Fermat laisse après lui l'image d'un savant trop discret, dissimulant ses méthodes, et laisse le regret que quelques-unes se soient perdues avec lui. Ce n'est qu'en 1670 que [[dernier théorème de Fermat|son {{nobr|« dernier »}} théorème]] (mentionné dans une note marginale de son Diophante) est exposé au public.

Il publie en 1660, sans le signer de son nom, un important traité de géométrie, ''De linearum curvarum cum lineis rectis comparatione dissertatio geometrica''<ref>[https://fr.wikisource.org/wiki/%C5%92uvres_de_Fermat/I/Dissertation_M._P._E._A._S.#cite_ref-1 Wikisource, ''Œuvres de Fermat/I/Dissertation M. P. E. A. S.'']</ref>. En 1662 il publie son mémoire, écrit cinq ans plus tôt : ''Synthèse pour les réfractions''. Il s'oppose ainsi de façon définitive à Descartes, qui dans sa dioptrique, expliquait les lois de l'optique en comparant la lumière à une balle soumise à diverses forces. Fermat se base sur le [[Principe de Fermat|principe]] qui anime toute sa vie : « ''La nature agit toujours par les voies les plus courtes et les plus simples.'' » Les discussions reprennent avec les épigones du [[philosophe]] de [[Descartes (Indre-et-Loire)|La Haye]], Clerselier et Cureau de la Chambre. Élégant comme à son habitude, Fermat finit par abandonner la lutte, pourvu qu'on lui reconnaisse ses mérites de géomètre. La suite de l'histoire des sciences lui donnera raison.

Après 1660, sa santé devient chancelante. Le {{date-|9|janvier|1665}}, il fait le rapport d'une affaire à la chambre de l'Édit de Castres ; le 12 du même mois, il cesse de vivre. Il est enterré le 13 janvier, en présence de tous les magistrats catholiques du parlement, qui ont annulé les audiences du jour<ref>[http://archives.haute-garonne.fr/service_educatif/portraits/De_Fermat/fermat.html Archives départementales de la Haute-Garonne].</ref>. Son éloge par [[Charles Perrault]] est publié un mois après sa mort dans le ''Journal des Savants'' (le 7 février)<ref name="EF"/>. Dix ans après sa mort, la dépouille de Fermat est transférée et inhumée dans l'église du [[couvent des Augustins de Toulouse]]<ref>{{Harvsp|Luis Fernando Areán Alvarez|Sara Martinez|2018|p=149/153}}</ref>.

=== Après sa mort ===
Il ne reste après son décès qu'une importante correspondance dispersée dans toute l'Europe.<br>
Clément-Samuel, fils aîné de Pierre de Fermat, publie en 1670 une édition des ''[[Arithmétiques]]'' de [[Diophante d'Alexandrie|Diophante]] annotée par son père, puis en 1679 une série d'articles et une sélection de sa correspondance sous le nom de ''Varia opera mathematica''<ref>{{Ouvrage|langue=fr|prénom1=Pierre de|nom1=Fermat|titre=Varia Opera mathematica|sous-titre=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.|lieu=Toulouse|éditeur=Apud Joannem Pech|année=1679|lire en ligne=https://books.google.com/books?id=fvZaAAAAQAAJ}}</ref>{{,}}<ref>{{Ouvrage|langue=fr|prénom1=Pierre de|nom1=Fermat|titre=Varia Opera mathematica|sous-titre=Acceserunt selectae quaedam ejusdem epistolae, vel ad ipsum à plerique doctissimis viris Gallicè, Latinè, vel Italicè, de rebus ad Mathematicas disciplinas, aut physicam pertinentibus scriptae.|lieu=Toulouse|éditeur=Jean Pech|année=1679|lire en ligne=http://tolosana.univ-toulouse.fr/fr/notice/075570637}}</ref>. En 1839, [[Guglielmo Libri Carucci dalla Sommaja|Guglielmo Libri]] soustrait un certain nombre de manuscrits, dont une partie seulement sera récupérée. En 1840, tous ses théorèmes et conjectures, sauf le « dernier théorème », ont été traités.

[[Charles Henry]] et [[Paul Tannery]] publient, au début du {{s-|XX}}, les ''Œuvres de Fermat'' en quatre volumes ; un supplément sera ajouté par C. de Waard en 1922.

== Contributions ==
[[Fichier:Francois Viete.jpeg|vignette|170px|[[François Viète]].]]
Il partage avec Viète, dont il utilise les [[algèbre nouvelle|notations]]<ref group="F">La consultation de l’''Ad locos pianos et solidos isagoge'' montre, par exemple, que Fermat, son auteur, conservait pour l'essentiel la notation de [[François Viète|Viète]]. Réf. {{Ouvrage|langue=fr|prénom1=Jean-Louis|nom1=Gardies|titre=Du mode d'existence des objets de la mathématique|éditeur=Vrin|collection=Problèmes et controverses|année=2004|pages totales=152|passage=83|isbn=978-2-7116-1694-7|lire en ligne=https://books.google.com/books?id=ZTNQElKKbVYC&pg=PA83}}.</ref> et Descartes, avec qui il fut en conflit<ref>{{en}} [[W. W. Rouse Ball]], ''[http://www.maths.tcd.ie/pub/HistMath/People/Fermat/RouseBall/RB_Fermat.html A Short Account of the History of Mathematics]'', {{4e}} éd., 1908.</ref>{{,}}{{note|texte=Descartes prétendait que plus l’indice d’un milieu était grand plus la vitesse de la lumière y était élevée ; Fermat rectifia et Descartes l’attaqua sur sa théorie des tangentes<ref>{{article|nom=Michel Serfati|titre=Pour Descartes|sous-titre=Mathématiques et physique cartésiennes. Introduction|revue=Revue d’histoire des sciences|année=1998|numéro=2-3|p.=171-182|url=http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1998_num_51_2_1321}}</ref>.|group="F"}}{{,}}<ref>Adrien Baillet (1649-1706). [[s:La Vie de M. Descartes - Livre 4 Chapitre 8|Vie de René Descartes]]'' Voila ce que M De Fermat appelloit sa petite guerre contre M Descartes et ce que M Descartes appelloit son petit procez de mathématique contre M De Fermat''</ref>{{,}}<ref>{{Ouvrage|langue=fr|prénom1=Pierre-Simon de|nom1=Laplace|lien auteur1=Pierre-Simon de Laplace|titre=Exposition du système du monde|volume=2|éditeur={{Mme}} Veuve Courcier|année=1813|pages totales=457|passage=328|lire en ligne=https://books.google.com/books?id=02QSAAAAIAAJ&pg=PA328|consulté le=31/12/2014}}.</ref>{{,}}<ref>{{lien web|lang=en|titre=Analytical geometry and the problem of tangents|url=http://php.math.unifi.it/~archimede/archimede_NEW_inglese/mostra_calcolo/guida/node7.html|site=The Garden of Archimedes|consulté le=2024.2.16}}.</ref>, la gloire d'avoir appliqué l'algèbre à la [[géométrie]].

[[Jean Le Rond d'Alembert|d'Alembert]] voyait dans ses travaux la première application du [[différentielle|calcul infinitésimal]], jugement que partagèrent [[Louis François Antoine Arbogast|Arbogast]], [[Joseph-Louis Lagrange|Lagrange]] et [[Pierre-Simon de Laplace|Laplace]]<ref name="EF"/>. Il imagina, en effet, pour déterminer les tangentes, une méthode, dite ''de maximis et minimis'', qui le fait regarder comme le premier inventeur du calcul différentiel et le premier à utiliser des formules de [[dérivée|dérivation]] (cependant, les découvertes de l'[[école du Kerala]], en Inde, entre le {{XIVe s}} et le {{XVIe siècle}}, sont souvent considérées comme ayant anticipé ces résultats).

Fermat contribue dans son échange épistolaire avec [[Blaise Pascal]] à élaborer les bases du calcul des probabilités, une [[Histoire des probabilités#Début de la théorie des probabilités|mathématique du hasard]] que provoque l'étude du [[problème des partis]] du [[Antoine Gombaud|chevalier de Méré]]<ref>{{Article|prénom=Norbert|nom=Meusnier|titre=Fermat et les prémices d’une mathématisation du hasard|revue=[[Annales de la Faculté des Sciences de Toulouse]]|vol=18|numéro=S2|année=2009|p.=87-118|doi=10.5802/afst.1230|url=http://afst.cedram.org/cedram-bin/article/AFST_2009_6_18_S2_87_0.pdf}}, {{refinc|date=mai 2012|p. ?}}.</ref>. Mais sa contribution majeure concerne la [[théorie des nombres]] et les [[Équation diophantienne|équations diophantiennes]]. Auteur de plusieurs théorèmes ou conjectures dans ce domaine, il est au cœur de la « théorie moderne des nombres. »

Il est très connu pour deux « théorèmes » :
* le « [[petit théorème de Fermat]] » ;
* le « [[dernier théorème de Fermat]] » ; ce dernier n'était qu'une [[conjecture]] et l'est restée durant plus de trois siècles de recherches fiévreuses.

=== Querelles avec Descartes ===
{{Article détaillé|Controverses du cartésianisme}}
[[Fichier:Dioptrique figure 39.jpg|vignette|Une illustration de ''La Dioptrique'' de Descartes]]

==== Dioptrique ====
Descartes publie en 1637 son traité de la ''méthode'' et une dioptrique, dans laquelle il expose les [[Lois de Snell-Descartes]]. Celles-ci décrivent le comportement de la lumière à l'interface de deux milieux. L'énoncé de la loi des sinus est attribuée à Snell dans le monde entier (sauf en France){{refnec}} ; et il est possible que Descartes ait eu connaissance de celle établie auparavant par Snell ; le professeur Rivet, professeur de théologie en relation avec le [[Marin Mersenne|Père Mersenne]]<ref>Bernard Rochot, ''La correspondance scientifique du père Mersenne'', Paris : Palais de la Découverte, 1966.</ref>, pourrait fort bien l'avoir communiquée à Descartes, tout comme son ami [[Isaac Beeckman]], ancien élève de [[Willebrord Snell|Snell]].

Lorsqu'il tente de justifier cette loi, Descartes commet cependant quelques bévues. Considérant le trajet de la lumière comme celui d'une balle, la déviation qu'elle subit, il explique que dans un milieu plus dense, la vitesse en est accélérée. Cette explication (infirmée par [[Léon Foucault]]), sera fort justement critiquée par Fermat :

{{début citation}}[[Jean de Beaugrand]] ayant parcouru le manuscrit de la « dioptrique » se hâta de l'envoyer à Toulouse par la voye de Bordeaux, pour le faire lire à Monsieur De Fermat, conseiller au parlement de Languedoc, qui avait témoigné une passion plus qu'ordinaire pour voir ce qui viendrait de la plume de M Descartes.{{fin citation}} affirme [[Adrien Baillet]]. La réalité semble moins romanesque : consulté par Mersenne, Fermat décèle dans cette dioptrique deux erreurs importantes<ref name=Gregoire>Michèle Grégoire, « [http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1998_num_51_2_1329 La correspondance entre Descartes et Fermat] », ''Revue d'histoire des sciences'', vol. 51, {{n°}}2-3, 1998, {{p.|355-362}}</ref> ; il ne trouve pas convaincante « l'inclination au mouvement » par laquelle Descartes croit pouvoir expliquer les angles d'incidence des phénomènes de réfraction. Dans les raisons qu'il donne à ce que les milieux traversés ne s'opposent pas de la même façon au mouvement d'une balle et à celui de la lumière, Descartes prétend à la fois que le mouvement de la lumière est instantané et qu'elle va moins vite dans l'air que dans l'eau. En septembre 1637, Fermat rédige ses impressions à Mersenne. Il y relève la contradiction. Descartes, alerté, répond aussitôt à Mersenne :

{{citation bloc|''le défaut qu'il trouve en ma démonstration n'est qu'imaginaire et montre assez qu'il n'a regardé mon traité que de travers. […] et si vous aviez envie par charité de le délivrer de la peine qu'il prend de rêver encore sur cette matière…''}}

La querelle qui s'ensuit permet alors à Fermat de faire montre de rigueur et de sang-froid<ref name=Gregoire/> :

{{citation bloc| '' Ce n'est pas point par envie ni par émulation que je continue cette petite dispute, écrit-il à Mersenne, mais seulement pour découvrir la vérité; de quoi j'estime que M. Descartes ne me saura pas mauvais gré, d'autant plus que je connais son mérite très éminent, et que je vous en fais ici une déclaration très expresse''.}}

Pour autant, la querelle sur la dioptrique en reste là. Ce n'est qu'après la mort de Descartes, quinze ans plus tard, que Fermat parviendra à une formulation satisfaisante de son principe de durée minimale (Œuvres de Fermat, t. III, 149-156), expliquant le trajet de la lumière dans des milieux d'indices différents. C'est ainsi qu'il met à jour le ''[[principe de Fermat]]'', principe fondamental de l'optique géométrique qui décrit la forme du chemin optique d'un rayon lumineux et s'énonce ainsi :
la lumière se propage d'un point à un autre sur des trajectoires telles que la durée du parcours soit extrémale. Il permet de retrouver la plupart des résultats de l'optique géométrique, en particulier les lois de la réflexion sur les miroirs, les lois de la réfraction…
[[Fichier:Descartes2.jpg|vignette|[[René Descartes]].]]
==== Méthode des tangentes ====

À la fin de l'année 1637, Descartes reçoit de Mersenne l'essai de Fermat intitulé ''Methodus ad disquirendam maximám et minimam'' (voir [[adégalité]]), le philosophe reprend alors son « procès en mathématiques » contre monsieur Fermat en janvier 1638. Il écrit à Mersenne que son contradicteur propose dans sa règle de formation des tangentes, une reprise de la méthode dite de fausse position. Il lui reproche de raisonner par l'absurde (méthode de raisonnement qui passe à ses yeux pour « la façon de démontrer la moins estimée et la moins ingénieuse de toutes celles dont on se sert en Mathématiques »). Il vante sa propre méthode, tirée, selon ses mots, « d'une connaissance de la nature des équations » et qui suit, selon lui, « la plus noble façon de démontrer qui puisse être… »

[[Jean de Beaugrand]] publie alors un pamphlet pour défendre Fermat contre le S. des C. {{incise|c'est-à-dire : S(ieur) des C(artes)}}, sans mentionner donc les noms des protagonistes. Il expose les résultats de Fermat sur la détermination des tangentes. Il dénonce ceux, plus compliqués, de Descartes dont la méthode consiste à définir le [[cercle osculateur]] pour déterminer la tangente à partir de ce cercle.

[[Jean Itard (1902-1979)|Jean Itard]] lit dans les publications de Beaugrand la preuve de la supériorité de Pierre de Fermat dans la compréhension de la nature affine du problème des contacts<ref>{{Article|auteur=Jean Itard|titre=À propos d'un livre sur Pierre Fermat|périodique= Revue d'histoire des sciences|vol=27|numéro=4|année=1974|page=335-346|url=http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1974_num_27_4_1105}}, {{p.|340}}.</ref>. Selon ses mots, Fermat n'avait rien, ou presque, pour expliquer la nature affine de l'existence (et de la construction) des tangentes à une courbe ; car il ne s'agit pas d'un problème métrique. C'est pourtant ce qui le placera au-dessus de Descartes dans ce problème des tangentes où l'orthogonalité des axes de coordonnées n'est d'aucune importance. C'est ce que souligne Beaugrand dans son pamphlet anonyme.

=== Petit théorème de Fermat ===
{{Article détaillé|Petit théorème de Fermat}}
Si ''p'' est un [[nombre premier]] et ''a'' un [[entier naturel]] non divisible par ''p'', alors <math>{a^{p-1} \equiv 1\pmod{p}}</math>.

Voir aussi « [[Théorème d'Euler (nombres)|Théorème d'Euler]] », dont ce théorème est un cas particulier.

[[Gottfried Wilhelm Leibniz]] a rédigé en 1683 une démonstration qu'il ne publie pas.
[[Leonhard Euler]] a démontré le théorème en 1736 par les mêmes arguments. Il communique cette preuve le 2 août 1736 à l’Académie de Saint-Pétersbourg et publie cette [[Petit théorème de Fermat#Démonstration d'Euler et de Leibniz|première démonstration]] en 1741. Elle repose sur une récurrence et l'utilisation du développement du binôme.

Fermat n'a pas fourni sa démonstration ; le 18 octobre 1640<ref>{{Article |auteur1=Catherine Goldstein |titre=L'arithmétique de Pierre Fermat dans le contexte de la correspondance de Mersenne : une approche microsociale |périodique=[[Annales de la Faculté des Sciences de Toulouse]] |volume=XVIII |numéro=S2|année=2009 |pages=25-57 |doi=10.5802/afst.1228 |url=http://afst.cedram.org/cedram-bin/article/AFST_2009_6_18_S2_25_0.pdf|format=pdf}}.</ref>, il écrit à [[Bernard Frénicle de Bessy|Frénicle de Bessy]] :

{{citation bloc|Tout nombre premier mesure infailliblement une des puissances -1 de quelque progression que ce soit, et l'exposant de la dite puissance est sous-multiple du nombre premier donné -1… [...] 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.}}

{{Pas clair|date=décembre 2014|Une opinion sur le point de savoir si Fermat tenait une démonstration correcte peut dépendre de l'opinion qu'on adopte sur une autre question, à savoir si Fermat a prétendu ou non avoir démontré sa conjecture (erronée) sur les [[Nombre de Fermat|nombres qui portent son nom]].}}

Les méthodes de Fermat ont évolué avec le temps<ref>Jean Itard, « [http://www.persee.fr/web/revues/home/prescript/article/rhs_0048-7996_1950_num_3_1_2767 Les méthodes utilisées par Fermat en théorie des nombres] », ''Revue d'histoire des sciences et de leurs applications'', vol. 3, {{n°}} 1, 1950, {{p.|21-26}}.</ref> et il paraît difficile de reconstruire ce qu'a pu être son raisonnement.

=== Théorème des deux carrés de Fermat ===
{{Article détaillé|Théorème des deux carrés de Fermat}}

Le théorème général affirme : « Un entier est somme de deux carrés si et seulement si chacun de ses [[Théorème fondamental de l'arithmétique|facteurs premiers]] de la forme 4''k'' + 3 intervient à une puissance paire. »

[[Albert Girard]] l'énonce en 1625, dans sa première « traduction » des œuvres de Stevin<ref>{{Ouvrage|langue=en|prénom1=K. R.|nom1=Chowdhary|titre=Fundamentals of discrete mathematical structures|éditeur=Prentice Hall of India Learning Pvt. Ltd.|année=2008|mois=octobre|jour=30|pages totales=288|passage=261|isbn=978-81-203-3332-1|isbn2=81-203-3332-2|lire en ligne=https://books.google.fr/books?id=I4VCFaSk87QC&pg=PA261|consulté le=23 septembre 2010}} : « ''Fermat proved a speculation of Albert Girard that every prime number of the form 4n + 1 can be written in a unique way as the sum of two squares'' ».</ref>.

Dans le cas où le nombre est premier, Fermat énonce quinze ans après cette première formulation qu'« un nombre premier impair est la somme de deux carrés si, et seulement si, il est congru à 1 modulo 4. »

Les historiens des sciences s'accordent à penser que Fermat n'a pas lu Girard.

Afin de fournir la preuve de son théorème, Fermat met au point une méthode, dite de la descente infinie. Possède-t-il pour autant une preuve de son théorème<ref>{{harvsp|Tannery|Henry|Waard|1894|id=T2|texte=Tannery, Henry et Waard 1894 (tome 2)|p=441}}.</ref> ? Il déclare à Carcavi en août 1659 :
{{citation bloc|Lorsqu'il me fallut démontrer que tout nombre premier, qui surpasse de l'unité un multiple de 4, est composé de deux quarrés, je me trouvai en belle peine. Mais enfin une méditation diverses fois réitérée me donna les lumières qui me manquoient, et les questions affirmatives passèrent par ma méthode, à l'aide de quelques nouveaux principes qu'il y fallut joindre par nécessité.}}

Il laisse toutefois l'indication qui suit :
{{début citation}}Si un nombre premier pris à discrétion, qui surpasse de l'unité un multiple de 4, n'est point composé de deux quarrés, il y aura un nombre premier de même nature, moindre que le donné, et ensuite un troisième encore moindre, etc. en descendant à l'infini jusques à ce que vous arriviez au nombre 5, qui est le moindre de tous ceux de cette nature, lequel il s'ensuivroit n'être pas composé de deux quarrés, ce qu'il est pourtant. D'où on doit inférer, par la
déduction à l'impossible, que tous ceux de cette nature sont par conséquent composés de deux quarrés.{{fin citation}}

dont l'idée forte permit à Euler de donner, un siècle après, une preuve complète du théorème des deux carrés<ref> {{la}} [http://www.math.dartmouth.edu/~euler/correspondence/letters/OO0852.pdf Lettre CXXV] d'Euler à Goldbach, du 12 avril 1749.</ref>.

=== Théorème de Fermat sur les nombres polygonaux ===
[[Fichier:Capitole Toulouse - Salle Henri-Martin - Buste de Pierre de Fermat.jpg |vignette|Buste dans la salle [[Henri Martin (peintre)|Henri Martin]] du [[Capitole de Toulouse]].]]
{{Article détaillé|Théorème des nombres polygonaux de Fermat}}
Tout entier s'écrit :
* comme somme d'au plus 3 [[Nombre triangulaire|nombres triangulaires]]
* comme somme d'au plus 4 [[Carré parfait|nombres carrés]]
* comme somme d'au plus 5 [[Nombre pentagonal|nombres pentagonaux]]
* etc.
où les [[Nombre polygonal|nombres polygonaux]] sont construits comme suit :
* ''nombres triangulaires'' :<br /><math> 1 \ ; \ 3 \ (=1+2) \ ; \ 6 \ (=1+2+3) \ ; \ 10 \ (=1+2+3+4) \dots \ :</math> le n{{ème}} nombre triangulaire est égal à la somme des n premiers [[entier naturel|entiers naturels]] non nuls ;
* ''nombres carrés'' :<br /><math> 1 \ ; \ 4 \ (=1+3) \ ; \ 9 \ (=1+3+5) \ ; \ 16 \ (=1+3+5+7) \dots \ :</math> le n{{ème}} nombre carré est égal à la somme des n premiers entiers naturels impairs ;
* ''nombres pentagonaux'' :<br /><math>1 \ ; \ 5 \ (=1+4) \ ; \ 12 \ (=1+4+7) \ ; \ 22 \ (=1+4+7+10) \dots \ :</math> le n{{ème}} nombre pentagonal est égal à la somme des n premiers entiers naturels [[Congruence sur les entiers|congrus]] à 1 modulo 3 ;
* ''nombres polygonaux d'ordre m'' :<br /><math>1 \  ;  \ 1+(m-1) \  ;  \ 1+(m-1)+(2m-3) \  ;  \ 1+(m-1)+(2m-3)+(3m-5) \dots \ :</math> le n{{ème}} nombre polygonal d'ordre m est égal à la somme des n premiers entiers naturels congrus à 1 modulo (m-2).
 
Énoncé par Fermat, le théorème a d'abord été démontré dans le cas particulier des carrés, au {{s|XVIII}} par [[Joseph-Louis Lagrange]], à partir de résultats partiels obtenus par [[Leonhard Euler|Euler]]. [[Carl Gustav Jakob Jacobi|Jacobi]] en donna aussi une démonstration différente au début du {{s|XIX}}. [[Carl Friedrich Gauss|Gauss]] résolut le cas des nombres triangulaires (n=3) en [[1796]]. La démonstration générale a été donnée par Cauchy en 1813.

=== Dernier théorème de Fermat ===
{{Article détaillé|Dernier théorème de Fermat}}
[[Fichier:Diophantus-II-8-Fermat.jpg|vignette|Cette édition de 1670 de [[Diophante d'Alexandrie|Diophante]] reprend le texte de la note que Fermat avait écrite (en latin) en regard du problème II.VIII de Diophante, sur son exemplaire de l'édition de 1621 : « démonstration véritablement merveilleuse que cette marge est trop étroite pour contenir. »]]

{{énoncé|1=Il n'existe pas de nombres entiers strictement positifs ''x'', ''y'', ''z'' vérifiant l'équation ''x{{exp|n}} + y{{exp|n}} = z{{exp|n}}'' lorsque ''n'' est un entier strictement supérieur à 2.}}

Ce théorème<ref>Jusqu'à sa démonstration par Andrew Wiles en 1995, ce théorème, qui n'était jusqu'alors en fait qu'une conjecture, était appelé le plus souvent « dernier théorème de Fermat » et parfois « grand théorème de Fermat ».</ref> fut démontré par le mathématicien anglais [[Andrew Wiles]] de l'Université de Princeton, avec l'aide de [[Richard Taylor (mathématicien)|Richard Taylor]]. Après une première présentation en [[juin]] [[1993]], puis la découverte d'une erreur et un an de travaux supplémentaires, la preuve fut finalement publiée en [[1995]] dans ''[[Annals of Mathematics]]''<ref>[[Henri Darmon]], « [http://www.math.mcgill.ca/darmon/pub/Articles/Surveys/3.Quebec-Science/paper.pdf Le dernier théorème de Fermat] », 2007.</ref>.

Pierre de Fermat lui-même écrivit dans la marge de son exemplaire des Arithmétiques qu’il en avait découvert une démonstration vraiment remarquable, mais manquait de place pour la décrire :

{{début citation}}Au contraire, il est impossible de partager soit un cube en deux cubes, soit un bicarré en deux bicarrés, soit en général une puissance quelconque supérieure au carré en deux puissances de même degré : j'en ai découvert une démonstration véritablement merveilleuse que cette marge est trop étroite pour contenir.{{fin citation}}

Il semble assez improbable que Pierre de Fermat ait réellement réussi à démontrer ce théorème dans le cas général<ref>[[David Ruelle]], ''L'étrange beauté des mathématiques'', Odile Jacob, 2008, {{p.}} 53 {{lire en ligne|lien=https://books.google.fr/books?id=EChdv9mn7AAC&pg=PA53}}.</ref> ; en effet, la démonstration réalisée par [[Andrew Wiles]] (même si le dernier théorème de Fermat n'en est qu'un corollaire) utilise des outils mathématiques d'une grande complexité dont on ne semble guère pouvoir se passer. Compte tenu des connaissances de son époque, Fermat ne pouvait pas les soupçonner<ref group="F">C'est du moins le point de vue de Marco Panza dans ''Nombres : éléments de mathématiques pour philosophes'', ENS Éditions, 2007, {{p.|172}} {{lire en ligne|lien=https://books.google.fr/books?id=pFGQa70mK4YC&pg=PA171}}.</ref>{{,}}<ref group="F">Pour Laurent Hua et Jean Rousseau, seuls des lecteurs très optimistes peuvent penser que cette démonstration émergera d'un fatras de lettres jusqu'à ce jour non éditées.
Réf. ''Fermat a-t-il démontré son grand théorème?: l'hypothèse "Pascal" : essai'', Éditions L'Harmattan, 2002, {{p.|35}} {{lire en ligne|lien=https://books.google.fr/books?id=mwVV3Ne4dwcC&pg=PA35}}.</ref>.

=== Méthode de la descente infinie ===
Fermat est le promoteur d'une méthode de démonstration issue de l'Antiquité : la [[Méthode de descente infinie|descente infinie]]. Supposons qu'une proposition ''P'' dépendant d'un rang entier n (> 0) vérifie la propriété : « Si ''P'' est vraie à un rang quelconque ''r'', elle l'est à un certain autre rang ''q'' strictement inférieur à ''r'' ». Alors on peut conclure que ''P'' est fausse pour tout rang. En effet, pour tout ''r'', l'application récurrente de la propriété permet de construire une chaîne infinie de rangs décroissants ''r'' > ''q'' >...>... Or les rangs étant entiers positifs, la longueur de la chaîne ne peut pas être supérieure à ''r''.

La descente infinie peut être utilisée, par exemple, pour [[Démonstrations du dernier théorème de Fermat#Cas où n est égal à quatre|démontrer le cas particulier ''n'' = 4]] du dernier théorème de Fermat.

=== Principe de Fermat (optique) ===
{{article détaillé|principe de Fermat}}
Le trajet parcouru par la lumière entre deux points est toujours celui qui optimise le temps de parcours.

== Portrait du personnage ==
Il semble que son aversion envers les polémiques et les confrontations, son caractère conciliant et, peut-être, la raison le poussent à se consacrer à son passe-temps, les mathématiques, pour échapper aux conflits et aux ambiguïtés de sa vie professionnelle<ref group="F">Un jour, il eut à condamner au bûcher un prêtre révoqué qui {{citation|avait abusé de ses fonctions}}, ce qui, si l'on en croit sa correspondance, le plongea dans un grand trouble. Pendant plusieurs semaines, il fut incapable de se consacrer au problème mathématique qui l'occupait à ce moment-là. Réf. Luis Fernando Areán Alvarez et Sara Martinez (Trad). Le théorème qui avait trois siècles d’avance sur son temps : Fermat. {{page|36}}.</ref>. Toute sa vie, bourgeoise et provinciale, il conserve un lien étroit avec son village natal, Beaumont-de-Lomagne, où il préside à plusieurs reprises le conseil général. Deux de ses filles, Catherine et Louise, y sont baptisées, les {{date-|20|août|1641}} et {{date-|28|juin|1655}}. Fermat est un homme réservé, presque timide, très charitable, conciliant au point d'occuper un très haut poste au sein d'une institution plutôt opposée à la Couronne, en tant que représentant des intérêts régionaux, tout en ayant de bonnes relations avec la cour. Il confie à Mersenne qu'il ne recherche pas la gloire et qu'il est {{citation|dépourvu d'ambition}}. Cette affirmation est à nuancer. Il est clair que Fermat est fier de sa carrière au sein de la magistrature et des hauts postes qu'il a obtenus ; de même, il espère que ses travaux mathématiques lui apportent la reconnaissance. Mais cette ambition est, il est vrai, modeste. La reconnaissance de ses collègues lui suffit, il ne se soucie pas d'être admiré du grand public. Lorsqu'il constate que cette reconnaissance ne vient pas, il en est blessé, l'indifférence ou l'hostilité de certains de ses contemporains le déçoit. Cette personnalité explique peut-être pourquoi Fermat {{incise|{{citation|le plus paresseux des hommes}}, comme il se qualifie lui-même dans une lettre à Mersenne}} ne publie jamais sous son nom de son vivant et pourquoi il évite, dans la mesure du possible, de fournir des démonstrations des résultats qu'il annonce à ses correspondants. Convaincre les gens de la justesse de ses résultats ne fait pas partie de ses préoccupations. Le travail de démonstration lui semble être une perte de temps, qui serait mieux employé à découvrir de nouveaux résultats qu'à prouver rigoureusement ceux qui lui paraissent évidents<ref>{{Harvsp|Luis Fernando Areán Alvarez|Sara Martinez|2018|p=34/37-39}}</ref>.

== Fermat dans la culture populaire ==
[[Fichier:Beaumont-de-Lomagne - Monument à Fermat.jpg|vignette|Monument à Fermat à [[Beaumont-de-Lomagne]]]]
=== À Beaumont-de-Lomagne ===
Dans la ville natale de Fermat, l'association Fermat Science<ref>[http://www.museefermat.com/ Fermat Science].</ref> organise tout au long de l'année des manifestations culturelles autour des mathématiques et des sciences (conférences, ateliers, expositions, etc.)<ref>https://www.ladepeche.fr/2024/05/20/fermat-science-le-coup-denvoi-de-la-saison-sera-donne-le-samedi-25-mai-11961703.php</ref>{{,}}<ref>https://www.ladepeche.fr/2023/10/01/avec-lassociation-fermat-science-les-maths-sont-une-fete-11489816.php</ref>{{,}}<ref>https://www.lepetitjournal.net/82-tarn-et-garonne/2024/03/04/poemes-mathematiques-musicaux-et-autres/</ref>.

Depuis juillet 2024<ref>https://actu.fr/occitanie/beaumont-de-lomagne_82013/pres-de-toulouse-ce-musee-dedie-a-un-grand-scientifique-vient-d-ouvrir_61486869.html</ref>, le Musée Fermat rend hommage au mathématicien. Entre transmission et innovation, ce musée met à l'honneur les mathématiques et le patrimoine et propose des trésors cachés à travers des jeux et des expositions pour tous.

=== Cinéma ===
Dans le [[Cinéma espagnol|film espagnol]] de Luis Piedrahita et Rodrigo Sopeña ''[[La habitación de Fermat]]'' (La cellule de Fermat<ref>[http://www.cinemotions.com/modules/Films/fiche/32559/La-Cellule-de-Fermat.html La cellule de Fermat] sur le site de [[CinEmotions]].</ref>), cinq mathématiciens se retrouvent sur l'invitation anonyme d'un certain Fermat ([[Federico Luppi]]). Affublés de noms de mathématiciens célèbres, leurs pseudonymes pour la soirée, ils se voient soumettre par leur hôte une des dernières énigmes scientifiques de notre temps. Hilbert est un vieux chercheur, Pascal un ingénieur obnubilé par les applications commerciales ; Galois et ''Oliva'' sont deux jeunes génies… Arrivés dans leurs chambres, les mathématiciens comprennent qu'ils sont piégés. Ce thriller mathématique aux effets garantis n'entretient cependant qu'un lointain rapport avec Fermat ou la [[conjecture de Goldbach]].

=== D'autres occurrences ===
Un « contre exemple » au [[#Dernier théorème de Fermat|dernier théorème de Fermat]] se trouve illustré par un montage mettant en scène [[Homer Simpson]]<ref>[http://www.collegesherbrooke.qc.ca/~math/curiosite/simpson.php Les Simpsons font des maths], sur le site de [[CEGEP]] de [[Sherbrooke]].</ref> où apparaît l'égalité : 1 782{{exp|12}} + 1 841{{exp|12}} = 1 922{{exp|12}}. En réalité, l'égalité n'est pas vérifiée (la somme d'un nombre pair et d'un nombre impair n'est évidemment pas un nombre pair), mais la différence ({{nombre|700212234530608691501223040959}} ≈ 7 × 10{{29}}) est minime par rapport aux nombres en question (1 922{{exp|12}} ≈ 2,5 × 10{{exp|39}}) de manière que l'« égalité » soit vérifiée dans les 10 premières décimales. En particulier, cette différence n'est pas visible sur les calculatrices standard.

Dans le deuxième tome de ''[[Millénium (romans)|Millenium]]'' : ''[[La Fille qui rêvait d'un bidon d'essence et d'une allumette]]'', de [[Stieg Larsson]], Lisbeth dénoue le dernier théorème de Fermat en trois semaines.

Le roman ''[[Le Théorème du Perroquet]]'' de [[Denis Guedj]] publié en 1988, traite par la fiction du dernier théorème de Fermat et de l'[[histoire des mathématiques]]. On y lit un hommage à la méthode des minima, si injustement décriée par [[René Descartes]] :
{{début citation}}Avec soixante ans de retard, M. Ruche comprit ce que plus de trois siècles plus tôt Fermat avait compris : un arc infiniment petit d’une courbe peut être assimilé au segment correspondant de la touchante<ref>D. Guedj, ''Le théorème du perroquet'', Paris, Seuil, 2000 {{ISBN| 2-02-042785-0}}.</ref>.{{fin citation}}

Dans le [[roman historique]] ''La Conjecture de Fermat'' de [[Jean d'Aillon]], Louis Fronsac doit apporter à [[Blaise Pascal]] un imaginaire unique exemplaire de la démonstration du dernier théorème rédigée par Fermat. Les péripéties de sa mission amènent évidemment à la destruction du manuscrit.

Dans le roman ''Le Théorème de l'engambi'' de [[Maurice Gouiran]], la démonstration du dernier théorème entraîne une bande d'amis marseillais typiques dans des aventures pittoresques.

== Hommages ==
[[Fichier:Capitole Toulouse - Salle des Illustres - Fermat et sa muse - Théophile Barrau 1898.jpg|vignette|''Fermat et sa muse'', buste de [[Théophile Barrau]] (1898) dans la salle des Illustres au [[Capitole de Toulouse]]]]
* Le musée Musée Fermat de Beaumont de Lomagne, installé dans sa maison natale (labellisée maison des illustres par le Ministère de la Culture<ref>https://illustres.fr/fiche-illustres/maison-natale-de-pierre-de-fermat/</ref>) située au 3 rue de Pierre-de-Fermat à Beaumont-de-Lomagne, rend hommage au mathématicien<ref>https://www.radiototem.net/le-musee-fermat-de-beaumont-de-lomagne-entre-hommage-et-ode-aux-mathematiques</ref>.
* Une plaque est apposée sur sa maison natale.
* En [[1935]], l'[[Union astronomique internationale]] a donné le nom de [[Fermat (cratère)|Fermat]] à un [[Cratères lunaires|cratère lunaire]].
* Un bâtiment du [[Centre national d'études spatiales|CNES]] à Toulouse porte son nom<ref>{{Lien web|langue=fr|titre=Indiscrétion : Le Cnes réhabilitera le bâtiment Pierre de fermat de Toulouse (80 MF d'investissement).|url=https://www.ladepeche.fr/article/2000/05/19/544263-indiscretion-cnes-rehabilitera-batiment-pierre-fermat-toulouse-80-mf-investissement.html|site=ladepeche.fr|consulté le=2020-03-29}}</ref>.
* En [[1957]], sur proposition du maire de Toulouse [[Raymond Badiou]], le lycée des garçons de la ville, jusque-là sans nom, est renommé en son honneur [[lycée Pierre-de-Fermat]]<ref group="F">Situé parvis des Jacobins à Toulouse, le lycée des garçons fut fondé en 1806.</ref>. Un buste en Pierre de Fermat est présent à l'accueil du lycée.
* Le [[prix Fermat]] récompense la recherche en mathématiques, organisé par l'[[Institut de mathématiques de Toulouse]], il est établi en 1989 et décerné à tous les deux ans.
* Un [[Timbre postal|timbre poste]] du dernier théorème de Fermat a été émis par La Poste française en 2001, en commémoration du 400{{e}} anniversaire de sa naissance<ref>{{Harvsp|Luis Fernando Areán Alvarez|Sara Martinez|2018|p=149}}</ref>.
* La [[place Pierre-de-Fermat]] à [[Reims]].
* L'astéroïde [[(12007) Fermat]] porte son nom.
* Le 17 août [[2011]], [[Google]] célèbre la naissance de Pierre de Fermat en modifiant son logo pour un [[Tableau noir|tableau vert]] sur lequel est inscrite une formule mathématique<ref>{{Lien web|url=http://archive.wikiwix.com/cache/?url=http://www.canoe.com/techno/internet/archives/2011/08/20110817-165430.html|titre=Canoë - Techno-Sciences - Google rend hommage au mathématicien Pierre de Fermat}}.</ref>.
* Un [[Câblier|navire câblier]] de [[Orange Marine]], mis en service en 2014, a été baptisé le ''[[Pierre de Fermat (câblier)|Pierre de Fermat]]''<ref>[http://www.actunautique.com/article-un-nouveau-navire-cablier-pour-france-telecom-pour-compenser-la-perte-du-chamarel-117355366.html « Un nouveau navire câblier pour France Telecom pour compenser la perte du Chamarel »] sur le site ''actunautique.com''.</ref>.

== Bibliographie ==
* {{Ouvrage|prénom1=Paul|nom1=Tannery|lien auteur1=Paul Tannery|prénom2=Charles|nom2=Henry|lien auteur2=Charles Henry|prénom3=Cornelis de|nom3=Waard|lien auteur3=Cornelis de Waard|titre=Œuvres de Fermat, publiées sous les auspices du Ministère de l'instruction publique|lieu=Paris|éditeur=Gauthier-Villars et cie|année=1891-1922|format livre=5 vol. 23×29 cm|isbn=|lire en ligne=http://quod.lib.umich.edu/cgi/b/bib/bibperm?q1=abr8792}}
**{{Ouvrage|titre=Tome 1|lieu=Paris|éditeur=|année=1891|lire en ligne=https://archive.org/details/oeuvresdefermat01ferm|id=T1}}
** {{Ouvrage|titre=Tome 2|lieu=Paris|éditeur=|année=1894|lire en ligne=https://archive.org/details/oeuvresdefermat02ferm|id=T2}}
** {{Ouvrage|titre=Tome 3|lieu=Paris|éditeur=|année=1896|lire en ligne=https://archive.org/details/oeuvresdefermat03ferm|id=T3}}
** {{Ouvrage|titre=Tome 4|lieu=Paris|éditeur=|année=1912|lire en ligne=https://archive.org/details/oeuvresdefermat04ferm|id=T4}}
**''tome 5'', Paris, 1922 [https://fr.wikisource.org/wiki/Livre:%C5%92uvres_de_Fermat,_Tannery,_tome_5,_1922.djvu]
* {{Weil1}} (chap. II. Fermat and his correspondents)<!--à exploiter, cf. pdd, § Petit théorème-->
* {{Ouvrage|auteur1=Pierre Gairin|titre=Pierre Fermat et ses ascendants|lieu=Beaumont-de-Lomagne|éditeur=|année=n.d.|isbn=}}

== Voir aussi ==
=== Bibliographie complémentaire ===
{{Légende plume}}
<!--2 articles de Klaus Barner ajoutés par l'utilisateur Klaus Barner le 13 avril 2013-->
* {{Article|auteur=Klaus Barner|titre=Pierre Fermat : Sa vie privée et professionnelle|revue=Annales de la Faculté des sciences de Toulouse|volume={{XVII}}|numéro=spécial|année=2009|p.=119-135}}
* {{Article|auteur=Klaus Barner|titre=Fermat et l'affaire Delpoy|revue=Rechtsgeschichte – Zeitschrift des Max-Planck-Instituts für europäische Rechtsgeschichte|volume=12|année=2008|p.=74–101}}
* Émile Brassinne, ''Précis des œuvres mathématiques de P. Fermat et de l'Arithmétique de Diophante'', Toulouse, 1853 {{lire en ligne|url=https://gallica.bnf.fr/ark:/12148/bpt6k108039t}}
* Collectif (D. Foucault, J.-B. Hiriart-Urruty, J.-L. Laffont, Y. Le Pestipon, C.-A. Montiel, D. Montoliu, M. Mouranche, J. Poumarède et M. Spiesser), ''Pierre de Fermat l'énigmatique'', Université fédérale Toulouse Midi-Pyrénées, Éditions midi-pyrénéennes, 2017, 128 p. {{ISBN|979-10-93498-18-8}}
* André Dupuy, ''Pierre Fermat, un génie occitan'', association La Lomagne, Mémoire pour Demain, coll. « Connaissance de la Lomagne », 2002
* Paul Féron, ''Pierre de Fermat : un génie européen'' (avec le concours de Jacques Arlet, Henri Gilles, [[Georges Passerat]] {{et al.}}), Toulouse, Presses de l'Université des sciences sociales de Toulouse et Éditions toulousaines de l'Ingénieur, 2002, 224 p. {{ISBN|2-909628-83-3}}
* {{Ouvrage|langue originale=it|auteur1=[[Giulio Giorello]]|auteur2=Corrado Sinigaglia|traducteur=A. Masé, G. Idabouk {{et al.}}|titre=Fermat|sous-titre=De défis en conjectures|titre original=Pierre de Fermat, I sogni di un magistrato alle origini della matematica moderna|éditeur=[[Pour la science]]|collection=[[Les Génies de la science]]|numéro dans collection=32|année=2007|mois=octobre|pages totales=102|format=magazine|isbn=978-2-84245-091-5|présentation en ligne=http://www.pourlascience.fr/ewb_pages/e/espace-numerique-detail.php?art_id=22089&num=32}}
* [[Simon Singh]], ''Le dernier théorème de Fermat'' {{ISBN|2-7096-1854-0}} 
* {{Ouvrage|prénom1=Luis Fernando|nom1=Areán Alvarez|prénom2=Sara|nom2=Martinez|responsabilité2=Trad.|titre=Un théorème qui avait trois siècles d'avance sur son temps|sous-titre=Fermat|lieu=Barcelone|éditeur=RBA Coleccionables|année=2018|pages totales=159|isbn=978-84-473-9331-2|plume=oui}}

=== Articles connexes ===
{{Autres projets|commons=Category:Pierre de Fermat|wikisource=Pierre de Fermat}}
* [[Hôtel de Fermat]], sa maison natale
* [[Prix Fermat|Prix Fermat de recherche en mathématiques]]
* [[Nombre de Fermat]]
* [[Petit théorème de Fermat]]
* [[Dernier théorème de Fermat]]
* [[Principe de Fermat]]
* [[Mathématiques en Europe au XVIIe siècle|Mathématiques en Europe au {{s-|XVII}}]]
* [[Adégalité]]
* [[Quintuple diophantien]]
* [[Andrew Wiles]]
* [[Théorème des nombres polygonaux de Fermat]]

=== Liens externes ===
{{Liens}}
* [http://www.bibnum.education.fr/mathematiques/analyse/methode-pour-la-recherche-du-minimum-et-du-maximum Méthode de Fermat pour la recherche du minimum et du maximum], analysée par Jacques Bair et Valérie Henry sur le site ''[[BibNum]]''
* [https://www.bibnum.education.fr/mathematiques/fermat-et-la-factorisation-des-entiers Fermat et la factorisation des entiers], lettres de 1643 à Mersenne analysées par « blogdemath » sur le site ''BibNum''
* [https://museefermat.com/ Musée Fermat], exposition permanente
* {{MacTutor|id=Fermat}}
== Notes et références ==
=== Notes ===
{{references|group="F"}}
=== Références ===
{{Références}}

{{Portail|mathématiques|physique|optique|France du Grand Siècle|Tarn-et-Garonne|arithmétique et théorie des nombres|Toulouse}}

{{DEFAULTSORT:Fermat, Pierre de}}
[[Catégorie:Pierre de Fermat|*]]
[[Catégorie:Magistrat français du XVIIe siècle]]
[[Catégorie:Conseiller au parlement de Toulouse]]
[[Catégorie:Écrivain français de langue latine]]
[[Catégorie:Mathématicien français du XVIIe siècle]]
[[Catégorie:Philosophe français du XVIIe siècle]]
[[Catégorie:Physicien français du XVIIe siècle]]
[[Catégorie:Probabiliste]]
[[Catégorie:Personnalité de l'optique]]
[[Catégorie:Personnalité liée au Tarn]]
[[Catégorie:Personnalité liée à Toulouse]]
[[Catégorie:Étudiant de l'ancienne université d'Orléans]]
[[Catégorie:Date de naissance incertaine (XVIIe siècle)]]
[[Catégorie:Naissance en Gascogne]]
[[Catégorie:Décès en janvier 1665]]
[[Catégorie:Décès à Castres]]
[[Catégorie:Naissance à Beaumont-de-Lomagne]]
[[Catégorie:Éponyme d'un objet céleste]]