Pierre de Fermat
Pierre de Fermat, né dans la première décennie du Modèle:Lien siècleModèle:Vérification siècle<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 Modèle:S mini- siècleModèle:Vérification siècle 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. Modèle:Article. 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 Modèle:Date à Castres (département actuel du Tarn)<ref group="F">L'épitaphe du musée des Augustins de Toulouse stipule qu'il était âgé de 57 ans.</ref>,<ref name="SD">Modèle:Ouvrage.</ref>, est un magistrat, polymathe et surtout mathématicien français, surnommé « le prince des amateurs ». Il est aussi poète, habile latiniste et helléniste, et s'est intéressé aux sciences 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 n'a été établie que plus de 300 ans plus tard par le mathématicien britannique Andrew Wiles en 1994<ref>Modèle:Ouvrage</ref>.
Biographie
Origines familiales
Son père, Dominique Fermat, était un marchand aisé de Beaumont-de-Lomagne. Ce bourgeois et second 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 20 août 1601<ref>Modèle:Ouvrage, pièce justificative 3.</ref>, un autre le 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. Modèle:Lien brisé 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>Modèle:Harvsp</ref>.
La maison où est né le mathématicien (et qui abrite de nos jours l'office de tourisme) est bien identifiée : elle fut occupée, de 1577 à 1707, par quatre générations de Fermat<ref name="EF">Modèle:Ouvrage.</ref>. En revanche, on ignore où Pierre de Fermat a effectué ses études primaires. Par la suite, il suit des études de droit à Toulouse et à l'université d'Orléans, dont il sort bachelier de droit civil en 1631<ref>Modèle:Ouvrage.</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 Viète au travers d'un exemplaire prêté par son ami d'Espagnet. Selon les affirmations contenues dans ses lettres à 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é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 (paroisse Saint-Étienne), le Modè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 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>Modèle:Lien web</ref>.
Fermat ne rencontrera jamais François Viète, décédé en 1603, quand il n'a 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 Apollonius de Perge, De locis planis (Sur les lieux [géométriques] plans)<ref>Modèle:Harvsp</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
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, Descartes l'attaque dans une lettre à Mersenne sur sa passion, qu’il partage avec Viète, Ghetaldi et Snell, de s'appliquer à restaurer les Grecs.
Quoiqu'il ne semble pas être monté à Paris, ses amis mathématiciens le représentent auprès de Mersenne. Ce sont Beaugrand, Étienne Pascal et 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 Torricelli, Carcavi, John Wallis, William Brouncker, 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 : Modèle:Citation. Et à Roberval : Modèle:Citation
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 :
Descartes lui répond<ref group="F">Lettre du Modèle:Date de Descartes à Fermat.</ref> :
Modèle:Citation bloc […] Modèle:Citation
Ainsi Descartes admet la pertinence de la méthode de Fermat, méthode qui deviendra par la suite le fondement du calcul différentiel. Modèle:Article détaillé
Castres
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">Modèle:Harvsp.</ref>. Il est délégué pour servir à Castres cette année-là comme conseiller catholique à la chambre de l'Édit, division du parlement composée de magistrats catholiques et protestants et chargée d'appliquer l'édit de Nantes<ref>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>Modèle:Article</ref>. Par ailleurs, c'est à Castres, par l'Académie culturelle, qu'il rencontre le médecin 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 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, 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. Modèle:Page.</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. 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 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 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
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 Modèle:S mini- siècleModèle:Vérification siècle, parmi lesquels 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ât.
Il commente, en l'étendant, Diophante, et rétablit avec une admirable sagacité plusieurs ouvrages perdus d'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 Modèle:Nobr 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>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 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 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 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>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 fut transférée et inhumée dans l'église du couvent des Augustins de Toulouse<ref>Modèle:Harvsp</ref>.
Après sa mort
Il ne reste après son décès qu'une importante correspondance dispersée dans toute l'Europe.
Clément-Samuel, fils aîné de Pierre de Fermat, publie en 1670 une édition de l'Arithmetica de 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>Modèle:Ouvrage</ref>,<ref>Modèle:Ouvrage</ref>. En 1839, 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 Modèle:S mini- siècleModèle:Vérification siècle, les Œuvres de Fermat en quatre volumes ; un supplément sera ajouté par C. de Waard en 1922.
Contributions
Il partage avec Viète, dont il utilise les 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 Viète. Réf. Modèle:Ouvrage.</ref> et Descartes, avec qui il fut en conflit<ref>{{#invoke:Langue|indicationDeLangue}} W. W. Rouse Ball, A Short Account of the History of Mathematics, Modèle:4e éd., 1908.</ref>,Modèle:Note,<ref>Adrien Baillet (1649-1706). 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>Modèle:Ouvrage.</ref>,<ref>Analytical geometry and the problem of tangents sur le site The Garden of Archimedes (en)</ref>, la gloire d'avoir appliqué l'algèbre à la géométrie.
D'Alembert voyait dans ses travaux la première application du calcul infinitésimal, jugement que partagèrent Arbogast, Lagrange et 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érivation (cependant, les découvertes de l'école du Kerala, en Inde, entre le Modèle:S mini et le Modèle:Lien siècleModèle:Vérification 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 mathématique du hasard que provoque l'étude du problème des partis du chevalier de Méré<ref>Modèle:Article, Modèle:Refinc.</ref>. Mais sa contribution majeure concerne la théorie des nombres et les é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
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)Modèle: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 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 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 :
Modèle:Début citationJean 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.Modèle: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, « La correspondance entre Descartes et Fermat », Revue d'histoire des sciences, vol. 51, Modèle:N°2-3, 1998, Modèle:P.</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 :
La querelle qui s'ensuit permet alors à Fermat de faire montre de rigueur et de sang-froid<ref name=Gregoire/> :
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…
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. Modèle:Incise, 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 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>Modèle:Article, Modèle:P..</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
Modèle:Article détaillé 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 », 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 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>Modèle:Article.</ref>, il écrit à Frénicle de Bessy :
Les méthodes de Fermat ont évolué avec le temps<ref>Jean Itard, « Les méthodes utilisées par Fermat en théorie des nombres », Revue d'histoire des sciences et de leurs applications, vol. 3, Modèle:N° 1, 1950, Modèle:P..</ref> et il paraît difficile de reconstruire ce qu'a pu être son raisonnement.
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 facteurs premiers de la forme 4k + 3 intervient à une puissance paire. »
Albert Girard l'énonce en 1625, dans sa première « traduction » des œuvres de Stevin<ref>Modèle:Ouvrage : « 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>Modèle:Harvsp.</ref> ? Il déclare à Carcavi en août 1659 : Modèle:Citation bloc
Il laisse toutefois l'indication qui suit : Modèle:Début citationSi 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.Modèle: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> {{#invoke:Langue|indicationDeLangue}} Lettre CXXV d'Euler à Goldbach, du 12 avril 1749.</ref>.
Théorème de Fermat sur les nombres polygonaux
Modèle:Article détaillé Tout entier s'écrit :
- comme somme d'au plus 3 nombres triangulaires
- comme somme d'au plus 4 nombres carrés
- comme somme d'au plus 5 nombres pentagonaux
- etc.
où les nombres polygonaux sont construits comme suit :
- nombres triangulaires :
<math> 1 \ ; \ 3 \ (=1+2) \ ; \ 6 \ (=1+2+3) \ ; \ 10 \ (=1+2+3+4) \dots \ :</math> le ne nombre triangulaire est égal à la somme des n premiers entiers naturels non nuls ; - nombres carrés :
<math> 1 \ ; \ 4 \ (=1+3) \ ; \ 9 \ (=1+3+5) \ ; \ 16 \ (=1+3+5+7) \dots \ :</math> le ne nombre carré est égal à la somme des n premiers entiers naturels impairs ; - nombres pentagonaux :
<math>1 \ ; \ 5 \ (=1+4) \ ; \ 12 \ (=1+4+7) \ ; \ 22 \ (=1+4+7+10) \dots \ :</math> le ne nombre pentagonal est égal à la somme des n premiers entiers naturels congrus à 1 modulo 3 ; - nombres polygonaux d'ordre m :
<math>1 \ ; \ 1+(m-1) \ ; \ 1+(m-1)+(2m-3) \ ; \ 1+(m-1)+(2m-3)+(3m-5) \dots \ :</math> le ne 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 Modèle:Lien siècleModèle:Vérification siècle par Joseph-Louis Lagrange, à partir de résultats partiels obtenus par Euler. Jacobi en donna aussi une démonstration différente au début du Modèle:Lien siècleModèle:Vérification siècle. 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
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. 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, « 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 :
Modèle:Début citationAu 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.Modèle: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, Modèle:P. 53 Modèle:Lire en ligne.</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, Modèle:P. Modèle:Lire en ligne.</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, Modèle:P. Modèle:Lire en ligne.</ref>.
Méthode de la descente infinie
Fermat est le promoteur d'une méthode de démonstration issue de l'Antiquité : la 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émontrer le cas particulier n = 4 du dernier théorème de Fermat.
Principe de Fermat (optique)
Modèle:Article détaillé 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 Modèle:Citation, 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. Modèle:Page.</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 Modèle:Date- et Modèle:Date-. 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 Modèle:Citation. 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 Modèle:Incise 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>Modèle:Harvsp</ref>.
Fermat dans la culture populaire
À Beaumont-de-Lomagne
Dans la ville natale de Fermat, l'association Fermat Science<ref>Fermat Science.</ref> organise tout au long de l'année des manifestations éducatives (conférences, ateliers, expositions, etc.) dont depuis 2003<ref>« Quand les maths font la fête » in La Dépêche du Midi.</ref> une fête annuelle<ref>La Fête des Maths.</ref>,<ref>'La fête à Fermat' devient 'Fermat Science en Fête'.</ref>. La ville consacre par ailleurs une partie de son site au mathématicien<ref>Pierre Fermat sur le site de Beaumont-de-Lomagne.</ref>.
Cinéma
Dans le film espagnol de Luis Piedrahita et Rodrigo Sopeña La habitación de Fermat (La cellule de Fermat<ref>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 se trouve illustré par un montage mettant en scène Homer Simpson<ref>Les Simpsons font des maths, sur le site de CEGEP de Sherbrooke.</ref> où apparaît l'égalité : 1 78212 + 1 84112 = 1 92212. 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 (Modèle:Nombre ≈ 7 × 10Modèle:29) est minime par rapport aux nombres en question (1 92212 ≈ 2,5 × 1039) 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 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 : Modèle:Début citationAvec 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 Modèle:ISBN.</ref>.Modèle: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
- Une plaque est apposée sur sa maison natale située au 3 rue de Pierre-de-Fermat à Beaumont-de-Lomagne, actuellement occupée par l'office municipal du tourisme.
- En 1935, l'union astronomique internationale a donné le nom de Fermat à un cratère lunaire.
- Un bâtiment du CNES à Toulouse porte son nom<ref>Modèle:Lien web</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 poste du dernier théorème de Fermat a été émis par La Poste française en 2001, en commémoration du 400e anniversaire de sa naissance<ref>Modèle:Harvsp</ref>.
- La place Pierre-de-Fermat à Reims.
- Un 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 vert sur lequel est inscrite une formule mathématique<ref>Modèle:Lien web.</ref>.
- Un navire câblier de Orange Marine, mis en service en 2014, a été baptisé le Pierre de Fermat<ref>« Un nouveau navire câblier pour France Telecom pour compenser la perte du Chamarel » sur le site actunautique.com.</ref>.
Bibliographie
- Modèle:Ouvrage
- Modèle:Ouvrage
- Modèle:Ouvrage
- Modèle:Ouvrage
- Modèle:Ouvrage
- tome 5, Paris, 1922 [1]
- Modèle:Weil1 (chap. II. Fermat and his correspondents)
- Modèle:Ouvrage
Voir aussi
Bibliographie complémentaire
- Modèle:Article
- Modèle:Article
- Émile Brassinne, Précis des œuvres mathématiques de P. Fermat et de l'Arithmétique de Diophante, Toulouse, 1853 Modèle:Lire en ligne
- 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. Modèle:ISBN
- 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 Modèle:Et al.), Toulouse, Presses de l'Université des sciences sociales de Toulouse et Éditions toulousaines de l'Ingénieur, 2002, 224 p. Modèle:ISBN
- Modèle:Ouvrage
- Simon Singh, Le dernier théorème de Fermat Modèle:ISBN
- Modèle:Ouvrage
Articles connexes
- Hôtel de Fermat, sa maison natale
- 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 Modèle:S mini- siècleModèle:Vérification siècle]]
- Adégalité
- Quintuple diophantien
- Andrew Wiles
- Théorème des nombres polygonaux de Fermat
Liens externes
- 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
- Fermat et la factorisation des entiers, lettres de 1643 à Mersenne analysées par « blogdemath » sur le site BibNum
- Maison natale de Pierre de Fermat, exposition permanente
- Modèle:MacTutor
