Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

19/11/2010

Dernier théorème de Fermat

Dernier théorème de Fermat

(Redirigé depuis Théorème de Wiles)
Travail de Diophante traduit du grec en latin par Claude-Gaspard Bachet de Méziriac. Cette édition du livre a été publiée en 1621. La page 85 contient le problème II.VIII de Diophante, et est la page sur laquelle Pierre de Fermat écrivit que la marge était trop petite pour contenir la démonstration.

En mathématiques, le dernier théorème de Fermat, ou théorème de Fermat-Wiles, est un théorème de la théorie des nombres qui s'énonce comme suit :

Théorème — Il n'existe pas de nombres entiers non nuls xy et z tels que :

x^n+y^n=z^n ,

dès que n est un entier strictement supérieur à 2.

Pour les valeurs de n inférieures ou égales à 2, il existe une infinité de solutions. Le cas n = 1 est évident. Le cas n = 2 admet notamment la solution classique 32 + 42 = 52. De manière générale, toutes les solutions pour n = 2 sont données par : x=2kml, y=k(m2-l2), z=k(m2+l2), où les nombres k, l et m satisfont les conditions: k entier, m>l, m et l de parités différentes. On appelle parfois ces entiers les triplets pythagoriciens. Cependant, dès que n est supérieur à deux, ce n'est plus possible.

Le théorème doit son nom à Pierre de Fermat qui écrivit en marge d'une traduction de l'Arithmetica de Diophante, à la suite de l'énoncé de ce problème1 :

« ... J’ai trouvé une merveilleuse démonstration de cette proposition, mais la marge est trop étroite pour la contenir. »

Après avoir été l'objet de fiévreuses recherches pendant près de 350 ans, n'aboutissant qu'à des résultats partiels, le théorème a finalement été démontré en 1993 par le mathématicien Andrew Wiles, en faisant appel à des outils très puissants de théorie des nombres : Wiles a prouvé un cas particulier de la conjecture de Shimura-Taniyama-Weil, dont on savait depuis quelque temps déjà, via les travaux de Yves HellegouarchGerhard FreyJean-Pierre Serre et Ken Ribet, qu'elle impliquait le théorème. La démonstration fait appel aux formes modulaires, aux représentations galoisiennes, à la cohomologie galoisienne, aux représentations automorphes, à la formule des traces…

La plupart des mathématiciens estiment aujourd'hui que Fermat s'est probablement trompé en croyant avoir démontré saconjecture. Cependant, rien n'interdit de penser qu'il a découvert une méthode ne faisant appel qu'aux mathématiques de son époque. Certes l'espoir qu'existe une méthode de cette nature est minime ; mais certains continuent à espérer qu'on parvienne un jour à en découvrir une.

Sommaire

 [masquer]

Méthode de la démonstration [modifier]

La démonstration d'Andrew Wiles s'appuie sur de nombreux travaux antérieurs et peut se résumer comme suit :

  1. Associer aux solutions de l'équation de Fermat une courbe elliptique particulière (Frey, reprenant des idées d'Hellegouarch),
  2. Démontrer que la courbe de Frey-Hellegouarch ne peut pas être paramétrée par des fonctions modulaires (Ribet, démontrant une conjecture de Serre),
  3. Démontrer que toute courbe elliptique – ou une classe suffisamment importante pour contenir celle de Frey-Hellegouarch – est paramétrée par des fonctions modulaires : C'est la conjecture de Shimura-Taniyama-Weil, si importante en théorie des nombres.

La contradiction qui en résulte montre que l'équation de Fermat ne peut avoir de solutions.

Les courbes elliptiques [modifier]

Une courbe elliptique est une courbe d'équation de la forme :

y2 + axy + by = x3 + cx2 + dx + e

Les coefficients a, b, c, d et e sont des éléments du corps sur lequel est définie la courbe. Pour qu'une telle courbe soit effectivement une courbe elliptique, il faut que la courbe ainsi définie ne soit pas singulière, c’est-à-dire qu'elle n'ait ni point de rebroussement, ni point double. Cette dernière condition s'exprime par le fait qu'un certain polynôme sur les coefficients, analogue à un discriminant, ne s'annule pas.

Si l'on prend l'exemple du corps des réels, alors l'équation d'une courbe elliptique définie sur le corps des nombres réels peut être mise sous une forme plus simple (dite équation de Weierstrass) :

