Équation de Pell-Fermat

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Pierre de Fermat montre que l'équation de Pell-Fermat possède toujours une infinité de solutions si m est égal à un en valeur absolue.

En mathématiques et plus précisément en arithmétique, l'équation de Pell-Fermat est une équation diophantienne polynomiale quadratique. Si n est un entier positif qui n'est pas un carré parfait et m un entier quelconque, l'équation prend la forme suivante :

x^2 - n\cdot y^2 = m\;

Les solutions recherchées sont les solutions telles que x et y soient des valeurs entières.

L'équation de Pell-Fermat est étudiée sous différentes formes par plusieurs civilisations comme la Grèce antique, l'Inde ou la civilisation arabe. La solution définitive est relativement tardive, elle est trouvée en Europe durant le XIXe siècle.

Une forme particulièrement étudiée est celle où le paramètre m est égal à plus ou moins un. Plusieurs algorithmes permettent de déterminer une solution, la méthode chakravala ou celle des fractions continues sont les plus célèbres.

En France, cette équation est nommée Pell ou Pell-Fermat en l'honneur des mathématiciens, John Pell (1611 - 1685) et Pierre de Fermat (1601 - 1665). C'est à Leonhard Euler (1707 - 1783) que l'on doit l'association du nom de Pell à cette équation, à la suite d'une confusion car ce mathématicien n'a pas travaillé sur cette équation. La traduction de la dénomination équation de Pell est d'usage général en langue non française.

L'article Fraction continue d'un nombre quadratique propose une méthode de résolution si m est égal à ±1, ainsi que l'exemple pour la valeur de n égale à 61. L'article Méthode chakravala propose une autre méthode comparable, plutôt plus simple et plus rapide, à la fois pour la théorie et la pratique. Les exemples pour les valeurs de n suivantes : 19, 61, 83, 103 et 313 sont traités.

Histoire[modifier | modifier le code]

Origines[modifier | modifier le code]

L'histoire de l'équation de Pell-Fermat est particulièrement riche et ancienne. On[1] cite parfois le problème des bœufs d'Hélios attribué à Archimède[2] comme premier exemple d'équation de Pell-Fermat. Il n'est cependant pas certain qu'Archimède en soit l'auteur et que la relation avec la dite équation ait été faite. En revanche, Diophante d'Alexandrie, un mathématicien vivant probablement au IIIe siècle parle explicitement d'une équation de cette nature, dans son livre intitulé Arithmetica. Avec les notations du paragraphe Définitions, il étudie le cas où n est égal à 1 et m à 1, -1 ou 12 ainsi que le cas où n et m sont égaux à 9[3]. Dès avant notre ère, les Grecs connaissaient l'existence de l'égalité suivante[4] :

577^2 - 2\cdot 408^2 = 1\;.

Le mathématicien indien Brahmagupta (598 - 668) semble être le premier à travailler profondément sur la question, il étudie le cas où m = 1. En 628, il établit une égalité permettant, à l'aide de deux solutions de l'équation, d'en construire une troisième[5]. Ainsi, en combinant deux fois la même solution, il en obtient une nouvelle et ainsi de suite, ce qui donne un nombre de solutions aussi grand que désiré. Cette méthode lui permet d'aller plus loin. À l'aide d'un couple (x, y) d'entiers tel que x2 - n.y2 soit égal à 2 en valeur absolue, Brahmagupta construit une solution. Puis à l'aide d'un algorithme guère plus complexe, il obtient un résultat analogue si x2 - n.y2 est égal à 4 en valeur absolue. Par tâtonnements, il parvient à trouver des solutions dans de nombreuses configurations. Son outil principal est l'algorithme d'Euclide, généralement nommé par les indiens le pulvérisateur car il casse les nombres en morceaux de plus en plus petits[6].

L'étape suivante est franchie par Bhāskara II un mathématicien indien vivant au XIIe siècle. Il enrichit la palette de techniques de Brahmagupta, et présente une méthode complète, nommée chakravala. Elle correspond à un algorithme astucieux permettant de déterminer une solution primitive, c'est-à-dire une solution qui génère toutes les autres[7]. Il n'est pas dans l'usage des mathématiciens indiens de cette époque de rechercher une preuve autre qu'expérimentale. Quant à l'exhaustivité de l'ensemble des solutions trouvées, la question n'est pas non plus abordée.

