113
DES ÉQUATIONS.
![{\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