L’anecdote de la marge de Fermat et la résolution moderne du dernier théorème de Fermat
Le dernier théorème de Fermat constitue l’un des problèmes les plus emblématiques de l’histoire des mathématiques. Énoncé au XVIIᵉ siècle par Pierre de Fermat sous la forme d’une note marginale restée célèbre, il apparaît à côté d’un passage des Arithmetica de Diophante .
Fermat y écrit :
« Cubem autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere; cuius rei demonstrationem mirabile sane detexi. Hanc marginis exiguitas non caperet. »
Autrement dit, il affirme avoir trouvé une « démonstration véritablement merveilleuse », tout en ajoutant que « cette marge est trop étroite pour la contenir ».
Cet article analyse l’anecdote fondatrice, précise l’énoncé mathématique du problème, retrace les principales étapes de sa résolution et met en lumière sa portée épistémologique.


1. Introduction historique
Pierre de Fermat, magistrat et mathématicien du XVIIᵉ siècle, est connu pour ses contributions majeures à la théorie des nombres. Toutefois, sa renommée auprès du grand public repose largement sur une annotation manuscrite figurant dans son exemplaire de l’Arithmetica de Diophante. Dans cette note, Fermat affirme avoir découvert une démonstration générale d’un énoncé arithmétique, tout en ajoutant que la marge du livre est insuffisante pour la consigner.
Cette remarque, qui peut sembler anecdotique, a exercé une influence durable sur l’histoire des mathématiques. Elle a transformé un problème arithmétique apparemment élémentaire en un défi intellectuel majeur, mobilisant pendant plus de trois siècles des générations de mathématiciens.
2. Énoncé du dernier théorème de Fermat
L’énoncé moderne du dernier théorème de Fermat est le suivant :
Pour tout entier \(n>2\), l’équation diophantienne
\[x^n + y^n = z^n\]
n’admet aucune solution en entiers naturels non nuls.
Cet énoncé contraste avec le cas \(n=2\), correspondant à l’équation
\[
x^2 + y^2 = z^2
\]
qui possède une infinité de solutions entières, connues sous le nom de triplets pythagoriciens. La rupture brutale entre le cas quadratique et les exposants supérieurs constitue l’un des aspects les plus intrigants du problème.
3. Résultats partiels et méthodes classiques
Fermat lui-même démontra le cas \(n=4\) en utilisant la méthode de la descente infinie. Cette technique consiste à supposer l’existence d’une solution minimale et à en construire une plus petite, ce qui conduit à une contradiction.
Au cours des XVIIIᵉ et XIXᵉ siècles, plusieurs mathématiciens, notamment Euler, Legendre et Dirichlet, établirent la validité du théorème pour certains exposants particuliers. Toutefois, ces approches restaient essentiellement ad hoc et ne permettaient pas d’atteindre une preuve générale.
Cette situation mit en évidence les limites des méthodes arithmétiques classiques face à un problème dont la simplicité formelle masquait une profondeur structurelle considérable.
4. Reformulation moderne et changement de paradigme
Un tournant décisif se produisit au XXᵉ siècle avec l’émergence de la géométrie arithmétique. En 1985, Gerhard Frey observa que l’existence hypothétique d’une solution de l’équation de Fermat pour un exposant \(n>2\) permettrait de construire une courbe elliptique aux propriétés incompatibles avec certaines conjectures majeures.
Cette observation fut formalisée par le théorème de Ribet, qui établit un lien direct entre le dernier théorème de Fermat et la conjecture de Taniyama–Shimura–Weil. Dès lors, la démonstration du théorème de Fermat se trouvait ramenée à un problème de modularité des courbes elliptiques.
5. La démonstration de Wiles
En 1994, Andrew Wiles, en collaboration avec Richard Taylor, démontra un cas crucial du théorème de modularité. Cette preuve reposait sur des outils mathématiques sophistiqués, notamment :
- la théorie des représentations galoisiennes,
- les méthodes de déformation,
- et des techniques issues de la cohomologie.
La validité de ce résultat impliquait directement le dernier théorème de Fermat, fournissant ainsi la première démonstration complète et rigoureuse de l’énoncé formulé par Fermat plus de trois siècles auparavant.
6. Discussion épistémologique
L’anecdote de la marge de Fermat illustre de manière exemplaire l’écart entre intuition mathématique et rigueur démonstrative. Si Fermat disposait probablement d’arguments solides pour certains cas particuliers, la résolution générale du problème nécessita des structures conceptuelles entièrement absentes des mathématiques du XVIIᵉ siècle.
Le dernier théorème de Fermat apparaît ainsi comme un moteur de développement théorique plutôt que comme un simple problème isolé. Il témoigne de la manière dont un énoncé élémentaire peut catalyser l’émergence de domaines entiers des mathématiques modernes.
En définitive, même si le dernier théorème de Fermat a officiellement été démontré par Andrew Wiles en 1994, ce résultat continue de fasciner et de susciter des interrogations. En effet, malgré cette résolution moderne, certains pensent encore que Fermat avait peut-être trouvé, lui, une autre démonstration, différente et plus simple, comme il l’affirmait dans sa célèbre remarque. Ainsi, ce théorème ne représente pas seulement une grande victoire des mathématiques, mais aussi un mystère historique qui nourrit encore aujourd’hui la curiosité et l’imagination de nombreux chercheurs et passionnés.
- Fermat, P. de. Œuvres, éd. P. Tannery et C. Henry, Gauthier-Villars, Paris, 1891–1922.
- Weil, A. Number Theory: An Approach through History, Birkhäuser, 1984.
- Edwards, H. M. Fermat’s Last Theorem, Springer, 1977.
- Ribet, K. Inventiones Mathematicae, 100 (1990).
- Wiles, A. Annals of Mathematics, 141 (1995).