L'Europe et l'âge classique[modifier | modifier le code]

Joseph-Louis Lagrange démontre l'existence d'une infinité de solutions si m est égal à ±1 et montre que l'algorithme des fractions continues permet de les obtenir toutes.

La popularité de cette équation provient d'un défi que Pierre de Fermat lance aux mathématiciens de l'Europe entière. Le 3 janvier 1657, il pose plusieurs questions dont celle d'une solution à l'équation de Pell-Fermat, déjà trouvée par Brahmagupta et Bhāskara II, elle correspond au cas n = 61 et m = 1. Il termine sa lettre par « J'attends la solution de ces questions ; si elle n'est fournie ni par l'Angleterre, ni par la Gaule Belgique ou Celtique, elle le sera par la Narbonnaise »[8]. Les mathématiciens visés sont Kenelm Digby, William Brouncker et John Wallis pour l'Angleterre, Frans van Schooten pour la Gaule Belgique et Bernard Frénicle de Bessy pour la Gaule Celtique[9]. Une communication épistolaire s'ensuit, finalement publiée par Wallis[10]. Elle nous indique que Brouncker découvre une méthode équivalente à celle des Indiens, sans néanmoins apporter plus de preuves que ses prédécesseurs. Frénicle de Bessy calcule l'intégralité des solutions pour n inférieur ou égal à 150, mais ses travaux sont perdus. Il défie Brouncker avec une valeur de 313 pour n. Brouncker propose une solution primitive, et précise qu'il ne lui a pas fallu plus d'une heure ou deux pour trouver. La réponse est la suivante :

x= 32\,188\,120\,829\,134\,849 \quad \text{et} \quad y = 1\,819\,380\,158\,564\,160\;

Wallis démontre rigoureusement les découvertes de Brahmagupta, c'est-à-dire la raison qui permet de trouver une solution si la valeur atteinte est 2 ou 4 en valeur absolue. En 1658, Johann Heinrich Rahn publie un livre d'algèbre, contenant un exemple d'équation maintenant dite de Pell-Fermat[11], relu et traduit en anglais par John Pell. C'est la seule contribution connue du mathématicien sur l'équation portant maintenant son nom.

Plusieurs mathématiciens affirment qu'il existe une solution pour toute valeur de n (à condition de choisir m égal à 1)[12], Fermat affirme de plus que le nombre de solutions est infini. En revanche aucune preuve de cette époque n'est connue.

Leonhard Euler (1707 - 1783) reprend les travaux de Brouncker et ceux de Wallis, proposant le formalisme de la fraction continue, équivalent à l'algorithme développé par Bhāskara II. Seule la fin est différente, une fois trouvée une valeur égale à 2 ou 4 en valeur absolue, il est en effet plus rapide d'utiliser le lemme de Brahmagupta. Euler attribue à tort les travaux passés à Pell[4]. Joseph-Louis Lagrange (1736 - 1813) reprend les travaux d'Euler et ajoute les deux preuves manquantes. Il démontre que pour toute valeur de n il existe une infinité de solutions et que toutes ces solutions sont générées par celle issue de l'algorithme des fractions continues[13]. Durant toute cette époque, l'Europe est inconsciente des travaux de leurs prédécesseurs indiens.

XIXe siècle[modifier | modifier le code]

Richard Dedekind formalise le concept d'anneau portant maintenant son nom et élucide les propriétés permettant de résoudre l'équation de Pell-Fermat.

La méthode chakravala ou celle des fractions continues ont apporté tout ce qu'elles pouvaient sur cette équation, ce qui revient à traiter le cas du paramètre m égal à ±1. Le cas général demande de nouvelles idées et un siècle est encore nécessaire pour en venir à bout. Une approche fondatrice est l'œuvre de Carl Friedrich Gauss (1777 - 1855). Il travaille[14] sur des structures munies d'une addition et d'une multiplication, mais qui ne sont pas celles de l'anneau des entiers. Une de ces structures est celle des entiers de Gauss, c'est-à-dire des nombres de la forme a + i.ba et b sont des entiers et i l'unité imaginaire des nombres complexes. Un tel monde possède une division euclidienne, ce qui permet d'établir le théorème de Bachet-Bézout, le lemme d'Euclide ainsi que le théorème fondamental de l'arithmétique. Un tel anneau possède des nombres premiers de Gauss, et une approche similaire à celle de l'arithmétique dans Z est possible. Cette approche est maintenant le cadre d'une théorie appelée arithmétique modulaire. Une démarche de cette nature permet de venir à bout d'une équation diophantienne semblable à celle de Pell-Fermat, traité par le théorème des deux carrés de Fermat. Si i est remplacé, par exemple par le nombre d'or, égal à 1/2(1 + 5) on obtient une structure un peu similaire, aussi euclidienne, correspondant à l'équation de Pell-Fermat pour le paramètre n égal à 5, et il est possible d'y traiter l'équation pour toute valeur du paramètre n (cf Anneau des entiers de Q(√5)), à condition de disposer de la loi de réciprocité quadratique, démontrée par Gauss. Cette loi correspond encore à une équation diophantienne un peu similaire.

Les travaux de Gauss apportent deux progrès : ils offrent un bon cadre pour étudier l'équation de Pell-Fermat et ils permettent de la résoudre intégralement dans le cas où ce cadre est euclidien. Il existe cependant de nombreux cas où le caractère euclidien est absent. Ce cadre, euclidien ou non, porte le nom d'anneau d'entiers algébriques et pour la résolution de l'équation de Pell-Fermat, une petite partie est utile, ceux formés par des entiers quadratiques. Johann Peter Gustav Lejeune Dirichlet (1805 - 1859) étudie et explicite leur groupe des unités dans le cas général. Ce groupe correspond exactement aux solutions de l'équation de Pell-Fermat pour m = ±1, fournissant une preuve différente de celle de Lagrange, et qui se généralise à tous les anneaux d'entiers algébriques et non pas uniquement quadratiques[15]. Si ce résultat fait progresser la théorie des nombres, il ne permet pas de débloquer la question de l'équation de Pell-Fermat dans le cas général, car il ne concerne que les solutions pour le paramètre m = ±1.

Si les techniques de Gauss fonctionnent, c'est grâce à l'équivalent des nombres premiers et au théorème fondamental de l'arithmétique, que l'on trouve dans tout anneau euclidien. Des anneaux disposant de propriétés ou d'axiomes plus faibles ont un équivalent, on les appelle les anneaux factoriels. Dans le cas général, un anneau d'entiers algébriques n'est ni euclidien ni factoriel. Richard Dedekind (1831 - 1916), à la suite des travaux de Ernst Kummer (1810 - 1893), trouve la bonne approche. Il met en évidence les axiomes que vérifient les bons anneaux d'entiers algébriques, lesquels portent maintenant le nom d'anneaux de Dedekind. À l'aide de cette nouvelle structure, il établit un équivalent du théorème fondamental de l'arithmétique[16]. Un deuxième théorème, traitant du groupe des classes d'idéaux permet de trouver toutes les solutions de l'équation de Pell-Fermat et pour toutes valeurs de n[17].

Définitions[modifier | modifier le code]

Une équation diophantienne est une équation dont les solutions recherchées sont en général entières et parfois rationnelles. Ici, ce sont les solutions entières qui sont étudiées. Un autre terme est utilisé dans la définition :

La définition de l'équation est la suivante :

  • Une équation de Pell-Fermat est une équation diophantienne de la forme suivante, si n est un entier strictement positif non carré parfait et m un entier non nul quelconque :
x^2-n\cdot y^2=m\,

Pour trouver toutes les solutions, si elles existent, il est nécessaire d'analyser le cas où m est inversible, c'est-à-dire s'il est égal en valeur absolue à un. Ce cas est suffisamment important pour que parfois l'équation de Pell-Fermat ne désigne que le cas où m est égal à 1[18], ou ±1. Il est commode de travailler dans le corps commutatif des nombres de la forme α + n, ici α et β désignent deux rationnels. Cette double raison est la motivation des deux définitions suivantes :

  • Une racine ou unité de l'équation est un nombre réel ρ de la forme a + n.b, avec a et b deux entiers, tel que ρ.ρ' soit égal à ±1, ici ρ' désigne le nombre a - n.b, appelé conjugué de ρ.

Un intérêt de la définition précédente provient du fait que les coefficients de r vérifient l'égalité suivante et que tout couple d'entiers satisfaisant cette égalité définit une racine.

