Les mathématiques sont souvent perçues comme un domaine de nombres froid et abstrait, très éloigné de l’expérience humaine. Cependant, comme le démontre Simon Singh dans son livre fondateur de 1997, Le dernier théorème de Fermat, la recherche de preuves mathématiques est une saga profondément humaine, remplie d’obsessions, de tragédies, de sociétés secrètes et de triomphe ultime.
Près de trois décennies après sa publication, l’ouvrage de Singh reste une exploration définitive de ce que signifie rechercher la vérité absolue à travers la logique.
Le pouvoir de la preuve absolue
L’histoire ne commence pas par des équations complexes, mais par le concept fondamental de preuve mathématique. Singh utilise Pythagore pour illustrer cette distinction. Alors que de nombreuses civilisations travaillaient avec des triangles, Pythagore était révolutionnaire parce qu’il ne s’appuyait pas sur des essais et des erreurs ; il a utilisé une logique incontestable pour prouver que son théorème ($x^2 + y^2 = z^2$) était vrai pour chaque triangle rectangle.
Cette distinction est vitale : en science, les théories peuvent être mises à jour avec de nouvelles données, mais en mathématiques, un théorème prouvé est une certitude éternelle. Cette quête de la « connaissance absolue » est ce qui anime les mathématiciens présentés dans le récit de Singh.
Le mystère « marginal » de Fermat
Le drame central tourne autour de Pierre de Fermat, juge français et brillant mathématicien du XVIIe siècle. Fermat a joué avec l’équation de Pythagore. Il a supposé que même si $x^2 + y^2 = z^2$ avait des solutions entières infinies, l’équation échoue pour toute puissance supérieure. En d’autres termes :
Si $n > 2$, alors $x^n + y^n = z^n$ n’a pas de solutions entières.
En 1637, Fermat griffonna dans la marge d’un livre qu’il avait trouvé une preuve « vraiment merveilleuse », mais nota que la marge était trop étroite pour la contenir. Cette affirmation impertinente et non documentée a déclenché une obsession intellectuelle de 350 ans, laissant des générations de mathématiciens à la recherche d’un fantôme.
Un casting de tragédies et de triomphes mathématiques
Singh donne vie à l’histoire des mathématiques en dressant le profil des individus brillants, souvent imparfaits, pris dans l’ombre de Fermat :
- Sophie Germain: Une pionnière qui a dû travailler sous un pseudonyme masculin pour contribuer au domaine.
- Évariste Galois : Un révolutionnaire dont la vie a été écourtée par un duel, laissant derrière lui une œuvre révolutionnaire.
- Yutaka Taniyama : Un mathématicien dont les idées ont jeté les bases de la solution finale, mais qui s’est tragiquement suicidé.
Le point culminant du livre se concentre sur Andrew Wiles, le mathématicien qui a finalement déchiffré le code en 1994. Wiles y est parvenu en construisant un pont logique entre deux domaines apparemment sans rapport : les courbes elliptiques et les formes modulaires. Cette connexion n’était pas seulement une solution à un seul problème ; c’était une validation d’une vision mathématique beaucoup plus large.
Le Grand Dessein : Le programme Langlands
La signification de la preuve de Wiles s’étend bien au-delà de la conjecture spécifique de Fermat. Il a fourni les premières preuves du programme Langlands, une grande vision architecturale en mathématiques proposée par Robert Langlands en 1967.
Le programme de Langlands suggère que toutes les branches disparates des mathématiques sont profondément interconnectées. La théorie est qu’en trouvant ces « ponts », un problème qui semble insoluble dans un domaine peut être résolu en utilisant les outils spécialisés d’un autre. Le succès de Wiles a prouvé que ces connexions sont réelles, ouvrant la voie à des avancées modernes, telles que les avancées de 2024 dans l’analyse harmonique.
Conclusion
Le dernier théorème de Fermat est plus qu’une histoire d’équation ; c’est un témoignage de la volonté humaine de comprendre la structure sous-jacente de la réalité. En traitant les preuves mathématiques comme des œuvres d’art, Singh révèle que la recherche de la logique est, en son cœur, une entreprise humaine profonde et belle.
