SUR
L’ÉLIMINATION DES INCONNUES
DANS LES ÉQUATIONS[1].
(Mémoires de l’Académie royale des Sciences et Belles-Lettres
de Berlin, t. XXV, 1771.)
Lorsqu’on a deux équations qui renferment la même inconnue élevée à des degrés quelconques, on peut toujours, par les règles ordinaires de l’Algèbre, éliminer cette inconnue ; mais on risque de tomber dans un inconvénient c’est que l’équation résultante de l’élimination monte à un degré plus élevé qu’elle ne doit. Plusieurs habiles Géomètres ont senti cet inconvénient et ont donné des moyens de l’éviter ; c’est ce que MM. Euler, Cramer, Bezout et d’autres ont fait par des méthodes qui leur sont propres, et qu’on peut voir dans les Mémoires de cette Académie pour les années 1748 et 1764, dans ceux de l’Académie des Sciences de Paris pour l’année 1764, dans l’Ouvrage de M. Cramer qui a pour titre Introduction à l’analyse des lignes courbes, et ailleurs.
La méthode que je vais exposer ici a l’avantage de réduire l’élimination des inconnues à des formules générales et très-simples dont les Analystes pourront faire usage au besoin.
I.
Soient
(A)
|
|
|
(B)
|
|
|
les deux équations proposées, dont la première soit d’un degré quelconque
et la seconde aussi d’un degré quelconque
Il est évident que quelles que soient les équations données elles peuvent toujours se mettre sous les deux formes précédentes ; car pour cela il n’y a qu’à les diviser, l’une par le coefficient tout connu du dernier terme, et l’autre par la plus haute puissance de l’inconnue.
Je suppose que
soient les facteurs de l’équation (A), en sorte que
soient les racines de cette équation ; j’aurai donc
![{\displaystyle 1+\mathrm {A} x+\mathrm {B} x^{2}+\mathrm {C} x^{3}+\mathrm {D} x^{4}+\ldots =(1-\alpha x)(1-\beta x)(1-\gamma x)(1-\delta x)\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1720805004566846b3430fcd4727b3cbccbf6e4)
et, prenant les logarithmes de part et d’autre,
![{\displaystyle \log(1+\mathrm {A} x+\mathrm {B} x^{2}+\mathrm {C} x^{3}+\mathrm {D} x^{4}+\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bb687631fbc81c11ac02ad79fc98399dafbcf02)
![{\displaystyle =\log(1-\alpha x)+\log(1-\beta x)+\log(1-\gamma x)+\log(1-\delta x)+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c19c42eaf10eca279be24b87b6aa8293c805a6be)
Or on sait que
![{\displaystyle \log(1+z)=z-{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}-{\frac {z^{4}}{4}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/148840d24a2e21956fe4bf0828bbfd63b2e35af4)
donc on aura aussi
![{\displaystyle \left.{\begin{aligned}x\ \ &\left(\mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\ldots \right)\\-{\frac {x^{2}}{2}}&\left(\mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\ldots \right)^{2}\\+{\frac {x^{3}}{3}}&\left(\mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\ldots \right)^{3}\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}\right\}=\left\{{\begin{aligned}-\ \ x\ \ &(\alpha +\beta +\gamma +\delta +\ldots )\\-{\frac {x^{2}}{2}}&(\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}+\ldots )\\-{\frac {x^{3}}{3}}&(\alpha ^{3}+\beta ^{3}+\gamma ^{3}+\delta ^{3}+\ldots )\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec3e823d1632f5032d9fa9622879ec81ee1423bb)
On sait de plus que le carré, le cube, etc., de tout polynôme, tel que
![{\displaystyle \mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3762d6a8c17845aee11ca9ff9330ce05bd9357c3)
est aussi un polynôme de la même forme, mais dont le nombre des termes est double, triple, etc., de sorte qu’on peut supposer
![{\displaystyle {\begin{aligned}\left(\mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\ldots \right)^{2}=&\mathrm {A} '\ +\mathrm {B} 'x\,+\mathrm {C} 'x^{2}\,+\mathrm {D} 'x^{3}\,+\ldots ,\\\left(\mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\ldots \right)^{3}=&\mathrm {A} ''+\mathrm {B} ''x+\mathrm {C} ''x^{2}+\mathrm {D} ''x^{3}+\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82b569653b735e647dc0f6f129be6dc398c6a9fe)
et ainsi de suite, les coefficients.
étant aisés à trouver par la formation actuelle de ces puissances ou par d’autres moyens que nous indiquerons dans la suite.
Donc, si l’on substitue ces valeurs et qu’on fasse, pour abréger,
![{\displaystyle {\begin{aligned}\alpha \ \,+\beta \ \ +\gamma \ \,+\delta \ \,+\ldots =&-\mathrm {P} ,\\\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}+\ldots =&-2\mathrm {Q} ,\\\alpha ^{3}+\beta ^{3}+\gamma ^{3}+\delta ^{3}+\ldots =&-3\mathrm {R} ,\\\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots &\ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8f98ba841bebb1e4a3ff5d3dee82604dc4b8501)
on aura, en ordonnant les termes par rapport aux dimensions de ![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
![{\displaystyle {\begin{aligned}\mathrm {A} x&+\mathrm {\left(B-{\frac {A'}{2}}\right)} x^{2}+\mathrm {\left(C-{\frac {B'}{2}}-{\frac {A''}{3}}\right)} x^{3}+\mathrm {\left(D-{\frac {C'}{2}}-{\frac {B''}{3}}-{\frac {A'''}{4}}\right)} x^{4}+\ldots \\&=\mathrm {P} x+\mathrm {Q} x^{2}+\mathrm {R} x^{3}+\mathrm {S} x^{4}+\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5005f8ced7ddd981efd47891e82875d5dd860ac7)
d’où l’on tire, à cause que l’équation doit être identique,
![{\displaystyle {\begin{aligned}\mathrm {P} =&\mathrm {A} ,\\\mathrm {Q} =&\mathrm {B-{\frac {A'}{2}}} \\\mathrm {R} =&\mathrm {C-{\frac {B'}{2}}-{\frac {A''}{3}}} ,\\\mathrm {S} =&\mathrm {D-{\frac {C'}{2}}-{\frac {B''}{3}}-{\frac {A'''}{4}}} ,\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d9ca5793cbcd76c7a0df558362ae12c66c70d57)
Cela posé, je substitue successivement dans l’équation (B) les valeurs de
résultant de l’équation (A), savoir
dont le nombre
est
![{\displaystyle m\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dcfc98704913fbea07f74532c516121020e14f1)
j’aurai les
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
équations suivantes
(C)
|
|
|
Or il est clair que, pour que les deux équations (A) et (B) aient lieu en même temps, il faut nécessairement qu’une quelconque des
équations (C) ait lieu ; donc, comme il n’y a pas de raison pour que l’une de ces équations doive plutôt avoir lieu que l’autre, il faudra que l’on ait une équation qui renferme toutes les équations (C) et qui ne puisse être vraie qu’en supposant que l’une quelconque de ces dernières équations le soit ; d’où il s’ensuit que l’équation dont il s’agit ne saurait être que le produit de toutes les équations (C), et cette équation sera par conséquent celle qui doit résulter de l’élimination de l’inconnue
dans les deux équations proposées (A) et (B).
Donc, si l’on représente l’équation dont nous parlons par
on aura
![{\displaystyle {\begin{aligned}\Pi &=\left(1+a\alpha +b\alpha ^{2}+c\alpha ^{3}+d\alpha ^{4}+\ldots \right)\\&\times \left(1+a\beta \,+b\beta ^{2}+c\beta ^{3}\,+d\beta ^{4}+\ldots \right)\\&\times \left(1+a\gamma \,+b\gamma ^{2}\,+c\gamma ^{3}\,+d\gamma ^{4}+\ldots \right)\\&\times \left(1+a\delta \ +b\delta ^{2}\ +c\delta ^{3}\ +d\delta ^{4}\,+\ldots \right)\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d641134554c4af5c9d7f00fbc05587d62b11bb82)
le nombre des facteurs étant
Ainsi la difficulté se réduit à trouver la valeur de
sans connaître les racines, ![{\displaystyle \alpha ,\beta ,\gamma ,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/176b4c36d4e2af3a26e25bcae891194a993137e5)
Prenons les logarithmes des deux membres, et nous aurons
![{\displaystyle {\begin{aligned}\log \Pi &=\log \left(1+a\alpha +b\alpha ^{2}+c\alpha ^{3}+d\alpha ^{4}+\ldots \right)\\&+\log \left(1+a\beta \,+b\beta ^{2}+c\beta ^{3}\,+d\beta ^{4}\,+\ldots \right)\\&+\log \left(1+a\gamma \,+b\gamma ^{2}\,+c\gamma ^{3}\,+d\gamma ^{4}\,+\ldots \right)\\&+\log \left(1+a\delta \ +b\delta ^{2}\ +c\delta ^{3}\ +d\delta ^{4}\ +\ldots \right)\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a85d7255f5e50f988e17a1faa9debcc4ac2c5ed)
Mais on a
![{\displaystyle {\begin{aligned}\log &\left(1+a\alpha +b\alpha ^{2}+c\alpha ^{3}+d\alpha ^{4}+\ldots \right)\\&=\ \alpha \ \left(a+b\alpha +c\alpha ^{2}+d\alpha ^{3}+\ldots \right)\\&-{\frac {\alpha ^{2}}{2}}\left(a+b\alpha +c\alpha ^{2}+d\alpha ^{3}+\ldots \right)\\&+{\frac {\alpha ^{3}}{3}}\left(a+b\alpha +c\alpha ^{2}+d\alpha ^{3}+\ldots \right)\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f124405f77d5c771824b69db6f12e6db2f80dc3f)
Donc, si l’on suppose que
soient des quantités formées de
comme les quantités
le sont de
on aura
![{\displaystyle {\begin{aligned}\log &\left(1+a\alpha +b\alpha ^{2}+c\alpha ^{3}+d\alpha ^{4}+\ldots \right)\\&=\ \alpha \ \,\left(a\ \,+b\ \,\alpha +c\ \,\alpha ^{2}+d\ \,\alpha ^{3}+\ldots \right)\\&-{\frac {\alpha ^{2}}{2}}\left(a'\,+b'\,\alpha +c'\,\alpha ^{2}+d'\,\alpha ^{3}+\ldots \right)\\&+{\frac {\alpha ^{3}}{3}}\left(a''+b''\alpha +c''\alpha ^{2}+d''\alpha ^{3}+\ldots \right)\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57a59dec58cadfe345da2e90c351b9157c00d031)
ou bien en faisant, pour abréger,
![{\displaystyle {\begin{aligned}p=&a,\\q=&b-{\frac {a'}{2}},\\r=&c-{\frac {b'}{2}}+{\frac {a''}{3}},\\s=&d-{\frac {c'}{2}}+{\frac {b''}{3}}-{\frac {a'''}{4}},\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cca1953b50976ff2bf1e5a348da206f861dc7500)
on aura
![{\displaystyle \log \left(1+a\alpha +b\alpha ^{2}+c\alpha ^{3}+d\alpha ^{4}+\ldots \right)=p\alpha +q\alpha ^{2}+r\alpha ^{3}+s\alpha ^{4}+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/050e47ce8ebefe7d920e23c295d2ca8c2e1467fe)
On trouvera de la même manière
![{\displaystyle {\begin{aligned}\log \left(1+a\beta +b\beta ^{2}+c\beta ^{3}+d\beta ^{4}+\ldots \right)=p\beta +q\beta ^{2}+r\beta ^{3}+s\beta ^{4}+\ldots ,\\\log \left(1+a\gamma +b\gamma ^{2}+c\gamma ^{3}+d\gamma ^{4}+\ldots \right)=p\gamma +q\gamma ^{2}+r\gamma ^{3}+s\gamma ^{4}+\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2d7ebe33c99825989de1019532c240ff4b5d576)
et ainsi des autres.
Donc, ajoutant ensemble toutes ces quantités, et mettant à la place de
les quantités
on aura
![{\displaystyle \log \Pi =-p\mathrm {P} -2q\mathrm {Q} -3r\mathrm {R} -\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68876f619974f37aeb02a121d5400e3f1133e435)
Soit encore, pour abréger,
![{\displaystyle \varphi =p\mathrm {P} +2q\mathrm {Q} +3r\mathrm {R} +\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48124a32ba857fd83fcb511d6d890116e0de7686)
et l’on aura
![{\displaystyle \log \Pi =-\varphi ,\quad {\text{d’où}}\quad \Pi =e^{-\varphi },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c668acbb26fc1c016df68a9d4aee60db40100fb0)
et résolvant en série la quantité exponentielle
il viendra enfin
![{\displaystyle \Pi =1-\varphi +{\frac {\varphi ^{2}}{2}}-{\frac {\varphi ^{3}}{2.3}}+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e229f31892ffadef07b2649babc603ab884dc685)
Ainsi le Problème est résolu.
II.
Comme la quantité
est le produit de
facteurs tels que
![{\displaystyle 1+a\alpha +b\alpha ^{2}+c\alpha ^{3}+\ldots ,\ \ 1+a\beta +b\beta ^{2}+c\beta ^{3}+\ldots ,\ \ 1+a\gamma +b\gamma ^{2}+c\gamma ^{3}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a0e38a566fe52b5a7746e7a9f9c31ff2866d024)
il est visible qu’elle ne peut contenir d’autres produits des quantités
que ceux dont les dimensions ne passent pas le nombre
d’où il s’ensuit
1o Que l’équation
ou bien
(D)
|
|
|
ne doit contenir aucun terme dans lequel les quantités
forment ensemble des produits de plus de
dimensions.
Or, si l’on met
au lieu de
dans les équations (B) et (A), elles deviennent celles-ci
![{\displaystyle {\begin{aligned}1+ax+bx^{2}+cx^{3}+dx^{4}+\ldots &=0,\\1+{\frac {\mathrm {A} }{x}}+\,{\frac {\mathrm {B} }{x^{2}}}+{\frac {\mathrm {C} }{x^{3}}}+\,{\frac {\mathrm {D} }{x^{4}}}+\ldots &=0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7df9fdd2efa491411d20f8ef812941b57802b138)
lesquelles ne diffèrent des équations (A) et (B) qu’en ce que les coefficients
![{\displaystyle \mathrm {A,B,C} ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8e079cc90864c34becc75774066ffc377ea46a1)
sont changés en
![{\displaystyle a,b,c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6021b6ac503535d74098454c2a870a1b5c187d7)
et l’exposant
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
en
![{\displaystyle n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/397bfafc701afdf14c2743278a097f6f2957eabb)
et
vice versâ ; donc, si l’on fait sur ces équations les mêmes raisonnements et les mêmes opérations que nous avons faites sur les équations (A) et (B), on parviendra à une équation imale qui sera la même que l’équation (D) ci-dessus, à la seule différence près que
![{\displaystyle a,b,c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6021b6ac503535d74098454c2a870a1b5c187d7)
seront au lieu de
![{\displaystyle \mathrm {A,B,C} ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f304dcd39959cf7cfad766f08d4bef6a8b371b26)
et réciproquement ; et l’on prouvera de même, à l’égard de cette équation, que les quantités
![{\displaystyle \mathrm {A,B,C} ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f304dcd39959cf7cfad766f08d4bef6a8b371b26)
ne sauraient former ensemble des produits de plus de
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
dimensions.
Or, en changeant
en
on ne fait que changer
en
et vice versâ, comme on le voit par les expressions de ces quantités donc, comme
![{\displaystyle \varphi =p\mathrm {P} +2q\mathrm {Q} +3r\mathrm {R} +\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48124a32ba857fd83fcb511d6d890116e0de7686)
il s’ensuit que l’équation finale dont il s’agit sera exactement la même que l’équation (D) ; d’où je conclus :
2o Que l’équation
![{\displaystyle 1-\varphi +{\frac {\varphi ^{2}}{2}}-{\frac {\varphi ^{3}}{2.3}}+\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/021b1d5b91b31d68c2bfd14a4364d1a7f41d409c)
ne doit pas non plus contenir aucun terme où les quantités
se trouvent formant ensemble des produits de plus de
dimensions.
III.
Voici donc à quoi se réduit notre méthode d’élimination. Étant proposées les équations
![{\displaystyle {\begin{aligned}1+\mathrm {A} x+\mathrm {B} x^{2}+\mathrm {C} x^{3}+\mathrm {D} x^{4}+\ldots &=0,\\1+\ {\frac {a}{x}}+\ \ {\frac {b}{x^{2}}}+\,\ {\frac {c}{x^{3}}}+\ {\frac {d}{x^{4}}}+\ldots &=0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1635281bca655f5512497a4022709e842abc67c9)
dont la première soit du degré
et la seconde du degré
on commencera par former les quantités ![{\displaystyle \mathrm {A',B',C',D',\ldots ,A'',B'',C'',D'',\ldots ,} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e52e008869265ba1cd43e1b77f49dc6bbb94644e)
![{\displaystyle \mathrm {A''',B'''} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c82ea174067f3c5e7e4c2ae52adaec1d26bdd18b)
lesquelles sont les coefficients des séries qui expriment le
carré, le cube, la quatrième puissance, etc., de la série
![{\displaystyle \mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1e6376c93775f37cff971d8d50c9b33fb293dd1)
et l’on poussera cette opération jusqu’à la
ième puissance. On formera ensuite de la même manière les quantités ![{\displaystyle a',b',c',d',\ldots ,a'',b'',c'',d'',\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67dace43928e8201d4ca1c04b9e47c407e9f09e2)
![{\displaystyle a''',b''',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/094961a38b5ae96714e47230e9fe7834cbedb6e6)
jusqu’à la puissance
et pour cela il suffira de changer, dans les valeurs correspondantesde
les quantités
en ![{\displaystyle a,b,c,d,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b46a8d41b788cc8a4284aaa34baa53c4b66f15f)
Ayant ainsi toutes ces quantités, on les substituera dans la quantité
![{\displaystyle {\begin{aligned}\varphi =&\mathrm {A} a+2\mathrm {\left(B-{\frac {A'}{2}}\right)} \left(b-{\frac {a'}{2}}\right)\\&+3\mathrm {\left(C-{\frac {B'}{2}}+{\frac {A''}{3}}\right)} \left(c-{\frac {b'}{2}}+{\frac {a''}{3}}\right)\\&+4\mathrm {\left(D-{\frac {C'}{2}}+{\frac {B''}{3}}-{\frac {A'''}{4}}\right)} \left(d-{\frac {c'}{2}}+{\frac {b''}{3}}-{\frac {a'''}{4}}\right)\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4c570f33dedfe53e16104ff0391ea12858363b)
et l’on fera ensuite l’équation
![{\displaystyle 1-\varphi +{\frac {\varphi ^{2}}{2}}-{\frac {\varphi ^{3}}{2.3}}+{\frac {\varphi ^{4}}{2.3.4}}-\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d52af818d6828c471c726ba5a71369c0e004d4b)
en observant de rejeter tous les termes qui contiendraient des produits de
de plus de
dimensions, ou des produits de
de plus de
dimensions ; on aura, par ce moyen, l’équation qui résulte de l’élimination de l’inconnue
dans les deux équations proposées.
IV.
À l’égard des coefficients
on doit les déterminer à l’ordinaire par la formation des différentes puissances de
mais, comme le calcul des puissances fort haute serait assez laborieux, on peut l’abréger par la formule suivante, dont la démonstration se tire du calcul différentiel. Soit, en général,
![{\displaystyle \left(\mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\mathrm {E} x^{4}+\ldots \right)^{n}=\mathrm {P} +\mathrm {Q} x+\mathrm {R} x^{2}+\mathrm {S} x^{3}+\mathrm {T} x^{4}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2aa1fb403c8b48d66911f5dcc3750cd60f9ae32)
on aura
![{\displaystyle {\begin{aligned}\mathrm {P} =&\mathrm {A} ^{n},\\\mathrm {Q} =&{\frac {n\mathrm {BP} }{\mathrm {A} }},\\\mathrm {R} =&{\frac {(n-1)\mathrm {BQ} +2n\mathrm {CP} }{2\mathrm {A} }},\\\mathrm {S} =&{\frac {(n-2)\mathrm {BR} +(2n-1)\mathrm {CQ} +3n\mathrm {DP} }{3\mathrm {A} }},\\\mathrm {T} =&{\frac {(n-3)\mathrm {BS} +(2n-2)\mathrm {CR} +(3n-1)\mathrm {DQ} +4n\mathrm {EP} }{4\mathrm {A} }},\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feeaab8fe8b9cefa7e1d8c85fc53b98c71d693b4)
et il est très-aisé de voir la loi de cette série, et de la continuer autant qu’on voudra.
Si l’on ne voulait pas faire dépendre les coefficients
les uns des autres, on pourrait les déterminer immédiatement de la manière suivante.
Qu’on cherche, par exemple, le coefficient de
dans la puissance
du polynôme
![{\displaystyle \mathrm {A} +\mathrm {B} x+\mathrm {C} x^{2}+\mathrm {D} x^{3}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1e6376c93775f37cff971d8d50c9b33fb293dd1)
je dis :
1o Que ce coefficient sera formé de tous les termes qui peuvent être représentés par
étant des nombres entiers positifs, et tels que
![{\displaystyle p+q+r+s+\ldots =n\quad {\text{et}}\quad q+2r+3s+\ldots =m\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70ba58f6bf9cec66e8fd508925b95cf168870218)
2o Que chacun de ses termes aura pour coefficients numérique
![{\displaystyle {\frac {1.2.3.4.5\ldots n}{(1.2.3\ldots p)(1.2.3\ldots q)(1.2.3\ldots r)\ldots }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f5b8792c42a04064ae105480497163a6c47b02a)
La démonstration de ce théorème est aisée à tirer de la théorie des combinaisons, et nous ne croyons pas devoir nous y arrêter.
V.
Exemple I. Que l’on ait à éliminer
des deux équations
![{\displaystyle {\begin{aligned}1+\mathrm {A} x+\mathrm {B} x^{2}=&0,\\1+\ {\frac {a}{x}}\,+\ {\frac {b}{x^{2}}}=&0,\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d5f49a7bddafac922b2821e1fcac66d99a997fa)
on trouvera, en faisant le carré de ![{\displaystyle \mathrm {A+B} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e0dfd0770314157a4c5567a9110c4e386cab6e2)
![{\displaystyle \mathrm {A'=A^{2},\quad B'=2AB,\quad C'=B^{2}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f35764373fc732378f300e710d51773b1307c353)
et de même donc
![{\displaystyle a'=a^{2},\quad b'=2ab,\quad c'=b^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffb8131ca73e68210af48bc5418dbfe6c98dea64)
donc
![{\displaystyle {\begin{aligned}\varphi =&\mathrm {A} a+2\mathrm {\left(B-{\frac {A^{2}}{2}}\right)} \left(b-{\frac {a^{2}}{2}}\right)+3\mathrm {AB} ab+\mathrm {B} ^{2}b^{2},\\=&\mathrm {A} a+2\mathrm {B} b-\mathrm {A} ^{2}b-\mathrm {B} a^{2}+{\frac {\mathrm {A} ^{2}a^{2}}{2}}+3\mathrm {AB} ab+\mathrm {B} ^{2}b^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a10b19b20f7f81baadeda4bd465222032632670f)
Donc, en négligeant les produits de
et
aussi bien que ceux de
et
qui seraient de plus de deux dimensions, on aura
![{\displaystyle {\begin{aligned}\varphi ^{2}&=\mathrm {A} ^{2}a^{2}+4\mathrm {AB} ab+4\mathrm {B} ^{2}b^{2},\\\varphi ^{3}&=0,\\\varphi ^{4}&=0,\\\ldots &\ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d76e89fa7ae924120cce5d63d57cc503a8cc213e)
Substituant donc ces valeurs dans l’équation
![{\displaystyle 1-\varphi +{\frac {\varphi ^{2}}{2}}-\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3800395503dba60f9b4d279ecc29add3d1a2eb8)
on aura
![{\displaystyle 1-\mathrm {A} a-2\mathrm {B} b+\mathrm {A} ^{2}b+\mathrm {B} a^{2}-\mathrm {AB} ab+\mathrm {B} ^{2}b^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02ee4f23ac3f3e9b0615dbbcc329769d12cc3c03)
VI.
Au reste, on peut encore trouver la valeur de
d’une manière plus simple sans être obligé de calculer les quantités
Pour cela, on remarquera que
![{\displaystyle \varphi =\mathrm {P} p+2\mathrm {Q} q+3\mathrm {R} r+4\mathrm {S} s+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22c17c0d582dcefb9eb7d6dc078bdd5d79860719)
de sorte que la difficulté se réduit à trouver les quantités
![{\displaystyle \mathrm {P,Q,R} ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5218413306ec165b9d432dabd69b0f532c4769)
et
Or il est facile de voir par l’Article I que
![{\displaystyle \log \left(1+\mathrm {A} x+\mathrm {B} x^{2}+\mathrm {C} x^{3}+\mathrm {D} x^{4}+\ldots \right)=\mathrm {P} x+\mathrm {Q} x^{2}+\mathrm {R} x^{3}+\mathrm {S} x^{4}+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe182ff89558d8d947dc8c029eb389ef6dc86f80)
Qu’on différentie cette équation en faisant varier
et l’on aura, après avoir divisé par ![{\displaystyle dx,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da5da71c7e6f8a8bd49b54d01f87457005462f40)
![{\displaystyle {\frac {\mathrm {A} +2\mathrm {B} x+3\mathrm {C} x^{2}+\ldots }{1+\mathrm {A} x+\mathrm {B} x^{2}+\mathrm {C} x^{3}+\ldots }}=\mathrm {P} +2\mathrm {Q} x+3\mathrm {R} x^{2}+4\mathrm {S} x^{3}+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afd0a64b6ed08780e5c7d56dae9393d84fbb5ecc)
Donc, multipliant en croix et comparant les termes, on aura
![{\displaystyle {\begin{aligned}\mathrm {A} &=\mathrm {P} ,\\2\mathrm {B} &=\mathrm {2Q+AP} ,\\3\mathrm {C} &=\mathrm {3R+2AQ+BP} ,\\4\mathrm {D} &=\mathrm {4S\,+3AR\,+2BQ+CP} ,\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/078999381901f467facc7374c84952d456899efb)
d’où l’on tire
![{\displaystyle {\begin{aligned}\mathrm {P} =&\mathrm {A} ,\\\mathrm {Q} =&\mathrm {\frac {2B-AP}{2}} ,\\\mathrm {R} =&\mathrm {\frac {3C-2AQ-BP}{3}} ,\\\mathrm {S} =&\mathrm {\frac {4D-3AR-2BQ-CP}{4}} ,\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/444b975b3ec49d38809b8ade5f63ace89e207575)
Ayant déterminé ainsi les quantités
par les quantités
on changera ces dernières en
et l’on aura les valeurs des quantités
On se souviendra seulement de rejeter dans les expressions de
les termes où
formeraient des produits de plus de
dimensions, et dans celles de
les termes où
formeraient des produits de plus de
dimensions.
VII.
Si l’on met, pour plus de simplicité,
au lieu de
et de même
au lieu de
la valeur de
deviendra
![{\displaystyle \varphi =\mathrm {P} p+{\frac {\mathrm {Q} q}{2}}+{\frac {\mathrm {R} r}{3}}+{\frac {\mathrm {S} s}{4}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/979ecd9e2044fcd092983314a323417068c0eb36)
et l’on aura pour la détermination de
les formules suivantes
![{\displaystyle {\begin{aligned}\mathrm {P} =&\mathrm {A} ,\\\mathrm {Q} =&\mathrm {2B-AP} ,\\\mathrm {R} =&\mathrm {3C-BP-AQ} ,\\\mathrm {S} =&\mathrm {4D-CP-BQ-AR} ,\\\mathrm {T} =&\mathrm {5E-DP-CQ-BR-AS} ,\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79096c686ae0aad51b2c33ebfe1ebc5d06653c43)
Il en sera de même pour les quantités
en changeant seulement
en
en
en
et l’équation sera, comme ci-dessus,
![{\displaystyle 1-\varphi +{\frac {\varphi ^{2}}{2}}-{\frac {\varphi ^{3}}{2.3}}+\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/021b1d5b91b31d68c2bfd14a4364d1a7f41d409c)
dans laquelle il ne faudra conserver que les termes où les dimensions des produits de
seront égales ou plus petites que
et ceux où les dimensions des produits de
seront égales ou plus petites que ![{\displaystyle m.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bd92c867d56467c0f878ef318eefcd701b8ec1a)
VIII.
Exemple II. On propose d’éliminer
des équations
![{\displaystyle {\begin{aligned}1+\mathrm {A} x+\mathrm {B} x^{2}+\mathrm {C} x^{3}=&0,\\1+\ {\frac {a}{x}}\,+\ {\frac {b}{x^{2}}}+\,\ {\frac {c}{x^{3}}}=&0,\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d00c8d02aa75fb94d637f30aa966f5698c747a17)
On trouvera d’abord
![{\displaystyle {\begin{aligned}\mathrm {P} =&\mathrm {A} ,\\\mathrm {Q} =&\mathrm {2B-A^{2}} ,\\\mathrm {R} =&\mathrm {3C-3AB+A^{2}} ,\\\mathrm {S} =&\mathrm {-4AC-2B^{2}+4A^{2}B} ,\\\mathrm {T} =&\mathrm {-5BC+5A^{2}C+5AB^{2}} ,\\\mathrm {U} =&\mathrm {-3C^{2}+12ABC+2B^{2}} ,\\\mathrm {V} =&\mathrm {7AC^{2}+7B^{2}C} ,\\\mathrm {W} =&\mathrm {8BC^{2}} \,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3b1544f064e8b536a8ac511202c2b263c075bd4)
donc on aura
![{\displaystyle {\begin{aligned}\varphi =&\mathrm {A} a+{\frac {1}{2}}\mathrm {\left(2B-A^{2}\right)} \left(2b-a^{2}\right),\\&+{\frac {1}{3}}\mathrm {\left(3C-3AB+A^{2}\right)} \left(3c-3ab+a^{2}\right),\\&+{\frac {1}{4}}\mathrm {\left(-4AC-2B^{2}+4A^{2}B\right)} \left(-4ac-2b^{2}+4a^{2}b\right),\\&+{\frac {1}{5}}\mathrm {\left(-5BC+5A^{2}C+5AB^{2}\right)} \left(-5bc+5a^{2}c+5ab^{2}\right),\\&+{\frac {1}{6}}\mathrm {\left(-3C^{2}+12ABC+2B^{2}\right)} \left(-3c^{2}+12abc+2b^{2}\right),\\&+{\frac {1}{7}}\mathrm {\left(7AC^{2}+7B^{2}C\right)} \left(7ac^{2}+7b^{2}c\right),\\&+{\frac {1}{8}}8\mathrm {BC} ^{2}\times 8bc^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/099b164172f2c96aac5182ab8208df5fd034fc56)
Or, en rejetant les termes où
et
sont des produits de plus de deux dimensions, et ordonnant les autres par rapport aux dimensions de ces mêmes quantités, on aurait
![{\displaystyle {\begin{aligned}\varphi =&\mathrm {A} a+2\mathrm {B} b+3\mathrm {C} c\\&-\mathrm {B} a^{2}-3\mathrm {C} ab-b\mathrm {A} ^{2}-3c\mathrm {AB} \\&+{\frac {\mathrm {A} ^{2}a^{2}}{2}}+3\mathrm {AB} ab+\mathrm {\left(2AC+B^{2}\right)} \left(2ac+b^{2}\right)+5\mathrm {BC} bc+{\frac {3}{2}}\mathrm {C} ^{2}c^{2},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/337095c37a862d7eb992ae1eb02d84f0975ef36c)
d’où je tire, en ne conservant que les produits de trois ou d’un moindre
nombre de dimensions,
![{\displaystyle \varphi ^{2}=(\mathrm {A} a+2\mathrm {B} b+3\mathrm {C} c)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c139f5b3ab7b60ab9dbc9fe949c855aa30fd1cca)
![{\displaystyle +2(\mathrm {A} a+2\mathrm {B} b+3\mathrm {C} c)\left[-\mathrm {B} a^{2}-3\mathrm {C} ab-b\mathrm {A} ^{2}-3c\mathrm {AB} +{\frac {\mathrm {A} ^{2}a^{2}}{2}}+3\mathrm {AB} ab\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f26e908b1a5b84d2a2e0a63d558a1fbebf56b219)
![{\displaystyle \left.+\mathrm {\left(2AC+B^{2}\right)} \left(2ac+b^{2}\right)+5\mathrm {BC} bc+{\frac {3}{2}}\mathrm {C} ^{2}c^{2}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72342a5f2682ab61753dcb931117b75add54dd9a)
![{\displaystyle +2\left(\mathrm {B} a^{2}+3\mathrm {C} ab\right)(bA^{2}+3c\mathrm {AB} ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba03d509546d52d48eeb41fea288b50c81f8caea)
et
![{\displaystyle {\begin{aligned}\varphi ^{3}=&(\mathrm {A} a+2\mathrm {B} b+3\mathrm {C} c)^{3},\\\varphi ^{4}=&0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ba4564597f024b36a2a2852dc3f7999cb97f4b4)
de sorte que l’équation sera
![{\displaystyle {\begin{aligned}1&-\mathrm {A} a-{\frac {1}{2}}\mathrm {\left(2B-A^{2}\right)} (2b-a^{2}),\\&-{\frac {1}{3}}\mathrm {\left(3C-3AB+A^{3}\right)} (3c-3ab+a^{3}),\\&-{\frac {1}{4}}\mathrm {\left(-4AC-2B^{2}+4A^{2}B\right)} (-4ac-2b^{2}+4a^{2}b),\\&-{\frac {1}{5}}\mathrm {\left(-5BC+5A^{2}C+5AB^{2}\right)} (-5bc+5a^{2}c+5ab^{2}),\\&-{\frac {1}{6}}\mathrm {\left(-3C^{2}+12ABC+2B^{3}\right)} (-3c^{2}+12abc+2b^{3}),\\&-{\frac {1}{7}}\mathrm {\left(7AC^{2}+7B^{2}C\right)} (7ac^{2}+7b^{2}c)-8\mathrm {BC} ^{2}bc^{2},\\&+(\mathrm {A} a+2\mathrm {B} b+3\mathrm {C} c)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/279a532a67a5b8a01f1bc1ee1e4d347566554625)
![{\displaystyle \times \left[{\frac {\mathrm {A} a+2\mathrm {B} b+3\mathrm {C} c}{2}}-\mathrm {B} a^{2}-3\mathrm {C} ab-b\mathrm {A} ^{2}-3c\mathrm {A} \mathrm {B} +{\frac {\mathrm {A} ^{2}a^{2}}{2}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fda85b91eedf176cec0b135956243cffcfb6daf9)
![{\displaystyle \left.+3\mathrm {AB} ab+\mathrm {\left(2AC+B^{2}\right)} \left(2ac+b^{2}\right)+5\mathrm {BC} bc+{\frac {3}{2}}\mathrm {C} ^{2}c^{2}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64cfee265e39c4bcf807ceb1633e6bcc17bfca97)
![{\displaystyle +\left(\mathrm {B} a^{2}+3\mathrm {C} ab\right)\left(b\mathrm {A} ^{2}+3c\mathrm {AB} \right)-{\frac {1}{2.3}}(\mathrm {A} a+2\mathrm {B} b+3\mathrm {C} c)^{3}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dbec4793231edb2ab223807e4d0fc04cb79c3db)