y2 = x3 + ax + b.

Le discriminant de cette courbe est δ = − 16(4a3 + 27b2). S'il est non nul, la courbe est non-singulière, et donc est vraiment une courbe elliptique.

La courbe de Frey-Hellegouarch [modifier]

En 1984, Gerhard Frey, en reprenant des idées plus anciennes de Yves Hellegouarch, démontra que les solutions de l'équation de Fermat pour n > 2, permettaient de définir des courbes elliptiques semi-stables aux propriétés étranges ; ce sont les courbes d'équation :

y2 = x(x + An)(x − Bn),

où An + Bn = Cn est un contrexemple au théorème de Fermat.

Pour conclure, il suffit de montrer que la courbe elliptique ainsi définie a des propriétés trop bizarres pour pouvoir exister.

Comme dans d'autres situations en mathématiques, le fait d'intégrer le problème de Fermat dans un cadre apparemment beaucoup plus difficile constitue quand même une avancée, parce qu'on dispose alors de tout un outillage développé pour ce cadre.

La démonstration de Kenneth Ribet [modifier]

En 1986, après pratiquement deux ans d'effort, l'Américain Kenneth Ribet réussit à démontrer une grande partie de la conjecture epsilon de Jean-Pierre Serre, dont une des conséquences est que la courbe de Frey-Hellegouarch n'est pas paramétrable par des fonctions modulaires.

Il ne restait plus qu'à démontrer la conjecture de Shimura-Taniyama-Weil : « Toute courbe elliptique est paramétrable par des fonctions modulaires ».

Conjecture de Shimura-Taniyama-Weil [modifier]

La conjecture de Shimura-Taniyama-Weil précise que les courbes elliptiques peuvent toujours être associées (ou paramétrées ou dérivent) à des fonctions spéciales dites modulaires (généralisation des fonctions trigonométriques).

Pour démontrer cette conjecture, Andrew Wiles utilisa les notions mathématiques suivantes :

La démonstration complète pour les courbes elliptiques semi-stables a été publiée en 1995 dans Annals of Mathematics.

Remarques [modifier]

Ce théorème n'a aucune application en soi : c'est par les idées qu'il a fallu mettre en œuvre pour le démontrer, par les outils qui ont été mis en place pour ce faire, qu'il prend une telle valeur. L'article Démonstrations du dernier théorème de Fermat montre quelques exemples d'outils découverts et utilisés pour la résolution de ce problème.

On peut également comprendre ce théorème graphiquement en considérant la courbe d'équation : xn + yn = 1. Si n > 2, alors cette courbe ne passe par aucun point à coordonnées rationnelles non nulles.

L'usage voulant qu'on donne à un théorème le nom de celui qui en a apporté la démonstration, l'appellation de « théorème de Fermat » ne se justifie pas à proprement parler. Il faudrait parler soit d'une « conjecture de Fermat », soit du « théorème de Wiles ».

Ce théorème n'a pas vraiment de relation avec le théorème de Pythagore. L'objet du théorème de Pythagore est de donner une caractérisation géométrique des triangles pythagoriciens, c'est-à-dire dont les longueurs des côtés forment un triplet pythagoricien, ces triplets étant eux-mêmes les solutions de l'équation de Fermat dans le cas n = 2. L'analogie avec le théorème de Fermat est donc la question de l'existence de triplets pythagoriciens, et la question de leur interprétation géométrique est nettement une autre question. Néanmoins, Fermat s'est évidemment inspiré de la notion de triplet pythagoricien : sa conjecture est en effet notée en marge d'un exposé de Diophante sur les triplets pythagoriciens.

Notes [modifier]

  1.  La note de Fermat est écrite en latin :
    « Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos ejusdem nominis fas est dividere : cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet »
    . Attention, il existe une deuxième version de ce texte, sensiblement différente, que l'on peut trouver page 61 de la réédition de 1670 de l’ARITHMETICA, réédition supervisée par le fils de Fermat :
    «  CVbum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos Ch generaliter nullam in infinitum vltra quadratum potestatem in duos eius-dem nominis fas est diuidere cuius rei demontrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet. »
    La traduction en est donc forcément différente et les codes et doubles sens de l'original apparaissent.

Bibliographie [modifier]

Articles connexes [modifier]

19:04 Publié dans Dernier théorème de Fermat | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook