Fraction continue d'un nombre quadratique - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Un exemple historique de résolution de l'équation de Pell Fermat

L'équation suivante possède une longue histoire :

x^2 - 61\cdot y^2 = 1 \;

Brahmagupta l'utilise comme illustration d'un ancêtre de la méthode chakravala dès le VIe siècle. À cette époque, les nombres négatifs n'étaient pas considérés. Il est repris par Bhāskara II qui perfectionne la méthode et lui donne une puissance algorithmique un peu supérieure à celle par les fractions continues, présenté ici.

Le 3 janvier 1658, l'exemple est encore repris par Pierre de Fermat, qui en fait un défi lancé aux mathématiciens de toute l'Europe. Fermat conclut par « si elle n'est fournie ni par l'Angleterre, ni par la Gaule Belgique ou Celtique, elle le sera par la Narbonnaise ». Ce défi est à l'origine des travaux anglais sur les fractions continues des nombres quadratiques et leur connexion avec l'équation de Pell Fermat.

Appliquons l'algorithme des fractions continues pour calculer les coefficients et les quotients complets :

\sqrt 61  = 7 + \frac 1{\frac {7 + \sqrt 61}{12}},\quad  \frac {7 + \sqrt 61}{12} = 1 + \frac 1{\frac{5 + \sqrt 61}{3}},\quad \frac{5 + \sqrt 61}{3} = 4 + \cfrac 1{\frac{7 + \sqrt 61}{4}},\quad  \frac{7 + \sqrt 61}{4} = 3 + \frac 1{\frac{5+ \sqrt 61}{9}}

Ce qui donne les premiers coefficients : 7, 1, 4, 3. On continue avec :

\frac{5 + \sqrt 61}{9} = 1 + \cfrac 1 {\frac{4 + \sqrt 61}{5}} ,\quad \frac{4 + \sqrt 61}{5} = 2 + \frac 1 {\frac{6 + \sqrt 61}{5}}

On dispose maintenant de la section commençante 7, 1, 4, 3, 1, 2. Il n'est plus nécessaire de continuer. On remarque que les quotients complets x5 et x6 sont associés ce qui se remarque au fait qu'ils ont le même dénominateur. La moitié du palindrome est déjà explicitée. Comme ce phénomène se produit pour deux indices adjacents, on peut en déduire que la période est impaire et égale à 2 x 5 + 1. On peut aussi en déduire que a6 est égal à a5, ainsi que les termes suivants : 2, 1, 3, 4, 1. Enfin, le dernier terme est égal au double du premier, soit 14. Le premier candidat à la solution est donc celui mise en valeur en rouge dans l'expression suivante :

\sqrt 61 = [7,\overline{1,4,3,1,2,2,1,3,4,{\color{Red}1},14}]

