Équation diophantienne

Édition de 1670 des Arithmétiques de Diophante.

Une équation diophantienne, en mathématiques, est une équation dont les coefficients sont des nombres entiers et dont les solutions recherchées sont également entières. Le terme est aussi utilisé pour les équations à coefficients rationnels. Les questions de cette nature entrent dans une branche des mathématiques appelée arithmétique.

Si l'expression du problème posé est parfois simple, les méthodes de résolution peuvent devenir complexes. Carl Friedrich Gauss, un mathématicien du XIX^e siècle, disait des problèmes de cette nature : « Leur charme particulier vient de la simplicité des énoncés jointe à la difficulté des preuves^[1]. »

Certaines équations diophantiennes ont demandé pour leur résolution les efforts conjugués de nombreux mathématiciens sur plusieurs siècles. Gauss se plaignait « des efforts démesurés que lui a coûté la détermination d'un signe d'un radical dans la théorie des nombres ; bien d'autres choses ne l'ont pas retenu autant de jours que cette question l'a retenu d'années^[2]. » Le dernier théorème de Fermat est un exemple archétypal, il est conjecturé par Pierre de Fermat et résolu en 1994 par Andrew Wiles après 357 ans d'efforts de la part de nombreux mathématiciens.

L'intérêt de la résolution de questions de cette nature réside rarement dans l'établissement d'un théorème clé pour les mathématiques, la physique ou les applications industrielles, même s'il existe des contre exemples comme la cryptologie, qui fait grand usage du petit théorème de Fermat. Leur analyse amène le développement d'outils mathématiques puissants dont l'usage dépasse le cadre de l'arithmétique. Les formes quadratiques sont à cet égard exemplaires. La richesse et la beauté formelle des techniques issues de la résolution d’équations diophantiennes fait de l'arithmétique la branche « reine des mathématiques » pour David Hilbert^[2].

Ce type d'équation doit son nom au mathématicien grec Diophante d'Alexandrie, un mathématicien vivant à une date incertaine, probablement autour du III^e siècle. Il est l'auteur d'un traité, Arithmétiques, étudiant des questions de cette nature.

Arithmétique élémentaire

Si les questions diophantiennes deviennent rapidement difficiles, il existe certaines exceptions résolubles avec un minimum d'outils théoriques et une démonstration courte et simple.

Identité de Bézout

Article détaillé : Théorème de Bachet-Bézout.

Claude-Gaspard Bachet de Méziriac propose une méthode de résolution de l'identité de Bézout.

Quelques techniques élémentaires permettent de résoudre une première famille d'équations diophantiennes^[3]. Un exemple est donné par l'équation linéaire du premier degré à deux indéterminées $x, y$ et trois paramètres entiers $a, b, c$ :

ax + by = c.

Cette équation porte le nom d'identité de Bézout, du nom du mathématicien qui a généralisé ce résultat aux polynômes^[4]. Sa résolution n'utilise que la division euclidienne et l'algorithme d'Euclide. Cette identité possède un double statut. Elle correspond à une équation diophantienne et représente un des piliers soutenant l'édifice de l'arithmétique élémentaire. Le lemme d'Euclide se démontre à l'aide de cette identité et le théorème fondamental de l'arithmétique à l'aide du lemme d'Euclide. Le théorème fondamental permet de déterminer les propriétés des opérateurs plus grand commun diviseur et plus petit commun multiple ainsi que celles des nombres premiers entre eux.

Théorème de Wilson

Article détaillé : Théorème de Wilson.

Un exemple d'équation diophantienne utilisant ces outils pour sa résolution est le théorème de Wilson. Il correspond à la résolution de l'équation suivante, le signe ! désignant la fonction factorielle :

(x - 1)! + 1 = yx.

Les seuls entiers $x > 1$ vérifiant cette équation sont les nombres premiers.

Triplet pythagoricien

Article détaillé : Triplet pythagoricien.

Le lemme d'Euclide permet de venir à bout de la recherche des triplets pythagoriciens, c'est-à-dire des triplets $(x, y, z)$ de nombres entiers vérifiant l'équation :

x^2 + y^2 = z^2.

Ces mêmes techniques permettent de montrer que l'équation suivante, correspondant au dernier théorème de Fermat pour $n$ = 4, n'a pas de solutions autres que celles qui vérifient $xyz$ = 0. Cette équation diophantienne correspond à^[5] :

x^4 + y^4 = z^4.

Petit théorème de Fermat

Article détaillé : Petit théorème de Fermat.

Pierre de Fermat (1601 - 1665) est l'auteur de nombreuses découvertes sur les équations diophantiennes.

Pierre de Fermat consacre une large part de ses recherches mathématiques à la résolution de questions diophantiennes. Il découvre le petit théorème de Fermat qu'il exprime de la manière suivante : « Tout nombre premier mesure infailliblement une des puissances –1 de quelque progression que ce soit, et l'exposant de la dite puissance est sous-multiple du nombre premier donné –1… »^[6]. En terme diophantien, il offre une réponse partielle à l'équation suivante, où $a$ désigne un entier et $p$ un nombre premier :

a^x - 1 = yp.

Le petit théorème de Fermat indique que $p$ – 1 est une valeur possible pour $x$ . Ce résultat possède de nombreuses applications. Il permet de construire des grands nombres premiers, comme ceux de Mersenne, correspondant à l'équation suivante où $y$ est recherché parmi les nombres premiers :

2^x - 1 = y.

Il est relativement aisé de montrer que $x$ est alors aussi un nombre premier. Cette question diophantienne permet de trouver les plus grands nombres premiers connus en 2008^[7]. Fermat s'intéresse à une équation analogue, permettant de construire d'autres nombres premiers portant maintenant son nom. Ici $y$ est encore recherché dans les nombres premiers^[8] :

2^{2^x} + 1=y.

À cette occasion, Fermat commet la seule conjecture fausse qu'on lui connaisse. Il imagine que tout nombre de Fermat est premier : « Si je puis une fois tenir la raison fondamentale que 3, 5, 17, etc. sont nombres premiers, il me semble que je trouverai de très belles choses en cette matière, car j'ai déjà trouvé des choses merveilleuses dont je vous ferai part »^[9]. Presque un siècle s'écoule avant que Leonhard Euler (1707 - 1783) présente^[10] un diviseur du cinquième nombre de Fermat. Il ne dévoile la construction de sa preuve^[11] que quinze ans plus tard. Elle correspond exactement aux travaux de Fermat, ayant permis de démontrer^[12] en 1640 la non-primalité de deux nombres de Mersenne.

L'intérêt du petit théorème de Fermat ne se limite pas à l'étude de la primalité de nombres entiers. Il permet aussi de résoudre certaines équations, la suivante est un exemple où $p$ désigne un nombre premier^[13] :

x^2 - py + 1 = 0.

Elle correspond à une étape de la résolution de l'équation suivante :

x^2+y^2=p.

Si cette équation est résolue pour $p$ premier, il devient relativement aisé de la résoudre pour $p$ un entier positif quelconque. La résolution de cette équation se fonde sur un résultat nommé théorème des deux carrés de Fermat et dont la première preuve connue est l'œuvre d'Euler^[14]. Ce mathématicien généralise le petit théorème en apportant une réponse de même nature que celle de Fermat à l'équation suivante, ici $a$ et $b$ désignant deux entiers premiers entre eux :

a^x-1=yb.

Ce résultat est connu sous le nom de théorème d'Euler.

Autres techniques

Joseph-Louis Lagrange (1736 - 1813) introduit les formes quadratiques pour étudier des équations diophantiennes comme les généralisations du théorème des deux carrés de Fermat.

Joseph-Louis Lagrange cherche à généraliser des équations diophantiennes déjà traitées dans des cas particuliers. L'équation du théorème des deux carrés devient, si $n$ désigne un entier sans facteur carré et $p$ un nombre premier :

(1) \quad x^2 + ny^2 = p.

Pour cela, il étudie les formes quadratiques à deux variables, c'est-à-dire les fonctions φ, dépendant de trois paramètres entiers $a,b,c$ , qui à un couple $(x,y)$ associent^[15] :

\varphi (x,y) = ax^2 + bxy + cy^2.

Il cherche à savoir quelle forme linéaire est équivalente à quelle autre. Equivalente signifie en termes modernes qu'un changement de base dans ℤ² (ℤ désigne l'ensemble des nombres entiers) permet de passer d'une forme à une autre. Cette démarche lui permet de résoudre l'équation (1) dans le cas où $n$ est égal à 1, 2, 3 ou 5^[16]. Le cas général reste hors de portée.

Une autre généralisation de cette équation est résolue à l'aide de cette méthode, elle consiste à trouver le plus petit nombre de carrés nécessaire pour trouver au moins une solution pour tout entier positif. La réponse est 4, elle correspond à l'équation suivante :

x^2 + y^2 + z^2 + t^2 = n \quad \text{avec}\quad n \in\N.

Le théorème des quatre carrés de Lagrange affirme que pour toute valeur de $n$ , cette équation admet une solution. Edward Waring (1736 - 1798) généralise la question sous le nom de problème de Waring qui s'exprime de la manière suivante. Combien faut-il de termes dans une somme de puissances k^ièmes pour obtenir tous les entiers positifs ?

L'équation (1), pour une valeur donnée de $n$ , impose de résoudre pour la même valeur du paramètre $n$ et pour $p$ un nombre premier quelconque, l'équation :

(2) \quad x^2 - py + n = 0.

Pour chaque valeur de $n$ , il est souvent relativement simple de trouver la liste des nombres premiers admettant une solution pour l'équation (2). L'expression de la solution générale est conjecturée par Euler^[17], mais sa démonstration échappe aux arithméticiens du XVIII^e siècle^[18].