\alpha^2 - n\cdot \beta^2 = \pm 1\;
  • Une racine ω est dite primitive ou unité fondamentale si et seulement si, pour toute racine ρ il existe un entier e égal à 1 ou -1 et un entier relatif k tel que ρ soit égal à ek.

Cas où m est égal à ±1[modifier | modifier le code]

Dans toute la suite de l'article, les lettres Z, Q et R désignent respectivement les entiers relatifs, les nombres rationnels et les nombres réels.

Une première étude consiste à résoudre le cas où m est égal à ±1. Elle peut être vue soit comme une finalité, soit comme une étape nécessaire à la résolution complète de l'équation. Souvent le terme d'équation de Pell-Fermat ne désigne que ce cas particulier.

Il existe trois approches théoriques différentes dont deux proposent une méthode effective pour la résolution. La première méthode, au sens de l'histoire, est la plus efficace en termes algorithmique, c'est aussi plutôt la plus simple pour une approche théorique, elle porte le nom de chakravala donné par ses inventeurs indiens. La deuxième se fonde sur les fractions continues. Historiquement, elle est à la source de la première démonstration théorique connue de la structure des solutions. La troisième, issue de la théorie algébrique des nombres est la plus puissante, elle procède d'une démarche à même de résoudre intégralement l'équation.

Méthode chakravala[modifier | modifier le code]

Article détaillé : Méthode chakravala.

Cette méthode part initialement d'une utilisation judicieuse de la formule suivante, nommée identité de Brahmagupta :

\forall a_1, b_1, a_2, b_2 \in \mathbb Z \quad (a_1^2 - nb_1^2)( a_2^2 - nb_2^2) = (a_1a_2 + nb_1b_2)^2 - n(a_1b_2 + b_1a_2)^2 \;

Ainsi, si (a1, b1) et (a2, b2) forment deux couples de solutions, l'identité précédente montre que (a1.a2 + n.b1.b2, a1b2 + b1a2) est encore une solution. Si l'on note G l'ensemble des solutions de l'équation il est judicieux d'équiper l'ensemble d'une loi de composition interne * :

\forall (a_1, b_1) (a_2, b_2) \in G \quad (a_1, b_1)*(a_2, b_2) = (a_1a_2 + nb_1b_2, a_1b_2 + b_1a_2)\;

La loi * est une loi de composition interne d'après l'identité de Brahmagupta, le couple (1,0) est l'élément neutre, elle est associative, chaque élément (a1b1) possède un symétrique (a1, -b1), enfin la loi est commutative. Ainsi (G, *) forme un groupe abélien.

L'étude de ce groupe permet la mise au point d'une méthode efficace de résolution pour les valeurs de m égales à 1 ou -1. Par exemple, si α est un élément de G, solution pour la valeur m = -1, α2 est une solution pour la valeur m = 1. Si α est solution pour la valeur m = ± 2 alors 1/2.α2 est une solution pour la valeur m = 1. Enfin, si α est solution pour la valeur m = ± 4 alors 1/8.α3 est une solution pour la valeur m = ± 1.

L'article détaillé propose une méthode exhaustive permettant de trouver une solution dans tous les cas, à partir des propriétés de la multiplication *. Il montre aussi comment cette méthode permet d'élucider la structure du groupe des solutions.

Une manière commode de voir ce groupe est d'identifier le couple (a1, b1) avec le nombre réel a1 + n. b1. Cet ensemble forme un anneau, noté A dans cet article. Le groupe G s'identifie au groupe des unités de A, c'est-à-dire au groupe des éléments inversibles de l'anneau, muni de la multiplication des nombres réels. Pour cette raison, une solution de l'équation s'écrit souvent a1 + n. b1. Une identité remarquable montre la relation :

 a_1^2 - n\cdot b_1^2 = (a_1 + b_1\cdot \sqrt n)\cdot(a_1 - b_1\cdot \sqrt n)\;

Groupe des unités[modifier | modifier le code]

Les solutions de l'équation de Pell-Fermat pour m égal à un en valeur absolue se trouvent toutes sur une des branches des deux hyperboles.

Résoudre l'équation (1) revient finalement à expliciter les éléments du groupe des unités de l'anneau A, c'est-à-dire l'ensemble des éléments ayant un inverse. Ce groupe est isomorphe au produit direct du groupe cyclique à deux éléments Z/2Zet de Z. Il existe toujours un élément α du groupe qui engendre toutes les autres, ce qui justifie la définition d'unité fondamentale du groupe G, c'est-à-dire un élément α de G tel que :

\forall \beta \in G \quad \exists e \in \{0, 1\},\; \exists k \in \mathbb Z \quad \text{tel que}\quad \beta = (-1)^{e}\cdot \alpha^k\;

L'existence d'une unité fondamentale pour toute valeur de n strictement supérieur à 1 et sans facteur carré est démontrée dans l'article détaillé. On parle parfois aussi de racine primitive.

  • Soit α une unité fondamentale et a et b deux éléments de Z tel que : α = a + n. b. Le groupe G contient exactement quatre unités fondamentales : a + n. b, a - n. b, -a + n. b et -a - n. b.

Cette propriété est une conséquence directe du théorème de structure énoncé en début de paragraphe. La figure de droite illustre le cas où n est égal à 5. La structure de l'anneau est étudiée dans l'article Entier du corps quadratique Q(5). Les différents éléments de G se trouvent toutes sur quatre branches d'hyperboles. Il existe deux droites asymptotiques d'équation x = ± n.y.

Fraction continue[modifier | modifier le code]

Une solution de l'équation de Pell-Fermat est une bonne approximation fractionnaire de la racine carrée. Dans le cas général, une fraction de type p / q approxime un irrationnel avec une précision de 1/q ou 1/2q. Une solution de l'équation de Pell-Fermat est plus précise. En effet, si (a, b) est une solution :

\left| a^2 - nb^2 \right| = 1 \quad \text{et}\quad \left|\frac ab - \sqrt n\right|\cdot \left|\frac ab+ \sqrt n\right| = \frac 1{b^2}

Comme la racine de n ainsi que a / b sont tous les deux strictement supérieurs à 1, on obtient l'approximation suivante :

 \left|\frac ab - \sqrt n\right|< \frac 1{2b^2}

On démontre que les approximations de cette nature sont nécessairement des fractions continues. Ainsi, toute solution (a, b) est composée d'un numérateur et d'un dénominateur d'une réduite d'indice k d'une fraction continue, c'est-à-dire d'une expression de la forme :

\sqrt n = [f_0, f_1, f_2, \cdots, f_k, \cdots]\quad \text{et}\quad \frac ab = f_0 + \frac 1{f_1 + \frac 1{f_2 + \frac 1{\cdots +\frac 1{f_k + \cdots}}}}

Le développement en fraction continue d'un entier sans facteur carré est périodique à partir du deuxième rang, c'est-à-dire qu'il est de la forme suivante, ce qui justifie la notation utilisée :

\sqrt n = [f_0, f_1, f_2, \cdots, f_k, f_{k+1},f_1, f_2, \cdots, f_k, f_{k+1}, f_1, \cdots]= [f_0, \overline {f_1, f_2, \cdots, f_{k+1}}]

La période forme un palindrome, selon que la période est paire ou impaire, l'une des deux configurations se produit :

\sqrt n = [f_0, \overline {f_1, \cdots, f_{l-1},f_l, f_l, f_{l-1},\cdots, f_2, f_1, 2f_0}]\quad \text{ou}\quad \sqrt n = [f_0, \overline {f_1, \cdots, f_{l-1},f_l, f_{l-1},\cdots, f_2, f_1, 2f_0}]

Avec les notations de la ligne précédente, la fraction réduite, solution de l'équation de Pell, si la période est paire est d'indice 2l - 1, si la période est impaire, l'indice est 2l. Par exemple, si n est égal à 29, on trouve f0 = 5, ce qui correspond à la partie entière de la racine carrée, puis la période [2, 1, 1, 2, 10]. La solution correspond à la fraction continue a/b suivante :

\frac ab = 5 + \frac 1{2 + \frac 1{1 + \frac 1{1 +\frac 12}}}= \frac{70}{13} \quad\text{et}\quad 70^2 -29\cdot 13^2 = 4900 - 4901 = -1

Cette approche permet de démontrer simplement l'existence d'une unité fondamentale.

Équation de Pell et entier algébrique[modifier | modifier le code]

