DIOPHANTIENNES ÉQUATIONS
Le grand théorème de Fermat
Pierre de Fermat (1601-1665) fut un mathématicien d'une érudition extraordinaire (géométrie analytique, fondements du calcul infinitésimal, lois de l'optique, fondements du calcul des probabilités et surtout théorie des nombres). Malheureusement, presque tous ses théorèmes étaient donnés sans démonstration, car il était alors d'usage de proposer ses découvertes à la sagacité de ses interlocuteurs (avec en particulier une rivalité très vive entre géomètres anglais et géomètres français). Le théorème élémentaire de Fermat (ap − a est toujours divisible par p si p est premier), de même que toutes ses études sur les formes quadratiques et sur l'équation de Pell (appelée souvent Pell-Fermat) ont été vérifiés et établis par la suite, ainsi que toutes les propositions qu'il a affirmées, à l'exception de ce que l'on appelle le grand théorème de Fermat (on dit aussi le « dernier théorème de Fermat »).
Ce « théorème » consiste en la proposition suivante : Pour n ≥ 3, l'équation
Il suffirait d'établir ce théorème pour n = 4 et pour tout nombre premier p. Malheureusement, si la démonstration pour x4 + y4 = z4 est assez simple par la méthode de descente infinie, si Euler et Gauss traitent le cas de p = 3 de même, si Legendre en 1823 met au point le cas de p = 5 (par montée infinie), le théorème a été très difficile à établir dans sa généralité.
Pour n = 4, la démonstration de Frénicle (1676) repose sur la descente infinie dont le principe était donné par Fermat : raisonnant sur l'équation de Pythagore (x2)2 + (y2)2 = z2, on obtient, à partir de toute solution éventuelle (x0, y0, z0), une nouvelle solution où |z1| < |z0|, ce qui permet de conclure à l'impossibilité.
Notons aussi l'impossibilité de x4 + y4 = 2 z2, si x2 ≠ y2 (d'où l'impossibilité de trouver trois entiers dont les puissances quatrièmes soient en progression arithmétique de raison non nulle).
De même x4 + y4 = 3 z2 est impossible (comme x2 + y2 = 3 z2) et, d'une manière plus générale, x4 + y4 = kz2 est impossible pour 3 ≤ k ≤ 16, sauf k = 8 (études générales de Maillet en 1900).
Pour n = 3, la démonstration ébauchée par Euler en 1774 fut précisée par Gauss. Comme dans le cas général de n premier quelconque, la recherche se scinde en deux étapes : on montre d'abord l'impossibilité en nombres non divisibles par 3 ; pour cela, on déduit de x3 + y3 = z3 la congruence :
La dernière étape est plus délicate et repose sur une descente infinie : on suppose une solution de x3 + y3 = z3, avec |xyz| minimum et on pose :
Pour n = 5, la démonstration faite par Legendre en 1825 repose sur :
La mathématicienne Sophie Germain a établi que, si n est premier ainsi que (2 n + 1), il faudrait, pour que l'équation de Fermat soit vérifiée, que x, y ou z soit divisible par n. Ce résultat[...]
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jean-Louis COLLIOT-THÉLÈNE : chargé de recherche au C.N.R.S.
- Marcel DAVID : professeur à la faculté des sciences de Reims
- Encyclopædia Universalis : services rédactionnels de l'Encyclopædia Universalis
Classification
Média
Équation de Pythagore
Encyclopædia Universalis France
Autres références
-
PRIX ABEL 2020
- Écrit par Jean-François QUINT
- 1 824 mots
- 2 médias
Le prix Abel 2020 a été attribué conjointement à Hillel Furstenberg et Gregory Margulis « pour l'utilisation visionnaire de méthodes issues de la théorie des probabilités et de celles des systèmes dynamiques en théorie des groupes, théorie des nombres et combinatoire ».
Hillel...
-
ARITHMÉTIQUES (Diophante)
- Écrit par Bernard PIRE
- 188 mots
Diophante d'Alexandrie, parfois appelé le « père de l'algèbre », est connu par son ouvrage les Arithmétiques, qui traite des solutions des équations algébriques. On ne sait pratiquement rien de sa vie et ses dates de naissance et de mort sont très controversées. Les Arithmétiques...
-
BAKER ALAN (1939-2018)
- Écrit par Bernard PIRE
- 338 mots
Alan Baker, mathématicien britannique, lauréat de la médaille Fields en 1970 pour ses travaux en théorie des nombres, est né le 19 août 1939 à Londres. Il a fait ses études supérieures à l'University College de Londres puis au Trinity College de Cambridge où il soutient sa thèse de doctorat en...
-
CASSELS JOHN WILLIAM SCOTT (1922-2015)
- Écrit par Bernard PIRE
- 328 mots
Mathématicien britannique, spécialiste de la théorie des nombres. Né le 11 juillet 1922 à Durham, John William Scott Cassels est le fils du directeur de l'agriculture du comté de Durham dans le nord de l'Angleterre. Après des études secondaires et supérieures à Édimbourg (Écosse), il est admis en...
- Afficher les 16 références
