ANALISE ALGÉBRIQUE.
Théorèmes nouveaux, sur les limites extrêmes des racines
des équations numériques ;
Par M. Bret, professeur de mathématiques à la faculté
des sciences de l’académie de Grenoble.
≈≈≈≈≈≈≈≈≈
Pour rendre la théorie que je vais développer plus facile à saisir, je crois convenable de l’appliquer à un exemple particulier. Rien ne sera plus facile ensuite que de l’exposer d’une manière générale.
Soit donc l’équation du 9.me degré
![{\displaystyle ax^{9}+bx^{8}-cx^{7}-dx^{6}+ex^{5}-fx^{4}-gx^{3}+hx^{2}-kx+l=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1999fdc34d58af452183449d927a5801d39db4b7)
(1)
dans laquelle les signes sont supposés en évidence ; et proposons-nous d’obtenir une limite supérieure de ses racines.
Nous remarquerons d’abord que, quels que soient
et
on a
![{\displaystyle Ax^{m}=A\left(x^{m}-1\right)+A=A(x-1)\left(x^{m-1}+x^{m-2}+\ldots +x+1\right)+A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c2901699bc759cdb733054b4e6b0d53243e90af)
ou, en posant pour abréger
d’où ![{\displaystyle x=1+y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a879a26574c235ae486d5f45be29aaf6da7b9924)
![{\displaystyle Ax^{m}=Ayx^{m-1}+Ayx^{m-2}+\ldots +Ayx+Ay+A.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3caa26de7862b241456b8a4554522ddc29fb64a4)
(2)
Cela posé, appliquons la transformation (2) à tous les termes positifs de l’équation (1), et nous aurons
![{\displaystyle {\begin{aligned}ax^{9}&=ayx^{8}+ayx^{7}+ayx^{6}+ayx^{5}+ayx^{4}+ayx^{3}+ayx^{2}+ayx+ay+a,\\bx^{8}&=\ldots \ldots \ \ \ byx^{7}+byx^{6}+byx^{5}+byx^{4}+byx^{3}+byx^{2}+byx+by+b,\\ex^{5}&=\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ \ \ eyx^{4}+eyx^{3}+eyx^{2}+eyx+ey+e,\\hx^{2}&=\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \quad hyx+hy+h,\\l&=\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ \ \ l.\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/627185513de5575a078b54ab0d9e269d6271caa5)
Introduisons ces développemens dans l’équation (1), rassemblant les termes adeptes des mêmes puissances de
, et écrivant les premiers ceux de ces termes dont le coefficient renferme une partie négative, on obtiendra la transformée
![{\displaystyle \left\{(a+b)y-c\right\}x^{7}+\left\{(a+b)y-d\right\}x^{6}+\left\{(a+b+e)y-f\right\}x^{4}+\left\{(a+b+e)y-g\right\}x^{3}+\left\{(a+b+e+h)y-k\right\}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/193599f9d876adcf86051d6dc4c70e84404cecd6)
![{\displaystyle +y\left\{ax^{8}+(a+b)x^{5}+(a+b+e)x^{2}+(a+b+e+h)\right\}+(a+b+e+h+l)=0.\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/032a7054726bbb49aa1de7d4a2e836d57c0468bf)
(3)
Or, il est clair que, pourvu qu’on ne prenne pas
négatif ou, ce qui revient au même,
positif plus petit que l’unité, les termes de la seconde ligne donneront toujours un résulsat positif quelque autre valeur qu’on puisse d’aillenrs prendre pour
; donc, pour que toute autre valeur, mise pour
dans l’équation (1), ne donne point un résultat négatif, il suffit uniquement qu’elle ne rende point négative la première ligne de l’équation (3), ce qui arrivera infailliblement si elle ne rend négatif aucun des termes qui la composent.
Cette condition sera évidemment remplie, si l’on fait en sorte que les binômes
![{\displaystyle (a+b)y-c,(a+b+e)y-f,(a+b+e+h)y-k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80bba4d51d5b8933b5de95ecad5afaabf751a8bb)
![{\displaystyle (a+b)y-d,(a+b+e)y-g,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec925a66e70a5f572d46c1863b3a129307fa223b)
soient positifs ; or, c’est ce qui arrivera nécessairement, si l’on ne prend pas
ou
moindre que la plus grande des fractions
![{\displaystyle {\frac {c}{a+b}},\quad {\frac {d}{a+b}},\quad {\frac {f}{a+b+e}},\quad {\frac {g}{a+b+e}},\quad {\frac {k}{a+b+e+h}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b62dd0a85607653333ef906ec47f978a27c7fd)
ou, ce qui revient au même, si l’on ne prend pas
moindre que le plus grand des cinq nombres
![{\displaystyle 1+{\frac {c}{a+b}},1+{\frac {d}{a+b}},1+{\frac {f}{a+b+e}},1+{\frac {g}{a+b+e}},1+{\frac {k}{a+b+e+h}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e330fab0311c4d5296c728653b61b043a536e30)
ce qui fournit la règle suivante.
THÉORÈME I. En ajoutant successivement à l’unité une suite de fractions ayant pour numérateurs les coefficiens négatifs d’une équation proposée, pris positivement, et pour dénominateurs la somme de tous les coefficiens positifs qui les précèdent respectivement, le plus grand des nombres résultans pourra être pris pour limite supérieure des racines de cette équation.
Il est entendu au surplus que, dans la pratique, il suffira de considérer le plus grand coefficient dans chacune des séries de termes négatifs.
Appliquons cette règle à la recherche d’une limite supérieure des racines de l’équation
![{\displaystyle 2x^{7}+11x^{6}-10x^{5}-26x^{4}+31x^{3}+72x^{2}-230x-348=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59026b4ce624d1e5d062f5c63a5dbb55829bd125)
cette limite sera le plus grand des deux nombres
![{\displaystyle 1+{\frac {26}{2+11}}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d9f3e9734fc5283a568b6feb22003211cf21f70)
ou
![{\displaystyle \qquad 1+{\frac {26}{13}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22fd2be1e3925767786290ed40bafa3bd98048d6)
![{\displaystyle 1+{\frac {348}{2+11+31+32}}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a1dcc85252e272f2d9245c341054ed59be43a6a)
ou
![{\displaystyle \qquad 1+{\frac {348}{116}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be9bba3cca8a47843114b824df684017daee2b12)
ainsi, cette limite sera 4.
Si l’on veut obtenir la limite inférieure des mêmes racines, on remarquera qu’en changeant les signes des racines de la proposée, elle devient
![{\displaystyle 2x^{7}-11x^{6}-10x^{5}+26x^{4}+31x^{3}-72x^{2}-230x+348=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bb252918bd89ca668c89dd5715d56fff84af9ad)
or, par la règle ci-dessus, on pourra prendre pour limite supérieure des racines de cette dernière le plus grand des nombres
![{\displaystyle 1+{\frac {11}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cf234b6abf750cac82040108551e55c21620bc3)
![{\displaystyle 1+{\frac {230}{2+26+31}}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f39a58d945b2f6bddb474722bcaad267c81ba750)
ou
![{\displaystyle \qquad 1+{\frac {230}{59}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31c4fc775678650aaca0a43f3613dd48f6054466)
ainsi, cette limite sera
d’où il résulte que toutes les racines réelles de la proposée sont comprises entre
et ![{\displaystyle -7.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fe1f2d93e34dcc5c6a6d29f0f72c6dd0cba718f)
La méthode vulgaire, indiquée par M. Lacroix dans ses élémens, donne pour ces limites
et
la méthode plus parfaite de Lagrange, adoptée par M. Francœur, donne
et
on voit par là combien la nôtre leur est préférable. Je ne dis rien de la méthode des dérivées successives, attribuée à Mac-Laurain, laquelle n’est qu’un tâtonnement assez laborieux.
Reprenons la transformée (3). En vertu de la formule (2) on a
![{\displaystyle ayx^{8}=ayx^{7}+ayx^{6}+ayx^{5}+ayx^{4}+ayx^{3}+ayx^{2}+ayx+ay+a.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b1bae484d8e4521295e23e8f93cf16cd5de3b98)
Mais, en vertu de la même formule les termes
et
peuvent être développés comme il suit :
![{\displaystyle ayx^{5}=ay^{2}x^{4}+ay^{2}x^{3}+ay^{2}x^{2}+ay^{2}x+ay^{2}+ay,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08fb2a7e14d2a4c79f6bf425e3e0d56accb292aa)
![{\displaystyle ayx^{2}=\ \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ay^{2}x+ay^{2}+ay\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff7c11e7e68f4bb531700496c94fe39489f85a5a)
ce qui donnera, en substituant et ordonnant ;
![{\displaystyle {\begin{array}{r|c|c|c|c|c}ax^{8}=ayx^{7}+ayx^{5}+ay^{2}&x^{4}+ay^{2}&x^{3}+ay^{2}&x^{2}+2ay^{2}&x+2ay^{2}&+2ay\\+ay&+ay&+ay&+ay&+ay&+a.\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ce07eea2396b8a22fb66dc393dd110f8d8f377f)
Mais on aura encore, en vertu de la même formule (2),
![{\displaystyle {\begin{array}{r|c|c}\left(2ay^{2}+ay\right)x^{2}=2ay^{3}&x+2ay^{3}&+2ay^{2}\\+ay^{2}&+ay^{2}&+ay\,;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bab8ed067e470024ac66fecd15b04fd0f168d2f9)
ce qui donnera, en substituant de nouveau
![{\displaystyle \left.{\begin{aligned}ax^{8}=ayx^{7}+ayx^{6}+ay^{2}&\\+ay&\\\\\\\end{aligned}}\right|\left.{\begin{aligned}x^{4}+ay^{2}&\\+ay&\\\\\\\end{aligned}}\right|\left.{\begin{aligned}x^{3}+ay^{3}&\\+2ay^{2}&\\+ay&\\\\\end{aligned}}\right|\left.{\begin{aligned}x+ay^{3}&\\+3ay^{2}&\\+3ay\ &\\+a.\ \ \\\end{aligned}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e12a1ab7f133a1f40f33ef76d6781896d8d78dd9)
Par de semblables transformations ; on trouvera
![{\displaystyle \left.{\begin{aligned}(a+b)x^{5}=(a+b)yx^{4}+(a+b)yx^{3}+(a+b)y^{2}&\\+(a+b)y\ \ &\\\\\end{aligned}}\right|\left.{\begin{aligned}x+(a+b)y^{2}&\\+2(a+b)y\ &\\+(a+b)\quad &\\\end{aligned}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a9964dbbe179bf74c1982f229bd14e8b180e030)
![{\displaystyle \left.{\begin{aligned}(a+b+e)x^{2}=(a+b+e)yx+(a+b+e)y&\\+(a+b+e)&\\\end{aligned}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31e131b8d99406b7168c25f29b700959030d814e)
![{\displaystyle (a+b+e+h)=(a+b+e+h).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e775909ef6cc67c065b7baffc8ea3d0a8fc9359c)
En ajoutant ensemble tous ces résultats, il viendra
![{\displaystyle ax^{8}+(a+b)x^{5}+(a+b+e)x^{2}+(a+b+e+h)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4ec80ccaa56aa3f6fcaa09660b188b0f2a319b2)
![{\displaystyle \left.{\begin{aligned}=ayx^{7}+ayx^{6}+&\qquad \ \ ay^{2}\\+&(2a+b)y\\\\\\\end{aligned}}\right|\left.{\begin{aligned}x^{4}+&\quad \qquad ay^{2}\\+&(2a+by)y\\\\\\\end{aligned}}\right|\left.{\begin{aligned}x^{3}+&\quad \qquad \qquad ay^{3}\\+&\qquad (3a+b)y^{2}\\+&(3a+2b+e)y\\\\\end{aligned}}\right|\left.{\begin{aligned}x+&\qquad \qquad \qquad ay^{3}\\+&\quad \qquad (4a+b)y^{2}\\+&\quad (6a+3b+e)y\ \\+&(4a+3b+2e+h)\ \ \\\end{aligned}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e4d53c708be2042852518cff43f85d6c8dcbaeb)
substituant cette valeur dans l’équation (3), elle prendra la forme que voici :
![{\displaystyle {\begin{aligned}\left\{ay^{2}+(a+b)y-c\right\}x^{7}+\left\{ay^{2}+(a+b)y-d\right\}x^{6}&\\+\left\{ay^{3}+(2a+b)y^{2}+(a+b+e)y-f\right\}x^{4}&\\+\left\{ay^{3}+(2a+b)y^{2}+(a+b+e)y-g\right\}x^{3}&\\\end{aligned}}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6ad494515c0037afdc0a1707027994a5ae5f574)
(4)
![{\displaystyle +\left\{ay^{4}+(3a+b)y^{3}+(3a+2b+e)y^{2}+(a+b+e+h)y-k\right\}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4b6671367370ed5b847b72ff55a0731d30b7219)
![{\displaystyle +\left\{ay^{4}+(4a+b)y^{3}+(6a+3b+e)y^{2}+(4a+3b+2e+h)y+(a+b+e+h+l)\right\}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03a6c49c3a1718dd5e288aa5c0732956c3819faa)
Or, il est clair que, pourvu que
soit positif, ou que
soit plus grand que l’unité, la dernière ligne de cette équation sera toujours positive ; il suffira donc, pour que tout son premier membre le soit, de donner à
une valeur positive qui ne rende négatif aucun des coefficiens des termes en
; or, comme tous les termes qui composent chacun de ces coefficiens sont positifs excepté le dernier, il suffira, pour satisfaire à cette condition, de prendre
tel que dans aucun de ces coefficiens le premier terme ne soit moindre le dernier, ce qui revient à faire
![{\displaystyle {\begin{aligned}ay^{2}>c,\qquad ay^{3}>f,&\\ay^{2}>d,\qquad ay^{3}>g,&\\\end{aligned}}\qquad ay^{4}>k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75fb2c57c131193a252e904a659a9e99a9dcdf4b)
le signe
n’excluant pas l’égalité ; or, cela se réduit évidemment à prendre
au moins aussi grand que le plus grand des nombres
![{\displaystyle {\begin{aligned}1+{\sqrt[{2}]{\frac {c}{a}}},\qquad 1+{\sqrt[{3}]{\frac {f}{a}}},&\\1+{\sqrt[{2}]{\frac {d}{a}}},\qquad 1+{\sqrt[{3}]{\frac {g}{a}}},&\\\end{aligned}}\qquad 1+{\sqrt[{4}]{\frac {k}{a}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50eb96b5d6a862e001aa6810cf82da6aee70c4ea)
ce qui fournit cette seconde règle :
THÉORÈME II. Si, après avoir divisé successivement chacun des coefficiens négatifs d’une équation par le coefficient du premier terme, on extrait de chaque quotient une racine dont le degré soit le nombre des termes positifs qui précèdent le coefficient négatif dont il s’agit, le plus grand des nombres qu’on obtiendra en augmentant chacune de ces racines d’une unité pourra être pris pour limite supérieure des racines de l’équation proposée.
Il est entendu au surplus que, dans l’application de cette règle, comme dans celle de la précédente, il suffira d’avoir égard au plus grand coefficient négatif de chaque série de termes consécutivement négatifs.
En faisant l’application de cette règle à l’équation déjà prise pour exemple, on trouvera, pour la limite des racines positives le plus grand des nombres,
![{\displaystyle 1+{\sqrt[{2}]{\tfrac {26}{2}}},\qquad 1+{\sqrt[{4}]{\tfrac {308}{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d9d2f1c91bacf3a03e780a1978b880febeceebc)
et pour la limite des racines négatives, prise positivement, le plus grand des nombres
![{\displaystyle 1+{\sqrt[{1}]{\tfrac {11}{2}}},\qquad 1+{\sqrt[{3}]{\tfrac {230}{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ce3e9ac053e88042ce513dfca61d9e13704c405)
c’est-à-dire, que ces deux limites seront
et
On voit que cette règle rentre dans celle qu’indique M. Francœur.
Au lieu de faire abstraction des termes intermédiaires des polynômes en
qui multiplient les diverses puissances de
, dans l’équation (4), on peut y avoir égard, et chercher à rendre ces polynômes tous positifs par l’application du Théorème I ; on verra sur-le-champ qu’il faut pour cela prendre
au moins égal au plus grand des nombres
![{\displaystyle {\begin{aligned}1+{\frac {c}{b+2a}},\qquad 1+{\frac {f}{e+2b+4a}},&\\1+{\frac {d}{b+2a}},\qquad 1+{\frac {g}{e+2b+4a}},&\\\end{aligned}}\qquad 1+{\frac {k}{h+2e+4b+8a}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ef75d34ae7a80a15188914edf80c7c50939913d)
ce qui revient à prendre
au moins égal au plus grand des nombres
![{\displaystyle {\begin{aligned}1+{\frac {c}{b+2a}},\qquad 2+{\frac {f}{e+2b+4a}},&\\1+{\frac {d}{b+2a}},\qquad 2+{\frac {g}{e+2b+4a}},&\\\end{aligned}}\qquad 2+{\frac {k}{h+2e+4b+8a}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc65e4dbac64edfc275db5ed25b31e039ffb0b51)
c’est-à-dire, qu’on peut prendre pour limite supérieure des racines le plus grand des nombres qu’on obtient en ajoutant à deux unités une suite de fractions ayant pour numérateurs les divers coefficiens négatifs pris positivement, et pour dénominateurs la somme des produits des coefficiens positifs qui les précèdent respectivement, et de droite à gauche, par les puissances successives de deux, à partir de sa puissance zéro, ou de l’unité.
Mais, de même que nous avons appliqué le Théorème I à l’équation (4), pour en conclure ce dernier, nous pouvons également lui appliquer celui-ci, et nous en conclurrons qu’en y prenant pour
le plus grand des nombres
![{\displaystyle {\begin{aligned}&2+{\frac {c}{(a+b)+2a}}=2+{\frac {c}{b+3a}},\\&2+{\frac {d}{(a+b)+2a}}=2+{\frac {d}{b+3a}},\\&2+{\frac {f}{(a+b+e)+2(2a+b)+4a}}=2+{\frac {f}{e+3b+9a}},\\&2+{\frac {g}{(a+b+e)+2(2a+b)+4a}}=2+{\frac {g}{e+3b+9a}},\\&2+{\frac {k}{(a+b+e+h)+2(3a+2b+e)+4(3a+b)+8a}}\\=&2+{\frac {k}{h+3e+9b+27a}}\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcad0be46024b9ff4ee4d123861f30abd8b2230e)
ou, ce qui revient au même, en prenant pour
le plus grand des nombres
![{\displaystyle {\begin{aligned}&3+{\frac {c}{b+3a}},\qquad 3+{\frac {f}{e+3b+9a}},\\&3+{\frac {d}{b+3a}},\qquad 3+{\frac {g}{e+3b+9a}},\\\end{aligned}}\qquad 3+{\frac {k}{h+3e+9b+27a}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ef9f3b8f78d662de305ae2b164edff1a736d15e)
on aura une limite supérieure des racines de cette équation ; c’est-à-dire qu’on peut prendre pour limite supérieure des racines d’une équation proposée le plus grand des nombres qu’on obtient en ajoutant à trois une suite de fractions ayant pour numérateurs les coefficiens négatifs de la proposée, pris positivement, et pour dénominateurs la somme des produits des coefficiens positifs qui les précèdent respectivement ; de droite à gauche, par les puissances successives de trois, à partir de sa puissance zéro, c’est-à-dire, de l’unité.
On peut pareillement appliquer cette dernière règle à rendre positifs les coefficiens fonctions de
de l’équation (4), et l’on trouvera que tout se réduit à ne pas prendre
moindre que le plus grand des nombres
![{\displaystyle {\begin{aligned}&4+{\frac {c}{b+4a}},\qquad 4+{\frac {f}{e+4b+16a}},\\&4+{\frac {d}{b+4a}},\qquad 4+{\frac {g}{e+4b+16a}},\\\end{aligned}}\qquad 4+{\frac {k}{h+4e+16b+64a}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15d427ac2fdd6a2f7ae5b73b2a86747743d4c5a8)
et, comme rien ne limite ce raisonnement, on pourra dire généralement qu’on rendra positif le premier membre de l’équation (4), et conséquemment de l’équation (1), en prenant pour
le plus grand des nombres
![{\displaystyle {\begin{aligned}&n+{\frac {c}{b+an}},\qquad n+{\frac {f}{e+bn+an^{2}}},\\&n+{\frac {d}{b+an}},\qquad n+{\frac {g}{e+bn+an^{2}}},\\\end{aligned}}\qquad n+{\frac {k}{h+en+bn^{2}+an^{3}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6186bd1f116a788da70fba242651836aabcdb121)
étant un nombre entier positif quelconque. De là résulte cette nouvelle règle.
THÉORÈME III En ajoutant successivement à un nombre entier positif arbitraire une suite de fractions ayant successivement pour numérateurs les coefficiens négatifs d’une équation proposée, pris positivement, et pour dénominateurs la somme des produits des coefficiens positifs qui les précèdent respectivement, de droite à gauche, par les puissances successives du nombre arbitraire, à partir de sa puissance zéro ou de l’unité ; le plus grand des nombres résultans pourra être pris pour limite supérieure des racines de cette équation.
Observons, 1.o que ce théorème renferme le Théorème I, comme cas particulier : c’est celui où le nombre arbitraire est l’unité ; 2.o que, dans son application, comme dans celle de celui-là, il suffit de faire entrer en considération le plus grand des coefficiens que renferme chaque série de termes consécutivement négatifs, de sorte qu’on n’a pas plus de nombres à calculer qu’il n’y a de ces séries ;
3.o qu’enfin, en prenant successivement pour le nombre arbitraire
on trouvera souvent une limite minimum, inférieure à celle que donnerait l’application du Théorème I.