Si (a, b) satisfait une équation de Pell du type x2 -n.y2 = ±1, alors a + n.b est un élément du groupe des unités de l'anneau des entiers de l'extension algébrique Q[n]. Un élément du groupe des unités est un élément inversible dans l'anneau, l'égalité (a + n.b).(a - n.b) = ±1 montre de fait que l'élément est inversible.

Le groupe des unités ainsi que l'équation de Pell est étudié dans le cas où le paramètre est égal à cinq dans l'article Anneau des entiers de Q(√5), cette analyse montre la relation entre les équations de Pell et la théorie algébrique des nombres.

Cas x²-ny² = 1[modifier | modifier le code]

On démontre alors :

Si \sqrt n = [a_0, \overline{a_1,a_2,a_3,\ldots,a_{m-1},a_m}] avec m ≥ 1 car n n'est pas un carré parfait, alors
l'équation de Pell x^2-ny^2 = 1\, admet, suivant la parité de m, la solution minimale (x_1,y_1)\, suivante :
  • quand m est pair, le couple (x_1,y_1)=(p_{m-1},q_{m-1})\,\frac{p_{m-1}}{q_{m-1}} est la réduite de rang m - 1 de n
  • quand m est impair, le couple (x_1,y_1)=(p_{2m-1},q_{2m-1})\,\frac{p_{2m-1}}{q_{2m-1}} est la réduite de rang 2m - 1 de n
La réduite de rang r de n étant la fraction \frac{p_r}{q_r}=a_0 + \frac{1}{a_1 + \frac{1}{a_2 + \frac{1}{a_3+\,\cdots+\frac{1}{a_r}}}} qui est irréductible.
Les autres solutions (x_k,y_k)\, avec k ≥ 1 sont obtenues en identifiant x_k+y_k\sqrt{n}\, au développement de (x_1+y_1\sqrt{n})^k
En particulier, (x_2,y_2)=(x_1^2+ny_1^2,\ 2x_1y_1)\,, (x_3,y_3)=(x_1^3+3nx_1y_1^2,\ 3x_1^{2}y_1+ny_1^3)\,, etc.
La formule de récurrence étant : (x_{k+1},y_{k+1})=(x_kx_1+ny_ky_1,\ x_ky_1+y_kx_1)\,

Exemples détaillés[modifier | modifier le code]

  • Recherche des solutions de x^2-28y^2 = 1\,
Le développement en fraction continue périodique de 28 est [5, \overline{3,2,3,10}] (m = 4 est pair)
La réduite de rang (m-1)=3 de \sqrt{28} est 5+\frac{1}{3+\frac{1}{2+\frac{1}{3}}} = \frac{127}{24}
La solution minimale est donc (x_1,y_1)=(127,24)\, qui vérifie bien 127^2-28\cdot24^2 = 1\,
Les autres solutions sont (x_2,y_2)=(32257,6096)\,, (x_3,y_3)=(8193151,1548360)\,, etc.
  • Recherche des solutions de x^2-19y^2 = 1\,
Le développement en fraction continue périodique de 19 est [4, \overline{2,1,3,1,2,8}] (m = 6 est pair)
La réduite de rang m - 1 = 5 de 19 est 4+\frac{1}{2+\frac{1}{1+\frac{1}{3+\frac{1}{1+ \frac{1}{2}}}}} = \frac{170}{39}
La solution minimale est donc (x_1,y_1)=(170,39)\, qui vérifie bien 170^2-19\cdot39^2 = 1\,
Les autres solutions sont (x_2,y_2)=(57799,13260)\,, (x_3,y_3)=(19651490,4508361)\,, etc.
  • Recherche des solutions de x^2-17y^2 = 1\,
Le développement en fraction continue périodique de 17 est [4, \overline{8}] (m = 1 est impair)
La réduite de rang (2m-1)=1 de 17 est 4+\frac{1}{8} = \frac{33}{8}
La solution minimale est donc (x_1,y_1)=(33,8)\, qui vérifie bien 33^2-17\cdot8^2 = 1\,
Les autres solutions sont (x_2,y_2)=(2177,528)\,, (x_3,y_3)=(143649,34840)\,, etc.
  • Recherche des solutions de x^2-29y^2 = 1\,
Le développement en fraction continue périodique de 29 est [5, \overline{2,1,1,2,10}] (m = 5 est impair)
La réduite de rang 2m - 1 = 9 de 29 est 5+\frac{1}{2+\frac{1}{1+\frac{1}{1+\frac{1}{2+ \frac{1}{10+\frac{1}{2+\frac{1}{1+\frac{1}{1+\frac{1}{2}}}}}}}}} = \frac{9801}{1820}
La solution minimale est donc (x_1,y_1)=(9801,1820)\, qui vérifie bien 9801^2-29\cdot1820^2 = 1\,
Les autres solutions sont (x_2,y_2)=(192119201,35675640)\,, (x_3,y_3)=(3765920568201,699313893460)\,, etc.

Cas x²-ny² = -1[modifier | modifier le code]

On démontre que si (x_1,y_1)\, est une solution particulière, alors les couples (x_k,y_k)\, vérifiant

x_k+y_k\sqrt{n} = (x_1+y_1\sqrt n)^k avec k = 1, 3, 5, 7, ...

sont les solutions générales.

Exemple[modifier | modifier le code]

Une solution particulière de x^2-5y^2=-1\, est (2, 1).

Les développements :

(2+\sqrt{5})^3=(38+17\sqrt{5})\,
(2+\sqrt{5})^5=(682+305\sqrt{5})\,
(2+\sqrt{5})^7=(12238+5473\sqrt{5})\,

fournissent les solutions (38, 17), (682,305) et (12238,5473) :

38^2-5\cdot17^2=-1\,
682^2-5\cdot305^2=-1\,
12238^2-5\cdot5473^2=-1\,

Références[modifier | modifier le code]

Notes[modifier | modifier le code]

  1. (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).
  2. Ce problème est explicité dans le site Les Bœufs d'Hélios par Lycos. Il est décrit dans l'ouvrage : Archimède Tome 3, Des corps flottants. Stomachion. La méthode. Le livre des lemmes. Le problème des bœufs ; éd. et tr. Charles Mugler. Paris : les Belles Lettres, 1971. (Collection des Universités de France). 324p. (ISBN 2-251-00026-7)
  3. (en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions], vol. 2
  4. a et b (en) H. M. Edwards, Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Springer, 3e éd., 2000 (ISBN 0387950028)
  5. Stillwell, p. 72-74
  6. Stillwell, p. 44-46
  7. (en) G. G. Joseph, The Crest of the Peacock: Non-European Roots of Mathematics, 2e éd., Penguin Books, 2000 (ISBN 0140277781)
  8. L. Hua et J. Rousseau, Fermat a-t-il démontré son grand théorème? l'hypothèse "Pascal", L'Harmattan, 2002 (ISBN 2747528367), p. 113
  9. Ces informations sont extraites du site : Pierre de Fermat par la ville Beaumont de Lomagne
  10. (la) John Wallis, Commercium epistolicum de quæstionibus quibusdam mathematicis nuper habitum, Oxonii : Excudebat A. Lichfield, Impensis Tho. Robinson, 1658
  11. (de) Johann Heinrich Rahn, Teutsche Algebra, 1659
  12. (en) John Wallis, Treatise on Algebra, Londres, 1685, chap. 98
  13. Leonhard Euler et Joseph-Louis Lagrange Éléments d'algèbre Lyon, Bruyset et Paris, Desaint 1774. Le livre contient une centaine de pages nommées Additions par Lagrange. Elles contiennent les deux preuves citées.
  14. Cette approche est développée dans son livre Carl Friedrich Gauss, Recherches arithmétiques, trad. française des Disquisitiones arithmeticae par A.-C.-M. Poullet-Delisle 1801 ; lire sur Gallica
  15. (de) J. P. L. Dirichlet, Vorlesungen über Zahlentheorie, 1863 Lire
  16. Richard Dedekind, Traité sur la théorie des nombres, trad. C. Duverney, Tricorne, Genève, 2006 (ISBN 2829302893)
  17. (de) Richard Dedekind, Zur Theorie der Ideale, Nachr. der K. Ges. der Wiss. zu Göttingen, 1894
  18. C'est la convention choisie par exemple dans le livre : M. Guinot, Arithmétique pour amateurs, Lyon, Aléas, 1992 à 1997 (ISBN 2908016397)

Liens externes[modifier | modifier le code]

Références[modifier | modifier le code]