ANALISE ALGÉBRIQUE.
Sur le calcul des fractions continues périodiques.
Dans un précèdent article nous avons fait voir que les racines des équations du second degré pouvaient toujours être exprimées par des fractions continues de la forme très-simple
![{\displaystyle {\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f1cee898b8d95dfa59b1a881b0dca4352e8b30)
où les périodes, d’un seul terme, se présentent immédiatement. Cette remarque donnant aux fractions continues de cette forme un nouveau degré d’intérêt, on peut se proposer de les combiner avec des quantités rationnelles de toutes les manières qui naissent de la diversité des opérations du calcul, et d’obtenir le résultat en fraction continue de même forme qu’elles ; et tel est le sujet qui va nous occuper,
Soit
![{\displaystyle x={\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c6627c32ad6d6e53da46ca0deba3136fcad7db8)
une fraction continue donnée, équivalente conséquemment à une des racines de l’équation
![{\displaystyle x^{2}+qx=p\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a31056154a2a0d68989b849ebad937d7a5ee6a3b)
et soit
un nombre rationnel donné. Si d’abord on veut avoir leur somme, en représentant cette somme par
on aura
![{\displaystyle y=x+k,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbb41787f4162c702978fa0ef4f9ebe81cd77ae2)
d’où
![{\displaystyle \quad x=y-k\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ea97ae830136a363380cc098a0d575827081483)
au moyen de quoi l’équation du second degré deviendra
![{\displaystyle (y-k)^{2}+q(y-k)=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26ab5200295c577a89faf41aed5161ae8c41d288)
ou, en développant et ordonnant
![{\displaystyle y^{2}+(q-2k)y=p+qk-k^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd28ed3905e40140c85d457b4a1702e05f496508)
ce qui donne
![{\displaystyle y={\frac {p+qk-k^{2}}{q-2k+y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bbe36db4308506b1effa89c3ee74f92d1154e38)
de sorte qu’on aura
(I)
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}+k={\frac {p+qk-k^{2}}{q-2k+{\frac {p+qk-k^{2}}{q-2k+{\frac {p+qk-k^{2}}{q-2k+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d66f932d58c8274e6152992c65755f3fc47d143d)
En changeant le signe de
dans cette formule, elle devient
(II)
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}-k={\frac {p-qk-k^{2}}{q+2k+{\frac {p-qk-k^{2}}{q+2k+{\frac {p-qk-k^{2}}{q+2k+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8fb8c5fadbfb0d2fbd261c6817b3fb57731bc12)
tel est donc le reste qu’on obtient en retranchant de notre fraction continue un nombre rationnel donné.
On peut encore écrire
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}-k=-{\frac {k^{2}+qk-p}{2k+q-{\frac {k^{2}+qk-p}{2k+q-{\frac {k^{2}+qk-p}{2k+q-\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e22812e6d58c264d1668eedcd75573128634832c)
équation qui devient, en changeant les signes
(III)
![{\displaystyle k-\left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}={\frac {k^{2}+qk-p}{2k+q-{\frac {k^{2}+qk-p}{2k+q-{\frac {k^{2}+qk-p}{2k+q-\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/298e28a1c8ca24001b20f537cd9046dc0a4c9ad5)
tel est donc le résultat qu’on obtient, en retranchant notre fraction continue d’un nombre rationnel donné.
Si, dans cette dernière formule, on fait
elle deviendra
![{\displaystyle -q-\left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}={\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b54eebca3322f320ea451044c60454157c86b0f)
ce qui nous montre qu’on ne change rien à une fraction continue de la nature de celles que nous considérons ici en la retranchant du dénominateur commun de ses fractions intégrantes, pris en signe contraire.
On sait que, dans l’équation
![{\displaystyle x^{2}+qx=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f350f8c50fa6b85543c3a7ab6d9ea83d88b77e01)
la somme des racines est
d’où il suit qu’en retranchant l’une d’elles de
on doit avoir l’autre pour reste ; puis donc qu’en retranchant de
une des racines, mise sous forme de fraction continue, on trouve cette même fraction continue pour reste ; il s’ensuit que, comme nous l’avons déjà fait observer dans le précédent article, une fraction continue périodique exprime implicitement les deux racines d’une équation du second degré ; de sorte que, bien que rationnelle, ce n’en est pas moins une fonction biforme, susceptible, comme l’expression finie des racines de ces sortes d’équations, de passer du réel à l’imaginaire. C’est ce qui arrive, en effet, lorsque le numérateur commun des fractions intégrantes est négatif et plus grand que le quart du quarré de leur dénominateur commun. Aussi arrive-t-il alors que les réduites consécutives cessent d’être convergentes.
Cette remarque donne l’explication d’une sorte de paradoxe que semble offrir l’équation
![{\displaystyle -q-\left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}=\left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc1c9b9718d62d564bbffd25d3c7f1aa481e7777)
elle donne, en transposant,
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}+\left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}=-q\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df2aacf94b77da52a1985b6a4ac297f7b2a62d9b)
mais il faudrait bien se garder d’en conclure, comme on semblerait fondé à le faire,
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}=-{\frac {q}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ff6198ff5105a118bfd6be93cce2c8674904bce)
attendu que, dans le premier membre de l’équation qui précède immédiatement cette dernière, les deux fractions continues, bien que de même forme, doivent être réputées exprimer des racines différentes. On voit par là, pour le dire en passant, avec quelle circonspection on doit raisonner sur ces sortes de développemens.
Soit toujours
![{\displaystyle x={\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c6627c32ad6d6e53da46ca0deba3136fcad7db8)
une fraction continue donnée, et désignons par
le produit de sa multiplication par un nombre rationnel
nous aurons ainsi
![{\displaystyle y=kx,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/119c7c655f04481f38b48c844d79183cce240a94)
d’où
![{\displaystyle \quad x={\frac {y}{k}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61c1b88efa22ce90808eabfcfd68fba952989f40)
mettant cette valeur dans l’équation
![{\displaystyle x^{2}+qx=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f350f8c50fa6b85543c3a7ab6d9ea83d88b77e01)
elle deviendra
![{\displaystyle y^{2}+kqy=k^{2}p\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d11b282d448330a569b9f44cc7a604fc9560e26)
d’où
![{\displaystyle y={\frac {k^{2}p}{kq+y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9de7b5bfd52b1281627bae9d7ce884568b14cd6)
de sorte qu’on aura
(IV)
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}.k={\frac {k^{2}p}{kq+{\frac {k^{2}p}{kq+{\frac {k^{2}p}{kq+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/865ba0b90bda895a6cd44503c3c10e79b536370f)
c’est-à-dire qu’on multiplie une fraction continue périodique de la nature de celles que nous considérons ici par un multiplicateur rationnel quelconque, en multipliant simplement les numérateurs de ses fractions intégrantes par le quarré et leurs dénominateurs par la première puissance de ce multiplicateur.
On conclut de là ou bien du changement de
en
(V)
![{\displaystyle -{\frac {\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}{k}}={\frac {\frac {p}{k^{2}}}{{\frac {q}{k}}+{\frac {\frac {p}{k^{2}}}{{\frac {q}{k}}+{\frac {\frac {p}{k^{2}}}{{\frac {q}{k}}+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/416cc0a830cff36ebbfb00797d74c6bcb471489c)
Si l’on divise l’unité par les deux membres de cette dernière équation, il vient, toutes réductions faites
(VI)
![{\displaystyle \quad {\frac {k}{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}=-{\frac {\frac {k^{2}}{p}}{{\frac {qk}{k}}+{\frac {\frac {k^{2}}{p}}{{\frac {qk}{k}}+{\frac {\frac {k^{2}}{p}}{{\frac {qk}{k}}+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31855dcb214a3f02f5049f4b2d41e1adb2cdd298)
Si, dans cette dernière formule, on fait k=s-p, il viendra
![{\displaystyle {\frac {-p}{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}={\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aac6e0e85a6206a0edb14f446ab0eaa5fe428bdf)
c’est-à-dire qu’en divisant par une fraction continue de la nature de celles que nous considérons ici le numérateur commun de ses fractions intégrantes pris en moins, on obtient pour quotient cette même fraction continue.
On sait que dans l’équation
![{\displaystyle x^{2}+qx=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f350f8c50fa6b85543c3a7ab6d9ea83d88b77e01)
le produit des racines est
d’où il suit qu’en divisant
par l’une d’elles, on doit obtenir l’autre pour quotient ; puis donc qu’en divisant
par l’une d’elles, mise sous forme de fraction continue périodique, on obtient pour quotient cette fraction continue périodique, il s’ensuit de nouveau, comme nous l’avons déjà remarqué ci-dessus, que, sans sa forme unique, cette fraction exprime pourtant les deux racines de l’équation du second degré de laquelle elle est dérivée.
Ainsi s’explique l’espèce de paradoxe auquel semblerait donner lieu le dernier résultat que nous avons obtenu ci-dessus, lequel donne, en chassant le dénominateur,
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}\left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}=-p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a41f55401e9c549d4585a9a57fedc0dc92ce2d11)
sans que toutefois on en puisse conclure, comme on semblerait autorisé à le faire,
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}={\sqrt {-p}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0593713d6f8b9faf5a3081e99f7074042547261a)
La première de ces deux équations ne saurait subsister, en effet, qu’autant que les deux fractions continues, dont le produit compose son premier membre, expriment des racines différentes. Voilà donc encore une nouvelle preuve de la réserve qu’on doit apporter dans l’emploi des expressions de cette forme.
Cherchons présentement les puissances successives de la fraction continue
![{\displaystyle x={\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c6627c32ad6d6e53da46ca0deba3136fcad7db8)
En représentant son quarré par
et éliminant
entre les deux équations,
![{\displaystyle x^{2}+qx=p,\qquad x^{2}=y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41dc9880057ccacd1f758e22d85c74738d156543)
il viendra
![{\displaystyle y^{2}-\left(q^{2}+2p\right)y+p^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed0c9be663ad0c436cd5e87a93eff12eb095f703)
ce qui donne
![{\displaystyle y={\frac {p^{2}}{\left(q^{2}+2p\right)-y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac8d8e9d4da3734073de14e3b79a8874ba0f66b1)
d’où
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}^{2}={\frac {p^{2}}{q^{2}+2p-{\frac {p^{2}}{q^{2}+2p-{\frac {p^{2}}{q^{2}+2p-\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37a3de3deeb079c5cca4dd2f49cd4465cb962751)
S’il s’agit du cube de la même fraction continue, en le représentant par
on aura à éliminer
entre les deux équations
![{\displaystyle x^{2}+qx=p,\qquad x^{3}=y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa7f065edd1284b476c41ad1558fde59c1b0c92d)
cela donnera
![{\displaystyle y^{2}+\left(q^{3}+3pq\right)y=p^{3}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d76a587baf04223324eefc3741f93f92b71f49be)
d’où
![{\displaystyle y={\frac {p^{3}}{\left(q^{3}+3pq\right)+y}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/983b0811dc2a851fab178ba8e5153b132bf18774)
de sorte qu’on aura
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}^{3}={\frac {p^{3}}{q^{3}+3pq+{\frac {p^{3}}{q^{3}+3pq+{\frac {p^{3}}{q^{3}+3pq+\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c0b20a1c2f2372f9cb3ed80c04ff192dd4a4d61)
En procédant d’une manière analogue pour les puissances supérieures, on trouvera successivement
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}^{4}={\frac {p^{4}}{q^{4}+4pq^{2}+2p^{2}-{\frac {p^{4}}{q^{4}+4pq^{2}+2p^{2}-\ldots }}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7017363c6e17d6860c8a64df53ff59379de70e97)
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}^{5}={\frac {p^{5}}{q^{5}+5pq^{3}+5p^{2}q+{\frac {p^{5}}{q^{5}+5pq^{3}+5p^{2}q+\ldots }}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0554465aed37dddc474e2b69b91437a5057ee8e)
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}^{6}={\frac {p^{6}}{q^{6}+6pq^{4}+9p^{2}q^{2}+2p^{3}-{\frac {p^{6}}{q^{6}+6pq^{4}+9p^{2}q^{2}+2p^{3}-\ldots }}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3592edb2232256468f324b5a7905ed3a3010c81b)
et, en général,
![{\displaystyle \left\{{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right\}^{m}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4fc39a9fe78ab8ffdcbf3ecd043b87e2ca77405)
![{\displaystyle {\frac {p^{m}}{q^{m}+{\frac {m}{1}}pq^{m-2}+{\frac {m}{1}}.{\frac {m-3}{2}}p^{2}q^{m-4}+{\frac {m}{1}}.{\frac {m-3}{2}}.{\frac {m-5}{3}}p^{3}q^{m-6}+\ldots \pm {\frac {p^{m}}{q^{m}+\ldots }}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/453a637372df67583d8569a01b68bba19e4e085d)
Le signe supérieur ou le signe inférieur devant être pris, suivant que
est pair ou impair.
Quant aux racines des fractions continues périodiques, on sent qu’elles ne sauraient être développables en fractions continues périodiques rationnelles que dans des cas très-particuliers ; et en conséquence, nous ne nous en occuperons pas.
Pour les mêmes raisons, nous ne nous occuperons pas non plus de la recherche de la somme, de la différence, du produit ou du quotient de la division de deux fractions continues périodiques ; car ces résultats, étant évidemment susceptibles de quatre valeurs différentes, ne sauraient, généralement parlant, être développés en fractions continues périodiques rationnelles.
Dans les recherches qui viennent de nous occuper, nous avons souvent rencontré des fractions continues périodiques de la forme
![{\displaystyle x={\frac {p}{q-{\frac {p}{q-{\frac {p}{q-\ldots }}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31bd792be8487df398adecc39b8da9091cc1354f)
et on peut désirer de leur substituer d’autres fractions continues dans lesquelles toutes les fractions intégrantes soient positives. C’est là une chose très-facile, au moyen d’une extension donnée à une remarque de Lagrange, sur les fractions continues dans lesquelles les numérateurs sont égaux à l’unité. Nous pouvons d’abord écrire
![{\displaystyle x={\frac {p}{q-{\frac {p}{q-x}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9b8c7c897dc88854e80ff4855ca48f6bc03e007)
or, on a l’équation identique
![{\displaystyle q-{\frac {p}{q-x}}=(q-p)+{\frac {p}{1+{\frac {1}{q-1-x}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cdecfa430b35fecb87511e4e14aad755424a9c)
en substituant donc, il viendra
![{\displaystyle x={\frac {p}{q-p+{\frac {p}{1+{\frac {1}{q-1-x}}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/944b5c5ea3aa82ec98ebbc519a9a975ae087f027)
et par conséquent
![{\displaystyle x={\frac {p}{q-p+{\frac {p}{1+{\frac {1}{q-1-{\frac {p}{q-p+y}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f24060ab6a9b579a493f0f3b25013d83d18575a9)
en posant, pour abréger,
![{\displaystyle y={\frac {p}{1+{\frac {1}{q-1-x}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b92222ba9227df12b905cc5e224a7e4a717a170)
Mais, par une transformation analogue, on trouve
![{\displaystyle q-1-{\frac {p}{q-p+y}}=(q-p-1)+{\frac {p}{1+{\frac {1}{q-p-1+y}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c3dc74b5086e0c7cd3780df0381b6b332e85a8d)
donc, en substituant et mettant pour
sa valeur,
![{\displaystyle x={\frac {p}{q-p+{\frac {p}{1+{\frac {1}{q-p-1+{\frac {p}{1+{\frac {1}{q-p-1+{\frac {p}{1+{\frac {1}{q-p-1+\ldots }}}}}}}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a06b0b5548368452a3c571321b7fa71f039716d3)
Mais, pour que cette transformation conduise au but, encore faut-il que
soit plus grand que
et l’on n’obtient finalement qu’une fraction continue peu convergente, qui n’est plus immédiatement périodique et dont les périodes ont deux termes. Au surplus, il résulte, de ce qui a été dit dans l’article auquel celui-ci fait suite, que, quelle que soit une fraction continue périodique, on peut toujours, à moins qu’elle n’exprime des imaginaires, la ramener, et même d’une infinité de manières différentes, à la forme
![{\displaystyle {\frac {1}{n}}\left(k+{\frac {p}{q+{\frac {p}{q+{\frac {p}{q+\ldots }}}}}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be0ae7b35eca048143aa650d9fa258f4ceff33b7)
ou
sont des nombres entiers positifs.