Lagrange s'intéresse à une autre question, déjà soulevée par Fermat 150 ans plus tôt et par Diophante dans l'antiquité. Elle correspond à l'équation dite de Pell-Fermat. Si $n$ est un entier sans facteur carré, elle s'écrit :

(3) \quad x^2 - ny^2=m.

Cette question est objet d'étude par les mathématiciens indiens si $m$ est égal à 1. La méthode dite de chakravala permet de trouver les solutions^[19] avec une grande efficacité. Bhāskara II (1114 – 1185 ?) l'utilise pour $n$ égal à 61 et trouve la solution $x$ = 1 766 319 049 et $y$ = 226 153 980. Fermat redécouvre cette méthode et la démontre selon les critères de rigueur de l'époque. Lagrange trouve une autre méthode, fondée sur les fractions continues. Elle permet aussi de trouver une infinité de solutions pour toutes valeurs de $n$ , la démonstration du fait que toutes les solutions sont bien atteintes pour $m$ = ±1 est enfin démontrée, le cas général reste néanmoins hors de portée^[20].

Arithmétique modulaire

Article détaillé : Arithmétique modulaire.

Carl Friedrich Gauss (1777 - 1855) est à l'origine d'une approche structurelle d'étude d'équations diophantiennes. Ces méthodes portent maintenant le nom d'arithmétique modulaire.

Si quelques cas particuliers se traitent avec les méthodes élémentaires, en revanche les solutions générales restent inabordables. Aucun des trois cas d'équations diophantiennes quadratiques à deux indéterminées, n'est traité dans le cas général. Ils correspondent soit à une ellipse avec l'équation (1) du paragraphe précédent, soit à une parabole avec l'équation (2), soit à une hyperbole avec l'équation (3). Les méthodes de l'arithmétique élémentaire ne sont pas assez puissantes.

En 1801, Gauss propose l'usage d'une nouvelle approche^[21] maintenant appelée arithmétique modulaire. Elle consiste, en termes modernes, à user d'une démarche structurelle. Des ensembles sont munis d'opérations, une addition et parfois une multiplication. Les structures, c'est-à-dire l'ensemble et ses opérations sont étudiées dans un cadre général, permettant d'obtenir des théorèmes au vaste champ d'application. Cette démarche permet de simplifier les résolutions d'équations diophantiennes déjà connues, de résoudre des cas particuliers nouveaux et même d'établir des solutions générales, par exemple pour l'équation (2).

Groupe abélien fini

Article détaillé : Groupe abélien fini.

Leopold Kronecker établit le théorème décrivant la structure d'un groupe abélien fini.

Il est possible de considérer le quotient de l'anneau ℤ par $n$ ℤ ; l'élément générique de cette structure est la classe de tous les entiers ayant même reste par la division euclidienne par $n$ . Les éléments de cette structure s'additionnent et se multiplient. L'étude du quotient apporte une formulation plus simple de certaines équations diophantiennes. Le petit théorème de Fermat s'écrit, si $p$ est un nombre premier et $a$ un entier non nul^[22] :

a^{p-1} \equiv 1 \mod p.

Si $n$ est un nombre premier, alors l'ensemble des éléments non nuls forment un groupe abélien non seulement fini, mais aussi cyclique. L'égalité précédente devient une conséquence directe du théorème de Lagrange sur les groupes. Si $n$ n'est pas premier, l'ensemble (ℤ/ $n$ ℤ)* des éléments inversibles de ℤ/ $n$ ℤ forme encore un groupe abélien fini, offrant ainsi une démonstration simple de la généralisation d'Euler du petit théorème de Fermat. La structure générale d'un groupe abélien fini, élucidée par le théorème de Kronecker, n'est démontrée que bien plus tard, en 1870^[23]. Ce formalisme simplifie aussi la démonstration du théorème de Wilson.

La résolution de l'équation (2) revient au problème suivant, au signe près :

x^2 \equiv n \mod p.

Cette équation admet une solution non nulle si et seulement si $n$ est élément du sous-groupe des carrés de (ℤ/ $p$ ℤ)*. L'étude des morphismes de ce groupe dans celui des racines de l'unité des nombres complexes permet à Gauss de résoudre l'équation (2) dans toute sa généralité. Ce résultat est connu sous le nom de loi de réciprocité quadratique^[24]. C'est la première famille d'équations quadratiques entièrement résolue, elle correspond au cas parabolique^[25].

Anneau euclidien

Article détaillé : Anneau euclidien.

Une autre structure, permettant de résoudre des équations diophantiennes, est au cœur de l'arithmétique modulaire : celle d'anneau euclidien. Un anneau est un ensemble munis d'une addition et d'une multiplication compatibles entre elles. Parfois, il est possible de définir une division euclidienne. Un tel anneau dispose de tous les théorèmes de l'arithmétique élémentaire : l'identité de Bézout, le lemme d'Euclide et le théorème fondamental de l'arithmétique s'appliquent encore.

Gauss étudie l'ensemble des nombres de la forme $a + i b$ où $a$ et $b$ désignent deux nombres entiers et $i$ l'une des deux racines carrées complexes de –1. L'ensemble forme un anneau euclidien dont les éléments portent le nom d'entier de Gauss. Travailler sur cet anneau simplifie la résolution de certaines équations diophantiennes comme celle des deux carrés^[26]. Il existe d'autres anneaux euclidiens de cette nature. Gotthold Eisenstein étudie ceux de la forme $a + j b$ où $a$ et $b$ désignent encore deux nombres entiers et $j$ la racine cubique de l'unité dont la composante imaginaire est strictement positive. Un tel nombre est appelé entier d'Eisenstein. Cet anneau est le cadre d'une résolution de l'équation (1) pour $n$ égal à trois^[27].

Il permet aussi de résoudre le dernier théorème de Fermat pour $n$ égal à trois^[28]. Cette résolution reprend les grandes lignes d'une tentative d'Euler de résolution de cette question. En revanche, le mathématicien utilisait l'anneau des nombres de la forme $a + i \sqrt 3 b$ ^[29]. Il supposait que l'anneau considéré est euclidien, ce qui n'est pas le cas et invalidait sa démonstration. En effet, le nombre quatre possède deux décompositions en facteurs irréductibles, ce qui est impossible dans un anneau euclidien :

4 = 2\times 2 = (1+{\rm i}\sqrt 3)\times(1-{\rm i}\sqrt 3).

L'anneau des entiers de ℚ(√5) est également Euclidien. Il peut être utilisé pour une preuve du grand théorème de Fermat pour $n$ égal à 5.

Théorème de la progression arithmétique

Article détaillé : Théorème de la progression arithmétique.

Johann Peter Gustav Lejeune Dirichlet, pour établir le théorème de la progression arithmétique, utilise de nouvelles techniques, fondatrice de la théorie analytique des nombres.

Une équation diophantienne pose une question dont la réponse est déjà conjecturée par Gauss et Legendre. Si $a$ et $b$ sont deux entiers premiers entre eux, elle prend une des deux formes suivantes, toutes deux équivalentes :

x = ay + b \quad \text{ou}\quad x \equiv b \mod a.

Les solutions recherchées sont celles où $x$ est un nombre premier. La conjecture affirme qu'il existe une infinité de valeurs de $x$ satisfaisant l'équation.

Dirichlet parvient à démontrer ce résultat^[30] en 1837. La démonstration utilise l'arithmétique modulaire à travers l'étude des morphismes du groupe multiplicatif de ℤ/ $a$ ℤ dans ℂ. Il généralise l'analyse harmonique sur un groupe abélien fini entamée par Gauss avec les sommes et périodes de Gauss qui ne traitaient que le cas où $a$ est un nombre premier. Dirichlet s'inspire des découvertes de Joseph Fourier (1768 - 1830) sur ses séries. Charles Gustave Jacob Jacobi (1804 - 1851) dit de lui : « En appliquant les séries de Fourier à la théorie des nombres, Dirichlet a récemment trouvé des résultats atteignant les sommets de la perspicacité humaine »^[31].

Sa démonstration est remarquable au sens où elle ne se limite pas au simple usage de techniques algébriques. Il reprend les travaux d'Euler sur un produit infini, trouvé à la suite de l'étude du problème de Mengoli^[32] et qui établit le résultat suivant, si $P$ désigne l'ensemble des nombres premiers :

\prod_{p \ \in P} \frac 1{1- p^{-2}} \ = \ \sum_{n=1}^{+\infty} \frac1{n^2} = \frac {\pi^2}6.

La démonstration ouvre la porte à une nouvelle arithmétique, faisant aussi usage de l'analyse et maintenant appelée théorie analytique des nombres.

Théorie algébrique des nombres

Article détaillé : Théorie algébrique des nombres.

Quatorze ans plus tard, le succès de Dirichlet est suivi par une tentative réussie de Gabriel Lamé (1795 - 1870) pour résoudre le cas $n$ égal à 7 du dernier théorème de Fermat. Une fois encore les techniques modulaire sont à l'œuvre, la structure clé est encore un anneau euclidien^[33]. Mais la complexité de la preuve montre que la démarche n'est pas généralisable.

Ainsi, l'arithmétique modulaire permet de véritables avancées, mais la résolution générale de famille d'équations reste très généralement hors de portée. Cette remarque est valable pour le dernier théorème de Fermat ainsi que pour les équations quadratiques. En effet, s'il est possible de trouver une infinité de solution à l'équation (3), personne ne sait démontrer si l'ensemble des solutions est exhaustif ou non. Enfin l'équation (1) reste inabordable dans le cas général. Une famille d'anneaux représentent des bons candidats pour aller plus loin ; ils sont constitués d'entiers algébriques.

