MÉMOIRE
SUR
L’EXPRESSION DU TERME GÉNÉRAL
DES SÉRIES RÉCURRENTES,
LORSQUE L’ÉQUATION GÉNÉRATRICE A DES RACINES ÉGALES[1].
(Nouveaux Mémoires de l’Académie royale des Sciences et Belles-Lettres
de Berlin, année 1792 et 1793.)
J’ai donné, dans les Mémoires de 1775[2], une méthode et des formules très-simples pour avoir le terme général d’une suite récurrente, dont on connaît les premiers termes. Mais ces formules ont, comme toutes celles qui sont des fonctions des différentes racines d’une même équation, l’inconvénient de ne pouvoir servir que lorsque toutes les racines sont inégales. Le cas de l’égalité de deux ou plusieurs racines demande des réductions et des transformations fondées sur ce principe du Calcul différentiel que des quantités égales peuvent être supposées différer entre elles de quantités infiniment petites ; mais l’application de ce principe aux formules dont il s’agit exige des attentions particulières, et donne lieu à des résultats nouveaux et remarquables pour leur simplicité c’est ce qui m’a engagé à en faire la matière de ce Mémoire.
1. Je commencerai par rappeler les principales formules de l’endroit cité.
Soit la série
![{\displaystyle y_{0},\ \ y_{1},\ \ y_{2},\ \ y_{3},\ldots ,\ \ y_{x},\ \ y_{x+1},\ \ y_{x+2},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d973d15bcaf2d54eb82df81f55f7b8e5707ef9b0)
dans laquelle on ait constamment cette équation, entre
termes consécutifs,
(A)
|
|
|
étant des coefficients constants quelconques. L’expression du terme général
sera de cette forme
![{\displaystyle y_{x}=a\alpha ^{x}+b\beta ^{x}+c\gamma ^{x}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88c5fd674db0e94ec4fe89c1047a470516488126)
les quantités
étant les différentes racines de l’équation
(B)
|
|
|
que j’appelle équation génératrice, et les coefficients
étant de cette forme
![{\displaystyle {\begin{aligned}a=&{\frac {y_{n-1}-(\beta +\gamma +\delta +\ldots )y_{n-2}+(\beta \gamma +\beta \delta +\gamma \delta +\ldots )y_{n-3}-\ldots }{(\alpha -\beta )(\alpha -\gamma )(\alpha -\delta )\ldots }}\\b=&{\frac {y_{n-1}-(\alpha +\gamma +\delta +\ldots )y_{n-2}+(\alpha \gamma +\alpha \delta +\gamma \delta +\ldots )y_{n-3}-\ldots }{(\beta -\alpha )(\beta -\gamma )(\beta -\delta )\ldots }}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22f2ba0c030718f2cb3372ecc932a4d9ee58abe2)
et ainsi de suite.
Je remarque d’abord qu’on peut donner à ces expressions une forme plus simple et plus commode pour le calcul, en observant que, si dans le produit
![{\displaystyle (y-\beta )(y-\gamma )(y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/803dba7f45627f74d04d7c75b6e2e25aff5dfaa3)
on change après le développement les puissances
![{\displaystyle y^{0},\ \ y^{1},\ \ y^{2},\ \ y^{3},\ldots ,\ \ y^{n-1},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/33c89d0477b0007a8be516ccc500af4f83a5b4b7)
en
![{\displaystyle y_{0},\ \ y_{1},\ \ y_{2},\ \ y_{3},\ldots ,\ \ y_{n-1},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e17ea5951c733e22f71187da773f9481958511)
on aura le numérateur de l’expression de
![{\displaystyle a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c37ac87891c432353e6e70aba37e6a6afed6d481)
que de même on aura celui de l’expression de
![{\displaystyle b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
en faisant le même changement dans le produit
![{\displaystyle (y-\alpha )(y-\gamma )(y-\delta )\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d602b38b372c2d2e73c973dacdf9375acee335a4)
et ainsi des autres. De sorte qu’avec cette condition on pourra supposer d’abord
![{\displaystyle {\begin{aligned}a=&{\frac {(y-\beta )(y-\gamma )(y-\delta )\ldots }{(\alpha -\beta )(\alpha -\gamma )(\alpha -\delta )\ldots }},\\b=&{\frac {(y-\alpha )(y-\gamma )(y-\delta )\ldots }{(\beta -\alpha )(\beta -\gamma )(\beta -\delta )\ldots }},\\c=&{\frac {(y-\alpha )(y-\beta )(y-\delta )\ldots }{(\gamma -\alpha )(\gamma -\beta )(\gamma -\delta )\ldots }},\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/655c7c17794f12e92a58a83af3b31f51dd214ba5)
2. Cela posé, soit
les deux premiers termes
de l’expression de
deviendront infinis.
Faisons, pour abréger,
![{\displaystyle {\frac {\alpha ^{x}}{(\alpha -\gamma )(\alpha -\delta )\ldots }}=f(\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/858b661e1a8157b6cee0e8ab051fec0a9f46bcd4)
on aura
![{\displaystyle {\frac {\beta ^{x}}{(\beta -\gamma )(\beta -\delta )\ldots }}=f(\beta ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edec1520ff886d2c049ae050d568729788632ea9)
et les deux termes
![{\displaystyle a\alpha ^{x}+b\beta ^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a33ae7c074eaaf99101937fdda2691c58374c60)
deviendront
![{\displaystyle {\frac {(y-\beta )(y-\gamma )(y-\delta )\ldots }{(\alpha -\beta )}}f(\alpha )+{\frac {(y-\alpha )(y-\gamma )(y-\delta )\ldots }{(\beta -\alpha )}}f(\beta ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09133dd10aa3bfecaec01fbb00e0e38804d1451b)
Faisons maintenant
![{\displaystyle \beta =\alpha +\omega ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09296ab4dfd3495952f68593c09db725cce14c21)
étant une quantité infiniment petite, on aura
![{\displaystyle \alpha -\beta =-\omega ,\quad \beta -\alpha =\omega ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/238681f706635cb3c10e926ab4aa8dde3a5f902b)
![{\displaystyle (y-\beta )(y-\gamma )(y-\delta )\ldots =(y-\alpha )(y-\gamma )(y-\delta )\ldots -\omega (y-\gamma )(y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d46ba1077369435d6951711300b4e453da71726)
![{\displaystyle f(\beta )=f(\alpha +\omega )=f(\alpha )+{\frac {df(\alpha )}{d\alpha }}\omega +\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40fb0386a270c31790279708f369e45db523790f)
Substituant ces valeurs dans les deux termes dont il s’agit, effaçant ce qui se détruit et faisant ensuite
![{\displaystyle \omega =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9ec57deb3b5ef0d676611f5b55d931a22941c64)
on aura pour résultat
![{\displaystyle (y-\gamma )(y-\delta )\ldots f(\alpha )+(y-\alpha )(y-\gamma )(y-\delta )\ldots {\frac {df(\alpha )}{d\alpha }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42bfb565dc6b472d91def99742d8a430120f6476)
C’est la valeur des deux premiers termes de l’expression de
Et le troisième terme
de la même expression deviendra alors, à cause de
![{\displaystyle {\frac {(y-\alpha )^{2}(y-\delta )\ldots }{(\gamma -\alpha )^{2}(\gamma -\delta )\ldots }}\gamma ^{x}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3944733f1d22a8d2a310a88b6763f718a07cfaa7)
La valeur des autres ne sera sujette à aucune difficulté.
Si outre
on avait encore
ce qui est le cas de trois racines égales, alors
deviendrait infini, ainsi que la valeur du troisième terme ; les trois premiers termes seraient donc infinis, et il faudrait faire de nouveau
Soit
![{\displaystyle {\frac {\alpha ^{x}}{(\alpha -\delta )(\alpha -\varepsilon )\ldots }}=f'(\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0628a974f0f8266818f2e01e974e2d32ea2157a1)
on aura
![{\displaystyle f(\alpha )={\frac {f'(\alpha )}{\alpha -\gamma }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d124c8f0e888d205cdd8c206619100df8c3ee118)
et, différentiant suivant ![{\displaystyle \alpha ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b2cc8f6d373595f06dcd33f127dadf2b9d5727f)
![{\displaystyle {\frac {df(\alpha )}{d\alpha }}={\frac {1}{\alpha -\gamma }}{\frac {df'(a)}{d\alpha }}-{\frac {f'(\alpha )}{(\alpha -\gamma )^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/747db90d52eafe1e3f3832cdccf2332a6c0eabc8)
Donc, faisant
![{\displaystyle \gamma =\alpha +\omega ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d763e67cf3f44804ee576adca934992507530f77)
on aura
![{\displaystyle f(\alpha )=-{\frac {f'(\alpha )}{\omega }},\quad {\frac {df(\alpha )}{d\alpha }}=-{\frac {1}{\omega }}{\frac {df'(\alpha )}{\alpha }}-{\frac {f'(\alpha )}{\omega ^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b70d631f8a003665770ee8ccaac46a519b76fca)
De plus
![{\displaystyle (y-\gamma )(y-\delta )\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6b4ed977afb778d7cab066d67aa59f2d38f68ee)
deviendra
![{\displaystyle (y-\alpha )(y-\delta )\ldots -\omega (y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4dad878d5219cdb2e5d2d1e5e4738fa1ca0b4f63)
et
![{\displaystyle (y-\alpha )(y-\gamma )(y-\delta )\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff301e98d4b11ef42717ff424140318a13cbd4f3)
deviendra
![{\displaystyle (y-\alpha )^{2}(y-\gamma )\ldots -\omega (y-\alpha )(y-\delta )\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/627923ffe8d2a878992dabfeb41f4de2f8ca75c6)
Enfin le troisième terme étant représenté par
![{\displaystyle {\frac {(y-\alpha )^{2}(y-\delta )\ldots }{(\gamma -\alpha )^{2}}}f'(\gamma )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/322659311f4094a64bab2d9619c170ddac83e0c3)
deviendra, en mettant
pour ![{\displaystyle \gamma ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0e69b347b17068b0ddc3ff4626f10a4d1e8dc94)
![{\displaystyle {\frac {(y-\alpha )^{2}(y-\delta )\ldots }{\omega ^{2}}}f'(\alpha +\omega ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6108a7e9cee98de450b4e30b8a6ef9e247f24d6a)
savoir
![{\displaystyle {\frac {(y-\alpha )^{2}(y-\delta )}{\omega ^{2}}}\left[f'(\alpha )+\omega {\frac {df'(\alpha )}{d\alpha }}+{\frac {\omega ^{2}}{2}}{\frac {d^{2}f'(\alpha )}{d\alpha ^{2}}}+\ldots \right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e8911625d64c7dbcea8c37188cd8e13b0f757e4)
Faisant toutes ces substitutions, effaçant ce qui se détruit et faisant ensuite
on trouvera pour la valeur des trois premiers termes de
la quantité
![{\displaystyle (y-\delta )\ldots f'(\alpha )+(y-\alpha )(y-\delta )\ldots {\frac {df'(\alpha )}{d\alpha }}+(y-\alpha )^{2}(y-\delta )\ldots {\frac {1}{2}}{\frac {d^{2}f'(\alpha )}{d\alpha ^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68608f150a6bf128842abf6504bbd16d563e1067)
Si l’on avait encore
en sorte que les quatre racines
fussent égales entre elles, on trouverait, en suivant la même marche, que les quatre premiers termes de l’expression de
savoir
![{\displaystyle a\alpha ^{x}+b\beta ^{x}+c\gamma ^{x}+d\delta ^{x},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/897684fb2810d0202183ef2fdcda63e94f0f3f10)
dont chacun serait infini, pris ensemble se réduiraient à la quantité suivante
![{\displaystyle (y-\varepsilon )\ldots f''(\alpha )+(y-\alpha )(y-\varepsilon )\ldots {\frac {df''(\alpha )}{d\alpha }}+(y-\alpha )^{2}(y-\varepsilon )\ldots {\frac {1}{2}}{\frac {d^{2}f''(\alpha )}{d\alpha ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c94fbba4c1278e2623a31f195a55b003eb1826ea)
![{\displaystyle +(y-\alpha )^{3}(y-\varepsilon )\ldots {\frac {1}{2.3}}{\frac {d^{3}f''(\alpha )}{d\alpha ^{3}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/346f166dc8e3c242fab01d60d1a08bd85140d84c)
en faisant
![{\displaystyle f''(\alpha )={\frac {\alpha ^{x}}{(\alpha -\varepsilon )(\alpha -\zeta )\ldots }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/830d59f15e705733a375d9033ffc51fff01c4d04)
et ainsi de suite, la loi de la progression étant visible d’elle-même.
Pour pouvoir employer ces expressions, il faudra développer les différents produits
![{\displaystyle (y-\gamma )(y-\delta )\ldots ,\quad (y-\alpha )(y-\gamma )(y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50569d9aa02b7b25b4c0b5019e47ede2645eeb64)
![{\displaystyle (y-\delta )\ldots ,\quad (y-\alpha )(y-\delta )\ldots ,\quad (y-\alpha )^{2}(y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c83ec1abdf6e53287161375be3b789b9eebce36c)
et ainsi de suite en puissances, de
et changer ensuite dans ces puissances les exposants en indices, c’est-à-dire changer
![{\displaystyle y^{0},\ \ y^{1},\ \ y^{2},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e338e0e4ab0bce5dc59a7f08e95b9ac7d2c1e1e7)
en
![{\displaystyle y_{0},\ \ y_{1},\ \ y_{2},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63ff68c4678d7b5dc128e66d37909121e1ab4f4a)
en conservant les coefficients de ces puissances.
3. La difficulté qui résulte des racines égales est donc résolue d’une manière générale ; mais les expressions qu’on vient de trouver étant données en fonction de toutes les racines
on peut désirer de les avoir en fonction de la seule racine
ce qui donnera même à nos formules plus de simplicité.
Pour cela, nous remarquerons que, puisque
sont les racines de l’équation (B), on aura
![{\displaystyle \mathrm {A} +\mathrm {B} y+\mathrm {C} y^{2}+\ldots +\mathrm {N} y^{n}=\mathrm {N} (y-\alpha )(y-\beta )(y-\gamma )\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89c110a27d1c400854357a4b940ae7189969fc0d)
En faisant
on aura
![{\displaystyle \mathrm {A} +\mathrm {B} \alpha +\mathrm {C} \alpha ^{2}+\ldots +\mathrm {N} \alpha ^{n}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faef4850fc878a2b400aa762a516ea244f5c8346)
retranchant cette quantité du premier membre de l’équation précédente et divisant ensuite par
on aura
![{\displaystyle \mathrm {Q} +\mathrm {R} y+\mathrm {S} y^{2}+\mathrm {T} y^{3}+\ldots +\mathrm {N} y^{n-1}=\mathrm {N} (y-\beta )(y-\gamma )(y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f8f618881dbacd898bfa06eab0ccd6db7612124)
en faisant, comme dans le no 2 du Mémoire cité,
![{\displaystyle {\begin{aligned}\mathrm {Q} =&\mathrm {B+C\alpha +D} \alpha ^{2}+\ldots ,\\\mathrm {R} =&\mathrm {C+D} \alpha +\ldots ,\\\mathrm {S} =&\mathrm {D} +\ldots ,\\\ldots &\ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b117c776e01a6e8cc17cb07174989f9610dd72c1)
Faisons dans l’équation précédente
![{\displaystyle y=\beta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1fc0514be7f3ab49f1538b67b9673a533e4a8bb)
on aura
![{\displaystyle \mathrm {Q} +\mathrm {R} \beta +\mathrm {S} \beta ^{2}+\mathrm {T} \beta ^{3}+\ldots =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a749c58f201bd321643751446b54393e8270d7a0)
retranchant cette quantité du premier membre de la même équation et divisant le tout par
on aura
![{\displaystyle \mathrm {Q} '+\mathrm {R} 'y+\mathrm {S} 'y^{2}+\mathrm {T} 'y^{3}+\ldots =\mathrm {N} (y-\gamma )(y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3de8a539a825ef51a100cb2c62620d586e24db51)
en faisant
![{\displaystyle {\begin{aligned}\mathrm {Q} '&=\mathrm {R+S\beta +T} \beta ^{2}+\ldots ,\\\mathrm {R} '&=\mathrm {S+T} \beta +\ldots ,\\\mathrm {S} '&=\mathrm {T} +\ldots ,\\\ldots &\ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2ec95209d1219e0425cb24cc2bf9196d3e65e0d)
Pareillement on trouvera
![{\displaystyle \mathrm {Q} ''+\mathrm {R} ''y+\mathrm {S} ''y^{2}+\mathrm {T} ''y^{3}+\ldots =\mathrm {N} (y-\delta )\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f19a907040b589a7b793104f3331102dc153e6c)
en faisant
![{\displaystyle {\begin{aligned}\mathrm {Q} ''&=\mathrm {R'+S'\gamma +T'} \gamma ^{2}+\ldots ,\\\mathrm {R} ''&=\mathrm {S'+T'} \gamma +\ldots ,\\\mathrm {S} ''&=\mathrm {T} '+\ldots ,\\\ldots &\ldots \ldots \ldots \,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4a564fab25f52a1aa27102aaed138957ef3b4fc)
et ainsi de suite.
4. 1o Soit maintenant
on aura
![{\displaystyle {\begin{aligned}&\mathrm {N} (y-\alpha )(y-\gamma )(y-\delta )\ldots =\mathrm {Q} +\mathrm {R} y+\mathrm {S} y^{2}+\ldots ,\\&\mathrm {N} (y-\gamma )(y-\delta )\ldots =\mathrm {Q} '+\mathrm {R} 'y+\mathrm {S} 'y^{2}+\ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/006eabfdb1585811f329c10dc652d8f449329e40)
Faisant dans
et substituant les valeurs de
en
on trouve
![{\displaystyle {\begin{aligned}\mathrm {Q} '&=\mathrm {C+2D\alpha +3E} \alpha ^{2}+\ldots ={\frac {d\mathrm {Q} }{d\alpha }},\\\mathrm {R} '&=\mathrm {D+2E} \alpha +\ldots ={\frac {d\mathrm {R} }{d\alpha }},\\\mathrm {S} '&=\mathrm {E} +\ldots ={\frac {d\mathrm {S} }{d\alpha }},\\\ldots &\ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/622324ea3741f6ff9d8bd135d22a16ef49173da1)
Donc
![{\displaystyle \mathrm {N} (y-\gamma )(y-\delta )={\frac {d\mathrm {Q} }{d\alpha }}+{\frac {d\mathrm {R} }{d\alpha }}y+{\frac {d\mathrm {S} }{d\alpha }}y^{2}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb97aa803903d0b11aab093f4f35ded28d4a506a)
2o Soit
on aura d’abord
![{\displaystyle {\begin{aligned}&\mathrm {N} (y-\alpha )\ \,(y-\delta )\ldots =\mathrm {Q} +\mathrm {R} y+\mathrm {S} y^{2}+\ldots ,\\&\mathrm {N} (y-\alpha )^{2}(y-\delta )\ldots ={\frac {d\mathrm {Q} }{d\alpha }}+{\frac {d\mathrm {R} }{d\alpha }}y+{\frac {d\mathrm {S} }{d\alpha }}y^{2}+\ldots ,\\&\mathrm {N} (y-\delta )\ldots =\mathrm {Q} ''+\mathrm {R} ''y+\mathrm {S} ''y^{2}+\ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02707bd976f8f43e79bb9e802aef24391884a600)
Faisant dans
et substituant les valeurs ci-dessus de
on trouve
![{\displaystyle {\begin{aligned}\mathrm {Q} ''&=\mathrm {D+3E} \alpha +\ldots ={\frac {1}{2}}{\frac {d^{2}\mathrm {Q} }{d\alpha ^{2}}},\\\mathrm {R} ''&={\frac {1}{2}}{\frac {d^{2}\mathrm {R} }{d\alpha ^{2}}},\\\mathrm {S} ''&={\frac {1}{2}}{\frac {d^{2}\mathrm {S} }{d\alpha ^{2}}},\\\ldots &\ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac0bc85f1e1306dd3ef15d7808f39837bc82b61)
De sorte qu’on aura
![{\displaystyle N(y-\delta )\ldots ={\frac {1}{2}}{\frac {d^{2}\mathrm {Q} }{d\alpha ^{2}}}+{\frac {1}{2}}{\frac {d^{2}\mathrm {R} }{d\alpha ^{2}}}y+{\frac {1}{2}}{\frac {d^{2}\mathrm {S} }{d\alpha ^{2}}}y^{2}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6ef92cc3ba39923c15bd9b72c6f8a31dc958c1b)
et ainsi de suite.
Faisons ces substitutions dans les formules trouvées plus haut pour le cas des racines égales, et changeons, comme nous l’avons prescrit, les puissances
en
on trouvera ces résultats fort simples :
1o Dans le cas où
la quantité
![{\displaystyle {\frac {1}{\mathrm {N} }}{\frac {d\left[(\mathrm {Q} y_{0}+\mathrm {R} y_{1}+\mathrm {S} y_{2}+\ldots )f(\alpha )\right]}{d\alpha }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/143f00b8c560957ee7e3c17ebf86033cca12ef58)
pour la valeur des deux termes
![{\displaystyle a\alpha ^{x}+b\beta ^{x}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aac2fc5e27fac3ac33d864ce71221910273494e1)
2o Dans le cas de
la quantité
![{\displaystyle {\frac {1}{2\mathrm {N} }}{\frac {d^{2}\left[(\mathrm {Q} y_{0}+\mathrm {R} y_{1}+\mathrm {S} y_{2}+\ldots )f'(\alpha )\right]}{d\alpha ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19a62ebcfe5d7cf2a8cb46beed8eb16dc90cbfe7)
pour la valeur des trois termes
![{\displaystyle a\alpha ^{x}+b\beta ^{x}+c\gamma ^{x}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96a0929f44134563d4f6f593817f970439a6f018)
et ainsi de suite.
5. En considérant ces résultats, il est clair qu’on eût pu les trouver plus simplement, en substituant dans l’expression du coefficient
à la place de
![{\displaystyle y_{n-1}-(\beta +\gamma +\delta +\ldots )y_{n-2}+(\beta \gamma +\beta \delta +\ldots )y_{n-3}-\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/319456cdcef3a092301f98755e034a02559b0707)
sa valeur
![{\displaystyle {\frac {\mathrm {Q} y_{0}+\mathrm {R} y_{1}+\mathrm {S} y_{2}+\ldots }{\mathrm {N} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2983132bfa78eeed1d507acadb68de653ecd6acf)
et considérant cette quantité comme une fonction de
car, en la désignant par
on eût eu, de même, pour le coefficient
la quantité
![{\displaystyle y_{n-1}-(\alpha +\gamma +\delta +\ldots )y_{n-2}+(\alpha \gamma +\alpha \delta +\ldots )y_{n-3}-\ldots =\operatorname {F} (\beta )\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39cc85e27425885c762c16e537c216c1ef52d2cc)
de sorte que l’on eût eu pour les deux termes
l’expression
![{\displaystyle {\frac {\operatorname {F} (\alpha )f(\alpha )}{\alpha -\beta }}+{\frac {\operatorname {F} (\beta )f(\beta )}{\beta -\alpha }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ac209ea66f263198f257dc95a3d64d4fd720141)
laquelle eût donné sur-le-champ, en faisant ![{\displaystyle \beta =\alpha +\omega ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09296ab4dfd3495952f68593c09db725cce14c21)
![{\displaystyle {\frac {d\left[\operatorname {F} (\alpha )f(\alpha )\right]}{d\alpha }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/194eb8ee00f2554d75d8d847196585d3ae89d54b)
On eût trouvé de la même manière, pour le cas de trois racines égales, en faisant
![{\displaystyle f(\alpha )={\frac {f'(\alpha )}{\alpha -\gamma }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d124c8f0e888d205cdd8c206619100df8c3ee118)
que les trois premiers termes
![{\displaystyle a\alpha ^{x}+b\beta ^{x}+c\gamma ^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4598cfed3f5662387dcd391486af0337a6f20eee)
auraient donné
![{\displaystyle {\frac {\cfrac {d\left[\operatorname {F} (\alpha )f'(\alpha )\right]}{d\alpha }}{\alpha -\gamma }}-{\frac {\operatorname {F} (\alpha )f'(\alpha )}{(\alpha -\gamma )^{2}}}+{\frac {\operatorname {F} (\gamma )f'(\gamma )}{(\gamma -\alpha )^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30df393cc893c51c384d76aa5e61d86fe883ed2d)
ce qui, en faisant
se réduit à
![{\displaystyle {\frac {1}{2}}{\frac {d^{2}\left[\operatorname {F} (\alpha )f'(\alpha )\right]}{d\alpha ^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b80e23ef1296b0baa9d4db9cbbe52a1a3f10bdc2)
C’est aussi de cette manière que je m’y étais pris d’abord pour résoudre le cas des racines égales ; mais, quoiqu’elle conduise à des résultats exacts, il me semble qu’on ne peut pas l’adopter sans précaution ; car il est remarquable que la quantité qu’on y prend pour une simple fonction de contient toutes les autres racines
sans
que, de même, celle qu’on y prendrait pour une fonction de
contiendrait les autres racines sans
et ainsi de suite ; ce qui doit au moins laisser quelque doute sur la bonté de cette méthode ; mais d’après celle que nous avons suivie, il n’en doit rester aucun sur l’exactitude de nos résultats.
6. Mais ces résultats n’ont pas encore toute la simplicité dont ils sont susceptibles ; car les quantités que nous avons désignées par
dépendent à la fois des différentes racines
et il faut les réduire à n’être que des fonctions de la seule racine
Pour cela je fais, comme dans le no 2 du Mémoire déjà cité,
![{\displaystyle \mathrm {P=A+B\alpha +C\alpha ^{2}+D\alpha ^{3}+\ldots +N\alpha ^{n}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c878a34f59559220b3143cc4180f0deb1e879f85)
je change pour un moment
en
j’aurai
![{\displaystyle \mathrm {P} =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54d62b3014aebd0697b814a552df04d400cefc97)
pour l’équation (A) du no 1 ci-dessus, dont les racines sont
De sorte que, par la nature des équations, j’aurai
![{\displaystyle \mathrm {P=N} (y-\alpha )(y-\beta )(y-\gamma )\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/956065ff530decb7a6cdf93f96cde9aa46ed5e27)
équation identique.
Donc :
1o En différentiant et faisant ensuite
on aura
![{\displaystyle \mathrm {{\frac {dP}{d\alpha }}=N} (\alpha -\beta )(\alpha -\gamma )(\alpha -\delta )\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecb3d7b98513fa810248a3cd66ba446392245d0b)
2o Si
on a
![{\displaystyle \mathrm {P} =\mathrm {N} (y-\alpha )^{2}(y-\gamma )(y-\delta )\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9abeaedce601146b05d69fc9e1a888d89c74d49f)
Soit
![{\displaystyle \mathrm {P} '=\mathrm {N} (y-\gamma )(y-\delta )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/537b021a7d51a64003444c69cde06437167dd323)
on aura
![{\displaystyle \mathrm {P} =(y-\alpha )^{2}\mathrm {P} '\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42e6d790fdaeffe8a9190c138082665a5265e4ea)
donc, différentiant et faisant ensuite
on aura
![{\displaystyle \mathrm {{\frac {dP}{d\alpha }}=0,\quad {\frac {d^{2}P}{d\alpha ^{2}}}=2P',\quad {\frac {d^{3}P}{d\alpha ^{3}}}=2.3{\frac {dP'}{d\alpha }},\quad {\frac {d^{4}P}{d\alpha ^{4}}}=3.4{\frac {d^{2}P'}{d\alpha ^{2}}}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2f79894565366aa27b34a33c33d8dca8908ceb9)
et ainsi de suite. D’où l’on tire
![{\displaystyle \mathrm {P'={\frac {1}{2}}{\frac {d^{2}P}{d\alpha ^{2}}},\quad {\frac {dP'}{d\alpha }}={\frac {1}{2.3}}{\frac {d^{3}P}{d\alpha ^{3}}},\quad {\frac {d^{2}P'}{d\alpha ^{2}}}={\frac {1}{3.4}}{\frac {d^{4}P}{d\alpha ^{4}}}} ,\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/708a3db931efe368087c72da8da0b9368e77b9bb)
3o Si
on a
![{\displaystyle \mathrm {P=N} (y-\alpha )^{3}(y-\delta )(y-\varepsilon )\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68d3c856e028ae7fdd99d85e6be17384e7998802)
Soit
![{\displaystyle \mathrm {P''=N} (y-\delta )(y-\varepsilon )\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46601bdecc9d6ac52a05606efa8d28dc0d3a6033)
on aura
![{\displaystyle \mathrm {P} =(y-\alpha )^{3}\mathrm {P} ''.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/699ad3631e838c795ec91692ddcb0ae0e754520c)
Différentiant et faisant ensuite
on aura
![{\displaystyle \mathrm {{\frac {dP}{d\alpha }}=0,\ \ {\frac {d^{2}P}{d\alpha ^{2}}}=0,\ \ {\frac {d^{3}P}{d\alpha ^{3}}}=2.3P'',\ \ {\frac {d^{4}P}{d\alpha ^{4}}}=2.3.4{\frac {dP''}{d\alpha }}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d7019be53c419ff1350b1b3fdf76b68344968e0)
![{\displaystyle \mathrm {{\frac {d^{5}P}{d\alpha ^{5}}}=3.4.5{\frac {d^{2}P''}{d\alpha ^{2}}},\ldots ,} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1689cc9fce254d5621d9e1e60993b55a8865574f)
d’où l’on tire
![{\displaystyle \mathrm {P''={\frac {1}{2.3}}{\frac {d^{3}P}{d\alpha ^{3}}},\quad {\frac {dP''}{d\alpha }}={\frac {1}{2.3.4}}{\frac {d^{4}P}{d\alpha ^{4}}},\quad {\frac {d^{2}P''}{d\alpha ^{2}}}={\frac {1}{3.4.5}}{\frac {d^{5}P}{d\alpha ^{5}}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d73a4ccec18c21e017479c725cdb88569d8af21)
![{\displaystyle \mathrm {{\frac {d^{3}P''}{d\alpha ^{3}}}={\frac {1}{4.5.6}}{\frac {d^{6}P}{d\alpha ^{6}}}} ,\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5578a7b3b1bd6d215c4b1ab166a7ffc28a065368)
et ainsi de suite.
On aura donc par ces substitutions, en supposant qu’on ait mis
à la place de
dans
![{\displaystyle f(\alpha )={\frac {\mathrm {N} \alpha ^{x}}{\mathrm {P} '}},\quad f'(\alpha )={\frac {\mathrm {N} \alpha ^{x}}{\mathrm {P} ''}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba108f377bff3ff5252b8fbe20ed472e19bed4c4)
et ainsi de suite (2). Donc enfin, substituant ces valeurs dans les formules du no 3, on trouvera :
1o Que, lorsque
les deux termes
![{\displaystyle a\alpha ^{x}+b\beta ^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a33ae7c074eaaf99101937fdda2691c58374c60)
de l’expression du terme général
se réduiront à cette expressiom
![{\displaystyle {\frac {d\left({\cfrac {\mathrm {Q} y_{0}+\mathrm {R} y_{1}+\mathrm {S} y_{2}+\ldots }{\mathrm {P} '}}\alpha ^{x}\right)}{d\alpha }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40f97bae55d68881350defe19fdaae3f6dc0cf5d)
en faisant
![{\displaystyle \mathrm {P'={\frac {1}{2}}{\frac {d^{2}P}{d\alpha ^{2}}},\quad {\frac {dP'}{d\alpha }}={\frac {1}{2.3}}{\frac {d^{3}P}{d\alpha ^{3}}}} ,\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60db5d8e985dca9380e5d78d8ddcc1dc51474ef6)
2o Que, lorsque
les trois termes
![{\displaystyle a\alpha ^{x}+b\beta ^{x}+c\gamma ^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4598cfed3f5662387dcd391486af0337a6f20eee)
se réduiront à
![{\displaystyle {\frac {1}{2}}{\frac {d^{2}\left({\cfrac {\mathrm {Q} y_{0}+\mathrm {R} y_{1}+\mathrm {S} y_{2}+\ldots }{\mathrm {P} ''}}\alpha ^{x}\right)}{d\alpha ^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0847858149862a5201363b333aac1f8e149ffd84)
en faisant
![{\displaystyle \mathrm {P''={\frac {1}{2.3}}{\frac {d^{3}P}{d\alpha ^{3}}},\quad {\frac {dP''}{d\alpha }}={\frac {1}{2.3.4}}{\frac {d^{4}P}{d\alpha ^{4}}},\quad {\frac {d^{2}P''}{d\alpha ^{2}}}={\frac {1}{3.4.5}}{\frac {d^{5}P}{d\alpha ^{5}}}} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/287b0315fae59f354f3c81bf7c34cdb31d7cb0bc)
3o Que, lorsque
les quatre termes
![{\displaystyle a\alpha ^{x}+b\beta ^{x}+c\gamma ^{x}+d\delta ^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7010f194745e000801101e66da143c1ea163692d)
se réduiront à
![{\displaystyle {\frac {1}{2.3}}{\frac {d^{3}\left({\cfrac {\mathrm {Q} y_{0}+\mathrm {R} y_{1}+\mathrm {S} y_{2}+\ldots }{\mathrm {P} '''}}\alpha ^{x}\right)}{d\alpha ^{3}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb7677d56496e071d17a80698d45d6e0f4a4693c)
en faisant
![{\displaystyle \mathrm {P'''={\frac {1}{2.3.4}}{\frac {d^{4}P}{d\alpha ^{4}}},\quad {\frac {dP'''}{d\alpha }}={\frac {1}{2.3.4.5}}{\frac {d^{5}P}{d\alpha ^{5}}},\quad {\frac {d^{2}P'''}{d\alpha ^{2}}}={\frac {1}{3.4.5.6}}{\frac {d^{6}P}{d\alpha ^{6}}}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb9b7a642f696334fa303acb90da1c17e660de86)
![{\displaystyle {\frac {d^{3}\mathrm {P} '''}{d\alpha ^{3}}}={\frac {1}{4.5.6.7}}{\frac {d^{7}\mathrm {P} }{d\alpha ^{7}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c02826285c473bcc02f50f39fcf295a7d54edf3a)
et ainsi de suite.
7. Ces formules sont un peu différentes de celles que j’avais données sans démonstration dans le Mémoire cité pour le cas de l’égalité des racines.
Je m’étais aperçu de leur inexactitude après l’impression du Mémoire ; mais entraîné par d’autres objets, j’avais toujours différé à revenir sur celui-ci que je regardais comme moins important ; et j’ai été prévenu à cet égard par un Membre de la Société Italienne, Jean François Malfatti, qui a donné sur ce sujet un savant Mémoire dans le tome III du Recueil de cette Société. Comme l’analyse de cet Auteur est fort longue et conduit à des résultats un peu compliqués, j’ai cru devoir chercher à résoudre cette question d’une manière plus directe et plus conforme à la simplicité de la méthode générale exposée dans mon Mémoire de 1775 ; c’est ce qui a occasionné les recherches précédentes ; mais, quoique les formules auxquelles je suis parvenu ne paraissent rien laisser à désirer pour la simplicité et la généralité, néanmoins, comme ces formules sont différentes pour les différents cas de l’égalité de deux racines, de trois, de quatre, on pourrait désirer encore une formule qui renfermât tous ces cas ; et voici celle que j’ai trouvée, et que je présente aux Géomètres en les invitant à la démontrer directement.
En conservant les valeurs de
des nos 3 et 6, savoir, en faisant
![{\displaystyle {\begin{aligned}\mathrm {P} =&\mathrm {A+B\alpha +C\alpha ^{2}+D\alpha ^{3}+E\alpha ^{4}} +\ldots ,\\\mathrm {Q} =&\mathrm {B+C\alpha +D\alpha ^{2}+E\alpha ^{3}} +\ldots ,\\\mathrm {R} =&\mathrm {C+D\alpha +E\alpha ^{2}} +\ldots ,\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a4d744402e5b2e44e0d74b1bd83cedd255b6c06)
je fais, pour abréger,
![{\displaystyle (\mathrm {Q} y_{0}+\mathrm {R} y_{1}+\mathrm {S} y_{2}+\mathrm {T} y_{3}+\ldots )\alpha ^{x}=\operatorname {F} (\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1ae50e52d14e0d7eec91aacbc9536b8a24c1771)
dénotant, comme l’on voit, une fonction donnée de ![{\displaystyle \alpha .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/794850adc0db51d11a6d8cfa857538183424909c)
Je considère ensuite la formule
![{\displaystyle {\frac {\operatorname {F} (\alpha )+\omega {\cfrac {d\operatorname {F} (\alpha )}{d\alpha }}+{\cfrac {\omega ^{2}}{2}}{\cfrac {d^{2}\operatorname {F} (\alpha )}{d\alpha ^{2}}}+\ldots }{{\cfrac {d\mathrm {P} }{d\alpha }}+{\cfrac {\omega }{2}}{\cfrac {d^{2}\mathrm {P} }{d\alpha ^{2}}}+{\cfrac {\omega ^{2}}{2.3}}{\cfrac {d^{3}\mathrm {P} }{d\alpha ^{3}}}+\ldots }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a124d7d1f638678d6e5712f6840e093fac46ef7)
et, après l’avoir développée en série suivant les puissances ascendantes de
je ne retiens que les termes où la quantité
ne se trouve point, en rejetant ceux qui se trouveront divisés ou multipliés par des puissances de
je dis que ces termes seront ceux de l’expression du terme général
qui proviendront de la racine
soit que cette racine soit une racine simple, ou double, ou triple, ![{\displaystyle \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c70874374019000ada94cfc5d8a558f89a75c5f)
Ainsi, si
est une racine simple, on aura tout de suite
![{\displaystyle {\frac {\operatorname {F} (\alpha )}{\cfrac {d\mathrm {P} }{d\alpha }}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92ace5219219955aa04cf936796ee8b3514c2486)
pour le terme dû à cette racine.
Si
est une racine double, alors
et la formule se réduira à
![{\displaystyle {\frac {\operatorname {F} (\alpha )+\omega {\cfrac {d\operatorname {F} (\alpha )}{d\alpha }}+\ldots }{{\cfrac {\omega }{2}}{\cfrac {d^{2}\mathrm {P} }{d\alpha ^{2}}}+{\cfrac {\omega ^{2}}{2.3}}{\cfrac {d^{3}\mathrm {P} }{d\alpha ^{3}}}+\ldots }}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdf7cf30320f3efce0530b9248ead377dbd9b473)
![{\displaystyle {\frac {\operatorname {F} (\alpha )}{{\cfrac {\omega }{2}}{\cfrac {d^{2}\mathrm {P} }{d\alpha ^{2}}}}}+{\frac {\cfrac {d\operatorname {F} (\alpha )}{d\alpha }}{{\cfrac {1}{2}}{\cfrac {d^{2}\mathrm {P} }{d\alpha ^{2}}}}}-{\frac {\operatorname {F} (\alpha ){\cfrac {1}{2.3}}{\cfrac {d^{3}P}{d\alpha ^{3}}}}{\left({\cfrac {1}{2}}{\cfrac {d^{2}\mathrm {P} }{d\alpha ^{2}}}\right)^{2}}}+\omega \times \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e9456ce2f036dac87e994efad6e878c97e8900d)
Donc les termes dus à la racine double
seront
![{\displaystyle {\frac {\cfrac {d\operatorname {F} (\alpha )}{d\alpha }}{{\cfrac {1}{2}}{\cfrac {d^{2}\mathrm {P} }{d\alpha ^{2}}}}}-{\frac {\operatorname {F} (\alpha ){\cfrac {1}{2.3}}{\cfrac {d^{3}P}{d\alpha ^{3}}}}{\left({\cfrac {1}{2}}{\cfrac {d^{2}\mathrm {P} }{d\alpha ^{2}}}\right)^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa82d10561bbf9a38d6a7a2396cc91f2757a39a2)
ou bien (6)
![{\displaystyle {\frac {1}{\mathrm {P} '}}{\frac {d\operatorname {F} (\alpha )}{d\alpha }}-{\frac {\operatorname {F} (\alpha )}{\mathrm {P} '^{2}}}{\frac {d\mathrm {P} '}{d\alpha }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6e27cb00619d16812f6f1b73066aab6bcf04d7c)
ou bien encore
![{\displaystyle {\frac {d{\cfrac {\operatorname {F} (\alpha )}{\mathrm {P} '}}}{d\alpha }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5cb761e2f77465401703045aafa34ea212fffe3)
comme on l’a trouve dans le numéro cité.
Si
est une racine triple, alors on aura
![{\displaystyle {\frac {d\mathrm {P} }{d\alpha }}=0,\quad {\frac {d^{2}\mathrm {P} }{d\alpha ^{2}}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8495f464ead2f4522ca1ba9011b8bb71b0f66507)
ce qui réduira la formule à celle-ci
![{\displaystyle {\frac {\operatorname {F} (\alpha )+\omega {\cfrac {d\operatorname {F} (\alpha )}{d\alpha }}+{\cfrac {\omega ^{2}}{2}}{\cfrac {d^{2}\operatorname {F} (\alpha )}{d\alpha ^{2}}}+\ldots }{{\cfrac {\omega ^{2}}{2.3}}\left({\cfrac {d^{3}\mathrm {P} }{d\alpha ^{3}}}+{\cfrac {\omega }{4}}{\cfrac {d^{4}\mathrm {P} }{d\alpha ^{4}}}+{\cfrac {\omega ^{2}}{4.5}}{\cfrac {d^{5}\mathrm {P} }{d\alpha ^{5}}}+\ldots \right)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edce1b677aeb0a25bf525f997e6959cbe7a7c44c)
Faisant le développement suivant les méthodes ordinaires, on trouvera que les termes indépendants de
seront les mêmes que ceux qui résultent des formules données ci-dessus pour le cas de trois racines égaies ; et ainsi de suite.