Récemment en colle d'arithmétique j'ai posé la question suivante :

Soient x, y, z trois entiers vérifiant

Montrer qu’au moins un parmi eux est divisible par 3.

La solution que j'attendais de l'élève n'est pas compliquée (faire une preuve par l'absurde en étudiant l'équation modulo 9) mais depuis 1994 cette question classique semble devenue obsolète — enfin, je ne sais pas vraiment car je ne comprends pas la preuve du théorème de Wiles-Fermat... Qui peut donc m'éclaircir et me dire si la preuve de Wiles utilise ou non le résultat de cette innocente question de colle ?

Explication pour les non-matheux

Dans le 17ème siècle Pierre de Fermat écrivit sur la marge d'un livre que si n est un nombre entier strictement plus grand que 2 alors il n'existe pas de nombres entier non-nuls x, y, z vérifiant

.

Il ne donna pas de preuve et écrivit seulement J’ai trouvé une merveilleuse démonstration de cette proposition, mais la marge est trop étroite pour la contenir.
Pendant 300 ans les mathématiciens ont cherché une preuve de cette conjecture de Fermat, mais en vain. C'est seulement en 1994 qu'Andrew Wiles a réussi de la prouver ! Désormais la conjecture de Fermat est devenu le théorème de Fermat-Wiles. Sa preuve utilise des techniques très avancées. On est convaincu aujourd'hui que la preuve mentionnée par Fermat, celle qui était trop longue pour la marge, était eronnée.

Si on utilise le théorème de Fermat-Wiles la question de colle devient trivial. En effet, si trois entiers vérifient l'équation, alors au moins un parmi eux est nul et donc divisible par 3.

Pour revenir à l'histoire de ce théorème : à mon avis elle est typique à plusieurs titres pour la recherche en mathématiques :

• D'abord l'équation de Fermat est une généralisation d'une autre que tout le monde connaît, à savoir l'équation de Pythagore a²+b²=c². Il existe des entiers non-nuls qui la vérifient, par exemple 3²+4²=5² ; c'est-à-dire on peut construire un triangle rectangle de côtés entiers.
• L'énoncé du théorème de Fermat-Wiles est tellement simple que tout collégien peut le comprendre mais sa démonstration est tellement difficile que seulement quelques spécialistes la comprennent.
• L'énoncé n'a aucune application dans les sciences et ne possède, à ma connaissance, même pas de conséquences importantes en mathématiques. Son seul intérêt est sa beauté.
• Des générations de mathématiciens ont cherché à prouver cette conjecture. Ils l'ont fait pour l'honneur de l'esprit humain, sans penser à des applications, mais les outils mathématiques qu'ils ont développés ont fait avancer toute la science.
• Les ordinateurs ne peuvent jamais démontrer une telle conjecture car il faudrait tester l'équation sur une infinité de nombres ; ils peuvent seulement la rendre plausible.

Ajourd'hui quelques lignes pour illustrer que le cerveau n'est pas le seul organe actif des matheux...

• Les topologistes le font discrètement.
• Les topologistes le font de manière ouverte.
• Les topologistes le font avec du caoutchouc.
• Les couples de topologistes le font en se rendant connexes.
• (les logiciens le font) ou NON (les logiciens le font).
• Les algébristes le font en groupe ou en anneau.
• Les algébristes le font avec leur corps.
• Les algébristes le font associativement.
• Les algébristes le font en s'inversant.
• Les algébristes le font en se multipliant.
• Les analystes le font continûment.
• Les analystes le font sur un support compact.
• Les experts en théorie de la mesure le font presque partout.
• Les experts en équations différentielles le font suivant les conditions initiales.
• Les experts en théorie des ensembles le font avec application.
• Les experts en combinatoire le font de toutes les manières possibles.
• Les mathématiciens le font une infinité de fois s'il peuvent le faire une fois et ensuite une fois de plus.

• Cantor le faisait en diagonale.
• Fermat essayait de le faire dans la marge mais n'avait pas assez de place.
• Galois l'a fait la nuit juste avant.
• Möbius le faisait toujours du même côté.
• Klein l'avait simultanément dedans et dehors.
• Cauchy le faisait avec un ami (Schwarz, Lipschitz, Riemann).
• Markov le faisait à la chaîne.
• Archimède le faisait dans sa baignoire.
• Newton tomba dans les pommes.
• Bourbaki le faisait dans un cas particulier du théorème 10.2.5 en utilisant subtilement le lemme 7.3.2.

Deux contrepèteries

• Nul n'est jamais assez fort pour ce calcul !
• Mon prof de maths a montré Bézout.

Une réciproque
The duchess: "Excuse me that I am late, but I was so fucking busy and vice versa."

Recommandation bibilographique : Ces blagues m'ont été envoyées par email au fil des années. Mais il existe même des livres sur ce sujet. Le lecteur qui souhaite s'y approfondir se plonger avec profit dans l'ouvrage de référence Je fais des maths comme un(e) cochon(ne) de Gérard-Olivier Maitry publié en 2008.