Entier algébrique

Article détaillé : Entier algébrique.

Cette figure illustre le groupe des unités de l'anneau des entiers de ℚ(√5). Ici ω désigne l'élément (1 + √5)/2.

Plusieurs exemples d'anneaux d'entiers algébriques ont déjà été observés dans cet article : les entiers de Gauss, d'Eisenstein ou celui des entiers de ℚ(√5). Une démarche plus générale consiste à étudier un corps quadratique c'est-à-dire le plus petit sous-corps de ℂ (l'ensemble des nombres complexes) contenant les racines d'un polynôme de degré deux. Un entier quadratique est un élément de ce corps qui est racine d'un polynôme unitaire (le monôme de degré 2 a pour coefficient 1) et à coefficients dans ℤ. Les entiers quadratiques forment un anneau inclus dans le corps quadratique.

À certains égards, les exemples utilisés sont exceptionnels. Dans le cas général, deux obstructions demandent d'aménager les résultats de l'arithmétique modulaire pour permettre de résoudre des équations diophantiennes. Une fois la structure de ces obstructions comprises, les équations de type (1) et (3) peuvent être traitées.

La première est mise à jour par Dirichlet. Pour les entiers quadratiques, elle ne concerne que les cas où les éléments sont tous inclus dans l'ensemble des nombres réels, on parle de corps quadratique totalement réel. Le groupe des unités, est l'ensemble des éléments inversibles de l'anneau. Il devient infini sur un corps quadratique totalement réel. L'équation (3) revient à trouver tous les éléments du groupe des unités de l'anneau. Le théorème des unités de Dirichlet donne la structure d'un tel groupe, sans se limiter aux extensions associées aux polynômes de degré deux. Dans le cas d'un corps quadratique totalement réel, il est isomorphe au groupe additif ℤ/2ℤ × ℤ. Graphiquement, l'illustration de gauche montre que les éléments se situent sur quatre branches d'hyperboles. Toute solution de l'équation de Pell-Fermat correspond à un couple de racines inverse l'une de l'autre. Les fractions continuées permettent de déterminer une racine primitive du groupe des unités, c'est-à-dire que cette racine génère toutes les autres. La compréhension de la structure de cette obstruction montre que la méthode de Lagrange permet effectivement de trouver toutes les solutions de l'équation (3) et clôt la question^[34].

La deuxième obstruction concerne la décomposition en facteurs premiers d'un entier algébrique. Elle est unique dans le cas des anneaux euclidiens, principaux ou factoriels. Cette propriété, exprimée par le théorème fondamental de l'arithmétique, est l'un des fondements de l'arithmétique élémentaire ou modulaire. Elle n'est plus vérifiée dans le cas d'un anneau d'entiers algébriques. Ernst Kummer interprète cette réalité comme un défaut de nombres premiers, c'est parce qu'il en manque que l'unicité de la décomposition disparaît. Il a l'idée d'enrichir l'anneau de nombres idéaux pour remplacer les nombres premiers manquants^[35]. Richard Dedekind (1831 - 1916) donne à cette théorie son formalisme moderne. Il met en évidence en 1876 que les nombres idéaux de Kummer se formalisent simplement à l'aide du concept d'idéal, un sous-groupe de l'anneau stable par multiplication par un élément quelconque. Il reprend à cette occasion le vocabulaire de Kummer, tout en modifiant le formalisme. Les nombres premiers idéaux correspondent en fait à des idéaux premiers non principaux^[36]. Grâce à la notion d'idéal fractionnaire, il trouve un équivalent du théorème fondamental : tout idéal se décompose de manière unique en un produit d'idéaux premiers. Il reste alors à déterminer la structure des idéaux premiers principaux et non principaux. À l'aide d'un groupe quotient d'idéaux par des idéaux principaux, il définit le théorème clé, à savoir que ce quotient, appelé groupe des classes d'idéaux est un groupe abélien fini^[37]. Dans les cas simples, comme celui des anneaux d'entiers quadratiques, ce résultat permet de déterminer les idéaux premiers non principaux et par la même occasion de résoudre l'équation (3) dans le cas général^[38].

Corps cyclotomique

Article détaillé : Corps cyclotomique.

Ernst Kummer (1810 - 1893) démontre en 1847 le dernier théorème de Fermat pour tout nombre premier régulier.

Si le formalisme moderne venant à bout de la deuxième obstruction est l'œuvre de Dedekind et date de la fin du XIX^e siècle, une partie non négligeable du travail mathématique provient des travaux de Kummer du milieu du siècle. Sa préoccupation est la généralisation de la loi de réciprocité quadratique ainsi que le dernier théorème de Fermat.

La démonstration du cas $n$ = 7 de Lamé se fonde encore sur l'anneau des entiers algébriques d'un corps quadratique. L'impossibilité de réponse générale fondée sur l'étude des entiers quadratiques poussent Lamé et Kummer à étudier d'autres corps de nombres, c'est-à-dire que plus petit sous-corps de ℂ contenant toutes les racines d'un polynôme. Ils choisissent tous deux les polynômes cyclotomiques, c'est-à-dire les polynômes unitaires de degré minimal ayant pour racine une racine de l'unité. Le corps de nombre associé est appelé « corps cyclotomique ». De tels corps possèdent de multiples « bonnes propriétés ». Le polynôme cyclotomique est à coefficients dans ℤ^[39] ainsi une racine de l'unité est toujours un entier algébrique. Un corps cyclotomique reste plus longtemps principal et, si tel est le cas, l'anneau des entiers vérifie le théorème fondamental de l'arithmétique. Ainsi, les anneaux d'entiers algébriques des corps cyclotomiques d'indice 5, 7, 11, 13, 17 et 19 sont principaux. Cette observation pousse Lamé^[40] à présenter une solution qu'il croit générale au grand théorème de Fermat en 1847. Kummer est plus prudent ; il a déjà démontré trois ans plus tôt que pour l'indice 23, l'anneau n'est pas principal^[41].

Le formalisme utilisé dans cet article est celui en vigueur actuellement et diffère de celui de Kummer, cependant le contenu mathématique est le même. La difficulté à résoudre est de comprendre comment s'agencent les idéaux premiers non principaux. Ce problème, bien que résolu plus tôt, est finalement plus complexe que celui des anneaux d'entiers quadratiques. Le polynôme à l'origine du corps de nombres est de degré quelconque et non plus égal à 2. La théorie de Galois est d'une grande aide. Dans le cas d'un corps cyclotomique $K$ , l'extension est dite galoisienne, c'est-à-dire qu'il existe autant d'automorphismes de $K$ que l'ensemble possède de dimensions s'il est considéré comme un ℚ-espace vectoriel. Ces automorphismes forment un groupe fini G, appelé groupe de Galois. L'image d'un idéal premier par un automorphisme est aussi un idéal premier. Cette remarque permet de comprendre la structure des idéaux premier à l'aide de la ramification. Tout idéal premier contient un unique nombre premier $p$ . La technique consiste alors à décomposer l'idéal principal $pK$ en idéaux premiers. Le groupe G agit transitivement sur les idéaux premiers décomposant $pK$ , ce qui permet de déterminer la décomposition des idéaux premiers dans les extensions galoisiennes.

De plus, $K$ est une extension abélienne et même cyclique, c'est-à-dire que le groupe de Galois est cyclique. Une conséquence est que le groupe des classes est aussi cyclique. Le groupe des classes devient relativement aisé à déterminer et, si $p$ est un nombre premier régulier, alors il ne divise pas l'ordre du groupe des classes. Cette propriété permet d'obtenir une démonstration relativement aisée de ce cas particulier du dernier théorème de Fermat^[42]. Les seules exceptions plus petites que 100 sont 37, 59 et 67.

Géométrie algébrique

La démarche fondée sur l'analyse fine d'un corps de nombres possède des limites. Pour une équation polynomiale diophantienne non homogène, c'est-à-dire si le degré des différents monômes n'est pas le même, les outils imposent des acrobaties limitant largement la portée de la méthode. Même dans les cas les plus simples, comme celui de l'extension cyclotomique, la structure des idéaux premiers est parfois complexe, tel est le cas pour les idéaux associées à des nombres premiers non réguliers.

En revanche, les outils développés dans ce contexte, se généralisent à d'autres branches des mathématiques. La théorie des anneaux, et particulièrement des anneaux de Dedekind avec ses idéaux premiers ou fractionnaires s'appliquent aussi à la géométrie algébrique. Une variété algébrique se définit comme l'ensemble des racines communes d'un idéal de polynômes. La théorie de Galois est aussi opérationnelle dans ce domaine. Enfin d'autres outils sont disponibles, un polynôme se dérive alors qu'un entier non, une surface possède de nombreuses propriétés topologiques comme le genre, source de théorèmes nouveaux.

Une équation polynomiale diophantienne s'interprète aussi comme l'intersection d'une variété algébrique et d'un réseau égal à ℤⁿ. Cette approche permet des méthodes de résolutions simples d'équations diophantiennes comme la recherche de triplets pythagoriciens. Ces différentes raisons poussent les mathématiciens du XX^e siècle à étudier les équations diophantiennes avec cet axe.

Le dixième problème de Hilbert

Ces problèmes traditionnels sont posés et souvent non résolus durant des siècles. Les mathématiciens d'ailleurs en viennent graduellement à les comprendre dans leur profondeur (dans certains cas), plutôt qu'à les traiter comme des puzzles. En 1900, Hilbert proposa la résolubilité de tous les problèmes diophantiens comme le dixième de ses célèbres problèmes. En 1970, un nouveau résultat en logique mathématique connu sous le nom de théorème de Matiyasevich le résolut négativement : en général les problèmes diophantiens ne sont pas résolubles, au sens où l'on peut construire explicitement de tels problèmes pour lesquels l'existence d'une solution est indécidable (dans le système axiomatique où l'on s'est placé ; on construit un polynôme précis en partant de la liste des axiomes). En conséquence, le point de vue de la géométrie diophantienne, qui est une application des techniques de la géométrie algébrique dans ce domaine, a continué de se développer ; puisque traiter d'équations arbitraires mène à une impasse, l'attention se tourne vers les équations qui ont aussi un sens géométrique.

Recherche moderne

Une des approches générales est à travers le principe de Hasse. La descente infinie est la méthode traditionnelle, et a été poussée très loin.

La profondeur de l'étude des équations diophantiennes générales est montrée par la caractérisation des ensembles diophantiens comme récursivement énumérables.

Le domaine de l'approximation diophantienne a à voir avec les cas d'inégalités diophantiennes : les variables sont toujours supposées être entières, mais certains coefficients peuvent être des nombres irrationnels, et le signe de l'égalité est remplacé par des bornes supérieures et inférieures.

Références

Notes et références

↑ C. Goldstein, « Fermat et son Théorème », Orsay Info 57, 1999 Lire
1 2 David Hilbert, « Théorie des corps de nombres algébriques : Préface », Annales de la Faculté des Sciences de Toulouse, 3^e série, t. 3, 1911, p. VI lire
↑ « Élémentaire » est pris ici au sens où la sophistication des outils est limitée. Il existe une deuxième définition de « preuve élémentaire » en arithmétique, signifiant que la démonstration n'utilise ni nombre ni technique transcendante. Selon cette deuxième définition la démonstration de Willes du théorème de Fermat est « élémentaire », elle est pourtant ardue et utilise de nombreux outils difficiles et techniques.
↑ La résolution de cette équation est plus précoce, Claude-Gaspard Bachet de Méziriac présente une solution dans son livre Problèmes plaisans et délectables qui se font par les nombres, paru en 1624.
↑ Une démonstration de l'absence de solutions autres que triviales est proposée dans l'article Démonstrations du dernier théorème de Fermat.
↑ Ce texte est extrait d'une lettre adressée à Bernard Frénicle de Bessy et daté du 18 octobre 1640 lire
↑ Le plus grand nombre premier connu en 2007 est 2^{32 582 657} - 1 : The Great Internet Prime Search
↑ L'article nombre de Fermat donne un exemple de l'utilisation du petit théorème de Fermat pour établir la non-primalité d'un entier.
↑ Pierre de Fermat, Correspondance, Marin de Mersenne, lettre XLV, 25 décembre 1640
↑ (la) Leonhard Euler, « Observationes de theoremate quodam Fermatiano aliisque ad numeros primos spectantibus », Comment. acad. scient. Petropol., vol. 6, 1738, p. 102-103, 1732
↑ (la) Leonhard Euler, « Theoremata circa divisors numerorum », Novi comment. acad. scient. Petropol., vol. 1, 1750, p. 20-48, 1747/48
↑ (en) N. Lippi et J. Frey, Biographies of Mathematicians-Marin Mersenne, Université de St Andrews, 1998
↑ Une résolution élémentaire de cette question est présentée dans la démonstration d'Euler du Théorème des deux carrés de Fermat.
↑ On en trouve une trace dans sa correspondance avec Christian Goldbach : Correspondance d'Euler avec Goldbach.
↑ Joseph-Louis Lagrange, « Recherche d'arithmétique, seconde partie », Nouveaux mémoires de l'Académie royale des sciences et belles lettres de Berlin, 1775, Œuvres, vol. III, p. 695-795. Le théorème est démontré sous le nom de Lemme VII p. 782-783.
↑ Sa démonstration, pour le cas où $n$ est égal à 1 est présentée dans l'article théorème des deux carrés de Fermat.
↑ (la) Leonhard Euler, « Observationes circa divisionem quadratorum per numeros primos », Opuscula analytica, vol. 1, 1783, p. 64-84 lire
↑ Adrien-Marie Legendre présente une preuve, elle suppose cependant de résoudre une autre équation diophantienne, traitée par le théorème de la progression arithmétique, plus difficile que cette équation : Essai sur la théorie des nombres Duprat Paris 1798
↑ (en) T. S. Bhanu Murthy, A modern introduction to ancient Indian mathematics, New Delhi, 1992
↑ (en) John J. O’Connor et Edmund F. Robertson, « Pell's equation », dans MacTutor History of Mathematics archive, université de St Andrews (lire en ligne).
↑ Carl Friedrich Gauss, Recherches arithmétiques, trad. française des Disquisitiones arithmeticae par A.-C.-M. Poullet-Delisle, 1801 lire
↑ Cette notation est explicitée dans l'article Congruence sur les entiers.
↑ (de) Leopold Kronecker, « Auseinandersetzung einiger Eigenschaften der Klassenzahl idealer complexer Zahlen », Monatsber. K. Preuss. Akad. Wiss, Berlin,‎ 1870, p. 881–889
↑ Une démonstration est présente dans l'article Analyse harmonique sur un groupe abélien fini le cas particulier pour $n$ = –1 ou 2 est traité dans l'article Loi de réciprocité quadratique, une démonstration pour $n$ = 3 est présente dans la démonstration du cas $n$ = 3 du théorème des deux carrés de Fermat.
↑ Gauss est l'auteur de la première démonstration en 1796. Il qualifie plus tard sa démonstration de laborieuse : Gauss, Eisenstein, and the third proof of the Quadratic Reciprocity Theorem
↑ L'article Théorème des deux carrés de Fermat propose une démonstration par Dedekind utilisant cet anneau.
↑ Une résolution de cette nature est proposée dans l'article Théorème des deux carrés de Fermat
↑ Une démonstration est proposée dans l'article Démonstrations du dernier théorème de Fermat.
↑ (en) H. M. Edwards, Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Springer, 3^e éd., 2000 (ISBN 0387950028)
↑ (de) Dirichlet, « Beweis eines Satzes über die arithmetische Progression », Ber. K. Preuss. Akad. Wiss.,‎ 1837, p. 108-110, p. 307-312
↑ (de) W. Ahrens (de), « Briefwechsel zwischen C. G. J. Jacobi und M. H. Jacobi », The Mathematical Gazette, vol. 4, n° 71, 1908, p. 269-270
↑ Leonhard Euler, « Démonstration de la somme de cette suite 1 + 1/4 + 1/9 + 1/16 + 1/25 + 1/36 + etc », Journal lit. d'Allemagne, de Suisse et du Nord, vol. 2, 1743, p. 115-127
↑ On trouve une description de la preuve sur le site Fermat's last theorem
↑ Une démonstration est proposée dans l'article Entier quadratique.
↑ Ernst Kummer, « Sur la théorie des nombres complexes », CRAS, 1847
↑ Richard Dedekind, Traité sur la théorie des nombres, trad. C. Duverney, Tricorne, Genève, 2006 (ISBN 2829302893)
↑ (de) Richard Dedekind, « Zur Theorie der Ideale », Nachr. der K. Ges. der Wiss. zu Göttingen, 1894
↑ L'article entier quadratique montre comment résoudre le cas général de l'équation (3) à travers l'exemple $n$ = 5.
↑ Cette propriété est démontrée dans l'article Polynôme cyclotomique
↑ Gabriel Lamé, « Démonstration générale du théorème de Fermat, sur l'impossibilité, en nombres entiers, de l'équation xⁿ + yⁿ = zⁿ », CRAS, vol. 24, 1847, p. 310-315 Lire sur Gallica
↑ (en) H. M. Edwards, « The background of Kummer's proof of Fermat's Last Theorem for regular primes », Arch. History Exact Sci., vol. 14, 1975
↑ (de) Ernst Kummer, « Beweis des Fermat'schen Satzes der Unmöglichkeit von x^λ+y^λ=z^λ für eine unendliche Anzahl Primzahlen λ », Monatsber. Akad. Wiss. Berlin, 1847, p. 132-139, 140-141 et 305-319

Liens externes

(en) Eric W. Weisstein, « Diophantine Equation », MathWorld
(en) Diophantine Equation de PlanetMath

Bibliothèque

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Diophantine equation » (voir la liste des auteurs).
M. Guinot, Arithmétique pour amateurs. Vol. 1. Pythagore, Euclide et toute la clique Aléas Lyon, 1992 (ISBN 2908016214)
Cette série de cinq volumes s'adresse aux amateurs éclairés (c'est-à-dire ayant fait une ou deux années d'études mathématiques après le baccalauréat). On y trouve les bases de l'arithmétique ainsi que l'étude des triplets pythagoricien.
M. Guinot, Arithmétique pour amateurs. Vol. 2. Les resveries de Fermat Aléas Lyon, 1993 (ISBN 2908016273)
La troisième partie concerne les sommes de deux carrés.
M. Guinot, Arithmétique pour amateurs. Vol. 3. Ce diable d'homme d'Euler Aléas Lyon, 1994 (ISBN 2908016397)
Ce livre traite du théorème des deux carrés avec les outils de Lagrange et de Jacobi ainsi que de l'équation diophantienne en général.
M. Guinot, Arithmétique pour amateurs. Vol. 5. GAUSS "princeps mathematicum" Aléas Lyon, 1997 (ISBN 2843010446)
Ce livre traite des entiers de Gauss et de la classification des formes quadratiques.
Pierre Samuel, Théorie algébrique des nombres [détail de l’édition]
Comme son nom l'indique, ce livre traite essentiellement de la théorie algébrique des nombres.

Portail de l’arithmétique et de la théorie des nombres

This article is issued from Wikipédia - version of the Thursday, April 30, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.