ADDITIONS AU MÉMOIRE
SUR LA
RÉSOLUTION DES ÉQUATIONS NUMÉRIQUES[1].
(Mémoires de l’Académie royale des Sciences et Belles-Lettres
de Berlin, t. XXIV, 1770.)
J’ai donné dans ce Mémoire une méthode générale pour résoudre les équations numériques de tous les degrés, matière sur laquelle on n’avait encore que des tentatives et des essais. Ma méthode ne laisse, ce me semble, rien à désirer : non-seulement elle fournit un moyen sûr de reconnaître combien de racines réelles positives ou négatives, égales ou inégales, il y a dans une équation quelconque ; elle donne encore le moyen d’approcher d’aussi près que l’on veut, et le plus qu’il est possible en nombres rationnels, de la vraie valeur de chaque racine ; et c’est à quoi se réduit, si je ne me trompe, tout ce qu’on peut souhaiter dans la résolution des équations.
Ayant eu occasion de penser encore à cette matière, j’ai fait de nouvelles réflexions qui peuvent servir à perfectionner et à simplifier ma méthode dans plusieurs cas ; ce sont ces réflexions que je vais exposer ici : elles me paraissent assez importantes pour mériter quelque attention de la part des Géomètres.
§ I. — Sur les racines imaginaires des équations.
Remarque I.
Sur la manière de reconnaître quand toutes les racines d’une équation
sont réelles.
1. Dans le no 8 de ee Mémoire, fai donné des formules générales pour déduire d’une équation quelconque une autre équation dont les racines soient les carrés des différences entre les racines de l’équation proposée. Or, si toutes les racines d’une équation sont réelles, il est évident que les carrés de leurs différences seront tous positifs ; par conséquent, l’équation dont ces carrés seront les racines, et que nous appellerons dorénavant, pour abréger, équation des différences, cette équation, dis-je, n’ayant que des racines réelles positives, aura nécessairement les signes de ses termes alternativement positifs et négatifs ; de sorte que, si cette condition n’a pas lieu, ce sera une marque sûre que l’équation primitive a nécessairement des racines imaginaires.
2. De plus, comme on sait (voyez les Mémoires de cette Académie pour l’année 1746 et ceux de la Société de Turin pour l’année 1760) que les racines imaginaires vont toujours deux à deux, et qu’elles peuvent se mettre sous la forme
![{\displaystyle \alpha +\beta {\sqrt {-1}},\quad \alpha -\beta {\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/794cc895065974825263b53805cb1ea368eb92db)
et
étant des quantités réelles, il s’ensuit que la différence de deux racines imaginaires correspondantes sera nécessairement de la forme
de sorte que le carré de cette différence sera
c’est-à-dire une quantité réelle et négative. Donc, si l’équation proposée a des racines imaginaires, il faudra nécessairement que l’équation des différences ait au moins autant de racines réelles négatives qu’il y aura de couples de racines imaginaires dans la proposée.
C’est ce que j’avais déjà remarqué dans le § II du Mémoire cité ; mais voici une conséquence qui m’avait échappé alors, et qui peut être d’une grande utilité dans la recherche des racines imaginaires.
3. Nous venons de voir que chaque couple de racines imaginaires de la proposée doit donner au moins une racine réelle négative dans l’équation des différences. Or, il est démontré (voyez les Mémoires de l’Académie des Sciences de Paris pour l’année 1741) qu’une équation quelconque ne saurait avoir plus de racines positives qu’elle n’a de changements de signes, ni plus de racines négatives qu’elle n’a de successions du même signe. Donc, le nombre des racines imaginaires dans une équation quelconque ne pourra jamais être plus grand que le double de celui des successions de signe dans l’équation des différences.
4. De là et de ce que nous avons dit ci-dessus il s’ensuit que, si l’équation des différences a tous ses termes alternativement positifs et négatifs, l’équation primitive aura nécessairement toutes ses racines réelles, sinon elle aura nécessairement des racines imaginaires. Ainsi l’on pourra toujours juger par ce moyen s’il y a ou non des racines imaginaires dans une équation quelconque donnée.
Remarque II.
Où l’on donne des règles pour déterminer le nombre des racines
imaginaires d’une équation.
5. Soient
![{\displaystyle a,\quad b,\quad c,\quad d,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d184bb8f5bc09029772092e9a000fa0c35ea498)
les racines réelles d’une équation quelconque, et
![{\displaystyle \alpha +\beta {\sqrt {-1}},\quad \alpha -\beta {\sqrt {-1}},\quad \gamma +\delta {\sqrt {-1}},\quad \gamma -\delta {\sqrt {-1}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc4317e8800fd57583b39785c4a7fd9ca9f5556)
les racines imaginaires ; les carrés des différences de ces racines seront
![{\displaystyle {\begin{array}{lll}(a-b)^{2},&(a-c)^{2},&(a-d)^{2},\ldots ,\\(b-c)^{2},&(b-d)^{2},\ldots ,&(c-d)^{2},\ldots \,;\\-4\beta ^{2},&-4\delta ^{2},\ldots ,\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91d9f0bd6c4579efeeb5b777b81b3d44d6f1f120)
![{\displaystyle {\begin{array}{rl}\left(\alpha -a+\beta {\sqrt {-1}}\right)^{2},&\left(\alpha -a-\beta {\sqrt {-1}}\right)^{2},\\\left(\alpha -b+\beta {\sqrt {-1}}\right)^{2},&\left(\alpha -b-\beta {\sqrt {-1}}\right)^{2},\\\left(\alpha -c+\beta {\sqrt {-1}}\right)^{2},&\left(\alpha -c-\beta {\sqrt {-1}}\right)^{2},\\\left(\alpha -d+\beta {\sqrt {-1}}\right)^{2},&\left(\alpha -d-\beta {\sqrt {-1}}\right)^{2},\\\ldots \ldots \ldots \ldots \ldots ,&\ldots \ldots \ldots \ldots \ldots ,\\\left(\gamma -a+\delta {\sqrt {-1}}\right)^{2},&\left(\gamma -a-\delta {\sqrt {-1}}\right)^{2},\\\left(\gamma -b+\delta {\sqrt {-1}}\right)^{2},&\left(\gamma -b-\delta {\sqrt {-1}}\right)^{2},\\\left(\gamma -c+\delta {\sqrt {-1}}\right)^{2},&\left(\gamma -c-\delta {\sqrt {-1}}\right)^{2},\\\left(\gamma -d+\delta {\sqrt {-1}}\right)^{2},&\left(\gamma -d-\delta {\sqrt {-1}}\right)^{2},\\\ldots \ldots \ldots \ldots \ldots ,&\ldots \ldots \ldots \ldots \ldots ,\\\left[\alpha -\gamma +(\beta -\delta ){\sqrt {-1}}\right]^{2},&\left[\alpha -\gamma -(\beta -\delta ){\sqrt {-1}}\right]^{2},\\\left[\alpha -\gamma +(\beta +\delta ){\sqrt {-1}}\right]^{2},&\left[\alpha -\gamma -(\beta +\delta ){\sqrt {-1}}\right]^{2},\\\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,&\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,&\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8aa8295a80472f9d358ec7b134c1aa8db6ef2c24)
lesquels seront par conséquent les racines de l’équation des différences.
Soit
le degré de l’équation proposée, qui est égal au nombre des racines
![{\displaystyle a,b,c\ldots \quad \alpha +\beta {\sqrt {-1}},\quad \alpha -\beta {\sqrt {-1}},\quad \gamma +\delta {\sqrt {-1}},\quad \gamma -\delta {\sqrt {-1}},\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8949a967fdbf145bd546cea4fdc8a0861163b2f0)
celui de l’équation des différences sera (no 8 du Mémoire cité)
![{\displaystyle {\frac {m(m-1)}{2}}=n\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/588e3152c6ecadcd9bca293c8cb18917c8d0aba5)
or, soit
le nombre des racines réelles
et
celui des racines imaginaires
![{\displaystyle \alpha +\beta {\sqrt {-1}},\quad \alpha -\beta {\sqrt {-1}},\quad \gamma +\delta {\sqrt {-1}},\quad \gamma -\delta {\sqrt {-1}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c2c5a627ca73d56333c01436a58ec08935b3340)
en sorte que
il est facile de voir par la table précédente que, parmi les
racines de l’équation des différences, il y en aura nécessairement
de réelles et positives,
de réelles et négatives, et
d’imaginaires.
6. Qu’on fasse maintenant le produit de toutes ces racines, et il est visible que le produit des
racines positives sera toujours positif, que celui des
racines négatives sera positif ou négatif, suivant que le nombre
sera pair ou impair, qu’enfin le produit des
racines imaginaires sera toujours positif ; en effet, ces dernières racines étant deux à deux de la forme
![{\displaystyle \mathrm {\left(A+B{\sqrt {-1}}\right)} ^{2},\quad \mathrm {\left(A-B{\sqrt {-1}}\right)} ^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/644b756abc3f0dc7679097fad32f5de6b5023389)
leurs produits deux à deux seront de la forme
![{\displaystyle \mathrm {\left(A^{2}+B^{2}\right)} ^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/220bb319a0f1a160382fe53445c5ba034ff78ba5)
et par conséquent positifs ; donc, le produit de toutes ces racines ensemble sera toujours aussi positif.
Donc le produit total sera nécessairement positif ou négatif, suivant que
sera pair ou impair.
Mais le dernier terme d’une équation est, comme on sait, égal au produit de toutes ses racines avec le signe
ou
suivant que le nombre de ces racines est pair ou impair.
Donc le dernier terme de l’équation des différences dont le degré est
sera nécessairement positif si
et
sont tous deux pairs ou tous deux impairs, et négatif si l’un de ces nombres est pair et l’autre impair.
7. Or, si
et
sont tous deux pairs ou impairs,
sera nécessairement pair, et si
et
sont l’un pair et l’autre impair,
sera nécessairement impair ; mais, à cause de
![{\displaystyle n={\frac {m(m-1)}{2}}\quad {\text{et de}}\quad m=p+2q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a4a7da700509e2f5d89fb6ee772cc8e66b20252)
on a
![{\displaystyle n-q={\frac {p(p-1)}{2}}+2q(p+q-1),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44ed5493034fdf348ad8778ed6ada4169a289c06)
de sorte que
sera toujours pair ou impair, suivant que
le sera.
Donc le dernier terme de l’équation des différences sera nécessairement positif ou négatif, suivant que le nombre
sera pair ou impair, c’est-à-dire suivant que le nombre des combinaisons des racines réelles de la proposée prises deux à deux sera pair ou impair.
8. 1o Supposons que ce dernier terme soit positif, il faudra en ce cas que
soit pair ; donc, ou
![{\displaystyle {\frac {p}{2}}=2\lambda \quad {\text{et}}\quad p=4\lambda ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8bac2033c5c64843fadf8b0a9e8b8352b96f232)
ou
![{\displaystyle {\frac {p-1}{2}}=2\lambda \quad {\text{et}}\quad p=4\lambda +1\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e6c2131bce88de361bb83a31c14b2a86381b48e)
d’où il s’ensuit que, dans ce cas, le nombre des racines réelles de la proposée sera nécessairement multiple de
si ce nombre est pair, c’est-à-dire si le degré de l’équation est pair, ou multiple de
plus
si le degré de l’équation est impair. Ainsi, il sera impossible que l’équation ait
ou
ou
ou
racines réelles.
2o Supposons que le dernier terme de l’équation des différences soit négatif, il faudra alors que
soit impair ; donc, ou
![{\displaystyle {\frac {p}{2}}=2\lambda +1\quad {\text{et}}\quad p=4\lambda +2,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b467d8efad1052334f9a8596d279f6d1d09d276)
ou
![{\displaystyle {\frac {p-1}{2}}=2\lambda +1\quad {\text{et}}\quad p=4\lambda +3\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d6a483b5f6bbe8455be6b0aad2488b75f305918)
d’où il s’ensuit que, dans ce cas, le nombre des racines réelles de la proposée sera nécessairement multiple de
plus
si le degré de l’équation est pair, ou multiple de
plus
si ce degré est impair. De sorte qu’il sera impossible que l’équation ait en ce cas
ou
ou
ou
ou
racines réelles.
9. Ainsi, par l’inspection seule des signes de l’équation des différences, on sera en état de juger : 1o si toutes les racines de l’équation proposée sont réelles ou non ; 2o si le nombre des racines réelles est un de ceux-ci
ou bien s’il est un de ceux-ci ![{\displaystyle 2,3,6,7,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a097d8f2bd460c90804dbe98d1ff4172174ad3fe)
ce qui suffira pour déterminer le nombre des racines réelles et des racines imaginaires dans les équations qui ne passent pas le cinquième degré, et dans toutes les équations où l’en saura d’avance que les racines imaginaires ne sauraient être plus de quatre.
Peut-être qu’en poussant plus loin cette théorie on pourrait trouver des règles sûres pour déterminer le nombre des racines réelles dans les équations de degré quelconque, les méthodes qu’on a proposées jusqu’à présent pour cet objet étant ou insuffisantes, comme celles de Newton, Maclaurin, etc., ou impraticables, comme celles de Stirling et de l’abbé de Gua, qui supposent la résolution des équations des degrés inférieurs.
Remarque III.
Où l’on applique la théorie précédente aux équations du second,
troisième et quatrième degré.
10. Soit l’équation proposée du second degré comme
![{\displaystyle x^{2}-\mathrm {A} x+\mathrm {B} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa859cf76126f5472ab31090db91112df87b7a3c)
l’équation des différences sera du degré
et l’on trouvera par la méthode du no 8 du Mémoire cité que cette équation sera
![{\displaystyle v-a=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f92cd2661d999661e6068decdd300dbaa1423c8)
où l’on aura
![{\displaystyle 4a=\mathrm {A^{2}-4B} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d73696489d456b7ca81cc878068b37e545b37317)
Ainsi les racines seront toutes deux réelles ou toutes deux imaginaires suivant que l’on aura
ou
et elles seront égales lorsque ![{\displaystyle \mathrm {A^{2}=4B} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae14f25516f94ef9b6b1816db8e6627068efb04)
11. Soit proposée l’équation générale du troisième degré
![{\displaystyle x^{3}-\mathrm {A} x^{2}+\mathrm {B} x-\mathrm {C} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/558f2c39cb5c6b2a4885c1d8651d928805a6619f)
l’équation des différences sera ici du degré
\frac{3.2}{2}=3,
et l’on trouvera par la même méthode
![{\displaystyle v^{3}-av^{2}+bv-c=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b3b763a4f71a41b7dffab4ca66bfba01cb8fa11)
où
![{\displaystyle {\begin{aligned}4a=&2\mathrm {\left(A^{2}-3B\right)} ,\\16b=&\mathrm {\left(A^{2}-3B\right)} ^{2},\\4^{3}c=&\mathrm {\frac {4\left(A^{2}-3B\right)\left(B^{2}-3AC\right)-(9C-AB)^{2}}{3}} .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9f94b09aa7478197cc9debbbbfc2f5494457202)
Donc, pour que les racines soient toutes réelles, il faudra que l’on ait
1
o![{\displaystyle \qquad \qquad \mathrm {A^{2}-3B} >0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94fc7a81504fc5ff397ad41f452b2c7d97868cd7)
2
o![{\displaystyle \qquad \qquad 4\mathrm {\left(A^{2}-3B\right)\left(B^{2}-3AC\right)-(9C-AB)^{2}} >0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6be22118969a8b4880d1e7229a24a6d96512c6ae)
Si l’une de ces deux conditions manque, l’équation aura deux racines imaginaires.
12. Soit maintenant proposée l’équation générale du quatrième degré
![{\displaystyle x^{4}{\text{✭}}+\mathrm {B} x^{2}-\mathrm {C} x+\mathrm {D} =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec9190e2f71172917103a3eb458a53341d9df17f)
dont le second terme est évanoui pour plus de simplicité ; le degré de l’équation des différences sera
de sorte que cette équation sera
![{\displaystyle v^{6}-av^{5}+bv^{4}-cv^{3}+dv^{2}-ev+f=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f240dc7771017aee6176a98807dc04229f8036d0)
où l’on trouvera par la même méthode
![{\displaystyle {\begin{aligned}4a=&-8\mathrm {B} ,\\16b=&22\mathrm {B^{2}+8D} ,\\4^{3}c=&-18\mathrm {B^{2}+16BD+26C^{2}} ,\\4^{4}d=&17\mathrm {B^{4}+24B^{2}D-7.16D^{2}+3.16BC^{2}} ,\\4^{5}e=&-4\mathrm {B^{5}-2.27C^{2}B^{2}-8.27C^{2}D+3.4^{5}BD^{2}-2.4^{2}B^{3}D} ,\\4^{6}f=&4^{4}\mathrm {D^{3}-2^{3}4^{2}B^{2}D^{2}+4^{2}3^{2}C^{2}BD+4^{2}B^{4}D-4C^{2}B^{3}-3^{3}C^{4}} .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7234e14e80e26ced391e3ba2479927587bb1d35)
Donc si la quantité
![{\displaystyle 4^{4}\mathrm {D^{3}-2^{3}4^{2}B^{2}D^{2}+4^{2}3^{2}C^{2}BD+4^{2}B^{4}D-4C^{2}B^{3}-3^{3}C^{4}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ecd4a6cc5e995e614b17dc6542c2394a9b26cc0)
est négative, la proposée aura nécessairement deux racines réelles et deux imaginaires ; mais, si cette quantité est positive, alors la proposée aura toutes ses racines réelles ou toutes imaginaires.
Or, toutes les racines seront réelles si les valeurs de tous les coefficients
sont positives ; donc elles seront toutes imaginaires si, le dernier coefficient
étant positif, quelqu’un des autres se trouve négatif.
Supposons donc le coefficient
positif, en sorte que l’on ait
![{\displaystyle 4^{4}\mathrm {D^{3}-2^{3}4^{2}B^{2}D^{2}+4^{2}3^{2}C^{2}BD+4^{2}B^{4}D-4C^{2}B^{3}-3^{3}C^{4}} >0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/453055f2db54690424262249cae2847c56d82900)
et l’on trouvera que tous les autres coefficients seront aussi positifs si l’on a en même temps
![{\displaystyle \mathrm {B} <0\quad {\text{et}}\quad \mathrm {B^{2}-4D} >0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9b87b12c500eaf76ff2d7e314147807c087f407)
et qu’au contraire quelqu’un d’eux deviendra nécessairement négatif si
![{\displaystyle \mathrm {B} >0\quad {\text{ou}}\quad \mathrm {B^{2}-4D} <0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c89152426bb3fe8b31bd8f32fa286e0d30507e50)
Ainsi, dans le premier cas, les quatre racines de l’équation seront toutes réelles, et dans le second cas elles seront toutes imaginaires.
On pourrait de même trouver les conditions qui rendent les racines des équations du cinquième degré toutes réelles, ou en partie réelles et en partie imaginaires : mais comme dans ce cas l’équation des différences monterait au degré
le calcul deviendrait extrêmement prolixe et embarrassant.
Remarque IV.
Sur la manière d’avoir les racines imaginaires des équations.
13. Nous avons vu dans la Remarque II que chaque couple de racines imaginaires correspondantes
donne nécessairement dans l’équation des différences une racine réelle négative
d’où il s’ensuit qu’en cherchant les racines réelles négatives de cette équation, on trouvera nécessairement les valeurs de
d’où l’on aura celles de
à l’aide desquelles on pourra ensuite trouver les valeurs correspondantes de
comme nous l’avons enseigné dans le no 17 du Mémoire cité ; de sorte qu’on aura par ce moyen l’expression de chaque racine imaginaire de l’équation proposée, ce qui est souvent nécessaire, surtout dans le calcul intégral. Voici seulement une observation qui peut servir à répandre un plus grand jour sur cette théorie, et à dissiper en même temps les doutes qu’on pourrait se former sur son exactitude et sa généralité.
14. Lorsque les parties réelles
des racines imaginaires
![{\displaystyle \alpha +\beta {\sqrt {-1}},\quad \alpha -\beta {\sqrt {-1}},\quad \gamma +\delta {\sqrt {-1}},\quad \gamma -\delta {\sqrt {-1}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c2c5a627ca73d56333c01436a58ec08935b3340)
sont inégales tant entre elles qu’avec les racines réelles
il est évident par la table de la Remarque précédente que l’équation des différences n’aura absolument d’autres racines réelles négatives que celles-ci ![{\displaystyle -4\beta ^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42a23622b882c1687e2d985ee6b16a854942d555)
de sorte que le nombre de ces racines sera le même que celui des couples de racines imaginaires dans l’équation proposée.
Mais, s’il arrive que parmi les quantités
il s’en trouve d’égales entre elles ou d’égales aux quantités
alors l’équation des différences aura nécessairement plus de racines négatives que la proposée n’aura de couples de racines imaginaires.
En effet, soit
et les deux racines imaginaires
![{\displaystyle \left(\alpha -a+\beta {\sqrt {-1}}\right)^{2},\quad \left(\alpha -a-\beta {\sqrt {-1}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24615dce94848b7876f86c4177d3386b6165fe69)
deviendront
et
et par conséquent réelles négatives.
De sorte que, si l’équation proposée ne contient, par exemple, que les deux racines imaginaires
![{\displaystyle \alpha +\beta {\sqrt {-1}}\quad {\text{et}}\quad \alpha -\beta {\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/859ebe0444c536b22655f85d7936c4ed44f33be1)
l’équation des différences contiendra, dans le cas de
outre la racine réelle négative
encore ces deux-ci
égales entre elles.
D’où l’on voit que lorsque l’équation des différences a trois racines réelles négatives, dont deux sont égales entre elles, alors la proposée peut avoir ou trois couples de racines imaginaires ou un seulement.
Si la proposée contient quatre racines imaginaires
![{\displaystyle \alpha +\beta {\sqrt {-1}},\quad \alpha -\beta {\sqrt {-1}},\quad \gamma +\delta {\sqrt {-1}},\quad \gamma -\delta {\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06982f3de4aa4f0a261c37a93e82a566f8770f3e)
alors l’équation des différences contiendra d’abord les deux racines réelles négatives
ensuite, si
elle aura encore ces deux-ci
si
elle aura de même ces deux autres-ci
enfin, si l’on avait
alors les quatre racines imaginaires
![{\displaystyle {\begin{aligned}\left[\alpha -\gamma +(\beta -\delta ){\sqrt {-1}}\right]^{2},\qquad &\left[\alpha -\gamma -(\beta -\delta ){\sqrt {-1}}\right]^{2},\\\left[\alpha -\gamma +(\beta +\delta ){\sqrt {-1}}\right]^{2},\qquad &\left[\alpha -\gamma -(\beta +\delta ){\sqrt {-1}}\right]^{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a79eeda5347b43594bb3de4dae17db99cae63704)
deviendraient
![{\displaystyle -(\beta -\delta )^{2},\quad -(\beta -\delta )^{2},\quad -(\beta +\delta )^{2},\quad -(\beta +\delta )^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcbce18f3d335dd6e09e29a9738f9a69cba10151)
c’est-à-dire réelles négatives et égales deux à deux.
15. De là il est facile de conclure :
1o Que lorsque toutes les racines réelles négatives de l’équation des différences sont inégales entre elles, alors la proposée aura nécessairement au tant de couples de racines imaginaires qu’il y aura de ces racines.
Et dans ce cas, nommant
une quelconque de ces racines, on aura d’abord
cette valeur étant ensuite substituée dans les deux équations (H) du no 17 du Mémoire cité, on cherchera leur plus grand commun diviseur en poussant la division jusqu’à ce que l’on parvienne à un reste où
ne se trouve plus qu’à la première dimension ; et faisant ce reste égal à zéro, on aura la valeur de
correspondante à celle de
par ce moyen chaque racine négative
donnera deux racines imaginaires
![{\displaystyle \alpha +\beta {\sqrt {-1}}\quad {\text{et}}\quad \alpha -\beta {\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1752f8f02ac0e21e49a970fabd285a6327c10052)
2o Que si, parmi les racines réelles négatives de l’équation des différences, il y en a d’égales entre elles, alors chaque racine inégale, s’il y en a, donnera toujours, comme dans le cas précédent, un couple de racines imaginaires ; mais chaque couple de racines égales pourra donner aussi deux couples de racines imaginaires, ou n’en donner aucun ; ainsi deux racines égales donneront ou quatre racines imaginaires ou aucune ; trois racines égales donneront ou six ou deux racines ; quatre racines égales donneront ou huit ou quatre racines imaginaires, et ainsi de suite.
16. Or, soient par exemple
et
deux racines égales négatives de l’équation des différences, on fera
comme ci-dessus, et substituant cette valeur de
dans les équations (H) du numéro cité, on cherchera leur commun diviseur en ne poussant la division que jusqu’à ce que l’on parvienne à un reste où
ne se trouve qu’à la seconde dimension, à cause que la valeur de
est double, comme nous l’avons déjà remarqué dans l’endroit cité.
Ainsi, faisant ce reste égal à zéro, on aura pour la détermination de
une équation du second degré, laquelle aura par conséquent ou deux racines réelles ou deux imaginaires.
Dans le premier cas, nommant ces deux racines
et
on aura les quatre racines imaginaires
![{\displaystyle \alpha '+\beta {\sqrt {-1}},\quad \alpha '-\beta {\sqrt {-1}},\quad \alpha ''+\beta {\sqrt {-1}},\quad \alpha ''-\beta {\sqrt {-1}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90b3630cbf39284d7f35bd9c5f8975b72317d59e)
dans le second cas, les valeurs de
étant imaginaires contre l’hypothèse, ce sera une marque que les deux racines égales
ne donneront point de racines imaginaires dans la proposée.
17. S’il y avait dans l’équation des différences trois racines égales et négatives
alors faisant
on poussera seulement la division des équations jusqu’à ce que l’on parvienne à un reste où
se trouve à la troisième dimension ; de sorte que, ce reste étant fait
on aura une équation du troisième degré en
d’où l’on tirera, ou trois valeurs réelles de
ou une réelle et deux imaginaires : dans le premier cas on aura six racines imaginaires ; dans le second on n’en aura que deux, les valeurs imaginaires de
devant toujours être rejetées comme contraires à l’hypothèse, et ainsi de suite.
§ II. — Sur la manière d’approcher de la valeur numérique
des racines des équations.
18. On a vu dans le § III du Mémoire cité comment on peut réduire les racines des équations numériques à des fractions continues, et combien ces sortes de réductions sont préférables à toutes les autres : nous allons encore faire ici quelques remarques pour donner à cette théorie toute la généralité et la simplicité dont elle peut être susceptible.
Remarque I.
Sur les fractions continues périodiques.
19. Nous avons déjà remarqué dans le no 18 du même Mémoire que, lorsque la racine cherchée est égale à un nombre commensurable, la fraction continue doit nécessairement se terminer, de sorte que l’on pourra avoir l’expression exacte de la racine ; mais il y a encore un autre cas où l’on peut aussi avoir l’expression exacte de la racine, quoique la fraction continue qui la représente aille à l’infini. Ce cas a lieu lorsque la fraction continue est périodique, c’est-à-dire telle que les mêmes dénominateurs reviennent toujours dans le même ordre à l’infini ; par exemple, si l’on avait la fraction
![{\displaystyle p+{\frac {1}{q+{\cfrac {1}{p+{\cfrac {1}{q+{\cfrac {1}{p+\ldots }}}}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c73b47118ddad856d228bb2f3ced5df7d4fa8bc)
il est clair qu’en nommant
la valeur de cette fraction on aurait
![{\displaystyle x=p+{\frac {1}{q+{\cfrac {1}{x}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a8e4fa210062f17aa4e4af99b4cd17cd1da2bed)
ce qui donne cette équation
![{\displaystyle qx^{2}-pqx-p=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8cabc6f70b54e008836dacf0188958b20234ac2)
par laquelle on pourra déterminer
il en serait de même si la période était d’un plus grand nombre de termes, et l’on trouverait toujours pour la détermination de
une équation du second degré. Il peut aussi arriver que la fraction continue soit irrégulière dans ses premiers termes, et qu’elle ne cômmence à devenir périodique qu’après un certain nombre de termes ; dans ces cas on pourra trouver de la même manière la valeur de la fraction, et elle dépendra pareillement toujours d’une équation du second degré ; car soit, par exemple, la fraction
![{\displaystyle p+{\frac {1}{q+{\cfrac {1}{r+{\cfrac {1}{s+{\cfrac {1}{r+{\cfrac {1}{s+{\cfrac {1}{r+\ldots }}}}}}}}}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7116b2fb0847237e382e75049fcccc5b9015195b)
nommons toute la fraction
et
la partie qui est périodique, savoir
![{\displaystyle r+{\cfrac {1}{s+{\cfrac {1}{r+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ba8cb6def973fca0ff85a80d10d653591f336c3)
on aura
![{\displaystyle x=p+{\frac {1}{q+{\cfrac {1}{y}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bc3d360fce8efd0fbd4fd59fb404437fe5a4f14)
d’où l’on tire
![{\displaystyle y={\frac {x-p}{1-q(x-p)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb83e72b77099fd57fdc0e68c6e19bd23797b9d3)
mais on a
![{\displaystyle y=r+{\frac {1}{s+{\cfrac {1}{y}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afdca07a1e6424002aab603e1e4422dce73a0d8a)
ce qui donne
![{\displaystyle sy^{2}-rsy-r=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ace73276f1fc5f7b5631fc15a69e24b348ce4be)
donc, substituant pour
sa valeur en
on aura
![{\displaystyle s(x-p)^{2}-rs(x-p)\left[1-q(x-p)\right]-r\left[1-q(x-p)\right]^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be61af1435876961607d87882a040692a70766b6)
équation qui, étant développée et ordonnée par rapport à
montera au second degré.
20. On voit par ce que nous venons de dire que le cas dont il s’agit doit avoir lieu toutes les fois que dans la suite des équations transformées (a), (b), (c), (d), … du no 18 du Mémoire cité il s’en trouvera deux qui auront les mêmes racines ; car si la racine
par exemple, de l’équation (c) était la même que la racine
de l’équation (a), on aurait
![{\displaystyle x=p+{\frac {1}{q+{\cfrac {1}{x}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a8e4fa210062f17aa4e4af99b4cd17cd1da2bed)
ce qui est le cas que nous avons examiné ci-dessus, et ainsi des autres. Donc, quand on voit que dans une fraction continue certains nombres reviennent dans le même ordre, alors, pour s’assurer si la fraction doit être réellement périodique à l’infini, il n’y aura qu’à examiner si les racines des deux équations, qui ont la même valeur entière approchée, sont parfaitement égales, c’est-à-dire si ces deux équations ont une racine commune ; ce qu’on reconnaîtra aisément en cherchant leur plus grand commun diviseur, lequel doit nécessairement renfermer toutes les racines communes aux deux équations, s’il y en a ; or, comme nous avons vu que toute fraction continue périodique se réduit à la racine d’une équation du second degré, il s’ensuit que le plus grand diviseur commun dont nous parlons sera nécessairement du second degré.
21. Supposons donc qu’on ait reconnu que, parmi les différentes équations transformées, il s’en trouve deux qui aient la même racine ; alors la fraction continue cherchée sera nécessairement périodique à l’infini, de sorte qu’on pourra la continuer aussi loin qu’on voudra en répétant seulement les mêmes nombres. Mais voyons comment on pourra dans ce cas continuer aussi la suite des fractions convergentes du no 23 du Mémoire cité sur la résolution des équations numériques, sans être obligé de les calculer toutes l’une après l’autre par les formules données.
22. Pour cet effet, nous supposerons que l’on ait en général
![{\displaystyle x=\lambda _{1}+{\frac {1}{x_{1}}},\quad x_{1}=\lambda _{2}+{\frac {1}{x_{2}}},\quad x_{2}=\lambda _{3}+{\frac {1}{x_{3}}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7deef97c54fa5dd53f37ad4ace6ae390145c9128)
en sorte que,
étant la racine cherchée,
soient celles des équations transformées que nous avons désignées ailleurs par
et l’on aura
![{\displaystyle x=\lambda _{1}+{\frac {1}{\lambda _{2}+{\cfrac {1}{\lambda _{3}+\ldots }}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9976a078643e841ecc24382a0f90ccee6b44f166)
Donc, faisant, comme dans le numéro cité,
(A)
|
|
|
on aura ces fractions convergentes vers ![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![{\displaystyle {\frac {l}{\mathrm {L} }},\quad {\frac {l_{1}}{\mathrm {L} _{1}}},\quad {\frac {l_{2}}{\mathrm {L} _{2}}},\quad {\frac {l_{3}}{\mathrm {L} _{3}}},\quad {\frac {l_{4}}{\mathrm {L} _{4}}},\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7b6afba756cf37b4aff5630ad6a2900217b4036)
23. Maintenant, l’équation
![{\displaystyle x=\lambda _{1}+{\frac {1}{x_{1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a3ec69e1ddc8c20141ecea6d34235043bb74a7c)
donnera
![{\displaystyle xx_{1}=x_{1}\lambda _{1}+1=x_{1}l_{1}+1\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a13b313fe6319528b764a124e17ad932e6bd423)
mettons, au lieu de
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
dans le second membre de cette équation, sa valeur
![{\displaystyle \lambda _{2}+{\frac {1}{x_{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef8ef0ecbe1d73bfe57727aa09fa61e0c40204b0)
et multipliant par
on aura
![{\displaystyle xx_{1}x_{2}=\left(\lambda _{2}l_{1}+l\right)x_{2}+l_{1}=l_{2}x_{2}+l_{1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe4fa757b33590e6a095106cdb6f11cca6286853)
on trouvera de même, en substituant dans le second membre de cette équation
à la place de ![{\displaystyle x_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e66e41f50371ed4b1910b485f2e2d0eb28f11533)
![{\displaystyle xx_{1}x_{2}x_{3}=l_{3}x_{3}+l_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbf13d16d00188c674248da2d1702885bd10ed02)
et ainsi de suite.
Pareillement, l’équation
![{\displaystyle x_{1}=\lambda _{2}+{\frac {1}{x_{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91e4c1972719b8bfc2f35f24701bb60169efc606)
donnera
![{\displaystyle x_{1}x_{2}=\lambda _{2}x_{2}+1=\mathrm {L} _{2}x_{2}+\mathrm {L} _{1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f954da7fdd13fb6a12ca827a1fcb707dbe2a2c3)
ensuite, substituant dans le second membre
à la place de
et multipliant par
on aura
![{\displaystyle x_{1}x_{2}x_{3}=\mathrm {\left(\lambda _{2}L_{2}+L_{1}\right)} x_{3}+\mathrm {L} _{2}=\mathrm {L} _{3}x_{3}+\mathrm {L} _{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb5de3f2f4f7e65129b5244cc32f0f246de16cdc)
et ainsi de suite.
D’où il s’ensuit qu’on aura en général, quelle que soit la fraction continue, soit périodique ou non,
(B)
|
|
|
24. Cela posé, supposons qu’on ait trouvé, par exemple,
![{\displaystyle x_{\mu +\nu }=x_{\mu },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eb71173b9216a054febaccf4202b3a9a1baf76)
c’est-à-dire que la racine de la
ième transformée soit égale à celle
de la transformée
ième ; alors on aura aussi
![{\displaystyle x_{\mu +\nu +1}=x_{\mu +1},\quad x_{\mu +\nu +2}=x_{\mu +2},\ldots \quad x_{\mu +2\nu }=x_{\mu },\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd3190d64c86aef3397c483475b0e92c8b5ac160)
et en général
![{\displaystyle x_{\mu +\nu n+\varpi }=x_{\mu +\varpi }\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23ad7842ab7bebee65c4cbe24d1548d46e4585bc)
donc aussi
![{\displaystyle \lambda _{\mu +\nu +1}=\lambda _{\mu +1},\quad \lambda _{\mu +\nu +2}=\lambda _{\mu +2},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c331b8d761dc9a2df48c947165be02265832fe84)
et en général
![{\displaystyle \lambda _{\mu +\nu n+\varpi }=\lambda _{\mu +\varpi }\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae4cf4b98ce016d3da650a7db86e038ec64123e2)
de sorte qu’on aura
![{\displaystyle x=\lambda _{1}+{\frac {1}{\lambda _{2}+\ddots +{\cfrac {1}{\lambda _{\mu +1}+{\cfrac {1}{\lambda _{\mu +2}+\ddots +{\cfrac {1}{\lambda _{\mu +\nu }+{\cfrac {1}{\lambda _{\mu +1}+\ldots }}}}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaf7671909a46258be4e8e3b3cf8e090593948fd)
25. Maintenant, si l’on suppose en général
![{\displaystyle \rho =\mu +n\nu +\varpi ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4b1ee4be83ecbe82eea15e5669abb2ff42f43f2)
il est facile de voir que les deux équations (B) du numéro précédent deviendront
![{\displaystyle xx_{1}x_{2}\ldots x_{\mu }\times x_{\mu +1}x_{\mu +2}\ldots x_{\mu +\varpi }\times \left(x_{\mu +1}x_{\mu +2}\ldots x_{\mu +\nu }\right)^{n}=l_{\rho }x_{\mu +\varpi }+l_{\rho -1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8bb6b3f6c10ad19c46aa537c8869cbc428014d5)
![{\displaystyle x_{1}x_{2}\ldots x_{\mu }\times x_{\mu +1}x_{\mu +2}\ldots x_{\mu +\varpi }\times \left(x_{\mu +1}x_{\mu +2}\ldots x_{\mu +\nu }\right)^{n}=L_{\rho }x_{\mu +\varpi }+L_{\rho -1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2d1cf9a240feecb35f15d45a64f0c9568c7bb89)
Or on a, en faisant dans les formules (B) du numéro précédent ![{\displaystyle \rho =\mu ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/543058e5d029da407a72494425a210c3a3d7d6b6)
![{\displaystyle {\begin{aligned}xx_{1}x_{2}\ldots x_{\mu }=&l_{\mu }x_{\mu }+l_{\mu -1},\\x_{1}x_{2}\ldots x_{\mu }=&\mathrm {L} _{\mu }x_{\mu }+\mathrm {L} _{\mu -1}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99602c94460e7926da349dd526ad0a72042aaa2d)
De plus, à cause de
![{\displaystyle x_{\mu }=\lambda _{\mu +1}+{\frac {1}{x_{\mu +1}}},\quad x_{\mu +1}=\lambda _{\mu +2}+{\frac {1}{x_{\mu +2}}},\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e1ae75714d303ab0c758595b33b8db28e52ce0b)
il est clair que si l’on fait
(C)
|
|
|
on aura en général
(D)
|
|
|
Donc on aura
![{\displaystyle x_{\mu +1}x_{\mu +2}\ldots x_{\mu +\varpi }=\mathrm {H} _{\varpi }x_{\mu +\varpi }+\mathrm {H} _{\varpi -1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5c607ba6cafa6d4d7a8a935b26f6eb8163e48ff)
et, à cause de
(hypothèse),
![{\displaystyle x_{\mu +1}x_{\mu +2}\ldots x_{\mu +\nu }=\mathrm {H} _{\nu }x_{\mu }+\mathrm {H} _{\nu -1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0e78e367d852818b5c75f8d42d4265d76d4859)
26. De sorte qu’en faisant ces substitutions dans les deux équations ci-dessus, on aura
![{\displaystyle \left(l_{\mu }x_{\mu }+l_{\mu -1}\right)\left(\mathrm {H} _{\varpi }x_{\mu +\varpi }+\mathrm {H} _{\varpi -1}\right)\left(\mathrm {H} _{\nu }x_{\mu }+\mathrm {H} _{\nu -1}\right)^{n}=l_{\rho }x_{\mu +\varpi }+l_{\rho -1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52d170a67da49c877ce23f5f750437392c3ab51c)
et
![{\displaystyle \left(\mathrm {L} _{\mu }x_{\mu }+\mathrm {L} _{\mu -1}\right)\left(\mathrm {H} _{\varpi }x_{\mu +\varpi }+\mathrm {H} _{\varpi -1}\right)\left(\mathrm {H} _{\nu }x_{\mu }+\mathrm {H} _{\nu -1}\right)^{n}=\mathrm {L} _{\rho }x_{\mu +\varpi }+\mathrm {L} _{\rho -1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaa6893075bc25a3d1a6eaa6494455966b150e6a)
27. Or les équations (D), étant divisées l’une par l’autre, donnent
(E)
|
|
|
d’où l’on tire
![{\displaystyle x_{\mu +\sigma }={\frac {\mathrm {H} _{\sigma -1}x_{\mu }-h_{\sigma -1}}{h_{\sigma }-\mathrm {H} _{\sigma }x_{\mu }}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58a1915ef486ca0cb72e05dfb12381fd717ecf16)
Donc, faisant
on aura
![{\displaystyle x_{\mu +\varpi }={\frac {\mathrm {H} _{\varpi -1}x_{\mu }-h_{\varpi -1}}{h_{\varpi }-\mathrm {H} _{\varpi }x_{\mu }}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0ec11987454d8f21896da95fe657e200cb983f3)
et, de là ;
![{\displaystyle \mathrm {H} _{\varpi }x_{\mu +\varpi }+\mathrm {H} _{\varpi -1}={\frac {h_{\varpi }\mathrm {H} _{\varpi -1}-\mathrm {H} _{\varpi }h_{\varpi -1}}{h_{\varpi }-\mathrm {H} _{\varpi }x_{\mu }}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f966981738efa72ed2872227da8e4f4cc52d452)
mais il est facile de voir, par la nature des quantités ![{\displaystyle h,h_{1},h_{2},\ldots ,\mathrm {H,H_{1}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4c2a044dfd8d8b24c53b35dd89189382ad78660)
que lon a
![{\displaystyle \mathrm {H} _{1}h-h_{1}\mathrm {H} =1,\quad \mathrm {H} _{2}h_{1}-h_{2}\mathrm {H} _{1}=-1,\quad \mathrm {H} _{3}h_{2}-h_{3}\mathrm {H} _{2}=1,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9277b9739c3321e78a83a51f5bb0ddfe2cce0c14)
d’où l’on aura en général
![{\displaystyle h_{\varpi }\mathrm {H} _{\varpi -1}-\mathrm {H} _{\varpi }h_{\varpi -1}=\pm 1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ca125cb2671f342957c11a1c5c375cd55e1f4bb)
le signe supérieur ayant lieu lorsque
est un nombre pair, et l’inférieur lorsque
est impair.
Donc, faisant ces substitutions dans les deux équations du no 26, on aura
![{\displaystyle {\begin{aligned}&\pm \left(l_{\mu }\ x_{\mu }+l_{\mu -1}\ \right)\left(\mathrm {H} _{\nu }x_{\mu }+\mathrm {H} _{\nu -1}\right)^{n}\\&\qquad \qquad \qquad =\left(l_{\rho }\ \mathrm {H} _{\varpi -1}-l_{\rho -1}\ \mathrm {H} _{\varpi }\right)x_{\mu }+\left(l_{\rho -1}\ h_{\varpi }-l_{\rho }\ h_{\varpi -1}\right),\\&\pm \left(\mathrm {L} _{\mu }x_{\mu }+\mathrm {L} _{\mu -1}\right)\left(\mathrm {H} _{\nu }x_{\mu }+\mathrm {H} _{\nu -1}\right)^{n}\\&\qquad \qquad \qquad =\mathrm {\left(L_{\rho }H_{\varpi -1}-L_{\rho -1}H_{\varpi }\right)} x_{\mu }+\left(\mathrm {L} _{\rho -1}h_{\varpi }-\mathrm {L} _{\rho }h_{\varpi -1}\right)\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3ce4f92c7da78fa45626df649e573692be36b84)
les signes ambigus dépendant du nombre
comme nous l’avons vu ci-dessus.
28. Maintenant, si dans l’équation (E) du numéro précédent on fait
on aura, à cause de
(hypothèse),
![{\displaystyle x_{\mu }={\frac {h_{\nu }x_{\mu }+h_{\nu -1}}{\mathrm {H} _{\nu }x_{\mu }+\mathrm {H} _{\nu -1}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/171c30c4c1a32c14f3fcd49a5530267049e6b0d8)
d’où l’on tire l’équation en ![{\displaystyle x_{\mu },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbdffe97b14a0a5ccd470eae701c16547a9aba08)
(F)
|
|
|
laquelle donne
![{\displaystyle x_{\mu }={\frac {h_{\nu }-\mathrm {H} _{\nu -1}+{\sqrt {\left(h_{\nu }-\mathrm {H} _{\nu -1}\right)^{2}+4\mathrm {H} _{\nu }h_{\nu -1}}}}{2\mathrm {H} _{\nu }}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa079aca60db068c324c328a5058cd139ad878f1)
Soit, pour abréger,
![{\displaystyle \mathrm {P} ={\frac {h_{\nu }-\mathrm {H} _{\nu -1}}{2\mathrm {H} _{\nu }}},\quad \mathrm {Q} =\mathrm {P} ^{2}+{\frac {h_{\nu -1}}{\mathrm {H} _{\nu }}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fb93eb48b673702482abb03a1cc062bb49bfbe3)
en sorte que l’on ait
![{\displaystyle x_{\mu }=\mathrm {P+{\sqrt {Q}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46878b9cb0acd670c72bd9d224b033b6386d6fb0)
et, substituant cette valeur dans les deux dernières équations du no 27, on aura
![{\displaystyle {\begin{aligned}\pm &\left(l_{\mu }\mathrm {P} +l_{\mu -1}+l_{\mu }{\sqrt {\mathrm {Q} }}\right)\mathrm {\left(H_{\nu }P+H_{\nu -1}+H_{\nu }{\sqrt {Q}}\right)} ^{n}\\&=\left(l_{\rho }\mathrm {H} _{\varpi -1}-l_{\rho -1}\mathrm {H} _{\varpi }\right)\mathrm {\left(P+{\sqrt {Q}}\right)} +\left(l_{\rho -1}h_{\varpi }-l_{\rho }h_{\varpi -1}\right),\\\pm &\mathrm {\left(L_{\mu }P+L_{\mu -1}+L_{\mu }{\sqrt {Q}}\right)} \mathrm {\left(H_{\nu }P+H_{\nu -1}+H_{\nu }{\sqrt {Q}}\right)} ^{n}\\&=\mathrm {\left(L_{\rho }H_{\varpi -1}-L_{\rho -1}H_{\varpi }\right)} \mathrm {\left(P+{\sqrt {Q}}\right)} +\left(\mathrm {L} _{\rho -1}h_{\varpi }-\mathrm {L} _{\rho }h_{\varpi -1}\right)\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04a6304138b6e2ffffcaf8481793f33d6f88cf3b)
d’où, à cause de l’ambiguïté du radical
on tirera quatre équations par lesquelles on pourra déterminer ![{\displaystyle l_{\rho },l_{\rho -1},\mathrm {L} _{\rho },\mathrm {L} _{\rho -1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/458c8ed5f81b5a986455b9d99e71a520f362de34)
29. En effet, supposons, pour abréger,
![{\displaystyle {\begin{aligned}&l_{\mu }\ \mathrm {P} +l_{\mu -1}\ =f_{\mu },\\&\mathrm {L_{\mu }P+L_{\mu -1}=F_{\mu }} \\\mathrm {et} \qquad \qquad \qquad \qquad &\\&\mathrm {H_{\nu }P+H_{\nu -1}=K_{\nu }} ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/804eeb56cfc33a0db139a29656a5c47820f97de2)
on trouvera ces quatre équations
![{\displaystyle {\begin{aligned}&l_{\rho }\mathrm {H} _{\varpi -1}-l_{\rho -1}\mathrm {H} _{\varpi }=\\&\pm {\frac {\left(f_{\mu }+l_{\mu }{\sqrt {\mathrm {Q} }}\right)\mathrm {\left(K_{\nu }+H_{\nu }{\sqrt {Q}}\right)} ^{n}-\left(f_{\mu }-l_{\mu }{\sqrt {\mathrm {Q} }}\right)\mathrm {\left(K_{\nu }-H_{\nu }{\sqrt {Q}}\right)} ^{n}}{2{\sqrt {\mathrm {Q} }}}},\\&l_{\rho -1}h_{\varpi }-l_{\rho }h_{\varpi -1}=\\&\pm {\frac {\mathrm {\left(P+{\sqrt {Q}}\right)} \left(f_{\mu }-l_{\mu }{\sqrt {\mathrm {Q} }}\right)\mathrm {\left(K_{\nu }-H_{\nu }{\sqrt {Q}}\right)} ^{n}-\mathrm {\left(P-{\sqrt {Q}}\right)} \left(f_{\mu }+l_{\mu }{\sqrt {\mathrm {Q} }}\right)\mathrm {\left(K_{\nu }+H_{\nu }{\sqrt {Q}}\right)} ^{n}}{2{\sqrt {\mathrm {Q} }}}},\\&\mathrm {L_{\rho }H_{\varpi -1}-L_{\rho -1}H_{\varpi }} =\\&\pm {\frac {\mathrm {\left(F_{\mu }+L_{\mu }{\sqrt {Q}}\right)} \mathrm {\left(K_{\nu }+H_{\nu }{\sqrt {Q}}\right)} ^{n}-\mathrm {\left(F_{\mu }-L_{\mu }{\sqrt {Q}}\right)} \mathrm {\left(K_{\nu }-H_{\nu }{\sqrt {Q}}\right)} ^{n}}{2{\sqrt {\mathrm {Q} }}}},\\&\mathrm {L} _{\rho -1}h_{\varpi }-\mathrm {L} _{\rho }h_{\varpi -1}=\\&\pm {\frac {\mathrm {\left(P+{\sqrt {Q}}\right)} \mathrm {\left(F_{\mu }-L_{\mu }{\sqrt {Q}}\right)} \mathrm {\left(K_{\nu }-H_{\nu }{\sqrt {Q}}\right)} ^{n}-\mathrm {\left(P-{\sqrt {Q}}\right)} \mathrm {\left(F_{\mu }-L_{\mu }{\sqrt {Q}}\right)} \mathrm {\left(K_{\nu }-H_{\nu }{\sqrt {Q}}\right)} ^{n}}{2{\sqrt {\mathrm {Q} }}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89746433cfa799dcdb4d43ac4d477863ce1de2eb)
Donc, si l’on ajoute la première multipliée par
à la deuxième multipliée par
et de même la troisième multipliée par
à la quatrième multipliée par
et qu’on fasse, pour abréger,
![{\displaystyle -\mathrm {H_{\varpi }P} +h_{\varpi }=\mathrm {G} _{\varpi },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a00ef09a2116dcd2bd191691bd071f98310dd654)
on aura, à cause de
(27),
![{\displaystyle {\begin{aligned}&l_{\rho }={\frac {\begin{aligned}&\left(f_{\mu }+l_{\mu }{\sqrt {\mathrm {Q} }}\right)\mathrm {\left(G_{\varpi }+H_{\varpi }{\sqrt {Q}}\right)} \mathrm {\left(K_{\nu }+H_{\nu }{\sqrt {Q}}\right)} ^{n}\\-&\left(f_{\mu }-l_{\mu }{\sqrt {\mathrm {Q} }}\right)\mathrm {\left(G_{\varpi }-H_{\varpi }{\sqrt {Q}}\right)} \mathrm {\left(K_{\varpi }-H_{\varpi }{\sqrt {Q}}\right)} ^{n}\end{aligned}}{2{\sqrt {\mathrm {Q} }}}},\\&\mathrm {L} _{\rho }={\frac {\begin{aligned}&\mathrm {\left(F_{\mu }+L_{\mu }{\sqrt {Q}}\right)} \mathrm {\left(G_{\varpi }+H_{\varpi }{\sqrt {Q}}\right)} \mathrm {\left(K_{\nu }+H_{\nu }{\sqrt {Q}}\right)} ^{n}\\-&\mathrm {\left(F_{\mu }-L_{\mu }{\sqrt {Q}}\right)} \mathrm {\left(G_{\varpi }-H_{\varpi }{\sqrt {Q}}\right)} \mathrm {\left(K_{\varpi }-H_{\varpi }{\sqrt {Q}}\right)} ^{n}\end{aligned}}{2{\sqrt {\mathrm {Q} }}}},\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af44536e8afe98f6e88a6abaf914d2b27a74d42f)
étant ![{\displaystyle =\mu +n\nu +\varpi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2662dd8dc62f34bd8c3dbd973d1e660c686285b)
30. Ainsi, lorsqu’à l’aide des quantités
![{\displaystyle \lambda _{1},\quad \lambda _{2},\quad \lambda _{3},\ldots ,\quad \lambda _{\mu +\nu },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7713013a688b6ebb2f5c5761af2969b20860935d)
on aura calculé, par les formules (A) et (C), les quantités
![{\displaystyle l,\quad l_{1},\quad l_{2},\ldots ,\quad \mathrm {L,\quad L_{1},\quad L_{2}} ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b578c8703b847628ca50c8657e8c5f36cebc7c44)
jusqu’à
et
et les quantités
![{\displaystyle h,\quad h_{1},\quad h_{2},\ldots ,\quad \mathrm {H,\quad H_{1},\quad H_{2}} ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e694dc4dfc5bf4486043c2820fa9c27dfb5168cc)
jusqu’à
et
on pourra, par les formules précédentes, trouver les valeurs de
et de
c’est-à-dire les termes de la fraction
quel que soit l’exposant du quantième
car pour cela il n’y aura qu’à retrancher
de
et diviser la différence par
le quotient sera le nombre
qui entre dans les formules précédentes comme exposant, et le reste sera le nombre
qui sera par conséquent toujours moindre que ![{\displaystyle \nu .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12bafc5c30bf9727eb4c005ff0c0632d555b3b7d)
31. Au reste, si l’on voulait trouver en général l’équation du second degré par laquelle peut être déterminée la racine
de l’équation proposée, lorsqu’on a
comme dans le no 24, il n’y aurait qu’à remarquer que les équations (B) du no 23, étant divisées l’une par l’autre, donnent en général
(G)
|
|
|
d’où l’on tire, en faisant ![{\displaystyle \rho =\mu ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/543058e5d029da407a72494425a210c3a3d7d6b6)
![{\displaystyle x_{\mu }={\frac {L_{\mu -1}x-l_{\mu -1}}{l_{\mu }-\mathrm {L} _{\mu }x}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2127d1e78b2f4c8050c9ea69e85f9570fe53948)
donc, substituant cette valeur de
dans l’équation (E) du no 27, on aura celle-ci
![{\displaystyle \mathrm {H} _{\nu }\left(\mathrm {L} _{\mu -1}x-l_{\mu -1}\right)^{2}-\left(h_{\nu }-\mathrm {H} _{\nu -1}\right)\left(\mathrm {L} _{\mu -1}x-l_{\mu -1}\right)\left(l_{\mu }-\mathrm {L} _{\mu }x\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54bb944c96974f0c0c03116928b42fa97f8849c7)
![{\displaystyle -h_{\nu -1}\left(l_{\mu }-\mathrm {L} _{\mu }x\right)^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0269b2c2590b2cfb598489f4b5236b33f13b28d7)
c’est-à-dire
![{\displaystyle \left[\mathrm {H} _{\nu }\mathrm {L} _{\mu -1}^{2}+(h_{\nu }-\mathrm {H} _{\nu -1})\mathrm {L} _{\mu -1}\mathrm {L} _{\mu }-h_{\nu -1}\mathrm {L} _{\mu }^{2}\right]x^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11476c5705b76d1756bb05a9cc9caa0e9c1840b8)
![{\displaystyle -\left[2\mathrm {H} _{\nu }\mathrm {L} _{\mu -1}l_{\mu -1}+(h_{\nu }+\mathrm {H} _{\nu -1})(\mathrm {L} _{\mu -1}l_{\mu }+l_{\mu -1}\mathrm {L} _{\mu })-2h_{\nu -1}l_{\mu }\mathrm {L} _{\mu }\right]x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/741b8c7217312080e9b4c447fd9d7ce51799a9cb)
![{\displaystyle +\mathrm {H} _{\nu }l_{\mu -1}^{2}+(h_{\nu }-\mathrm {H} _{\nu -1})l_{\mu -1}l_{\mu }-h_{\nu -1}l_{\mu }^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/555d767df30a1eb07444599c0ead51f2abcb5def)
et cette équation sera nécessairement un diviseur de l’équation proposée.
Remarque II.
Où l’on donne une manière très-simple de réduire en fractions continues
les racines des équations du second degré.
32. Considérons l’équation générale du second degré
![{\displaystyle \mathrm {E} _{1}x^{2}-2\varepsilon x-\mathrm {E} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d4cf77d8387d2686f5d135297dd2b0097aa1f14)
dans laquelle
et
sont supposés des nombres entiers, tels que
pour que les racines soient réelles ; cette équation, étant résolue, donne
![{\displaystyle x=\mathrm {\frac {\varepsilon +{\sqrt {\varepsilon ^{2}+EE_{1}}}}{E_{1}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68262d08385f0c6a2bdc2b237f8693d7ea41168a)
où le radical peut être pris positivement ou négativement. Supposons que la racine cherchée soit positive, et soit
![{\displaystyle \lambda _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/571a423bece8f29bcd1b48572f18dd4f6213dce2)
le nombre entier qui sera immédiatement plus petit que la valeur de
![{\displaystyle x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b08fb9834e51caaee3c51068ae1f7ff3bdc90c8)
on fera donc
![{\displaystyle x=\lambda _{1}+{\frac {1}{x_{1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a3ec69e1ddc8c20141ecea6d34235043bb74a7c)
et, substituant cette valeur dans l’équation proposée, on aura une équation transformée dont l’inconnue sera
or si, après avoir fait la substitution, on multiplie toute l’équation par
qu’ensuite on change les signes et qu’on suppose, pour abréger,
![{\displaystyle {\begin{aligned}\varepsilon _{1}=&\lambda _{1}\mathrm {E} _{1}-\varepsilon ,\\\mathrm {E} _{2}=&\mathrm {E+2\varepsilon \lambda _{1}-E_{l}\lambda _{1}^{2}} ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3db31a760f182e58925862d32be7763019ef618d)
on aura la transformée
![{\displaystyle \mathrm {E} _{2}x_{1}^{2}-2\varepsilon _{1}x_{1}-\mathrm {E} _{1}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa70f9e2a4d81fbe393bc9593530ac7774acbf9e)
laquelle donnera
![{\displaystyle x_{1}=\mathrm {\frac {\varepsilon _{1}+{\sqrt {\varepsilon _{1}^{2}+E_{1}E_{2}}}}{E_{2}}} \,:}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cb6750a7f283dea2c7b2e8ad442498da3e9bbc0)
on cherchera donc le nombre entier
qui sera immédiatement plus petit que cette valeur de
et l’on fera
![{\displaystyle x_{1}=\lambda _{2}+{\frac {1}{x_{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f210568a2911afe3cc320bb26bd6b692a8dcb7a)
et ainsi de suite.
Maintenant, je remarque que la quantité
qui est sous le signe dans l’expression de
devient, en substituant les valeurs de
et de
et ôtant ce qui se détruit, celle-ci :
qui est la même que celle qui est sous le signe dans l’expression de
d’où il est facile de conclure que la quantité radicale sera toujours la même dans les expressions de
33. Donc si l’on fait, pour abréger,
![{\displaystyle \mathrm {B=\varepsilon ^{2}+EE_{1}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3594337f5696eaf503de3d51fe90adc3b6d79195)
et qu’on prenne (le signe
![{\displaystyle <}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33737c89a17785dacc8638b4d66db3d5c8670de1)
dénote qu’il faut prendre le nombre entier qui est immédiatement moindre)
![{\displaystyle {\begin{alignedat}{3}&&\lambda _{1}&<\mathrm {\frac {\varepsilon +{\sqrt {B}}}{E_{1}}} ,&\varepsilon _{1}&=\lambda _{1}\mathrm {E} _{1}-\varepsilon ,\\\mathrm {E} _{2}&=\mathrm {E} \ +2\varepsilon \ \lambda _{1}-\mathrm {E} _{1}\lambda _{1}^{2},&\lambda _{2}&<\mathrm {\frac {\varepsilon _{1}+{\sqrt {B}}}{E_{2}}} ,&\varepsilon _{2}&=\lambda _{2}\mathrm {E} _{2}-\varepsilon _{1},\\\mathrm {E} _{3}&=\mathrm {E} _{1}+2\varepsilon _{1}\lambda _{2}-\mathrm {E} _{2}\lambda _{2}^{2},&\lambda _{3}&<\mathrm {\frac {\varepsilon _{2}+{\sqrt {B}}}{E_{3}}} ,&\varepsilon _{3}&=\lambda _{3}\mathrm {E} _{3}-\varepsilon _{2},\\\mathrm {E} _{4}&=\mathrm {E} _{2}+2\varepsilon _{2}\lambda _{3}-\mathrm {E} _{3}\lambda _{3}^{2},&\lambda _{4}&<\mathrm {\frac {\varepsilon _{3}+{\sqrt {B}}}{E_{4}}} ,&\varepsilon _{4}&=\lambda _{4}\mathrm {E} _{4}-\varepsilon _{3},\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\qquad &\ldots &\ldots \ldots \ldots \ldots ,\qquad &\ldots &\ldots \ldots \ldots \ldots ,\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ee6ae00258f6495556e10a3d6ea64055b02f307)
on aura
![{\displaystyle {\begin{aligned}x\ \,&=\mathrm {\frac {\varepsilon \ \,+{\sqrt {B}}}{E_{1}}} =\lambda _{1}+{\frac {1}{x_{1}}},\\x_{1}&=\mathrm {\frac {\varepsilon _{1}+{\sqrt {B}}}{E_{2}}} =\lambda _{2}+{\frac {1}{x_{2}}},\\x_{2}&=\mathrm {\frac {\varepsilon _{2}+{\sqrt {B}}}{E_{3}}} =\lambda _{3}+{\frac {1}{x_{3}}},\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6219f762d47907e392cb3829568fec38eba40c8b)
d’où
![{\displaystyle x=\lambda _{1}+{\frac {1}{\lambda _{2}+{\cfrac {1}{\lambda _{3}+\ldots }}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9976a078643e841ecc24382a0f90ccee6b44f166)
Quant au radical
il faudra toujours lui donner le même signe qu’on lui a supposé dans la valeur de la racine cherchée ![{\displaystyle x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d07e9f568a88785ae48006ac3c4b951020f1699a)
On peut observer encore que, comme on a trouvé
![{\displaystyle \varepsilon _{1}^{2}+\mathrm {E_{1}E_{2}=\varepsilon ^{2}+EE_{1}=B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/109deb3d59106f036752cdc64f244843e3e85ca8)
on aura
![{\displaystyle \mathrm {E_{2}={\frac {B-\varepsilon _{1}^{2}}{E_{1}}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40107418ad5518a0f6607315415d5705a3c95b1)
et, de même,
![{\displaystyle \mathrm {E_{3}={\frac {B-\varepsilon _{2}^{2}}{E_{2}}},\quad E_{4}={\frac {B-\varepsilon _{3}^{2}}{E_{3}}}} ,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2f3072d065d556f830ccdf74ffa7dd1683e5786)
Ainsi l’on pourra, si on le juge plus commode, employer ces formules à la place de celles qu’on a données plus haut pour avoir les valeurs de
34. Maintenant je dis que la fraction continue qui exprime la valeur de
sera toujours nécessairement périodique.
Pour pouvoir démontrer ce théorème, nous commencerons par démontrer en général que, quelle que soit l’équation proposée, on doit toujours nécessairement arriver à des équations transformées dont le premier et le dernier terme soient de signes différents. En effet, nous avons vu, dans le no 19 du Mémoire sur la résolution des équations numériques, qu’on doit toujours nécessairement arriver à une équation transformée qui n’ait qu’une seule racine plus grande que l’unité, après quoi chacune des transformées suivantes n’aura aussi qu’une seule racine plus grande que l’unité ; soit donc
![{\displaystyle au^{m}+bu^{m-1}+cu^{m-2}+\ldots +k=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/443b69b46c715708a00b8a865d86a85dbbd926b9)
une de ces transformées qui n’ont qu’une seule racine plus grande que l’unité, et soit
la valeur entière approchée de
on fera, pour avoir la transformée suivante,
ce qui, étant substitué, donnera cette transformée, dans laquelle il est aisé de voir que le premier terme sera
![{\displaystyle (as^{m}+bs^{m-1}+cs^{m-2}+\ldots +k=0,)w^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/742289c55371b703432caf834e65b0174eb89abb)
et que le dernier sera
Or, puisque la vraie valeur de
/dans la transformée précédente tombe entre ces deux-ci :
et
entre lesquelles il ne se trouve aucune autre valeur de
(hypothèse), il s’ensuit qu’en faisant ces deux substitutions dans l’équation en
on aura nécessairement des résultats de signe contraire ; car il est facile de concevoir qu’il n’y aura en ce cas qu’un seul des facteurs de cette équation qui pourra changer de signe en passant d’une valeur de
à l’autre (no 5, Mémoire cité). Mais la supposition de
donne le résultat
(tous les autres termes devenant nuls vis-à-vis de celui-ci), lequel est de même
signe que le coefficient
![{\displaystyle a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c37ac87891c432353e6e70aba37e6a6afed6d481)
donc il faudra que la supposition de
![{\displaystyle u=s}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4917c88a09cecda7fbc7d0d0229ff5828dcffbf6)
donne un résultat de signe contraire à
![{\displaystyle a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c37ac87891c432353e6e70aba37e6a6afed6d481)
mais ce résultat est égal à
![{\displaystyle as^{m}+bs^{m-1}+cs^{m-2}+\ldots +k\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba074bb0c684b2c4e15e1ee542b4c6fec7754a3a)
donc, puisque cette quantité est en même temps le coefficient du premier terme de l’équation transformée en
dont le dernier terme est
il s’ensuit que cette transformée aura nécessairement ses deux termes extrêmes de signes différents.
Et l’on peut prouver de la même manière que cela aura lieu à plus forte raison dans toutes les transformées suivantes.
35. Cela posé, puisque l’équation proposée
![{\displaystyle \mathrm {E} _{1}x^{2}-2\varepsilon x-\mathrm {E} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d4cf77d8387d2686f5d135297dd2b0097aa1f14)
donne les transformées (32)
![{\displaystyle {\begin{aligned}\mathrm {E} _{2}x_{1}^{2}-2\varepsilon _{1}x_{1}-\mathrm {E} _{1}&=0,\\\mathrm {E} _{3}x_{2}^{2}-2\varepsilon _{2}x_{2}-\mathrm {E} _{2}&=0,\\\ldots \ldots \ldots \ldots \ldots \ldots &\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05b793da9eab6b952fa244372b1604aa0aa1556b)
il s’ensuit de ce que nous venons de démontrer dans le numéro précédent qu’on parviendra nécessairement à des transformées comme
![{\displaystyle {\begin{aligned}&\mathrm {E} _{\gamma +1}x_{\gamma }^{2}-2\varepsilon _{\gamma }x_{\gamma }-\mathrm {E} _{\gamma }=0,\\&\mathrm {E} _{\gamma +2}x_{\gamma +1}^{2}-2\varepsilon _{\gamma +1}x_{\gamma +1}-\mathrm {E} _{\gamma +1}=0,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d7b4b59654ac5e66392571c1b470f3fd4709286)
dont les premiers et derniers termes seront de signes différents ; de sorte que les nombres
![{\displaystyle \mathrm {E_{\gamma },\quad E_{\gamma +1},\quad E_{\gamma +2}} ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cef71a9685e6a8a349a33a11eb0b1e8dd60eb580)
seront tous de même signe. Or, on a (33)
![{\displaystyle \mathrm {B=\varepsilon _{\gamma }^{2}+E_{\gamma }E_{\gamma +1}=\varepsilon _{\gamma +1}^{2}+E_{\gamma +1}E_{\gamma +2}} =\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27e2ecfd09c1331dcadf8f98ef67e48cdc907f45)
donc, puisque
sont de même signe, les produits
seront nécessairement positifs ; d’où il s’ensuit :
1o Que l’on aura
![{\displaystyle \varepsilon _{\gamma }^{2}<\mathrm {B} ,\quad \varepsilon _{\gamma +1}^{2}<\mathrm {B} ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75ab906955f22d72ebd4e4f7b3c7ceb7f8e0ef5e)
c’est-à-dire (en faisant abstraction du signe)
![{\displaystyle \varepsilon _{\gamma }<{\sqrt {\mathrm {B} }},\quad \varepsilon _{\gamma +1}<{\sqrt {\mathrm {B} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0081cc1e85fa3faac74454dc2e8a5fce4b84a09)
et ainsi de suite à l’infini ;
2o Que l’on aura aussi, à cause que les nombres
sont tous entiers,
![{\displaystyle \mathrm {E_{\gamma }<B,\quad E_{\gamma +1}<B,\quad E_{\gamma +2}<B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e39501c6223cf9cf2f36dc572c3e793b4605e76)
et ainsi de suite. Donc, comme
est donné, il est clair qu’il n’y aura qu’un certain nombre de nombres entiers qui pourront être moindres que
ou que
de sorte que les nombres
![{\displaystyle \mathrm {E_{\gamma },\quad E_{\gamma +1},\quad E_{\gamma +2}} ,\ldots ,\quad \varepsilon _{\gamma },\quad \varepsilon _{\gamma +1},\quad \varepsilon _{\gamma +2},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed1763ea3d7029d71dd937c50d0eab718e0c9677)
ne pourront avoir qu’un certain nombre de valeurs différentes, et qu’ainsi dans l’une et l’autre de ces séries, si on les pousse à l’infini, il faudra nécessairement que les mêmes termes reviennent une infinité de fois ; et, par la même raison, il faudra aussi qu’une même combinaison de termes correspondants dans les deux séries revienne une infinité de fois ; d’où il s’ensuit qu’on aura nécessairement, par exemple,
![{\displaystyle \mathrm {E} _{\gamma +\delta +\nu }=\mathrm {E} _{\gamma +\delta }\quad {\text{et}}\quad \varepsilon _{\gamma +\delta +\nu }=\varepsilon _{\gamma +\delta },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cd9c01564ae25d9da0056a44253e8def061f197)
ou bien, en faisant ![{\displaystyle \gamma +\delta =\mu ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c72e789ab3e01340e9ff99a24d7d7498d1dee9c8)
![{\displaystyle \mathrm {E} _{\mu +\nu }=\mathrm {E} _{\mu }\quad {\text{et}}\quad \varepsilon _{\mu +\nu }=\varepsilon _{\mu }\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df392fa0f9276789d2bcbaf62b29183b0739d346)
donc, à cause de
![{\displaystyle \mathrm {B=\varepsilon _{\mu }^{2}+E_{\mu }E_{\mu +1}=\varepsilon _{\mu +\nu }^{2}+E_{\mu +\nu }E_{\mu +\nu +1}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5e7be051271ba196b732f0b848c487acf0cb28)
on aura aussi
![{\displaystyle \mathrm {E_{\mu +\nu +1}=E_{\mu +1}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b36a0a5843cfb5b4870dfd90f76ac546d7457ed8)
mais on a
![{\displaystyle x_{\mu }=\mathrm {\frac {\varepsilon _{\mu }+{\sqrt {B}}}{E_{\mu +1}}} \quad {\text{et}}\quad x_{\mu +\nu }=\mathrm {\frac {\varepsilon _{\mu +\nu }+{\sqrt {B}}}{E_{\mu +\nu +1}}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e7b50b32513735544bbc14befd7ce6d3a80778)
donc
![{\displaystyle x_{\mu +\nu }=x_{\mu }\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4e6c97fe7f98cc8726647d686567c8eff66681b)
donc la fraction continue sera nécessairement périodique (24).
36. En effet, on voit, par les formules du no 33, que si l’on a
![{\displaystyle \mathrm {E} _{\mu +\nu }=\mathrm {E} _{\mu }\quad {\text{et}}\quad \varepsilon _{\mu +\nu }=\varepsilon _{\mu },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59bcf26b58823bcde3340094fd67b174579d8562)
on aura
![{\displaystyle \mathrm {E} _{\mu +\nu +1}=\mathrm {E} _{\mu +1},\quad \lambda _{\mu +\nu +1}=\lambda _{\mu +1},\quad \varepsilon _{\mu +\nu +1}=\varepsilon _{\mu +1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7205b81db7b47f3cfee139868a3bf282a62acfeb)
et ainsi de suite ; de sorte qu’en général les termes des trois séries
![{\displaystyle \mathrm {E,E_{1},E_{2}} ,\ldots ,\quad \varepsilon ,\varepsilon _{1},\varepsilon _{2},\ldots ,\quad \lambda _{1},\lambda _{2},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08a5709093e8d61ad36f7ca19ed5126608913441)
qui auront pour exposant
seront les mêmes que les termes précédents dont les exposants seront
en prenant pour
un nombre quelconque entier positif.
Ainsi, chacune de ces trois séries deviendra périodique, à commencer par les termes
et leurs périodes seront de
termes, apres lesquels les mêmes termes reviendront dans le même ordre, à l’infini.
37. Nous venons de démontrer qu’en continuant la série des nombres
on doit nécessairement trouver des termes consécutifs qui soient de même signe, et qu’ensuite la série doit nécessairement devenir périodique ; or, je dis que dès que, dans la même série, on sera parvenu à deux termes consécutifs, comme
qui soient de même signe, on sera assuré que l’un de ces deux termes sera déjà un des termes périodiques, lequel reparaîtra nécessairement dans chaque période.
En effet, comme
et
sont de même signe, il est clair que la transformée
![{\displaystyle \mathrm {E} _{\gamma +1}x_{\gamma }^{2}-2\varepsilon _{\gamma }x_{\gamma }-\mathrm {E} _{\gamma }=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e6e3d40c364170e9eb05d739237fe07f1ed3c4f)
aura nécessairement une racine positive et l’autre négative, de sorte qu’elle n’en pourra avoir qu’une seule qui soit plus grande que l’unité ; donc toutes les transformées suivantes auront nécessairement leurs termes extrêmes de signes différents (34) ; par conséquent, tous les nom-
bres
![{\displaystyle \mathrm {E_{\gamma },E_{\gamma +1},E_{\gamma +2}} ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2c733002efe2d983628acb408f5a87f2513f7b2)
seront de même signe, de sorte que chacun d’eux sera moindre que
![{\displaystyle \mathrm {B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d78a2086ed80d312a2621662edfa44ef8d47317d)
et que chacun des nombres
![{\displaystyle \varepsilon _{\gamma },\varepsilon _{\gamma +1},\varepsilon _{\gamma +2},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0be5036c90f3ed83d783e8d2b85402afc0d09be)
sera moindre que
![{\displaystyle {\sqrt {\mathrm {B} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eea110b1e6b7193778c10dbdca42a2f55a18f716)
(35).
38. Or, comme on a
![{\displaystyle \mathrm {B=\varepsilon ^{2}+E_{\gamma }E_{\gamma +1}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21b8a85e74aa9416705db99b9d49d76839a6006e)
il est visible que les nombres
seront, ou tous les deux moindres que
ou que, si l’un est plus grand, l’autre en sera nécessairement moindre, de sorte qu’il y en aura au moins toujours un qui sera moindre que ![{\displaystyle {\sqrt {\mathrm {B} }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aed0bbe7afc249329c333f4670d640ea64ec9a6)
Supposons que ce soit
et je vais prouver que les nombres
![{\displaystyle \mathrm {E_{\gamma },E_{\gamma +1},E_{\gamma +2}} ,\ldots ,\quad \varepsilon _{\gamma },\varepsilon _{\gamma +1},\varepsilon _{\gamma +2},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/847af840b9239235e8d2a4e3fe2a237555d7233d)
seront tous nécessairement du même signe que le radical
En effet, puisque les racines
des équations transformées doivent être toutes plus grandes que l’unité par la nature de la fraction continue, on aura donc aussi
et ainsi de suite ; donc
![{\displaystyle \mathrm {\frac {\varepsilon _{\gamma }+{\sqrt {B}}}{E_{\gamma +1}}} >1,\quad \mathrm {\frac {\varepsilon _{\gamma +1}+{\sqrt {B}}}{E_{\gamma +2}}} >1,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7db896e9823511eb14b90f8fa009bdd8b485b8c)
et, comme
![{\displaystyle \mathrm {B=\varepsilon _{\gamma }^{2}+E_{\gamma }E_{\gamma +1}=\varepsilon _{\gamma +1}^{2}+E_{\gamma +1}E_{\gamma +2}} =\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76686279f9e2470354558667090198278d291bb9)
on aura
![{\displaystyle \mathrm {{\frac {\varepsilon _{\gamma }+{\sqrt {B}}}{E_{\gamma +1}}}={\frac {E_{\gamma }}{{\sqrt {B}}-\varepsilon _{\gamma }}},\quad {\frac {\varepsilon _{\gamma +1}+{\sqrt {B}}}{E_{\gamma +2}}}={\frac {E_{\gamma +1}}{{\sqrt {B}}-\varepsilon _{\gamma +1}}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f20fe0f995e036a4086ba6cb283a1bc45d33acb0)
et ainsi des autres ; donc aussi
![{\displaystyle \mathrm {{\frac {E_{\gamma }}{{\sqrt {B}}-\varepsilon _{\gamma }}}>1,\quad {\frac {E_{\gamma +1}}{{\sqrt {B}}-\varepsilon _{\gamma +1}}}} >1,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c810080ea736431faac55c062c1afbb9c69ea99)
Or, comme
sont plus petits que
il est clair que, quelque soit le signe de ces nombres
les dénominateurs ![{\displaystyle {\sqrt {\mathrm {B} }}-\varepsilon _{\gamma },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb08a7b4838dd409ba7035489cb709abc94d1ee5)
seront nécessairement du même signe que
donc il
faudra que les numérateurs
![{\displaystyle \mathrm {E_{\gamma },E_{\gamma +1}} ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f096af0c760e9ee1d73c45fb3f29facd6577e53)
soient tous aussi du même signe que
Maintenant, supposons, pour-plus de simplicité,
positif, en sorte que
doivent être aussi tous positifs, et je dis que ![{\displaystyle \varepsilon _{\gamma },\varepsilon _{\gamma +1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99bba95a8479ba85b6af5141b9f2b6e3c7c36eac)
le seront aussi. Car soit, s’il est possible,
(
étant un nombre positif), et, comme
(hypothèse), on aura, à plus forte raison,
donc
![{\displaystyle \mathrm {{\frac {E_{\gamma }}{{\sqrt {B}}-\varepsilon _{\gamma }}}={\frac {E_{\gamma }}{{\sqrt {B}}+\eta }}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ba96bd559443ac43c4af1092a6d91e98197c106)
sera
au lieu que cette quantité doit être
donc
doit être positif. Soit ensuite, s’il est possible,
et comme on a, par les formules du no 33,
on aura
donc, à cause que
et
sont des nombres positifs moindres que
et que
est aussi un nombre entier positif, il est clair que
devra être moindre que
et, dans ce cas, on prouvera, comme ci-devant, que
devra être positif ; et ainsi de suite.
Si
était pris négativement, on prouverait de la même manière que
devraient être négatifs ; et même, sans faire un nouveau calcul, il n’y aura qu’à remarquer que les formules du numéro cité demeurent les mêmes en y changeant les signes de toutes les quantités ![{\displaystyle \mathrm {E,E_{1},E_{2}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/690b9de1dd191a303b94560a320e45b246c4aa13)
et du radical
de sorte qu’on pourra toujours regarder ce radical comme positif, en prenant les quantités ![{\displaystyle \mathrm {E,E_{1},E_{2}} ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d474ca6dbf642c38ccb4ac46445178c93abbe846)
avec des signes contraires.
39. Cela posé, je dis que si deux termes correspondants quelconques des suites
sont donnés, tous les précédents dans les mêmes suites seront nécessairement donnés aussi.
Supposons, par exemple, que
et
soient donnés (on verra aisément que la démonstration est générale, quels que soient les termes donnés), et voyons quels doivent être les termes qui précèdent ceux-ci, en vertu des formules du no 33, et des conditions du numéro précédent. On aura d’abord
![{\displaystyle \varepsilon _{\gamma +3}=\lambda _{\gamma +3}\mathrm {E} _{\gamma +3}-\varepsilon _{\gamma +2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b32b93ff81ca5aac0d3edef58b08868d8e2625f7)
donc
![{\displaystyle \varepsilon _{\gamma +2}=\lambda _{\gamma +3}\mathrm {E} _{\gamma +3}-\varepsilon _{\gamma +3}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4ec2b74dd4372888b199d6ad8cc3ebb84250c21)
mais on doit avoir
donc il faudra que l’on ait
![{\displaystyle \lambda _{\gamma +3}<\mathrm {\frac {\varepsilon _{\gamma +3}+{\sqrt {B}}}{E_{\gamma +3}}} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d653127a1f3e19eac7d26b3cd92b46a973d9336d)
On aura de même
![{\displaystyle \varepsilon _{\gamma +1}=\lambda _{\gamma +2}\mathrm {E} _{\gamma +2}-\varepsilon _{\gamma +2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73daeac010825e163c796b22420a043de290b3d1)
d’où, à cause de
on tirera
![{\displaystyle \lambda _{\gamma +2}<\mathrm {\frac {\varepsilon _{\gamma +2}+{\sqrt {B}}}{E_{\gamma +2}}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f88a1d6fda47c070ef537fe0ac75031362f25510)
mais il faut, par la nature de la fraction continue, que
soit un nombre entier positif ; donc il faudra qu’on ait
![{\displaystyle \mathrm {\varepsilon _{\gamma +2}+{\sqrt {B}}>E_{\gamma +2}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3c88a8d552821e1a152f328cf452bed6e078d37)
or, on a aussi
![{\displaystyle \mathrm {E_{\gamma +2}E_{\gamma +3}=B-\varepsilon _{\gamma +2}^{2}=\left({\sqrt {B}}+\varepsilon _{\gamma +2}\right)\left({\sqrt {B}}-\varepsilon _{\gamma +2}\right)} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d43460a22c6040eea5d8d43e7a7cd0aebf93e7a9)
donc
![{\displaystyle \mathrm {{\sqrt {B}}-\varepsilon _{\gamma +2}<E_{\gamma +3}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f03c9fd0c916313987936f07139e6140b0f5d64)
savoir, en mettant pour
sa valeur ci-dessus,
![{\displaystyle \mathrm {{\sqrt {B}}-\lambda _{\gamma +3}E_{\gamma +3}+\varepsilon _{\gamma +3}<E_{\gamma +3}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a88e9656204863ef3922074dfff258471413d5a7)
d’où
![{\displaystyle \mathrm {\lambda _{\gamma +3}>{\frac {\varepsilon _{\gamma +3}+{\sqrt {B}}}{E_{\gamma +3}}}} -1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82ab045d64790f9bdda16227a5d7d40f595efda8)
Donc, puisque le nombre
doit être entier, il est clair qu’il ne pourra être égal qu’au nombre entier qui sera immédiatement plus petit que
![{\displaystyle \mathrm {\frac {\varepsilon _{\gamma +3}+{\sqrt {B}}}{E_{\gamma +3}}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cfe8ee6e92c1dc55c3cd35a73dbc2649a0e8279)
ainsi
![{\displaystyle \lambda _{\gamma +3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da27625513a9a0ec1a6d7568c835492b4189d5e3)
sera donné, et de là
![{\displaystyle \varepsilon _{\gamma +2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3783fe40da7f92b45ff643b24ab5d374c20cc29f)
le sera aussi, et comme
![{\displaystyle \mathrm {E_{\gamma +2}={\frac {B-\varepsilon _{\gamma +2}^{2}}{E_{\gamma +3}}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4879c98f56482427d74af37ac8e9b891f4b69dec)
il est clair que
sera aussi donné. Maintenant on aura
![{\displaystyle \varepsilon _{\gamma }=\lambda _{\gamma +1}\mathrm {E} _{\gamma +1}-\varepsilon _{\gamma +1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cca31648175f0784477ba37b6fbd6d78bed860f7)
et par conséquent, à cause de ![{\displaystyle \varepsilon _{\gamma }<{\sqrt {\mathrm {B} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d49d41f3ff8a070e3a337ea12b9fe949d332d691)
![{\displaystyle \lambda _{\gamma +1}<\mathrm {\frac {\varepsilon _{\gamma +1}+{\sqrt {B}}}{E_{\gamma +1}}} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6d6171cdfafb202c576e7fa120ab8b52213ebc2)
Donc, pour que
soit entier positif tel qu’il doit être, il faudra que
![{\displaystyle \varepsilon _{\gamma +1}+\mathrm {{\sqrt {B}}>E_{\gamma +1}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e96c679ac8bf6e440beab102f1e1717f769ccbb2)
par conséquent, à cause de
![{\displaystyle \mathrm {E_{\gamma +1}E_{\gamma +2}=B} -\varepsilon _{\gamma +1}^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df9788feeef12fba2bd766f2532b66119ba59642)
il faudra que
![{\displaystyle \mathrm {{\sqrt {B}}-\varepsilon _{\gamma +1}<E_{\gamma +2}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/baf9ee9fa76dc06ce132a6d4f576dadd6a72ef7a)
ou bien, en mettant
pour sa valeur ci-dessus,
![{\displaystyle \mathrm {{\sqrt {B}}-\lambda _{\gamma +2}E_{\gamma +2}+\varepsilon _{\gamma +2}<E_{\gamma +2}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/950413833dd055d2f4aeeb052fab02653ab9b2a3)
d’où l’on tire
![{\displaystyle \lambda _{\gamma +2}>\mathrm {\frac {\varepsilon _{\gamma +2}+{\sqrt {B}}}{E_{\gamma +2}}} -1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/decccdafe40f998518af1fee68f84a5fa6bba9ba)
De sorte que le nombre
ne pourra être que le nombre entier qui sera immédiatement plus petit que la quantité donnée
donc ce nombre sera donné, et par là les nombres
et
le seront aussi.
Enfin, puisque
est (hypothèse)
on aura à plus forte raison
![{\displaystyle \varepsilon _{\gamma }+\mathrm {{\sqrt {B}}>E_{\gamma }} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da1a42b56ffe5c293605dc0a3a7510ad97ce0f6f)
et de là, à cause de
![{\displaystyle \mathrm {{\sqrt {B}}-\varepsilon _{\gamma }<E_{\gamma +1}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ea582ad6ecab30bb7ebe1aae09f67ab2b3de75e)
ou bien, en substituant pour
sa valeur trouvée ci-dessus,
![{\displaystyle \mathrm {{\sqrt {B}}-\lambda _{\gamma +1}E_{\gamma +1}+\varepsilon _{\gamma +1}<E_{\gamma +1}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cbe43225ed9fddb22c711b10f0cfa2bec203198)
ce qui donne
![{\displaystyle \lambda _{\gamma +1}>\mathrm {\frac {\varepsilon _{\gamma +1}+{\sqrt {B}}}{E_{\gamma +1}}} -1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/330d64ca46da7e383a2f34e30730f5e3cef21054)
Donc le nombre
ne pourra être que le nombre entier qui est immédiatement moindre que la quantité donnée
et par conséquent ce nombre sera entièrement donné, et par conséquent les nombres
et
le seront aussi.
40. Or, nous avons vu (35) qu’en continuant les séries ![{\displaystyle \mathrm {E_{\gamma },E_{\gamma +1}} ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bff69c7b35103c7f7343c52c575a6dbdd15db4b4)
il arrivera nécessairement que deux termes correspondants comme
reparaîtront après un certain nombre d’autres termes, en sorte que l’on aura, par exemple,
![{\displaystyle \mathrm {E} _{\gamma +\nu +\delta }=\mathrm {E} _{\gamma +\delta },\quad \varepsilon _{\gamma +\nu +\delta }=\varepsilon _{\gamma +\delta }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/464fc2496f5df26c4874a82277518253253bc0c8)
Donc, par ce que nous venons de démontrer (39), on aura aussi en remontant
![{\displaystyle {\begin{array}{ll}\mathrm {E} _{\gamma +\nu +\delta -1}=\mathrm {E} _{\gamma +\delta -1},&\varepsilon _{\gamma +\nu +\delta -1}=\varepsilon _{\gamma +\delta -1},\\\mathrm {E} _{\gamma +\nu +\delta -2}=\mathrm {E} _{\gamma +\delta -2},&\varepsilon _{\gamma +\nu +\delta -2}=\varepsilon _{\gamma +\delta -2},\\\ldots \ldots \ldots \ldots \ldots \ldots ,&\ldots \ldots \ldots \ldots \ldots \ldots ,\\\mathrm {E} _{\gamma +\nu }=\mathrm {E} _{\gamma },&\varepsilon _{\gamma +\nu }=\varepsilon _{\gamma }.\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5549188cae1c93881ab1a00a998b1ff1fa61321)
41. De là je conclus en général que, lorsque dans la série des nombres
on en trouvera deux consecutifs de même signe, celui des deux qui sera moindre que sera déjà nécessairement périodique.
Ainsi, si dans l’équation proposée
![{\displaystyle \mathrm {E} _{1}x^{2}-2\varepsilon x-\mathrm {E} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d4cf77d8387d2686f5d135297dd2b0097aa1f14)
les coefficients
et
étaient de même signe, alors la série serait périodique dès le premier ou le second terme.
42. Si l’on a
en sorte que
alors on aura
d’où l’on voit que, des deux nombres
le plus petit sera moindre que
et le plus grand sera nécessairement plus grand que
donc, dans ce cas, si le nombre
dont il s’agit d’extraire la racine carrée est plus petit que l’unité, la série sera périodique dès le premier terme
et s’il est plus grand que l’unité, la période ne pourra pas commencer plus bas qu’au second terme.
43. On avait remarqué depuis longtemps que toute fraction continue périodique pouvait toujours se ramener à une équation du second degré, mais personne que je sache n’avait encore démontré l’inverse de cette proposition ; savoir, que toute racine d’une équation du second degré se réduit toujours nécessairement en une fraction continue périodique. Il est vrai que M. Euler, dans un excellent Mémoire imprimé au tome XI des Nouveaux Commentaires de Pétersbourg, a observé que la racine carrée d’un nombre entier se réduisait toujours en une fraction continue périodique ; mais ce théorème, qui n’est qu’un cas particulier du nôtre, n’a pas été démontré par M. Euler, et ne peut l’être, ce me semble, que par le moyen des principes que nous avons établis plus haut.
44. Nous avons donné plus haut des formules générales pour trouver aisément tous les termes des fractions convergentes vers la racine d’une équation donnée, lorsqu’on a reconnu que la fraction continue qui exprime cette racine est périodique.
Or, dans le cas où l’équation est du second degré, et où l’on se sert de la méthode du no 33, on pourra, si l’on veut, simplifier beaucoup les calculs des nos 24 et suivants pour trouver les termes
et
de chacune des fractions convergentes vers
En effet, avant
![{\displaystyle x_{\mu }=\mathrm {\frac {{\sqrt {B}}+\varepsilon _{\mu }}{E_{\mu +1}}} ,\quad {\text{et}}\quad x_{\mu +\varpi }=\mathrm {\frac {{\sqrt {B}}+\varepsilon _{\mu +\varpi }}{E_{\mu +\varpi +1}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/089fbc4c6121d8bf8d60cf020445f1a2004c9424)
où
![{\displaystyle \varepsilon _{\mu },\quad \varepsilon _{\mu +\varpi },\quad \mathrm {E} _{\mu +1},\quad {\text{et}}\quad \mathrm {E} _{\mu +\varpi +1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63f79edc252d181b284cf9179e2d9e4a15354be2)
sont connus (
étant
), il n’y aura qu’a substituer ces valeurs dans les deux équations du no 26, et faisant, pour abréger,
![{\displaystyle {\begin{aligned}&\mathrm {\frac {l_{\mu }\ \varepsilon _{\mu }}{E_{\mu +1}}} +l_{\mu -1}\ =f_{\mu },\\&\mathrm {\frac {L_{\mu }\varepsilon _{\mu }}{E_{\mu +1}}} +\mathrm {L} _{\mu -1}=\mathrm {F} _{\mu },\\&\mathrm {\frac {H_{\nu }\varepsilon _{\mu }}{E_{\mu +1}}} +\mathrm {H} _{\nu -1}=\mathrm {K} _{\nu },\\&\mathrm {H_{\varpi }\varepsilon _{\mu +\varpi }+H_{\varpi -1}E_{\mu +\varpi +1}} =\mathrm {G} _{\varpi },\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d9713f03a568d75ef155d36e4156c7cc115a1e6)
on aura
![{\displaystyle \left(f_{\mu }+{\frac {l_{\mu }{\sqrt {\mathrm {B} }}}{\mathrm {E} _{\mu +1}}}\right)\mathrm {\left(G_{\varpi }+H_{\varpi }{\sqrt {B}}\right)} \mathrm {\left(K_{\nu }+{\frac {H_{\nu }{\sqrt {B}}}{E_{\mu +1}}}\right)} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a119d2b80f974c51d6ddc0063445be2375e54715)
![{\displaystyle =l_{\rho }\varepsilon _{\mu +\varpi }+l_{\rho -1}\mathrm {E} _{\mu +\varpi +1}+l_{\rho }{\sqrt {\mathrm {B} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5db18abb1de1262db905fd0ec3541813af5f6522)
![{\displaystyle \mathrm {\left(F_{\mu }+{\frac {L_{\mu }{\sqrt {B}}}{E_{\mu +1}}}\right)} \mathrm {\left(G_{\varpi }+H_{\varpi }{\sqrt {B}}\right)} \mathrm {\left(K_{\nu }+{\frac {H_{\nu }{\sqrt {B}}}{E_{\mu +1}}}\right)} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e522e892cd17a800c80f611c05e80f2ac762809)
![{\displaystyle =\mathrm {L_{\rho }\varepsilon _{\mu +\varpi }+L_{\rho -1}E_{\mu +\varpi +1}+L_{\rho }{\sqrt {B}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ea78caa7767ad7fee0e38dff609ee83ce3542a1)
d’où, à cause de l’ambiguïté du signe du radical
on tire sur-le-champ
![{\displaystyle {\begin{aligned}l_{\rho }\ =&{\frac {\begin{aligned}&\left(f_{\mu }+{\frac {l_{\mu }{\sqrt {\mathrm {B} }}}{\mathrm {E} _{\mu +1}}}\right)\mathrm {\left(G_{\varpi }+H_{\varpi }{\sqrt {B}}\right)} \mathrm {\left(K_{\nu }+{\frac {H_{\nu }{\sqrt {B}}}{E_{\mu +1}}}\right)} ^{n}\\-&\left(f_{\mu }-{\frac {l_{\mu }{\sqrt {\mathrm {B} }}}{\mathrm {E} _{\mu +1}}}\right)\mathrm {\left(G_{\varpi }-H_{\varpi }{\sqrt {B}}\right)} \mathrm {\left(K_{\nu }-{\frac {H_{\nu }{\sqrt {B}}}{E_{\mu +1}}}\right)} ^{n}\end{aligned}}{2{\sqrt {\mathrm {B} }}}}\\\mathrm {L} _{\rho }=&{\frac {\begin{aligned}&\mathrm {\left(F_{\mu }+{\frac {L_{\mu }{\sqrt {B}}}{E_{\mu +1}}}\right)} \mathrm {\left(G_{\varpi }+H_{\varpi }{\sqrt {B}}\right)} \mathrm {\left(K_{\nu }+{\frac {H_{\nu }{\sqrt {B}}}{E_{\mu +1}}}\right)} ^{n}\\-&\mathrm {\left(F_{\mu }-{\frac {L_{\mu }{\sqrt {B}}}{E_{\mu +1}}}\right)} \mathrm {\left(G_{\varpi }-H_{\varpi }{\sqrt {B}}\right)} \mathrm {\left(K_{\nu }-{\frac {H_{\nu }{\sqrt {B}}}{E_{\mu +1}}}\right)} ^{n}\end{aligned}}{2{\sqrt {\mathrm {B} }}}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ea5851aa02d051f4cd32f499bf278e193563a6)
étant comme plus haut égal à ![{\displaystyle \mu +n\nu +\varpi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c2eaf33cc23fc6ee1ab365ac0032bdc953d9b49)
45. On peut aussi remarquer, que la valeur de
p peut se déterminer par le moyen de celles de
et
sans avoir besoin d’un nouveau calcul.
En effet, ayant
![{\displaystyle x=\mathrm {\frac {\varepsilon +{\sqrt {B}}}{E}} =\mathrm {\frac {E}{{\sqrt {B}}-\varepsilon }} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6880d9f791e428142bd326bc013e0336b812ded2)
et de même
![{\displaystyle x_{\rho }=\mathrm {\frac {E_{\rho }}{{\sqrt {B}}-\varepsilon _{\rho }}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/664267f4fa8fed17d348815e8a90ad3391e996a1)
on aura, par l’équation (G) du no 31,
![{\displaystyle \mathrm {\frac {E}{{\sqrt {B}}-\varepsilon }} ={\frac {l_{\rho }\mathrm {E} _{\rho }+l_{\rho -1}\left({\sqrt {\mathrm {B} }}-\varepsilon _{\rho }\right)}{\mathrm {L_{\rho }E_{\rho }+L_{\rho -1}\left({\sqrt {B}}-\varepsilon _{\rho }\right)} }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37b1b71f86caab10a9930fad1632132c75ee4467)
savoir
![{\displaystyle \mathrm {E} \mathrm {\left[L_{\rho }E_{\rho }+L_{\rho -1}\left({\sqrt {B}}-\varepsilon _{\rho }\right)\right]} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/889452376a4b753338ad1f612dc57a3fcde0af4f)
![{\displaystyle =l_{\rho }\mathrm {E} _{\rho }\left({\sqrt {\mathrm {B} }}-\varepsilon \right)+l_{\rho -1}\mathrm {\left[B+\varepsilon \varepsilon _{\rho }-(\varepsilon _{\rho }+\varepsilon ){\sqrt {B}}\right]} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26a9c481475fd3aa4ac47a1ae70d7ed0e3a6fd82)
de sorte qu’en comparant la partie rationnelle avec la rationnelle, et l’irrationnelle avec l’irrationnelle, on aura
![{\displaystyle \mathrm {L} _{\rho -1}={\frac {l_{\rho }\mathrm {E} _{\rho }-l_{\rho -1}\left(\varepsilon _{\rho }+\varepsilon \right)}{\mathrm {E} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/353a6a00590a782cfe0b57bbdb0caaf583a7ba67)
![{\displaystyle \mathrm {L_{\rho }E_{\rho }-L_{\rho -1}\varepsilon _{\rho }} ={\frac {-l_{\rho }\mathrm {E} _{\rho }\varepsilon +l_{\rho -1}\mathrm {\left(B+\varepsilon \varepsilon _{\rho }\right)} }{\mathrm {E} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88f9115d7ecbbfc1c7a6ee14a8f8ebea9a95299c)
d’où, à cause de
on aura
![{\displaystyle \mathrm {L} _{\rho }={\frac {l_{\rho }(\varepsilon _{\rho }-\varepsilon )+l_{\rho -1}\mathrm {E} _{\rho +1}}{\mathrm {E} }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46c21fe971a4869d197772183b1e851847b5f784)
Or,
étant égal à
on aura
![{\displaystyle \varepsilon _{\rho }=\varepsilon _{\mu +\varpi },\quad \mathrm {E} _{\rho +1}=\mathrm {E} _{\mu +\varpi +1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b603ed7565d2a7d034f6f73b59428b33dce9fb9)
de sorte que
et
seront connus, quel que soit le quantième ![{\displaystyle \rho .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ae3f23f76f614ab4dc47bfc296699c2be740666)
46. Supposons, pour donner un exemple de l’application des formules précédentes, qu’on demande la racine carrée de
par une fraction continue.
Faisant
on aura l’équation
![{\displaystyle 3x^{2}-11=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd8b43796e24ba167c27cd0ec74f8c3936a58d92)
donc (32)
![{\displaystyle \mathrm {E} =11,\quad \mathrm {E} _{1}=31,\quad \varepsilon =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3337122ec0b731721eadaa314bb175a4310b796d)
ainsi l’on fera (33) le calcul suivant, en prenant ![{\displaystyle \mathrm {B} =33,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4720aa79e1f29ac431c98cfd02ab3f02abe31df9)
![{\displaystyle {\begin{alignedat}{3}\mathrm {E} \ \,=&11,&&&\varepsilon \ \,=&0,\\\mathrm {E} _{1}=&{\frac {33-\ \ 0}{11}}=3,\qquad &\lambda _{1}<&{\frac {{\sqrt {33}}+0}{3}}=1,\qquad &\varepsilon _{1}=&\ \ 1.3-0=3,\\\mathrm {E} _{2}=&{\frac {33-\ \ 9}{3}}=8,&\lambda _{2}<&{\frac {{\sqrt {33}}+3}{8}}=1,&\varepsilon _{2}=&\ \ 1.8-3=5,\\\mathrm {E} _{3}=&{\frac {33-25}{8}}=1,&\lambda _{3}<&{\frac {{\sqrt {33}}+5}{1}}=10,&\varepsilon _{3}=&10.1-5=5,\\\mathrm {E} _{4}=&{\frac {33-25}{1}}=8,&\lambda _{4}<&{\frac {{\sqrt {33}}+5}{8}}=1,&\varepsilon _{4}=&\ \ 1.8-5=3,\\\mathrm {E} _{5}=&{\frac {33-\ \ 9}{8}}=3,&\lambda _{5}<&{\frac {{\sqrt {33}}+3}{3}}=2,&\varepsilon _{5}=&\ \ 2.3-3=3.\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/189f5b038862058f567af10f30c574c77042dd90)
Je m’arrête ici parce que je vois que
et
de sorte que j’aurai dans ce cas
et
et par conséquent
![{\displaystyle x=1+{\frac {1}{1+{\cfrac {1}{10+{\cfrac {1}{1+{\cfrac {1}{2+{\cfrac {1}{1+{\cfrac {1}{10+\ldots }}}}}}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bd69748d98771d6ed60c4e31379dddddb54b705)
47. Telle est donc la fraction continue qui exprime la valeur de
mais, si l’on veut trouver les fractions convergentes vers cette valeur, on fera, dans les formules du no 44,
et comme
doit être
on fera successivement
On aura donc (formule A, no 22)
![{\displaystyle l_{\mu }=l_{1}=\lambda _{1}=1,\quad l_{\mu -1}=l=1,\quad \varepsilon _{\mu }=\varepsilon _{1}=3,\quad \mathrm {E_{\mu +1}=E_{2}} =8\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/603ace1f22979c9f22c65b218f86f8a9b5640dcc)
donc (44)
![{\displaystyle f_{\mu }={\frac {1.3}{8}}+1={\frac {11}{8}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d762707043226dc6739b7fe2f7fc338069df6cc1)
on trouvera de même
![{\displaystyle \mathrm {L} _{\mu }=1,\quad \mathrm {F} _{\mu }={\frac {3}{8}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/420563ec49db8afaec02dcb4e64914b06272219a)
Ensuite on calculera les valeurs de
jusqu’à
par les formules (C) du no 25, et l’on trouvera
![{\displaystyle {\begin{aligned}\mathrm {H} \,\ =&0,\\\mathrm {H} _{1}=&1,\\\mathrm {H} _{2}=&\lambda _{3}\mathrm {H} _{1}=10,\\\mathrm {H} _{3}=&\lambda _{4}\mathrm {H_{2}+H_{1}} =11,\\\mathrm {H} _{4}=&\lambda _{5}\mathrm {H_{3}+H_{2}} =32.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39f73247871053a0410fd2cf9dbfe7b1bbe687bb)
D’où
![{\displaystyle \mathrm {H} _{\nu }=32,\quad \mathrm {H} _{\nu -1}=11.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/127f549ae6e681757bb7e6809b5ae87460f82944)
et de là
![{\displaystyle \mathrm {K} _{\nu }={\frac {32.3}{8}}+11=23.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7556afe32a48da6f72f06a18288775352b9bc495)
Maintenant :
1o Soit
on aura
![{\displaystyle \mathrm {H} _{\varpi }=0\quad {\text{et}}\quad \mathrm {H} _{\varpi -1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0562f3cd0e7b74fc71763fa9a569fdaa51857d4d)
[car il est facile de voir, par la nature des formules (C), que le terme qui précéderait
serait nécessairement
en effet, on doit avoir par l’analogie
![{\displaystyle \mathrm {H_{1}=\lambda _{\mu +1}H+H_{-1}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28f03a1f24a26f0b49c43f6aec0a8e55a933e5ed)
on prouverait de même que le terme qui précéderait
serait
], donc
![{\displaystyle \mathrm {G} _{\varpi }=\mathrm {E} _{\mu +1}=8.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bc83a23f7794f311a274a6ae99ba5faf6cabbe1)
2o Soit
on aura
![{\displaystyle \mathrm {H} _{\varpi }=1\quad \mathrm {H} _{\varpi -1}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc565044ce53109ad27aa9e936e684472fa90c09)
donc
![{\displaystyle \mathrm {G} _{\varpi }=\varepsilon _{\mu +1}=\varepsilon _{2}=5.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc2b16f05d012ff69847a34690b8bece9335caa4)
3o Soit
donc
![{\displaystyle \mathrm {H_{\varpi }=10,\quad H_{\varpi -1}=1,\quad G_{\varpi }=10\varepsilon _{\mu +2}+1} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/adecb2ddad83d45a19c5241113ee4cae2f5bc82f)
![{\displaystyle \mathrm {E} _{\mu +3}=10\varepsilon _{3}+\mathrm {E} _{4}=58.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef171054f49a4e5736c9f0d35b638a32b149d455)
4o Soit
donc
![{\displaystyle \mathrm {H_{\varpi }=11,\quad H_{\varpi -1}=10\quad {\text{et}}\quad G_{\varpi }=11\varepsilon _{4}+10E_{5}=63} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9badd05c2db0bdc31775181c0dc3be708b6c76ed)
Donc, substituant ces valeurs dans les expressions de
et
du no 44, et multipliant ensemble, pour plus de simplicité, les deux facteurs
![{\displaystyle f_{\mu }\pm {\frac {l_{\mu }{\sqrt {\mathrm {B} }}}{\mathrm {E} _{\mu +1}}},\quad \mathrm {G_{\varpi }\pm H_{\varpi }{\sqrt {B}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c679ae9d803766d297eca057f276d00391a52f3)
comme aussi les deux
![{\displaystyle \mathrm {F_{\mu }\pm {\frac {L_{\mu }{\sqrt {B}}}{E_{\mu +1}}},\quad G_{\varpi }\pm H_{\varpi }{\sqrt {B}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79d2786e153035bfc49faaf2a36665db9ffa77d8)
ce qui donne ces facteurs simples
![{\displaystyle {\begin{aligned}&f_{\mu }\,\mathrm {G} _{\varpi }+{\frac {l_{\mu }\ \mathrm {H_{\varpi }B} }{\mathrm {E} _{\mu +1}}}\pm \left(f_{\mu }\ \mathrm {H} _{\varpi }+{\frac {l_{\mu }\ \mathrm {G} _{\varpi }}{\mathrm {E} _{\mu +1}}}\right){\sqrt {\mathrm {B} }},\\&\mathrm {F_{\mu }G_{\varpi }+{\frac {L_{\mu }H_{\varpi }B}{E_{\mu +1}}}\pm \left(F_{\mu }H_{\varpi }+{\frac {L_{\mu }G_{\varpi }}{E_{\mu +1}}}\right){\sqrt {B}}} ,\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22b10221b89201b35ca8cfb769024c66c58a5074)
on aura les formules suivantes
![{\displaystyle {\begin{aligned}l_{4n+1}\ \,=&{\frac {\left(11+{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(11-{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\\mathrm {L} _{4n+1}=&{\frac {\left(3+{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(3-{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\l_{4n+2}\ \,=&{\frac {\left(11+2{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(11-2{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\\mathrm {L} _{4n+2}=&{\frac {\left(6+{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(6-{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\l_{4n+3}\ \,=&{\frac {\left(121+21{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(121-21{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\\mathrm {L} _{4n+3}=&{\frac {\left(63+11{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(63-11{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\l_{4n+4}\ \,=&{\frac {\left(132+23{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(132-23{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\\mathrm {L} _{4n+4}=&{\frac {\left(69+12{\sqrt {33}}\right)\left(23+4{\sqrt {33}}\right)^{n}-\left(69-12{\sqrt {33}}\right)\left(23-4{\sqrt {33}}\right)^{n}}{2{\sqrt {33}}}},\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f812d0b2570de41be74b0014346173ff1a2ae987)
au moyen desquelles on pourra trouver la valeur de chacune des fractions
![{\displaystyle {\frac {l_{1}}{\mathrm {L} _{1}}},{\frac {l_{2}}{\mathrm {L} _{2}}},{\frac {l_{3}}{\mathrm {L} _{3}}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad1d7875618bc5741b4af928addcc306e16f39a1)
convergentes vers la racine de
Ainsi, faisant d’abord
on aura les quatre premières fractions ; faisant ensuite
on aura les quatre suivantes, et ainsi de suite ; et ces fractions seront
![{\displaystyle {\frac {1}{1}},\ \ {\frac {2}{1}},\ \ {\frac {21}{11}},\ \ {\frac {23}{12}},\ \ {\frac {67}{35}},\ \ {\frac {90}{47}},\ \ {\frac {967}{505}},\ \ {\frac {1057}{552}},\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c162b11c94e0af2ff5b87114698d30cc924ad03b)
48. Si l’on voulait avoir, par exemple, le cinquantième terme de cette série, c’est-à-dire la fraction
il n’y aurait qu’à diviser
par
ce qui donne
de quotient et
de reste, et l’on ferait
de sorte qu’en développant la puissance douzième de
et faisant, pour abréger,
![{\displaystyle {\begin{aligned}\mathrm {M} =&(23)^{12}+66(33)(4)^{2}s(23)^{10}+495(33)^{2}(4)^{4}(23)^{8}\\&+938(33)^{3}(4)^{6}(23)^{6}+495(33)^{4}(4)^{8}(23)^{4}\\&+66(33)^{5}(4)^{10}(23)^{2}+(33)^{6}(4)^{12}\\\\\mathrm {N} =&12(4)(23)^{11}+220(33)(4)^{3}(23)^{9}+79^{2}(33)^{2}(4)^{5}(23)^{7}\\&+792(33)^{3}(4)^{7}(23)^{5}+220(33)^{4}(4)^{9}(23)^{3}+12(33)^{6}(4)^{11}(23),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2e802e08446979094bbfdb2c80fe778b897db49)
on aura
![{\displaystyle \left(23\pm 4{\sqrt {33}}\right)^{n}=\mathrm {M\pm N} {\sqrt {33}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66b66598cbce85f7583fd6f16b6fb01c617e3da6)
donc, substituant cette valeur dans les expressions de
et
on aura, pour la fraction cherchée,
![{\displaystyle \mathrm {\frac {2M+11N}{M+6N}} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb90e614983842373f4e731602086f316d9a7324)
49. Je vais terminer cette Remarque par une observation qui me paraît digne d’attention. Lorsque l’équation proposée a des diviseurs commensurables du premier degré, alors les fractions continues qui représenteront les racines de ces diviseurs seront nécessairement terminées ; et lorsque l’équation aura des diviseurs commensurables du second degré à racines réelles, alors les fractions continues qui exprimeront les racines de ces diviseurs seront nécessairement périodiques. Ainsi, la méthode des fractions continues a non-seulement l’avantage de donner toujours les valeurs rationnelles les plus approchantes qu’il est possible de la racine cherchée, mais elle a encore celui de donner tous les diviseurs commensurables du premier et du second degré que l’équation proposée peut renfermer. Il serait à souhaiter que l’on pût trouver aussi quelque caractère qui pût servira faire reconnaître les diviseurs commensurables du troisième, quatrième,… degré, lorsqu’il y en a dans l’équation proposée ; c’est du moins une recherche qui me paraît très-digne d’occuper les Géomètres.
Remarque III.
Généralisation de la théorie des fractions continues.
50. Nous avons supposé, dans le § III du Mémoire sur la résolution des équations numériques, que les nombres
étaient les valeurs entières approchées des racines
mais plus petites que ces racines ; c’est-à-dire que
étaient les nombres entiers immédiatement plus petits que les valeurs de
cependant il est clair que rien n’empêcherait qu’on ne prît pour
les nombres entiers qui seraient immédiatement plus grands que les racines
51. Imaginons donc qu’on prenne pour
le nombre entier qui est immédiatement plus grand que
en sorte que
et
il est clair qu’il faudra faire, dans ce cas
c’est-à-dire qu’il faudra prendre
négativement, et, comme
et
on aura
et
et par conséquent
comme dans le cas où l’on aurait pris
(no 18 du Mémoire cité). Ainsi l’on pourra prendre de nouveau pour
le nombre entier qui serait immédiatement plus petit que
ou celui qui serait immédiatement plus grand, et l’on fera, dans le premier cas,
et, dans le second,
et ainsi de suite.
De cette manière on aurait donc
![{\displaystyle x=p\pm {\frac {1}{y}},\quad y=q\pm {\frac {1}{z}},\quad z=r\pm {\frac {1}{u}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e25a9d8f691bb0566ed3bad5ff8987df123744c8)
ce qui donnerait la fraction continue
![{\displaystyle x=p\pm {\frac {1}{q\pm {\cfrac {1}{r\pm {\cfrac {1}{s\pm \ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e92e0f139cab721907f99ad913a811ecac891108)
où il est bon de remarquer que chacun des dénominateurs
qui sera suivi d’un signe
devra nécessairement être
ou
car, puisque
si l’on fait
on aura
donc
donc
devant être un nombre entier, sera nécessairement
ou
et ainsi des autres.
52. J’observe maintenant que ces sortes de fractions qui procèdent ainsi par addition et par soustraction peuvent toujours facilement se changer en d’autres qui ne soient formées que par la simple addition.
En effet, supposons en général
![{\displaystyle a-{\frac {1}{t}}=\mathrm {A} +{\frac {1}{\mathrm {T} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c3ac5ae36d6a9a6842275643ef2f1dfa981b768)
et
devant être des nombres entiers, et
des nombres plus grands que l’unité ; on aura donc
![{\displaystyle a-\mathrm {A} ={\frac {1}{t}}+{\frac {1}{\mathrm {T} }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef2868745b7f37a9c036c05dfd4a435ba71522c2)
donc, puisque
et ![{\displaystyle {\frac {1}{\mathrm {T} }}<1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf3275170902d6f18bfd15b769aaf7c3c2fd107a)
![{\displaystyle {\frac {1}{t}}+{\frac {1}{\mathrm {T} }}\ \ {\text{sera}}\ \ <2\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/198122915d075b4b7b62de12f322c1344ee28838)
donc on ne pourra supposer que
ce qui donne
on aura donc
![{\displaystyle a-{\frac {1}{t}}=a-1+{\frac {1}{\mathrm {T} }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f38b6bc661ff3b9691ae07ee4724135e073fefd)
donc
![{\displaystyle {\frac {1}{\mathrm {T} }}=1-{\frac {1}{t}}\quad {\text{et}}\quad \mathrm {T} ={\frac {t}{t-1}}=1+{\frac {1}{t-1}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75d58da06f7b67316d8d2bc4347db00894650439)
de sorte qu’on aura en général
![{\displaystyle a-{\frac {1}{t}}=a-1+{\frac {1}{1+{\cfrac {1}{t-1}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3343a3401b8e045303131ab8d92342fb4958638d)
et cette formule servira pour faire disparaître tous les signes
dans une fraction continue quelconque.
Soit, par exemple, la fraction
![{\displaystyle p-{\frac {1}{q+{\cfrac {1}{r+\ldots }}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2890a95b303f7c8422d04f837c66fca53b9d0f02)
elle deviendra, en faisant
et ![{\displaystyle t=q+{\frac {1}{r}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63b5e20d7b3b2fd3218fcfc1c55dc4949329f9a4)
![{\displaystyle p-1+{\frac {1}{1+{\cfrac {1}{q-1+{\cfrac {1}{r+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97e70b5a5ac6ac5cf1f612c48f367af891aa219e)
et si l’on avait la fraction
![{\displaystyle p-{\frac {1}{q-{\cfrac {1}{r-\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25cb2c45c99c5b3d2be57058467859c622922560)
elle se changerait d’abord en
![{\displaystyle p-1+{\frac {1}{1+{\cfrac {1}{q-1-{\cfrac {1}{r-\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/327464c85bde054282161b0edcbb6b997e52f2cb)
et ensuite en
![{\displaystyle p-1+{\frac {1}{1+{\cfrac {1}{q-2+{\cfrac {1}{1+{\cfrac {1}{r-1+\ldots }}}}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2374c6d1bfa4940f61d961bffe193e1fa10fbadf)
et ainsi des autres fractions semblables. Il est bon de remarquer qu’il peut arriver que dans ces sortes de transformations quelqu’un des dénominateurs devienne nul, auquel cas la fraction deviendra plus simple.
En effet, supposons que la fraction à réduire soit
![{\displaystyle p-{\frac {1}{1+{\cfrac {1}{r+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a6ef8d9b38418f2623757dad751e398510e1cc8)
la transformée sera
![{\displaystyle p-1+{\frac {1}{1+{\cfrac {1}{0+{\cfrac {1}{r+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a3a342f0a9cef9dbacd7d00e33de89ba2b30716)
c’est-à-dire
![{\displaystyle p-1+{\frac {1}{1+r+\ldots }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d442d841c2023cf2ce02eeec3b006785eb6ea34d)
De même, si l’on avait la fraction
![{\displaystyle p-{\frac {1}{2-{\cfrac {1}{r+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07d0f6844436a9a549eacd38cd543656211e75bb)
elle se réduirait à celle-ci
![{\displaystyle p-1+{\frac {1}{1+{\cfrac {1}{0+{\cfrac {1}{1+{\cfrac {1}{r-1+\ldots }}}}}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7fcd45ff07208eed18bd542c17c96e64605a566)
savoir,
![{\displaystyle p-1+{\frac {1}{2+{\cfrac {1}{r-1+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eed2dee90580329aeca9ac569d47610d77150bd)
et ainsi du reste.
53. La formule que nous avons trouvée ci-dessus, et qu’on peut mettre sous cette forme
![{\displaystyle a+{\frac {1}{1+{\cfrac {1}{t}}}}=a+1-{\frac {1}{t+1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a92c2f1ea4e99727b78c1f36b18cf8c74649bb43)
fait voir qu’une fraction continue dont tous les termes ont le signe
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406)
peut quelquefois être simplifiée en y introduisant des signes
![{\displaystyle -\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dc78a1565778ea264ba7928f01724f475a057fd)
c’est ce qui a lieu lorsqu’il y a des dénominateurs égaux à l’unité ; car soit, par exemple, la fraction
![{\displaystyle p+{\frac {1}{1+{\cfrac {1}{r+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2500e138f3d73423771c7668ccf4c5f331a40c06)
elle pourra se réduire, par la formule précédente, à celle-ci
![{\displaystyle p+1-{\frac {1}{r+1+\ldots }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4d3e4a4b1e30c9eed5f946ee86acd7e6f99b333)
qui a, comme on voit, un terme de moins ; donc, si l’on avait la fraction
![{\displaystyle p+{\frac {1}{1+{\cfrac {1}{1+{\cfrac {1}{s+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a8a218737435c296eec6d9f4d78c65f0f49148f)
elle se réduirait à celle-ci
![{\displaystyle p+1-{\frac {1}{2+{\cfrac {1}{s+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ce764c055b8cb7d0ad4627d30b4d060b5717d93)
et si l’on avait celle-ci
![{\displaystyle p+{\frac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{s+\ldots }}}}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14b81e0092914bbe69067d9237517738254023a7)
on la réduirait d’abord à
![{\displaystyle p+1-{\frac {1}{2+{\cfrac {1}{1+{\cfrac {1}{s+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8655fbb0c231f563d3a83b1f41bc59b8f1b53cfd)
et ensuite
![{\displaystyle p+1-{\frac {1}{3-{\cfrac {1}{s+1+\ldots }}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b591a83d512beb058192385031a51ec50bf78f2)
D’où il est facile de conclure en général que, si l’on a une fraction continue qui n’ait que des signes
et où il y ait des dénominateurs égaux à l’unité, on pourra toujours la changer en une autre qui ait autant de termes de moins qu’il y aura de pareils dénominateurs, pourvu qu’ils ne se suivent pas immédiatement ; car, lorsqu’il y en aura deux de suite, on ne pourra faire disparaître qu’un seul terme ; lorsqu’il y en aura trois de suite, on pourra faire disparaître deux termes ; et en général, s’il y en a
ou
de suite, on ne pourra faire disparaître que
ou
termes.
54. Ainsi, la fraction continue qui exprime le rapport de la circonférence au diamètre étant, comme on sait,
![{\displaystyle 3+{\frac {1}{7+{\cfrac {1}{15+{\cfrac {1}{1+{\cfrac {1}{292+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{2+\ldots }}}}}}}}}}}}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b017a0ed3d3f0b92d8626995e29e4e5014e819dc)
elle peut se réduire à une autre qui ait déjà trois termes de moins, et qui sera
![{\displaystyle 3+{\frac {1}{7+{\cfrac {1}{16-{\cfrac {1}{294-{\cfrac {1}{3-{\cfrac {1}{3+\ldots }}}}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59bb132095f3e27d30773a2b227e19939949f402)
55. Pour pouvoir comprendre sous une même forme générale les fractions continues où les signes sont tous positifs et celles où il y a des signes négatifs, il est bon de transformer ces dernières en sorte que les signes négatifs n’affectent que les dénominateurs, ce qui est très-facile ; car ayant, par exemple, la fraction
![{\displaystyle p-{\frac {1}{q+{\cfrac {1}{r-{\cfrac {1}{s+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f29da2517f899289b09dc3b57104c9194f75be8)
il est clair qu’elle peut d’abord se changer en
![{\displaystyle p+{\frac {1}{-q-{\cfrac {1}{r-{\cfrac {1}{s+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe8f0dadb7ffca70c186ee0c4fb0b36f4f4ec46e)
ensuite en celle-ci
![{\displaystyle p+{\frac {1}{-q+{\cfrac {1}{-r+{\cfrac {1}{s+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89a5251afdb6cff23cf93b5367530af15677b045)
et ainsi des autres.
De cette manière, la forme générale des fractions continues dont nous venons de parler ci-dessus sera
![{\displaystyle p+{\frac {1}{q+{\cfrac {1}{r+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c75e1e4f76e5dac52cb40ccf095e26b08a22825b)
les nombres
étant tous entiers, mais pouvant être positifs ou négatifs, au lieu que jusqu’ici nous les avions toujours supposés positifs.
Il faut cependant remarquer que, si quelqu’un des dénominateurs
se trouve égal à l’unité prise positivement ou négativement, alors le dénominateur suivant devra être de même signe ; c’est ce qui suit de ce qu’un dénominateur positif et égal à l’unité ne saurait jamais être suivi du signe
(51).
56. Il s’ensuit de là que la méthode d’approximation donnée dans le § III du Mémoire sur les équations numériques peut être généralisée en cette sorte :
Soit
la racine cherchée ; on prendra d’abord pour
la valeur entière approchée de
c’est-à-dire qu’on fera
égal à l’un des deux nombres entiers entre lesquels tombe la vraie valeur de
et qu’on peut toujours trouver par la méthode du § I du Mémoire cité ; et l’on supposera ensuite
![{\displaystyle x=p+{\frac {1}{y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89cd9fa8cb1529a2943f120b4d9f869812cf6c27)
ce qui donnera une transformée en
qui aura nécessairement une racine positive ou négative plus grande que l’unité ; on prendra de même pour
la valeur entière approchée de
soit plus grande ou plus petite que
et l’on fera
![{\displaystyle y=q+{\frac {1}{z}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c71963d9adcf6be331e6b3d15a9a3eb0ae42a0f)
et ainsi de suite.
Si l’équation en
avait plusieurs racines, on ferait sur les transformées en
en
des remarques analogues à celles du no 19 du Mémoire cité.
57. Avant donc
![{\displaystyle x=p+{\frac {1}{y}},\quad y=q+{\frac {1}{z}},\quad z=r+{\frac {1}{u}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64d43abb0d15ec6bb4c69a4ee2ede909693b0815)
on aura
![{\displaystyle x=p+{\frac {1}{q+{\cfrac {1}{r+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/205e3e2c72ef63f76a1688e3408d39ad2975eb78)
où les dénominateurs
pourront être positifs ou négatifs, comme nous l’avons supposé ci-dessus, et cette fraction pourra ensuite se réduire, si l’on veut, à une autre dont les dénominateurs soient tous positifs, et qui ne contienne que des signes
(52).
L’avantage de la méthode que nous proposons ici consiste en ce qu’on est libre de prendre pour les nombres
les nombres entiers qui sont immédiatement plus grands ou plus petits que les racines
ce qui pourra souvent donner lieu à des abrégés de calcul dont nous parlerons plus bas.
58. Au reste, si l’on voulait avoir d’abord la fraction continue la plus courte, et par conséquent la plus convergente qu’il fût possible, il faudrait prendre toujours les nombres
plus petits que les racines
tant que ces nombres seraient différents de l’unité ; mais dès qu’on en trouvera un égal à l’unité, alors il faudra augmenter le précédent d’une unité, c’est-à-dire qu’on le prendra plus grand que la racine correspondante : cela suit évidemment de ce que nous avons démontré sur ce sujet (53).
59. Maintenant si l’on fait, comme dans le no 23 du Mémoire cité,
![{\displaystyle {\begin{alignedat}{2}\alpha &=p,&\alpha '&=1,\\\beta &=\alpha q+1,\qquad &\beta '&=\alpha 'q,\\\gamma &=\beta r+\alpha ,&\gamma '&=\beta 'r+\alpha ',\\\delta &=\gamma s+\beta ,&\delta '&=\gamma 's+\beta ',\\\ldots &\ldots \ldots \ldots ,&\ldots &\ldots \ldots \ldots ,\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fce082539d26c86e0c4d11120a811f88fb30a77c)
on aura, en ajoutant au commencement la fraction
qui est plus grande que toute quantité donnée, les fractions
![{\displaystyle {\frac {1}{0}},\quad {\frac {\alpha }{\alpha '}},\quad {\frac {\beta }{\beta '}},\quad {\frac {\gamma }{\gamma '}},\quad {\frac {\delta }{\delta '}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3a8d581aac870443d0c90caa111894a5b2d0111)
qui seront nécessairement convergentes vers la valeur de
.
60. Pour pouvoir juger de la nature de ces fractions, nous remarquerons :
1o Que l’on aura toujours
![{\displaystyle {\begin{aligned}\alpha 0\,-1\,\alpha '=&-1,\\\beta \alpha '-\alpha \beta '=&+1,\\\gamma \ \beta '-\beta \gamma '=&-1,\\\delta \ \gamma '-\gamma \,\delta '=&+1,\\\ldots \ldots \ldots \ldots &\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52377c3e3d9c79bcfd2168bea75eb572c3f54e18)
d’où l’on voit que les nombres
![{\displaystyle \alpha ,\alpha ',\beta ,\beta ',\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f05631bc1e8a40fdab033528f31524fbc1d30cc8)
n’auront aucun diviseur commun, et que par conséquent les fractions
![{\displaystyle {\frac {\alpha }{\alpha '}},{\frac {\beta }{\beta '}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/87983c68136c0f98bbd09376e15fbcc7be202810)
seront déjà réduites à leurs moindres termes ;
2o Que les nombres
et
pourront être positifs ou négatifs (lorsque la valeur de
r est positive, les deux termes de chaque fraction seront de même signe, mais ils seront de signes différents lorsque la valeur de
sera négative), et qu’abstraction faite de leurs signes ces nombres iront en augmentant ;
3o Que l’on aura, à cause de
![{\displaystyle {\begin{aligned}x&={\frac {\alpha y+1}{\alpha 'y}},\\x&={\frac {\beta z+\alpha }{\beta 'z+\alpha '}},\\x&={\frac {\gamma u+\beta }{\gamma 'u+\beta '}},\\\ldots &\ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44a21f20d0ecfdeaee3c479e494e7df1906beb77)
61. Donc, en général, si
sont trois termes consécutifs quelconques de la série
et
les termes correspondants de la série
en sorte que
soient trois fractions consecutives convergentes vers la valeur de
on aura
![{\displaystyle \rho \varpi '-\varpi \rho '=\pm 1\quad {\text{et}}\quad \sigma \rho '-\rho \sigma '=\mp 1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcae2a36a6987efa88b1778caf1329747af5567e)
les signes supérieurs étant pour le cas où le quantième de la fraction
est impair, et les inférieurs pour celui où ce quantième est pair, à compter depuis la première fraction
de plus, on aura (abstraction faite des signes)
![{\displaystyle \rho >\varpi ,\quad \sigma >\rho ,\quad \rho '>\varpi ',\quad {\text{et}}\quad \sigma '>\rho '\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/356678de1e371e4b531d7163039d10ad5a16ab4b)
enfin, si l’on dénote par
le terme correspondant dans la série
on aura rigoureusement
![{\displaystyle x={\frac {\rho t+\varpi }{\rho 't+\varpi '}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e76c20012c663ab69ef754766140efdc81a63cdd)
Et si
![{\displaystyle k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
est la valeur entière approchée de
![{\displaystyle t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ea3ad87830a1055c7b85c04cf940cfd3b847ae6)
soit plus grande ou plus petite que
![{\displaystyle t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ea3ad87830a1055c7b85c04cf940cfd3b847ae6)
on aura
![{\displaystyle \sigma =\rho k+\varpi ,\quad \sigma '=\rho 'k+\varpi '.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f3a76c59614317227030de7e91ef4fc27ba7215)
62. Cela posé, considérons la fraction
et voyons de combien elle diffère de la vraie valeur de
pour cela, nous aurons
![{\displaystyle x-{\frac {\rho }{\rho '}}={\frac {\rho t+\varpi }{\rho 't+\varpi '}}-{\frac {\rho }{\rho '}}={\frac {\rho '\varpi -\rho \varpi '}{\rho '(\rho 't+\varpi ')}}=\mp {\frac {1}{\rho '(\rho 't+\varpi ')}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39502c67310d9ad568cad2e709a8a599c5944452)
donc
![{\displaystyle x={\frac {\rho }{\rho '}}\mp {\frac {1}{\rho '(\rho 't+\varpi ')}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/968aae7588460069edc30d9d05fbb3c92e780a9a)
Ainsi, l’erreur sera
![{\displaystyle \mp {\frac {1}{\rho '(\rho 't+\varpi ')}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa030953c072ee96866f419a25a0c9724d351d6b)
or, si
et
sont les deux nombres entiers entre lesquels tombe la vraie valeur de
il est clair que la quantité
tombera entre ces deux
et
et qu’ainsi l’erreur de la fraction
sera renfermée entre ces deux limites
![{\displaystyle \mp {\frac {1}{\rho '(\rho '\theta +\varpi ')}}\quad {\text{et}}\quad \mp {\frac {1}{\rho '\left[\rho '(\theta +1)+\varpi '\right]}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ad44febd5fc117b855b3281b11c49f9a77d3de5)
Or, on peut prendre
ou
de sorte qu’on aura
![{\displaystyle \sigma '=\rho '\theta +\varpi '\quad {\text{ou}}\quad =\rho '(\theta +1)+\varpi ',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ebb3fbf3134464562c8bcef76da3e2376f44dfa)
d’où je conclus que si, pour distinguer les deux cas, on nomme
le dénominateur de la fraction qui suit
lorsqu’on prend la valeur approchée de
en défaut, et
le dénominateur de la même fraction lorsqu’on prend la valeur approchée de
en excès, l’erreur de la fraction
sera nécessairement renfermée entre ces deux limites
![{\displaystyle \mp {\frac {1}{\rho '\sigma '}}\quad {\text{et}}\quad \mp {\frac {1}{\rho '\Sigma '}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e06909dc00af7dfa97c96492774546f3cd0aa5fd)
63. D’où l’on voit que l’erreur ira toujours en diminuant d’une fraction à l’autre, à cause que les dénominateurs
ou
vont nécessairement en augmentant. On voit aussi, à cause de
et
que l’erreur sera toujours moindre que
c’est-à-dire que l’erreur de chaque fraction sera moindre que l’unité divisée par le carré du dénominateur de cette fraction. D’où il est facile de conclure que la fraction
approchera plus de la valeur de
que ne pourrait faire aucune autre fraction quelconque qui serait conçue en termes plus simples ; car supposons que la fraction
approche plus de
que la fraction
étant
et comme la valeur de
est contenue entre
et
ou entre
et
il faudra que la valeur de
soit contenue aussi entre ces limites ; donc la différence entre
et
devra être
mais cette différence est
dont le numérateur ne peut jamais être moindre que l’unité, et dont le dénominateur sera nécessairement plus petit que
à cause de
donc, etc.
64. On doit remarquer, au reste, que si les dénominateurs
sont tous de même signe ou de signes alternatifs, les erreurs seront alternativement positives et négatives, de sorte que les fractions ![{\displaystyle {\frac {\alpha }{\alpha '}},{\frac {\beta }{\beta '}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d41c01593c8c59ab6f3de331d42e67230b01b87)
seront alternativement plus petites et plus grandes que la véritable valeur de
comme nous l’avons dit dans le no 23 du Mémoire cité ; mais cela cessera d’avoir lieu lorsque les nombres
ne seront pas deux à deux de même signe ou de signes différents ; c’est ce qui arrivera nécessairement lorsque, parmi les dénominateurs
de la fraction continue, il y en aura de positifs et de négatifs, c’est-à-dire lorsqu’on prendra les valeurs approchées de
tantôt plus grandes, tantôt plus petites que les véritables.
65. Si, au lieu des fractions convergentes
on aimait mieux avoir une suite de termes décroissants, on remarquerait que
![{\displaystyle {\frac {\beta }{\beta '}}-{\frac {\alpha }{\alpha '}}={\frac {\beta \alpha '-\alpha \beta '}{\alpha '\beta '}}={\frac {1}{\alpha '\beta '}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50bd54b306287017fb10d5f6b5d1e8347fd25f8b)
et, de même,
![{\displaystyle {\frac {\gamma }{\gamma '}}-{\frac {\beta }{\beta '}}={\frac {1}{\beta '\gamma '}},\quad {\frac {\delta }{\delta '}}-{\frac {\gamma }{\gamma '}}={\frac {1}{\gamma '\delta '}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0516a47f1225722b8d8d1601f8101dc301f6b2e0)
et ainsi de suite ; d’où l’on tire, à cause de ![{\displaystyle \alpha '=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28b0fc355e714a56b3301e61309de8c3d0336902)
![{\displaystyle {\begin{aligned}{\frac {\beta }{\beta '}}=&\alpha +{\frac {1}{\alpha '\beta '}},\\{\frac {\gamma }{\gamma '}}=&\alpha +{\frac {1}{\alpha '\beta '}}-{\frac {1}{\beta '\gamma '}},\\{\frac {\delta }{\delta '}}=&\alpha +{\frac {1}{\alpha '\beta '}}-{\frac {1}{\beta '\gamma '}}+{\frac {1}{\gamma '\delta '}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fae6d01dfbd5f51f990c1226c30b05500311c2fd)
et en général
![{\displaystyle {\frac {\rho }{\rho '}}=\alpha +{\frac {1}{\alpha '\beta '}}-{\frac {1}{\beta '\gamma '}}+{\frac {1}{\gamma '\delta '}}-\ldots \pm {\frac {1}{\varpi '\rho '}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/906aaf4473c1d7912c54843537009f7a0081167c)
Ainsi l’on aura, pour la valeur de
la série
![{\displaystyle \alpha +{\frac {1}{\alpha '\beta '}}-{\frac {1}{\beta '\gamma '}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddb77928e90a8f588d177d6c4b5fbecf27d3e236)
laquelle en approchera d’autant plus qu’elle sera poussée plus loin ; et si, après avoir continué cette série jusqu’à un terme quelconque
on veut savoir de combien elle diffère encore de la véritable valeur de
on sera assuré que l’erreur se trouvera entre ces deux limites
et
(62), de sorte qu’elle sera nécessairement moindre que ![{\displaystyle {\frac {1}{\rho '^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af64a7c39a4db4fa140b215bfc8489560ccf57a3)
66. Il est à remarquer que chaque terme de la série
![{\displaystyle \alpha +{\frac {1}{\alpha '\beta '}}-{\frac {1}{\beta '\gamma '}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdb3450f707f8708db4246c7c6865864c6664eff)
répond à chaque terme de la fraction continue
![{\displaystyle p+{\frac {1}{q+{\cfrac {1}{r+\ldots }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c75e1e4f76e5dac52cb40ccf095e26b08a22825b)
d’où elle dérive ; de sorte que la série dont nous parlons sera plus ou moins convergente, suivant que cette fraction le sera. Or, nous avons donné plus haut (53) le moyen de rendre une fraction continue la plus convergente qu’il est possible ; donc on pourra avoir aussi la suite la plus convergente qu’il soit possible.
67. Ainsi, pour avoir une suite qui soit la plus convergente de toutes vers le rapport de la circonférence au diamètre, on prendra la fraction continue qui exprime ce rapport, et, après l’avoir simplifiée comme nous l’avons fait (54), on la mettra sous la forme suivante (55)
![{\displaystyle 3+{\frac {1}{7+{\cfrac {1}{16+{\cfrac {1}{-294+{\cfrac {1}{3+{\cfrac {1}{-3+\ldots }}}}}}}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/794b12df5afe4cbf805bed1bb320cf531a8f6040)
de sorte qu’on aura
![{\displaystyle p=3,\quad q=7,\quad r=16,\quad s=-294,\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/891a83eaeccc13dd9fbb2c16144eb36747d3439d)
donc on trouvera (59
![{\displaystyle \alpha '=1,\ \ \beta '=7,\ \ \gamma '=7\times 16+1=113,\ \ \delta '=113\times (-294)+7=-33215,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bb9cac2dbf46d3bba145b71f4f494c5984634a3)
![{\displaystyle \varepsilon '=-33215\times 3+113=-99532,\ \ \zeta '=-99532\times (-3)-33215=265371,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a61b438088590a9c6df948095e6fcc9e966913)
de sorte que la série cherchée sera
![{\displaystyle 3+{\frac {1}{7}}-{\frac {1}{7\times 113}}-{\frac {1}{11\times 33215}}-{\frac {1}{33215\times 99532}}-{\frac {1}{99532\times 265371}}\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa9936686af1bd25971ce3cf7eb40f6085573c8e)
Remarque IV.
Où l’on propose différents moyens pour simplifier le calcul
des fractions continues.
68. Nous avons trouvé en général (61) que, si
et
sont deux fractions consécutives convergentes vers la valeur de
i on aura
![{\displaystyle x={\frac {\rho t+\varpi }{\rho 't+\varpi '}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a46816313552257c5bd9f0f0f16c486d8d2345c1)
donc, si l’on substitue cette expression de
dans l’équation en
dont on cherche la racine, on aura une transformée en
qui sera nécessairement la même que celle qu’on aurait eue par les substitutions successives de
à la place de
de
à la place de
(56) ; et, pour avoir la fraction suivante
il faudra trouver la valeur entière approchée de
laquelle étant nommée
on aura
![{\displaystyle \sigma =k\rho +\varpi ,\quad \sigma '=k\rho '+\varpi '.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9510e1cc6f3ca5dee310595cd093f1cba54892ba)
De cette manière, connaissant les deux premières fractions
et
qui sont toujours
et
(59), on pourra trouver successivement toutes les autres à l’aide de la seule équation en ![{\displaystyle x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d07e9f568a88785ae48006ac3c4b951020f1699a)
69. Au reste, soit qu’on emploie les substitutions successives de
à la place de
de
à la place de
soit qu’on fasse usage de la substitution générale de
à la place de
la difficulté se réduira toujours à trouver, dans chaque équation transformée, la valeur entière approchée de la racine positive ou négative, mais toujours plus grande que l’unité, que cette équation contiendra nécessairement (56). Or, si la première valeur approchée
ne convient qu’à une seule racine, alors toutes les équations transformées en
en
n’auront chacune qu’une seule racine plus grande que l’unité ; de sorte qu’on pourra trouver les valeurs entières approchées de ces racines par la simple substitution des nombres naturels (no 19 du Mémoire cité). Mais, si le même nombre appartient à plusieurs racines, alors les transformées auront nécessairement plusieurs racines plus grandes que l’unité, soit positives ou négatives, jusqu’à ce que l’on arrive à une de ces transformées qui n’ait plus qu’une pareille racine ; car alors toutes les suivantes n’en auront plus qu’une seule de cette qualité, comme nous l’avons démontré dans le numéro cité.
Or, avant d’être parvenu à cette transformée, il arrivera souvent que la simple substitution des nombres naturels ne suffira pas pour faire trouver les valeurs entières approchées dont on aura besoin, parce que l’équation aura des racines qui différeront entre elles par des quantités moindres que l’unité. Dans ce cas donc il semble qu’il faudrait avoir recours à la méthode générale que nous avons donnée dans le § I du même Mémoire ; mais, puisqu’on aura déjà employé cette méthode pour trouver les premières valeurs approchées des racines
de l’équation primitive, on pourra se dispenser de faire un nouveau calcul à chaque équation transformée ; c’est ce qu’il est bon de développer.
70. En faisant usage de la méthode dont nous parlons, on trouvera d’abord les limites entre lesquelles chaque racine réelle de l’équation proposée sera renfermée, en sorte qu’entre deux limites trouvées il n’y ait qu’une seule racine (no 13 du Mémoire cité).
Soient
et
les limites de la racine cherchée ; or l’expression
![{\displaystyle x={\frac {\rho t+\varpi }{\rho 't+\varpi '}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fc21416234e382094956e979e04705402acfd9d)
donne
![{\displaystyle t={\frac {\varpi 'x-\varpi }{\rho -\rho 'x}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7342760dd61e3c5dc01b38c74996c0ad1352d71)
donc la valeur de
sera renfermée entre les limites
![{\displaystyle {\frac {\varpi '\lambda -\varpi }{\rho -\rho '\lambda }},\quad {\frac {\varpi '\Lambda -\varpi }{\rho -\rho '\Lambda }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb0875257c6b249c4a0b9951ced7a6712b989f50)
donc, si ces dernières limites diffèrent l’une de l’autre moins que de l’unité, on aura sur-le-champ la valeur entière approchée de
![{\displaystyle t\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c451614a798a0d4d0c4e6aa6d2a2616d9763535b)
mais, si elles diffèrent l’une de l’autre d’une quantité égale ou plus grande que l’unité, alors ce sera une marque que la racine cherchée
![{\displaystyle t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
différera des autres racines de l’équation transformée en
![{\displaystyle t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
par des quantités égales ou plus grandes que l’unité ; de sorte qu’on sera sûr de pouvoir trouver la valeur entière approchée de cette racine par la simple substitution des nombres naturels à la place de
![{\displaystyle t\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c451614a798a0d4d0c4e6aa6d2a2616d9763535b)
et la même chose aura lieu à plus forte raison dans les transformées suivantes.
71. La formule
![{\displaystyle t={\frac {\varpi 'x-\varpi }{\rho -\rho 'x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2bec3d8caf9f43c82ae23e84afb498e7d47d44f)
peut être aussi très-utile pour réduire en fraction continue toute quantité
qui sera renfermée entre des limites données, au moins pour trouver les termes de cette fraction qui pourront être donnés par ces limites ; car, nommant comme ci-dessus
et
les deux limites de
on aura
![{\displaystyle {\frac {\varpi '\lambda -\varpi }{\rho -\rho '\lambda }}\quad {\text{et}}\quad {\frac {\varpi '\Lambda -\varpi }{\rho -\rho '\Lambda }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70a1d27f9a2ceca16f55bf7b2ca71d5784ca3c93)
pour celles de
de sorte que, tant que la différence entre ces dernières limites ne sera pas plus grande que l’unité, on pourra trouver exactement la valeur entière de
ainsi, prenant
et
(
étant la valeur entière approchée de
) pour les deux premières fractions, on pourra pousser la suite des fractions convergentes, et par conséquent la fraction continue jusqu’à ce que les limites dont nous parlons diffèrent entre elles d’une quantité plus grande que l’unité ; alors il faudra s’arrêter, parce que les limites données
et
ne comporteront pas une plus grande exactitude dans la valeur de
.
Par ce moyen on n’aura jamais à craindre de se tromper en poussant la fraction continue plus loin qu’on ne doit, comme cela arriverait facilement si, pour avoir cette fraction, on se contentait de prendre l’un des nombres
ou
et d’y pratiquer la même opération dont on se sert pour trouver la plus grande commune mesure, conformément à la manière usitée de réduire les fractions ordinaires en fractions continues.
Pour pouvoir employer cette méthode en toute sûreté, il faudrait faire la même opération sur les deux nombres
et
et n’admettre ensuite que la partie de la fraction continue qui proviendrait également des deux opérations ; mais la méthode précédente paraît plus commode et plus simple.
72. Voyons maintenant d’autres moyens pour simplifier encore la recherche des valeurs entières approchées dans les différentes équations transformées. Soit
![{\displaystyle t^{n}-at^{n-1}+bt^{n-2}-\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e8de8f4c90380782774f582a5176edf7bd8ef17)
une quelconque de ces équations, dans laquelle il s’agit de trouver la valeur entière approchée de
que nous désignerons en général par
cette équation, étant dérivée de l’équation proposée en
sera du même degré que celle-ci, et aura par conséquent le même nombre de racines que nous supposons égal à ![{\displaystyle n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e59df02a9f67a5da3c220f1244c99a46cc4eb1c6)
Or, nous avons trouvé en général (70)
![{\displaystyle t={\frac {\varpi 'x-\varpi }{\rho -\rho 'x}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8432d6563d28c104639d671334adba253b736c47)
ce qui se réduit à
![{\displaystyle t={\frac {\varpi '}{\rho '}}\times {\frac {x-{\cfrac {\varpi }{\varpi '}}}{{\cfrac {\rho }{\rho '}}-x}}={\frac {\varpi '}{\rho '}}\times \left({\frac {{\cfrac {\rho }{\rho '}}-{\cfrac {\varpi }{\varpi '}}}{{\cfrac {\rho }{\rho '}}-x}}-1\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5d4212d15cfc2c9ff2b9f3078133589abe62a7e)
mais
![{\displaystyle {\frac {\rho }{\rho '}}-{\frac {\varpi }{\varpi '}}=\pm {\frac {1}{\rho '\varpi '}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae86c6f0130205257d395b353df7b7261a6a6666)
le signe supérieur étant pour le cas où le quantième de la fraction
est pair, et l’inférieur pour celui où ce quantième est impair ; donc on aura
![{\displaystyle t=\pm {\frac {1}{\rho '^{2}\left({\cfrac {\rho }{\rho '}}-x\right)}}-{\frac {\varpi '}{\rho '}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a903c71739add5df15d86c14bdbbabbbec8691cd)
Donc, si l’on dénote par
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
la racine cherchée, et par
![{\displaystyle x',x'',\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d02bab71ca272c7fe319d1b4e1a3ef780873a570)
les autres racines de l’équation en
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
qui sont au nombre de
![{\displaystyle n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/397bfafc701afdf14c2743278a097f6f2957eabb)
et qu’on dénote de même par
![{\displaystyle t,t',t'',\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/176c8c07192095f3e08f27c15eeedc8123ae6ac4)
les valeurs correspondantes de
![{\displaystyle t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ea3ad87830a1055c7b85c04cf940cfd3b847ae6)
on aura
![{\displaystyle {\begin{aligned}t\ \ &=\pm {\frac {1}{\rho '^{2}\left({\cfrac {\rho }{\rho '}}-x\ \ \right)}}-{\frac {\varpi '}{\rho '}},\\t'\ &=\pm {\frac {1}{\rho '^{2}\left({\cfrac {\rho }{\rho '}}-x'\ \right)}}-{\frac {\varpi '}{\rho '}},\\t''&=\pm {\frac {1}{\rho '^{2}\left({\cfrac {\rho }{\rho '}}-x''\right)}}-{\frac {\varpi '}{\rho '}},\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c40305bdee6de32df59c8fb6f6239e0bd9283b4)
Mais on a, comme on sait,
![{\displaystyle a=t+t'+t''+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5c59b77f77288887835d40853df52356eb7d21b)
donc, substituant les valeurs de
que nous venons de trouver, et qui sont au nombre de
on aura
![{\displaystyle a=t-{\frac {(n-1)\varpi '}{\rho '}}\pm {\frac {1}{\rho '^{2}}}\left({\frac {1}{{\cfrac {\rho }{\rho '}}-x'}}+{\frac {1}{{\cfrac {\rho }{\rho '}}-x''}}+{\frac {1}{{\cfrac {\rho }{\rho '}}-x'''}}+\ldots \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84105a171bcfd2fb36f57777d1bf9eea52d76fd0)
Or nous avons trouvé (62)
![{\displaystyle {\frac {\rho }{\rho '}}=x\pm {\frac {1}{\rho '(\rho 't+\varpi ')}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a79460d7db26b5fd6e665c608ca9e8328065a6f)
ou bien, en faisant ![{\displaystyle \rho 't+\varpi '=\psi \rho ',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f76ce262b87c9636c6a8189e70894cb728649a47)
![{\displaystyle {\frac {\rho }{\rho '}}=x\pm {\frac {1}{\psi \rho '^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b8c48849a3718a5f23bce81d07aea805df23005)
où l’on remarquera que
étant renfermé entre les limites
et
qui sont l’une et l’autre plus grandes que
la quantité
sera nécessairement plus grande que l’unité. Donc, faisant cette substitution dans la formule précédente, on aura
![{\displaystyle t=a+{\frac {(n-1)\varpi '}{\rho '}}\mp \left({\frac {1}{\rho '^{2}(x-x')\pm {\cfrac {1}{\psi }}}}+{\frac {1}{\rho '^{2}(x-x'')\pm {\cfrac {1}{\psi }}}}+\ldots \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb097366134da44d159cb7548551d064b66b595f)
Mais les quantités
![{\displaystyle x-x'',\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/db152d3ff20b8771bee23940bd75cae8566780ff)
sont données, et la quantité
![{\displaystyle \rho '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2400eb83af71f78fcb442e55bf294cebdfb9803)
va toujours en augmentant ; donc, puisque la fraction
![{\displaystyle {\frac {1}{\psi }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1834aacdef737d41aee79b73ec3c3697577acc8f)
est toujours moindre que l’unité, il est clair que chacune des quantités
![{\displaystyle {\frac {1}{\rho '^{2}(x-x')\pm {\cfrac {1}{\psi }}}},\quad {\frac {1}{\rho '^{2}(x-x'')\pm {\cfrac {1}{\psi }}}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/721bf30cfb0d394f2d2c661d08b3df68cba29506)
ira nécessairement en diminuant ; et que par conséquent la somme de ces quantités qui sont au nombre de
ira en diminuant aussi ; de sorte qu’elle deviendra nécessairement moindre que ![{\displaystyle {\frac {1}{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca269377f18d1b032279be1559cb3e7c3623e18)
Donc on parviendra nécessairement à une équation transformée telle que sa racine
sera, à
près, égale à
![{\displaystyle a+{\frac {(n-1)\varpi '}{\rho '}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb4e8581ae5ae6737f047dc509435831c3f41b17)
(
étant le coefficient du second terme pris négativement), c’est-à-dire que cette racine sera contenue entre les limites
![{\displaystyle a+{\frac {(n-1)\varpi '}{\rho '}}+{\frac {1}{2}}\quad {\text{et}}\quad a+{\frac {(n-1)\varpi '}{\rho '}}-{\frac {1}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d57a44f921171f144951fb963e69749798bc5a3c)
et la même chose aura lieu à plus forte raison pour toutes les transformées suivantes.
Donc, dès qu’on sera venu à une pareille transformée, il n’y aura qu’à prendre le nombre entier qui approchera le plus de la quantité
![{\displaystyle a+{\frac {(n-1)\varpi '}{\rho '}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0628edf6cb56006a876337c2af66bf3343be26e4)
c’est-à-dire celui qui serà contenu entre les mêmes limites
![{\displaystyle a+{\frac {(n-1)\varpi '}{\rho '}}+{\frac {1}{2}}\quad {\text{et}}\quad a+{\frac {(n-1)\varpi '}{\rho '}}-{\frac {1}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d57a44f921171f144951fb963e69749798bc5a3c)
et ce nombre sera nécessairement un des deux consécutifs entre lesquels
se trouvera la vraie valeur de
![{\displaystyle t\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c451614a798a0d4d0c4e6aa6d2a2616d9763535b)
de sorte qu’il pourra être pris en toute sûreté pour la valeur approchée⅛ (68). Ainsi l’on pourra continuer l’approximation aussi loin qu’on voudra sans le moindre tâtonnement.
73. Puisque
![{\displaystyle a=t+t'+t''+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e134c9e9625afd5960fadcee16bbd835e637ef97)
en substituant les valeurs de
(72), on aura
![{\displaystyle a=\pm {\frac {1}{\rho '^{2}}}\left({\frac {1}{{\cfrac {\rho }{\rho '}}-x}}+{\frac {1}{{\cfrac {\rho }{\rho '}}-x'}}+{\frac {1}{{\cfrac {\rho }{\rho '}}-x''}}+\ldots \right)-{\frac {n\varpi '}{\rho '}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56c56a49df2dc9f1c194712ad7f045a87954b747)
Or, soit
![{\displaystyle x^{n}-\mathrm {A} x^{n-1}+\mathrm {B} x^{n-2}-\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9be202e740e15f40ace3150692e440efc8e835)
l’équation proposée ; qu’on fasse le premier membre de cette équation égal à
et il est facile de voir par la théorie des équations que la quantité
deviendra, en y mettant
à la place de
après la différentiation,
![{\displaystyle {\frac {1}{{\cfrac {\rho }{\rho '}}-x}}+{\frac {1}{{\cfrac {\rho }{\rho '}}-x'}}+{\frac {1}{{\cfrac {\rho }{\rho '}}-x''}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15a51af36c637e6592de42fa97ac8454786df7a3)
à cause que
sont les différentes racines de l’équation
Donc on aura
![{\displaystyle a=\pm {\frac {1}{\rho '^{2}\mathrm {X} }}{\frac {d\mathrm {X} }{dx}}-{\frac {n\varpi '}{\rho '}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/074b3c7fefd7863509a85ece6fbc040c9e138f6f)
et par conséquent la quantité
![{\displaystyle a+{\frac {(n-1)\varpi '}{\rho '}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb4e8581ae5ae6737f047dc509435831c3f41b17)
deviendra
![{\displaystyle \pm {\frac {1}{\rho '^{2}\mathrm {X} }}{\frac {d\mathrm {X} }{dx}}-{\frac {\varpi '}{\rho '}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd105aba491754df7a83195175fcaa873f6785e4)
Donc, si l’on fait
![{\displaystyle \mathrm {R} ={\frac {n\rho ^{n-1}-(n-1)\mathrm {A} \rho ^{n-2}\rho '+(n-2)\mathrm {B} \rho ^{n-3}\rho '^{2}-\ldots }{\rho ^{n}-\mathrm {A} \rho ^{n-1}\rho '+\mathrm {B} \rho ^{n-2}\rho '^{2}-\ldots }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e40b6d46fa57bc748c0ec1d613a06f885525f7ca)
la quantité dont il s’agit sera
![{\displaystyle {\frac {\pm \mathrm {R} -\varpi '}{\rho '}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/547fb3e4058e7c5344c7d49481ab509a247965c0)
par conséquent les limites dont nous avons parlé dans le numéro précédent seront
![{\displaystyle {\frac {\pm \mathrm {R} -\varpi '}{\rho '}}+{\frac {1}{2}}\quad {\text{et}}\quad {\frac {\pm \mathrm {R} -\varpi '}{\rho '}}-{\frac {1}{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a25e756e8a083b9b4910d6b71ae0d68e258d31bc)
Ainsi l’on pourra trouver ces limites indépendamment de l’équation transformée en
et par le seul moyen de l’équation proposée en
ce qui pourra servir à abréger le calcul.
74. Il reste maintenant à voir comment on pourra reconnaître si la racine
est renfermée entre les limites dont il s’agit ; or, cela est facile dès qu’on connaît les deux nombres entiers consécutifs
entre lesquels se trouve cette racine : car, soient
et
les deux limites données, il est clair que, pour que
se trouve entre ces limites, il faudra que
tombe entre les mêmes nombres
et même plus près de celui de ces deux nombres dont
approchera davantage ; on examinera donc : 1o si
tombe entre
et
2o cela étant, on prendra celui de ces deux nombres dont
approche davantage pour la valeur approchée de
que nous nommerons
et faisant
on verra si l’équation transformée en
a une racine positive ou négative plus grande que
si cette seconde condition a lieu, on sera assuré que la racine
tombera réellement entre les limites
et
et l’on pourra poursuivre le calcul comme nous l’avons dit dans le no 72.
75. On pourrait s’y prendre encore de la manière suivante, pour s’assurer si la racine
tombe entre les limites
et
Il est facile de voir par le no 72 que la difliculté se réduit à savoir si la somme des quantités
![{\displaystyle {\frac {1}{{\cfrac {\rho }{\rho '}}-x'}},\quad {\frac {1}{{\cfrac {\rho }{\rho '}}-x''}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c06134e1cae77fbe9a9558dda4597594995f2392)
divisée par
![{\displaystyle \rho '^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/015201bac1460452c16d68e4000afdc02d1dfe26)
est moindre que
![{\displaystyle {\frac {1}{2}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25a3f1bd6a094eaad947e01af8dceae13e3a0e95)
ainsi il ne s’agira que de trouver une quantité qui soit plus grande que cette somme, et de voir ensuite si cette quantité est moindre que
Or, soient
les racines réelles de l’équation proposée, que nous supposerons au nombre de
et
![{\displaystyle \xi +\psi {\sqrt {-1}},\quad \xi -\psi {\sqrt {-1}},\quad \xi '+\psi '{\sqrt {-1}},\quad \xi '-\psi '{\sqrt {-1}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/341a38e8803506a9dc31756af85ded9637856c3a)
les racines imaginaires, que nous supposerons au nombre de
en sorte que
comme la fraction
diffère de la racine
d’une quantité moindre que
(63), il est clair que si
est une quantité égale ou moindre que la plus petite des différences entre les racines réelles de la même équation, chacune des quantités réelles
![{\displaystyle {\frac {1}{{\cfrac {\rho }{\rho '}}-x'}},\quad {\frac {1}{{\cfrac {\rho }{\rho '}}-x''}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c06134e1cae77fbe9a9558dda4597594995f2392)
sera nécessairement moindre que
![{\displaystyle {\frac {1}{\Delta \pm {\frac {1}{\rho '^{2}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/628f14c23a5041c5ff03952988500e58072229b3)
et par conséquent la somme de ces quantités qui sont au nombre de
sera moindre que
![{\displaystyle {\frac {\mu -1}{\Delta \pm {\frac {1}{\rho '^{2}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5fa120fa99d8bd4e2822bbdbba4f37398833e64)
Considérons ensuite les quantités imaginaires, lesquelles seront deux à deux de la forme
![{\displaystyle {\frac {1}{{\cfrac {\rho }{\rho '}}-\xi -\psi {\sqrt {-1}}}},\quad {\frac {1}{{\cfrac {\rho }{\rho '}}-\xi +\psi {\sqrt {-1}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/929ba995ffbf5d05a83f2c6aa3415a8b2e68028f)
de sorte qu’on aura
![{\displaystyle \nu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c15bbbb971240cf328aba572178f091684585468)
quantités de la forme
![{\displaystyle {\frac {2\left({\cfrac {\rho }{\rho '}}-\xi \right)}{\left({\cfrac {\rho }{\rho '}}-\xi \right)^{2}+\psi ^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab216c9f8778bd7f8f9480d053b9879eb8751a6e)
or, je remarque que, quels que soient les nombres
et
la quantité
![{\displaystyle {\frac {2\left({\cfrac {\rho }{\rho '}}-\xi \right)}{\left({\cfrac {\rho }{\rho '}}-\xi \right)^{2}+\psi ^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab216c9f8778bd7f8f9480d053b9879eb8751a6e)
sera toujours moindre que
en effet, si l’on considère la quantité
![{\displaystyle {\frac {2y}{y^{2}+\psi ^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96264eaa1069e0a01fe2bac7c75f71afd7e0d17d)
et qu’on fasse, ce qui est toujours possible,
elle deviendra
![{\displaystyle {\frac {2\sin \varphi \cos \varphi }{\psi }}={\frac {\sin 2\varphi }{\psi }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76a03c7aeed22d2230e72959b7c6397f657b26b7)
or, la plus grande valeur de
est l’unité ; donc, etc.
Donc si l’on dénote par
une quantité égale ou moindre que la plus petite des quantités
la quantité
sera nécessairement plus grande que la somme des quantités imaginaires dont nous parlons.
Donc, en général, la quantité
![{\displaystyle {\frac {\mu -1}{\Delta \pm {\cfrac {1}{\rho '^{2}}}}}+{\frac {\nu }{\Pi }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc644b0c8df4f3f3d42a39730eb71d9bb8d813e2)
sera plus grande que la somme de toutes les quantités
![{\displaystyle {\frac {1}{{\cfrac {\rho }{\rho '}}-x'}},\quad {\frac {1}{{\cfrac {\rho }{\rho '}}-x''}},\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa28a17b97bc3d4d7165f28a5ea27330b977a9c7)
Donc, si l’on a
![{\displaystyle {\frac {\mu -1}{\rho '^{2}\Delta -1}}+{\frac {\nu }{\rho '^{2}\Pi }}=\ \ {\text{ou}}\ \ <{\frac {1}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbfe1e92a3319b8dd1480eff107ae22213a8d218)
![{\displaystyle \Delta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/32769037c408874e1890f77554c65f39c523ebe2)
et
![{\displaystyle \Pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/eed3e3db6cc2028a183af948212ed2551d25c954)
étant prises positivement, on sera sûr que la racine
![{\displaystyle t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
tombera entre les limites proposées.
Or, pour avoir les nombres
et
lorsqu’on ne connaît pas d’avance les racines de l’équation proposée, il n’y aura qu’à chercher dans l’équation des différences (D) du no 8 du Mémoire cité, la limite
des racines positives et la limite
des racines négatives, et l’on pourra prendre pour
un nombre quelconque
ou
et pour
un nombre quelconque
ou
cela suit évidemment de ce que nous avons démontré dans l’endroit cité.
76. Si l’on avait
![{\displaystyle {\frac {\mu -1}{\Delta -1}}+{\frac {\nu }{\Pi }}<{\frac {1}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3a17b71ab16cf3e7291fd258aeda3fb7fc78131)
alors la condition requise aurait lieu dès le commencement de la série ; de sorte qu’on pourrait approcher de la valeur de
sans aucun tâtonnement. Voici le procédé du calcul.
Ayant trouvé la première valeur entière approchée de
qu’on pourra prendre plus petite ou plus grande que
à volonté, et nommant cette valeur
on aura les deux premières fractions
1o On fera donc
![{\displaystyle \varpi =1,\quad \varpi '=0,\quad \rho =p,\quad \rho '=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec8f1644c7383a9ed828a4e0850d654bb776d9f1)
et, substituant ces valeurs dans l’expression de
(73), on prendra le nombre entier qui approchera le plus de
![{\displaystyle {\frac {-\mathrm {R} -\varpi '}{\rho '}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4dc965a0ea3264f59577a6fd2f6c480de901efa8)
c’est-à-dire de
lequel étant nommé
on aura la fraction
![{\displaystyle {\frac {k\rho +\varpi }{k\rho '+\varpi '}}={\frac {kp+1}{k}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/774ddeb039f7a80b2932e9d0e358b5b4f82bcb20)
2o On fera
![{\displaystyle \varpi =p,\quad \varpi '=1,\quad \rho =kp+1,\quad \rho '=k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34633b94bffaf0f3817aa6accaa2a3ea9d5bb47f)
et, substituant dans
![{\displaystyle \mathrm {R} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6eefdda1e40f99e2c96a1709a201ef9bc0266b2)
on prendra le nombre entier qui approchera le plus de
![{\displaystyle {\frac {\mathrm {R} -\varpi '}{\rho '}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61b873654a16b8dab7234f3d2ef873604ab84158)
c’est-à-dire de
![{\displaystyle {\frac {\mathrm {R} -1}{k}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dd0811224aff42e04f66baf8a3e232bc65d4b2d)
et, ce nombre, étant nommé
![{\displaystyle k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44e185ab9c990830d5055fa3ae698a4225ce67e0)
on aura la fraction
![{\displaystyle {\frac {k'\rho +\varpi }{k'\rho '+\varpi '}}={\frac {k'(kp+1)+p}{k'k+1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6116e4afddd8e5e24d5d9279bc5b8c265f809edc)
3o On fera
![{\displaystyle \varpi =kp+1,\quad \varpi '=k,\quad \rho =k'(kp+1)+p,\quad \rho '=k'k+1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/218ef595038682477a0dc0188455a9aef3b74477)
et l’on prendra la valeur entière la plus approchée de
![{\displaystyle {\frac {-\mathrm {R} -\varpi '}{\rho '}}\quad {\text{ou}}\quad {\frac {-\mathrm {R} -k}{kk'+1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe7917e85a80f7983ecde1e6d5f868d476ef2eab)
laquelle étant nommée
on aura la fraction
![{\displaystyle {\frac {k''\rho +\varpi }{k''\rho '+\varpi '}}=\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c40bff1b5e8dfb834a2038acdb73d9efeada0cec)
et ainsi de suite.
De cette manière, la valeur de
sera exprimée par la fraction continue
![{\displaystyle p+{\frac {1}{k+{\cfrac {1}{k'+{\cfrac {1}{k''+\ldots }}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d83183b5c271f754125dec04533fa64522abd3b)
ou, par les fractions convergentes,
![{\displaystyle {\frac {1}{0}},\quad {\frac {p}{1}},\quad {\frac {kp+1}{k}},\quad {\frac {k'(kp+1)+p}{k'k+1}},\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e40bef918a257b6b797faccd7b2ad74168dfff47)
77. Si l’on n’a pas d’abord
![{\displaystyle {\frac {\mu -1}{\Delta -1}}+{\frac {\nu }{\Pi }}<{\frac {1}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3a17b71ab16cf3e7291fd258aeda3fb7fc78131)
il n’y aura qu’à chercher la fraction continue par la méthode ordinaire jusqu’à ce que l’on arrive à une fraction dont le dénominateur
soit tel que l’on ait
![{\displaystyle {\frac {\mu -1}{\rho '^{2}\Delta -1}}+{\frac {\nu }{\rho '^{2}\Pi }}<{\frac {1}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/879b74b016b95bd65788b6ede0d7c43e96577c7f)
ou bien jusqu’à ce que l’on vienne à une transformée qui soit dans le cas du
no 74 ; alors on pourra poursuivre le calcul par la méthode précédente.
Au reste, comme, en augmentant toutes les racines d’une équation dans une raison quelconque, on augmente aussi dans la même raison les différences entre ces racines, il est clair que si, dans l’équation proposée, on met
à la place de
ce qui en augmentera les racines en raison de
les nombres
et
qui conviendront à la nouvelle équation, en seront augmentés dans la même raison, et par conséquent deviendront
et
donc on pourra faire en sorte que la condition du no 76 soit vérifiée en donnant à
une valeur telle que
![{\displaystyle {\frac {\mu -1}{f\Delta -1}}+{\frac {\nu }{f\Pi }}=\ \ {\text{ou}}\ \ <{\frac {1}{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d6c03bd58b3528b364842104f3fa0a32ee891ba)
Alors on pourra toujours se servir de la méthode du numéro cité pour approcher sans tâtonnement de la valeur cherchée de
il faudra seulement diviser ensuite cette valeur par
pour avoir la véritable racine de l’équation proposée ; il est vrai que, de cette manière, on n’aura plus cette racine exprimée par une simple fraction continue, mais on pourra néanmoins en approcher aussi près qu’on voudra, ce qui suffit pour l’usage ordinaire.
78. Soit l’équation proposée
![{\displaystyle x^{n}-\mathrm {A} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28160b3ea6533014eadc0092a9b0bc6993b04fbe)
en sorte que l’on demande la racine
ième du nombre ![{\displaystyle \mathrm {A} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52b3a778414f6a1907d8bc1577228f859bedad03)
1o Soit
pair et
l’équation aura, comme on sait, deux racines réelles,
et
et
racines imaginaires qui seront exprimées ainsi
![{\displaystyle \left(\cos {\frac {sc}{n}}\pm \sin {\frac {sc}{n}}{\sqrt {-1}}\right){\sqrt[{n}]{\mathrm {A} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c745d49ae875cc97d7c0ff939c0f31bca480a4f9)
étant la circonférence ou l’angle de
degrés, et
étant successivement égal à
jusqu’à
donc on aura dans ce cas (75)
![{\displaystyle \mu =2,\ \nu =m-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63b4b3c99e34fb802b6294455fd0076bf0d7c026)
et l’on pourra prendre
![{\displaystyle \Delta =2{\sqrt[{n}]{\mathrm {A} }},\quad \Pi =\sin {\frac {c}{n}}\times {\sqrt[{n}]{\mathrm {A} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb4c062b07a6d600bd57aae695e632e4d0b083c0)
à cause que
est le plus petit de tous les
donc la condition du no 76 aura lieu si
![{\displaystyle {\frac {1}{2{\sqrt[{n}]{\mathrm {A} }}-1}}+{\frac {m-1}{\sin {\cfrac {c}{n}}\times {\sqrt[{n}]{\mathrm {A} }}}}=\ \ {\text{ou}}\ \ <{\frac {1}{2}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac54ef0bf3d2b3fd3672a4762fb05f7901d69c82)
donc elle aura lieu sûrement toutes les fois qu’on aura
![{\displaystyle \mathrm {A} =\ \ {\text{ou}}\ \ >\left({\frac {n}{\sin {\cfrac {360^{\circ }}{n}}}}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5daf0174fad8f2329595ac82ecc1de157809328)
2o Soit
impair et égal à
l’équation n’aura qu’une seule racine réelle
et elle en aura
imaginaires de la forme
![{\displaystyle \left(\cos {\frac {sc}{n}}\pm \sin {\frac {sc}{n}}{\sqrt {-1}}\right){\sqrt[{n}]{\mathrm {A} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c745d49ae875cc97d7c0ff939c0f31bca480a4f9)
en faisant successivement
jusqu’à
donc on aura dans ce cas
et, comme le plus petit des
est
ou
à cause de
on pourra prendre
![{\displaystyle \Pi =\sin {\frac {180^{\circ }}{n}}\times {\sqrt[{n}]{\mathrm {A} }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91ca7723774786d28b79e18d0ecd972a0b079fa8)
de sorte que la condition du numéro cité aura lieu si
![{\displaystyle {\frac {m}{\sin {\cfrac {180^{\circ }}{n}}\times {\sqrt[{n}]{\mathrm {A} }}}}=\ \ {\text{ou}}\ \ <{\frac {1}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d85f7c6b866d7d88688c42552dfae80dc71ca35)
c’est-à-dire si l’on a
![{\displaystyle \mathrm {A} =\ \ {\text{ou}}\ \ >\left({\frac {n-1}{\sin {\cfrac {180^{\circ }}{n}}}}\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/646afe112014435dff0e666057cfeeb427267db1)
Donc, lorsque le nombre
![{\displaystyle \mathrm {A} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff6366939c4ebbd4e8494d0dedc54c4b8dd7135a)
ne sera pas au-dessous des limites que nous venons de trouver, on pourra toujours, en faisant usage de la méthode du
no 76, trouver directement et sans tâtonnement la racine
ième de ce nombre ; et s’il est plus petit que ces limites, on pourra toujours le rendre plus grand en le multipliant par un nombre quelconque qui soit une puissance exacte du même exposant
![{\displaystyle n\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29fa02a86c74ebd7771bb02f441fd79ee6fe90ba)
en sorte qu’après avoir trouvé la racine de ce nombre composé il n’y aura plus qu’à la diviser par celle de son multiplicateur pour avoir la racine cherchée de
Au reste, il est bon de remarquer que la valeur de
du no 72 sera, pour l’équation
![{\displaystyle \mathrm {R} ={\frac {n\rho ^{n-1}}{\rho ^{n}-\mathrm {A} \rho ^{'n}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a6c7b09e8644dc071b6a49aa0e939a40dba3401)
79. Puisque le cas de
peut se résoudre par la méthodes de la Remarque II, nous en ferons abstraction ici. Soient donc
1
o ![{\displaystyle \qquad \qquad \qquad n=4,\quad {\text{on aura}}\quad \sin {\frac {360^{\circ }}{4}}=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/180814c766be9110b47f761f77768cc7b779cd19)
donc
![{\displaystyle \mathrm {A} =\ \ {\text{ou}}\ \ >4^{4}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88d59756bf553d9a711d81b6e1f24ace838f5861)
2
o ![{\displaystyle \qquad \qquad \qquad n=6,\quad {\text{on aura}}\quad \sin {\frac {360^{\circ }}{6}}={\frac {\sqrt {3}}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70769e0e5dfde0318b67f795b83c7c025b59ce27)
donc
![{\displaystyle \mathrm {A} =\ \ {\text{ou}}\ \ >3^{3}.4^{6}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bd10f0d0a28d9ac02ebf3860a57a067733ed20d)
3
o ![{\displaystyle \qquad \qquad \qquad n=8,\quad {\text{on aura}}\quad \sin {\frac {360^{\circ }}{8}}={\frac {\sqrt {2}}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4add4dd97b8f3242e94537fb1b3d09dd051d48b)
donc
![{\displaystyle \mathrm {A} =\ \ {\text{ou}}\ \ >2^{4}.4^{3},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09c9fa7e0c4960f4e7b553f4c57d05fa9d7fadf5)
et ainsi de suite.
De même, si l’on fait
1
o ![{\displaystyle \qquad \qquad \qquad n=3,\quad {\text{on aura}}\quad \sin {\frac {180^{\circ }}{3}}={\frac {\sqrt {3}}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ed04554cc074ed160a2ffd2996c81e40416032d)
donc
![{\displaystyle \mathrm {A} =\ \ {\text{ou}}\ \ >{\frac {4^{3}}{3{\sqrt {3}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cfe170e2683aea1e37054ec8636a3df45b34896)
2
o ![{\displaystyle \qquad \qquad \qquad n=5,\quad {\text{on aura}}\quad \sin {\frac {180^{\circ }}{5}}=\sin 36^{\circ },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/364847e6a3d5b929230eec7d1d41cbae9c6bab38)
et, faisant le calcul par les logarithmes, on trouvera
![{\displaystyle \mathrm {A} =\ \ {\text{et}}\ \ >1459,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3742cc0dc1bbc1fcabe826684e2bf620a07e5f04)
et ainsi de suite.
80. Supposons, par exemple, qu’on demande la racine cubique de
Puisque
est
à cause de
on pourra employer d’abord la méthode du no 76. On aura donc ici, à cause de
et
(78),
![{\displaystyle \mathrm {R} ={\frac {3\rho ^{2}}{\rho ^{3}-17\rho '^{3}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3bf55312133f4abbc4ef7279d792b0acc886531)
Or, le nombre entier le plus proche de
est
ou
de sorte qu’on pourra faire à volonté
ou
.
Faisons
et les deux premières fractions seront
donc
1
o![{\displaystyle \qquad \qquad \qquad \varpi =1,\quad \varpi '=0,\quad \rho =2,\quad \rho '=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1719b6183e1232a6a8984cdad5e20d0a8f213f69)
donc
![{\displaystyle \mathrm {R} ={\frac {3.4}{8-17}}=-{\frac {4}{3}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4eca6948386267a5ee0326b9371a136f5d7bc236)
et le nombre entier qui approche le plus de
![{\displaystyle {\frac {-\mathrm {R} -\varpi '}{\rho '}}={\frac {4}{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e154265eb39734a6c667500cb136836dca185812)
sera
donc
ce qui donne la fraction
![{\displaystyle {\frac {kp+1}{k}}={\frac {3}{1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94e929f42d9631dfa8f23704343fc4e3d35d7faf)
2
o![{\displaystyle \qquad \qquad \qquad \varpi =2,\quad \varpi '=1,\quad \rho =3,\quad \rho '=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c718b70b043ed86bcf102b2f559941418807b54f)
donc
![{\displaystyle \mathrm {R} ={\frac {3.9}{10}}\quad {\text{et}}\quad {\frac {\mathrm {R} -\varpi '}{\rho '}}={\frac {17}{10}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b1fb215c69eb311885edbe050fdb5e77393e57b)
le nombre entier qui approche le plus de
étant
on fera
ce
qui donnera la fraction
![{\displaystyle {\frac {k'\rho +\varpi }{k'\rho '+\varpi '}}={\frac {8}{3}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fc31fdd2656785aa838203457ee33eb7995c5ce)
3
o![{\displaystyle \qquad \qquad \qquad \varpi =3,\quad \varpi '=1,\quad \rho =8,\quad \rho '=3\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca7aa630a17f8142cece9fcbf8e97bb00c06eeda)
donc
![{\displaystyle \mathrm {R} ={\frac {3.8^{2}}{8^{3}-17.3^{3}}}={\frac {192}{53}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a5761521e7645ffaeeaed623ce704c65c3096d7)
et
![{\displaystyle {\frac {-\mathrm {R} -\varpi '}{\rho '}}=-{\frac {245}{159}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c32255b43b1f17ebc5e5ad7ad892972ef403e2f4)
le nombre entier qui approchera le plus de cette fraction sera
donc
et la fraction
sera ![{\displaystyle {\frac {-13}{-5}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf2eef77e2e7579e56df388758f5307c8d91c7fc)
4
o![{\displaystyle \qquad \qquad \qquad \varpi =8,\quad \varpi '=3,\quad \rho =-13,\quad \rho '=-5,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/186e378de409e55ad1c1cac3f8cf133199d77fad)
. . . . . . . . . . . . . . . . . . . . . . . . .
De cette manière on aura les fractions convergentes vers ![{\displaystyle {\sqrt[{3}]{17}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66a2d7d6346e43e3d5008573fbee4563bbf79c9f)
![{\displaystyle {\frac {1}{0}},\quad {\frac {2}{1}},\quad {\frac {3}{1}},\quad {\frac {8}{3}},\quad {\frac {-13}{-5}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ea62746f2b6155b421b5e958da07380feb89c52)
et la fraction continue sera
![{\displaystyle 2+{\frac {1}{1+{\cfrac {1}{2+{\cfrac {1}{-2+\ldots }}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e7767835b66da6b6df24e3d8e7f36c9c1ea98a5)