On sait que la fraction réduite d'indice 10, appliquée à l'équation du paragraphe donne 1 en valeur absolue. Pour la calculer, le plus simple est de commencer par utiliser les relations de récurrences (cf l'article Fraction continue). Si hn / kn désigne la réduite d'indice n et an le coefficient d'indice n, on dispose des formules :

h_{n+2} = a_{n+2}h_{n+1} + h_n \quad \text{et}\quad h_{n+2} = a_{n+2}h_{n+1} + h_n\;

En remarquant que la première et la deuxième réduite sont égales à 7/1 et 8/1, on obtient :

\begin{align} h_2 &= 4 \times 8 + 7 = 39,&h_3 &= 3 \times 39 + 7 = 125,&h_4 &= 164, & h_5 &= 453, & h_6 &= 1\,070, &\cdots \, h_{10} &= 29\;718\\ h_2 &= 4 \times 1 + 1 = 5 ,&k_3 &= 3  \times 5 + 1 = 16,&k_4 &= 21,  & k_5 &= 58,  & k_6 &= 137,    &\cdots \, k_{10} &= 3\;805 \end{align}

Cependant, comme l'indice de la réduite calculée est pair, la solution associée à l'équation du paragraphe est de signe est négatif, ce qui se vérifie aisément :

29\,718^2 - 61\times 3\,805^2 = 883\,159\,524 - 883\,159\,525 = -1

Ni Brahmagupta, ni Fermat n'acceptent ce type de solution. La bonne réduite est donc la 21ième. Pour la calculer, on peut soit prolonger le calcul, soit utiliser le même principe que celui de la deuxième méthode d'extraction d'une racine :

(h_{10}^2 + 61\cdot k_{10}^2)^2 - 61\cdot (2h_{10}k_{10})^2 = 1

L'article équation de Pell-Fermat montre que cette formule donne exactement la solution associée à la 21ième réduite de la fraction continue. La solution du défi de Fermat est :

h_{21} = 1\,766\,319\,049,\quad k_{21} = 226\,153\,980\quad\text{et}\quad 1\,766\,319\,049^2 - 61\times 226\,153\,980^2 = 1

Extraction d'une racine carrée

Première méthode

Les propriétés de la fraction continue d'un nombre quadratique permettent de calculer des approximations des racines carrées. La première technique consiste simplement à calculer les coefficients de la fraction continue puis ses réduites. Si l'on cherche la racine de 3, on trouve dans un premier temps :

\sqrt 3 = 1 + (\sqrt 3 - 1) = 1 + \frac {(\sqrt 3 - 1)(\sqrt 3 + 1)}{\sqrt 3 + 1} = 1 + \frac 1{\frac {\sqrt 3 + 1}2} = 1 + \frac 1{1 + \frac {\sqrt 3 - 1}2} = 1 + \frac 1{1 + \frac 1{\sqrt 3 + 1}} = 1 + \frac 1{1 + \frac 1{ 2 + \sqrt 3 - 1}}

Le quotient complet (√3 - 1)-1 égal à 1/2.(√3 + 1) a déjà été développé en fraction continue, on en déduit l'expression :

\sqrt 3 = [1,1,2,1,2,\cdots] = [1,\overline{1,2}]

Les réduites se calculent par des formules de récurrences, étudiées dans l'article Fraction continue. Si hn / kn sont ces réduites :

h_{n+2} = a_{n+2}h_{n+1} + h_n \quad \text{et}\quad k_{n+2} = a_{n+2}k_{n+1} + k_n\;

Ce qui donne les approximations suivantes de la racine de trois :

\begin{align} h_0 &= 1,& h_1 &=2,&h_2 &= 2 \times 2 + 1 = 5,&h_3 &= 1 \times 5 + 2 = 7,&h_4 &= 19, & h_5 &= 26, &\cdots \, h_{10} &= 989\\ k_0 &= 1,&k_1 &=1,&k_2 &= 2 \times 1 + 1 = 3,&k_3 &= 1 \times 3 + 1 = 4,&k_4 &= 11, & k_5 &= 15, &\cdots \, k_{10} &= 571 \end{align}

Ainsi, à la 10ième étape, on obtient la fraction 989 / 571, approximativement égale à 1,732 049 alors que les 7 premiers chiffres significatifs exacts sont 1,732 051. La précision de cet algorithme à l'étape n est meilleure que 1/(2kn2) d'après les calculs précédents. Pour l'approximation d'indice 10, on sait donc que l'erreur est inférieure à 1/(2x5712) meilleure que le 600 000ième. Une force de cet algorithme est la qualité des solutions proposées, au sens où toute fraction de type a/b avec b strictement inférieur à 571 sera nécessairement moins bonne que la dixième réduite de la fraction continue. Par exemple, la meilleure approximation décimale de la racine de trois avec deux chiffres significatif, égale à 17/10, commet une erreur supérieur au 50ième. Celle un peu équivalente 19/11 correspondant à la réduite d'indice 4 propose une approximation au 200ième, soit quatre fois meilleure. Cette propriété est démontrée dans l'article Fraction continue et approximation diophantienne.

Accélération violente

L'étude de l'équation de Pell-Fermat permet d'imaginer un algorithme dont la convergence est beaucoup plus rapide. Étudions le cas général. La réduite d'indice n est solution de l'équation de Pell-Fermat suivante si n + 1 est la période de la fraction continue associée à la racine de d, un entier non carré parfait :

x^2 - dy^2 =\pm 1\;

L'égalité suivante montre, qu'à partir une solution (hn, kn), il est possible d'en construire une nouvelle, en considérant le carré de l'équation :

(h_n^2 - d k_n^2)^2 = 1 = (h_n - \sqrt d k_n)^2(h_n + \sqrt d k_n)^2 = (h_n^2 + dk_n^2 - \sqrt d\cdot 2h_nk_n)(h_n^2 + d k_n^2 + \sqrt d\cdot 2h_nk_n)

En appliquant à nouveau l'identité remarquable traitant de (a - b)(a + b), on obtient :

(h_n^2 + dk_n^2)^2 - d(2h_nk_n)^2 = 1

Si l'on note uj et vj le numérateur et le dénominateur de cette suite, elle est définie par récurrence :

u_1 = h_n,\quad u_{j+1} = u_j^2 + dv_j^2 \quad\text{et}\quad v_1= k_n,\quad v_{j+1} = 2u_jv_j

L'application au cas de la racine de 3 donne pour première valeur 2/1, en effet, 22 - 3 x 12 = 1 est bien la première solution non triviale, on trouve ensuite :

\begin{align} u_1 &= 2,&u_2 &= 2^2 + 3\times 1^2 = 7,&u_3 &= 7^2 + 3\times 4^2 = 97,&u_4 &= 97^2 + 3\times 56^2 = 18\,817,&u_5 &= 708\,158\,977 \\ v_1 &= 1,&v_2 &= 2\times 2\times 1 = 4,&v_3 &= 2\times 7\times 4 = 56,&v_4 &= 2\times 97\times 56 = 10\,864,&v_5 &= 408\, 855\,776 \end{align}

Il n'existe peu d'applications nécessitant d'aller au-delà de l'étape 5, la précision de u5 / v5 dépasse déjà 20 décimales. Tous ces couples de numérateurs et dénominateurs sont des solutions de l'équation de Pell-Fermat, la théorie indique que ce sont des réduites de la fraction continue de la valeur recherchée, ici la racine de trois. En conséquence, la précision est toujours meilleure que l'inverse du double du carré du dénominateur.

Page générée en 0.122 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise