ANALISE ALGÉBRIQUE.
Résolution des équations littérales, par une nouvelle
méthode, directe et générale ;
Par
M. Suremain de Missery, ancien officier d’artillerie,
membre de plusieurs sociétés savantes
[1].
≈≈≈≈≈≈≈≈≈
Quoique notre méthode soit également applicable à des équations complètes, nous les supposerons, à l’ordinaire, dépourvues de leur second terme ; ce qui simplifiera les calculs d’une manière notable.
Et, attendu que l’équation du second degré, privée de son second terme, se résout immédiatement, nous passerons de suite à celle du troisième.
Résolution de l’équation du troisième degré.
I. Nommant
les racines de la proposée
; on a, par la théorie générale des équations,
![{\displaystyle a+b+c=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c23d1f1639ccda37b90712e6c37174cc3ee89c2)
![{\displaystyle ab+ac+bc=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32d7c14c4b968a405de08b3b6e827e29f1aedde0)
![{\displaystyle abc=-q\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1fc18cf0d882c96df35219b6a3827580aa1dd58)
partant
![{\displaystyle {\frac {-3(b+c)^{2}-(b-c)^{2}}{2^{2}}}=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/517829f733a06d505eb8f86bd4f3046c08dfa651)
![{\displaystyle {\frac {(b+c)^{3}-(b+c)(b-c)^{2}}{2^{2}}}=q\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44bae2c16abfd75bea567102202b850e69546965)
ou, en faisant ![{\displaystyle b+c=y,\ b-c=z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7c65811780a4c41b3d7b48d0619bf3eaecb34bd)
![{\displaystyle {\begin{aligned}-3y^{2}-z^{2}=&4p,\\y^{3}-yz^{2}=&4q.\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8f2535b174d33cc1a5a9f67d3ee526b121853eb)
Éliminant
entre le cube de la première équation et le quarré de la seconde, on obtient
![{\displaystyle -z^{2}\left(3^{2}.y^{2}-z^{2}\right)=4^{2}\left(27q^{2}+4p^{3}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce9529743d4c6ff5a54c2f935059f57e6bebbe1e)
d’où, l’on tire
![{\displaystyle {\frac {3^{2}y^{2}z{\sqrt {-3}}-3z^{3}{\sqrt {-3}}}{2^{3}.3^{3}}}={\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dae0d045510559bd40f7db04cf822b6bd53c78d)
ajoutant et retranchant enfin cette équation successivement à l’équation
![{\displaystyle {\frac {3^{3}y^{3}-3^{3}yz^{2}}{2^{3}.3^{3}}}={\tfrac {1}{2}}q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26fd9c3ab79163208535162989f75c5d78a682c9)
le premier membre de l’équation résultante sera un cube parfait ; et en conséquence, elle prendra cette forme
[2]
On tire de là
![{\displaystyle {\frac {3y+z{\sqrt {-3}}}{2.3}}=m={\sqrt[{3}]{{\tfrac {1}{2}}q+{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c43c51d2719dcf91cceae592a3d99d1e077365a)
![{\displaystyle {\frac {3y-z{\sqrt {-3}}}{2.3}}=n={\sqrt[{3}]{{\tfrac {1}{2}}q-{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03f7c829906965e1a8a64dd19e62c6db4c23b828)
ce qui donne
![{\displaystyle {\begin{aligned}y=&m+n\\z=&-(m-n){\sqrt {-3}}\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f074b90d654b699554993bc7f126c4a92c7f1aa0)
puis
![{\displaystyle {\begin{aligned}b+c=&m+n\\b-c=&-(m-n){\sqrt {-3}}\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed2c617cff829c4122e6c8ee5239406fa268e016)
ce qui donne ultérieurement
![{\displaystyle b={\frac {1-{\sqrt {-3}}}{2}}m+{\frac {1+{\sqrt {-3}}}{2}}n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/241708d5f9f0dde1d9bf4f4705de864794eef46d)
![{\displaystyle c={\frac {1+{\sqrt {-3}}}{2}}m-{\frac {1-{\sqrt {-3}}}{2}}n\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/473c8b0fdac00318c0cf3f3d30704a7e6934546f)
expressions qui, avec la suivante,
![{\displaystyle a=-(m+n),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2968c974be8f86576b85e2c9d286d42d29b1ab4c)
sont les trois racines de la proposée, en y remettant pour
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
et
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
les quantités connues dont elles sont les symboles.
2. Comme, jusqu’à présent, on n’a pu parvenir à résoudre les équations du quatrième degré sans l’intermédiaire d’une réduite ; nous allons, pour une plus grande uniformité, chercher la réduite qui répond à l’équation du troisième degré.
D’après ce qui précède, il est aisé de voir que
![{\displaystyle q={\frac {y^{3}-yz^{2}}{2^{2}}}=2.{\frac {3^{3}y^{3}-3^{3}yz^{2}}{2^{3}.3^{3}}}=\left\{{\frac {3y+z{\sqrt {-3}}}{2.3}}\right\}^{3}+\left\{{\frac {3y-z{\sqrt {-3}}}{2.3}}\right\}^{3}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9cf0c9951062624f34b169c53f6625e4db5f953)
![{\displaystyle p={\frac {-3y^{2}-z^{2}}{2^{2}}}=-3.{\frac {3^{2}y^{2}+3z^{2}}{2^{2}.3^{2}}}=-3\left\{{\frac {3y+z{\sqrt {-3}}}{2.3}}\right\}\left\{{\frac {3y-z{\sqrt {-3}}}{2.3}}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4ab7a9f7f83518d338d2761de20bce106c73aa5)
d’où
![{\displaystyle -{\tfrac {1}{27}}p^{3}=\left\{{\frac {3y+z{\sqrt {-3}}}{2.3}}\right\}^{3}\left\{{\frac {3y-z{\sqrt {-3}}}{2.3}}\right\}^{3}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49a708fef003855c0824c2a471b00740015525b3)
faisant donc
![{\displaystyle {\frac {3y+z{\sqrt {-3}}}{2.3}}=s,\qquad {\frac {3y-z{\sqrt {-3}}}{2.3}}=t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3628e09f50d1241e244ac6f7b02427f8b0bc1bc0)
on aura
![{\displaystyle s^{3}+t^{3}=q,\qquad s^{3}t^{3}=-{\tfrac {1}{27}}p^{3}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8ae31afed93e36a16368704031997f1aab6248f)
d’où la réduite
![{\displaystyle s^{6}-qs^{3}-{\tfrac {1}{27}}p^{3}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6be953b0d0d7624d7fb4ab12d0d99ebff460f17)
et les valeurs
![{\displaystyle m^{3}={\tfrac {1}{2}}q+{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd1f18fc80121cc03d2ac723a912f5eeccd3874)
![{\displaystyle n^{3}={\tfrac {1}{2}}q-{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a133d5fc407b04e8cb28ab28854faa2c49a85a3)
qui, toutes deux, sont les racines de la réduite, considérée comme équation du second degré. Après quoi le calcul s’achève comme ci-dessus, avec les deux équations qui donnent
et
c’est-à-dire ici
et
en fonction de
et ![{\displaystyle z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd7f273b229260c8fe9aa42378b0471336394cc2)
On a donc ainsi les racines de la proposée, en fonction des racines de la réduite.
3. On trouve, d’après ce qui précède,
![{\displaystyle {\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}=\pm {\tfrac {(b-c)\left[2(b+c)^{2}+bc\right]{\sqrt {-3}}}{2.3^{2}}}=\mp {\tfrac {(b-c)(c-a)(a-b){\sqrt {-3}}}{2.3^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/baee85c417197baa0eb58dad9b0328272a0c30ae)
Cette expression remarquable, qui montre que
doit être le dernier terme de l’équation aux quarrés des différences des racines de la proposée, prouve évidemment que, lorsque les trois racines
de la proposée sont réelles, leurs expressions, en fonction des coefficiens, doivent être compliquées d’imaginaires ; propriété qui est réciproque, ainsi que nous le dirons plus loin ; elle montre aussi que l’équation
exprime la condition d’égalité entre deux racines de la proposée.
4. On trouve encore
![{\displaystyle {\begin{alignedat}{2}s=&{\sqrt[{3}]{{\tfrac {1}{2}}q+{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}}}=&m&={\frac {-3a+(b-c){\sqrt {-3}}}{2.3}},\\s=&{\sqrt[{3}]{{\tfrac {1}{2}}q+{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}}}=&{\frac {-1+{\sqrt {-3}}}{2}}m&={\frac {-3b+(c-a){\sqrt {-3}}}{2.3}},\\s=&{\sqrt[{3}]{{\tfrac {1}{2}}q+{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}}}=&{\frac {-1-{\sqrt {-3}}}{2}}m&={\frac {-3c+(a-b){\sqrt {-3}}}{2.3}}\,;\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ceafb197e7892d892528261147c20f147933e50)
et telles sont les expressions, très-symétriques, des trois racines cubiques de ![{\displaystyle s^{3}={\tfrac {1}{2}}q+{\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec99e944dd3aae20d5e8ae3d958d91fb171b035f)
En y changeant le signe de
ce qui changera aussi
en
, on aura les expressions analogues des trois racines cubes de
On a donc les racines de la réduite en fonction des racines de la proposée. Lagrange n’y est arrivé que par le calcul différentiel, et d’une manière plus longue[3].
5. De là il suit que l’expression de l’une quelconque des trois racines de la proposée les comprend toutes ; car l’expression
![{\displaystyle x=s+t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07a84fd1d10bd0dfcb963104d753e2a64c8eef65)
donne, par la substitution des valeurs de
et
en fonction de ![{\displaystyle a,b,c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f13f068df656c1b1911ae9f81628c49a6181194d)
![{\displaystyle x=a,\qquad x=b,\qquad x=c\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/950a06285106f9a3867af966d2da9018586e1f8e)
et il en serait de même de chacune des deux autres expressions
![{\displaystyle x={\frac {1-{\sqrt {-3}}}{2}}s+{\frac {1+{\sqrt {-3}}}{2}}t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c266061716b1e101694a45f082992b033fd23e8)
![{\displaystyle x={\frac {1+{\sqrt {-3}}}{2}}s-{\frac {1-{\sqrt {-3}}}{2}}t\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9020f47f4309ae583010ec6d68d046ddb361ca1d)
pourvu qu’on eût soin de ne combiner ensemble que des valeurs de
et
telles que
ainsi que cela doit être (2).
6. Comme on a
ce qui donne
![{\displaystyle st=-{\tfrac {1}{3}}p,\quad st=-{\frac {-1+{\sqrt {-3}}}{2}}.{\frac {1}{3}}p,\qquad st=-{\frac {-1-{\sqrt {-3}}}{2}}.{\frac {1}{3}}p\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/777ea1e4441d1549d45ffb112d4819537bef4b79)
il s’ensuit que la méthode résout, non seulement l’équation proposée
![{\displaystyle x^{3}+px+q=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27f0b62c2af5c9ede9f238403f5783db4dbea07f)
dont les racines sont
![{\displaystyle x=a,\qquad x=b,\qquad x=c\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/950a06285106f9a3867af966d2da9018586e1f8e)
mais encore l’équation conjuguée
![{\displaystyle x^{3}+{\frac {-1+{\sqrt {-3}}}{2}}px+q=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0d9da2286cae74fbcc45f2f01ed8c07ed12ca39)
dont les racines sont
![{\displaystyle x={\frac {-1-{\sqrt {-3}}}{2}}a,\qquad x={\frac {-1-{\sqrt {-3}}}{2}}b,\qquad x={\frac {-1-{\sqrt {-3}}}{2}}c\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bf3a344dbded474e6c5cfc47ad89562c3d18a74)
et pareillement l’équation conjuguée
![{\displaystyle x^{3}+{\frac {-1-{\sqrt {-3}}}{2}}px+q=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cec0cfc47545dce53d58bbff403dd99c3a37ba1b)
dont les racines sont
![{\displaystyle x={\frac {-1+{\sqrt {-3}}}{2}}a,\qquad x={\frac {-1+{\sqrt {-3}}}{2}}b,\qquad x={\frac {-1+{\sqrt {-3}}}{2}}c.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e56cac8aaec96508794a2fa9d55782b1462789ab)
7. Si les racines de la proposée se présentent toutes sous une forme embarrassée d’imaginaires, ce qui arrive lorsque
est négatif, c’est-à-dire, lorsque les racines de la réduite, considérée comme équation du second degré, sont imaginaires ; on sait que les premières sont toutes réelles : en voici une démonstration directe et rigoureuse.
D’après la théorie générale des équations, l’équation du troisième degré, à titre d’équation d’un degré impair, doit avoir au moins une racine réelle ; ce que je pourrais d’ailleurs démontrer par mes formules.
Une des trois racines
est donc réelle ; mais, lorsque
négatif, une de ces racines ne peut être réelle, sans que les deux autres ne le soient aussi.
En effet, si
est réelle,
est aussi réel. D’ailleurs,
est réel ; donc, puisque
est réel,
doit l’être pareillement. De plus, on a
![{\displaystyle {\sqrt {{\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}}}={\frac {(b-c)\left[2(b+c)+bc\right]{\sqrt {-3}}}{2.3^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a7be7e610d80620ef5737050ada4b5ad73523b1)
d’où
![{\displaystyle {\sqrt {-\left({\tfrac {1}{4}}q^{2}+{\tfrac {1}{27}}p^{3}\right)}}=-{\frac {(b-c)\left[2(b+c)+bc\right]}{2.3}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42d5571d5297ed3204869cc5f9418d4df903c4d0)
or, le premier membre de cette équation est réel ; donc le second l’est aussi ; mais le facteur
est réel, puisque
et
le sont ; donc l’autre facteur
l’est de même ; et, puisque
et
sont réels,
et
le sont nécessairement ; donc enfin les trois racines
sont réelles.
Je ne crois pas que la réalité des trois racines, dans le cas irréductible, ait jamais été si complètement ni si directement démontrée.
Résolution de l’équation du quatrième degré.
1. Nommant
les racines de la proposée ![{\displaystyle x^{4}+px^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/320d4df8b40abcde82e205b510e799f40b8c1477)
on a, par la théorie générale des équations,
![{\displaystyle a+b+c+d=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15fd454a7efc1f60b15b27d8ad964e53bd32d27d)
![{\displaystyle ab+ac+bc+ad+bd+cd=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a90658c58d65f969fb3c83c78336286be4cd728)
![{\displaystyle abc+abd+acd+bcd=-q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbba8baf9fe25af68c1eaf04c0415e60edc485ce)
![{\displaystyle abcd=r\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/149631f83c473a8a9aef656997485cab67cacc41)
partant
![{\displaystyle {\frac {-2(a+b)^{2}-(a-b)^{2}-(c-d)^{2}}{2^{2}}}=p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8ce96c7e051c3d39cc25637502d8af87008f88b)
![{\displaystyle {\frac {(a+b)(a-b)^{2}-(a+b)(c-d)^{2}}{2^{2}}}=-q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cb8a7a2ac6a88fe8081fb11bb92525d503b607d)
![{\displaystyle {\frac {\left[(a+b)^{2}-(a-b)^{2}\right]\left[(a+b)^{2}-(c-d)^{2}\right]}{2^{4}}}=r.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2484cb5a7ac69e42bbe064ce00f45b832d13f2f1)
En faisant
![{\displaystyle a+b=y,\qquad a-b=z,\qquad c-d=z',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4721a4d9fcf8a52a593e8a071e0bc3a402bdab57)
ces équations deviennent
![{\displaystyle -2y^{2}-z^{2}-z'^{2}=4p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a9e9912c1d51e555fbd404fd745ea8a36863527)
![{\displaystyle yz^{2}-yz'^{2}=-4q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/495098035c83006ad7b558ab59e42f7708f6c28d)
![{\displaystyle \left(y^{2}-z^{2}\right)\left(y^{2}-z'^{2}\right)=16r.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d4ad28b1daf4523c30b881b25675a84d960da37)
ce qui donne
![{\displaystyle z^{2}=-y^{2}-2p-{\frac {2q}{y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/634053c73b406af06fa52aa3cd06662739cbc0ff)
![{\displaystyle z'^{2}=-y^{2}-2p+{\frac {2q}{y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20d9db3027be1d30e5fd43e13f9f4b4f1bd17379)
![{\displaystyle \left(y^{2}+p+{\frac {q}{y}}\right)\left(y^{2}+p-{\frac {q}{y}}\right)=4r\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f77814b79fff723568c32823f150d899725a3a2a)
d’où la réduite
![{\displaystyle y^{6}+2py^{4}+\left(p^{2}-4r\right)y^{2}-q^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67ac19adf15f44b2a1a1d88cf379efbc18b586e1)
et les valeurs
![{\displaystyle l^{2}=-{\tfrac {2}{3}}p+{\sqrt[{3}]{A+{\sqrt {B}}}}+{\sqrt[{3}]{A-{\sqrt {B}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91733ec8b0e30a9ee611b65e5f48bbd1bb650c3a)
![{\displaystyle m^{2}=-{\tfrac {2}{3}}p+{\frac {1-{\sqrt {-3}}}{2}}{\sqrt[{3}]{A+{\sqrt {B}}}}+{\frac {1+{\sqrt {-3}}}{2}}{\sqrt[{3}]{A-{\sqrt {B}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c854a6b9df679c9bcac4444af99bc274d46513b)
![{\displaystyle n^{2}=-{\tfrac {2}{3}}p+{\frac {1+{\sqrt {-3}}}{2}}{\sqrt[{3}]{A+{\sqrt {B}}}}+{\frac {1-{\sqrt {-3}}}{2}}{\sqrt[{3}]{A-{\sqrt {B}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b3667b5b2f912fa41a5cd31517fff7cf82c40f1)
pour les trois racines de cette réduite, considérée comme équation du troisième degré ; valeurs dans lesquelles
et
désignent des fonctions connues des coefficiens de cette même réduite.
Cela posé, on a
![{\displaystyle a+b=y,\qquad a-b={\sqrt {-y^{2}-2p-{\frac {2q}{y}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf5759ec685991adfe2290fca25d5f8a641c6f52)
![{\displaystyle c+d=-y,\qquad c-d={\sqrt {-y^{2}-2p+{\frac {2q}{y}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfa43e385086d5ba187f5a8be1f27f7bc6dfc4fe)
donc
![{\displaystyle {\begin{aligned}&a=+{\tfrac {1}{2}}y+{\tfrac {1}{2}}{\sqrt {-y^{2}-2p-{\frac {2q}{y}}}},\\&b=+{\tfrac {1}{2}}y-{\tfrac {1}{2}}{\sqrt {-y^{2}-2p-{\frac {2q}{y}}}},\\&c=-{\tfrac {1}{2}}y+{\tfrac {1}{2}}{\sqrt {-y^{2}-2p+{\frac {2q}{y}}}},\\&d=-{\tfrac {1}{2}}y-{\tfrac {1}{2}}{\sqrt {-y^{2}-2p+{\frac {2q}{y}}}}\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a77a1034d150bbac889d5ac87c004cc8b556ded)
expressions qui donneront les quatre racines de la proposée, si l’on y met pour
une des six valeurs connues représentées par
n’importe laquelle.
2. Mais, pour exprimer les racines de la proposée, en fonction de celles de la réduite, nous observerons que cette réduite, d’après la théorie des équations, donne
![{\displaystyle l^{2}+m^{2}+n^{2}=-2p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2b79d8401c77a0d7afb07166bd2360145a84c5d)
![{\displaystyle l^{2}m^{2}n^{2}=q^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e38fac4b853acd28e8ec546cf1d303a416057f14)
et que, de cette dernière équation, on tire
![{\displaystyle \pm lmn=q\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68f0d86bd4398beae2f57c10fe1251dcbe84c859)
le signe supérieur ou le signe inférieur ayant lieu, suivant que
est positif ou négatif ; car nous supposons
les racines positives de ![{\displaystyle l^{2},m^{2},n^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58ed1ab7faaeefb4688b4579c6e77b83287f213e)
Nous prendrons d’abord
positif, parce que, s’il était négatif, les racines de la proposée seraient les mêmes aux signes près.
Substituant donc ces valeurs de
et de
dans celles de
et prenant arbitrairement
ces dernières deviendront
![{\displaystyle a={\frac {+l+m-n}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/065ef75f5ff740c9d3646bfd37b807d5b1930343)
![{\displaystyle {\begin{aligned}&b={\frac {+l-m+n}{2}},\\&c={\frac {-l+m+n}{2}},\\&d={\frac {-l-m-n}{2}}\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae57f0a2a634d164bd98fd2331f7874838e2ca8a)
formules qui donneront les racines de la proposée, lorsque
est positif.
Et par conséquent les doubles formules
![{\displaystyle {\begin{aligned}&a=\pm {\frac {+l+m-n}{2}},\\&b=\pm {\frac {+l-m+n}{2}},\\&c=\pm {\frac {-l+m+n}{2}},\\&d=\pm {\frac {-l-m-n}{2}},\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cafb650088069825000428847adb7563881cf94e)
prises avec le signe supérieur ou avec l’inférieur, donneront respectivement les racines de la proposée, suivant que
sera positif ou négatif.
On a donc les racines de la proposée, en fonction des racines de la réduite.
3. On trouvera
![{\displaystyle {\begin{aligned}&y=\pm l=a+b=-(c+d),\\&y=\pm m=a+c=-(b+d),\\&y=\pm n=b+c=-(a+d).\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/371f172a9548aff1e3cdae05c06cc4c7ba21ef19)
d’où
![{\displaystyle {\begin{array}{ll}l\ \ =\pm (a+b)=\mp (c+d),&l\ \ =\mp (a+b)=\pm (c+d),\\m=\pm (a+c)=\mp (b+d),&m=\mp (a+c)=\pm (b+d),\\n\,\ =\pm (b+c)=\mp (a+d),&n\,\ =\mp (b+c)=\pm (a+d).\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79ffd0337b554e0bc63c6545b6e19b18f4cfd31a)
On a donc les racines de la réduite, en fonction des racines de la proposée.
4. Observons que la première expression
![{\displaystyle x={\tfrac {1}{2}}y+{\tfrac {1}{2}}{\sqrt {-y^{2}-2p-{\frac {2q}{y}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/084c9aa51a11d1a42ca3f38cd56b0659d4f63df0)
des quatre racines de la proposée, comprend tacitement
![{\displaystyle x={\tfrac {1}{2}}y-{\tfrac {1}{2}}{\sqrt {-y^{2}-2p-{\frac {2q}{y}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2def6d71285bf4122d870b4ac8962e2f134a1f1d)
Or si, dans la formule
![{\displaystyle x={\tfrac {1}{2}}y\pm {\tfrac {1}{2}}{\sqrt {-y^{2}-2p-{\frac {2q}{y}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62c83cf1c8c40bf7f73d44a291c6d1951e6ccb4b)
on substitue les valeurs de
et de
comme on l’a fait (Art. 2) ; et que, de plus, on prenne successivement pour
les six valeurs
![{\displaystyle y=\pm l,\qquad y=\pm m,\qquad y=\pm n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2f823b5de018b1975562b58ae1ef1ce09938190)
on trouvera
![{\displaystyle x=a,\qquad x=b,\qquad x=c,\qquad x=d\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35ef7631bf430c79f17b12f34b1345e63f3c4e18)
d’où l’on voit que la première des quatre formules des racines de la proposée les comprend toutes ; et il en est de même de chacune des trois autres. Ainsi ; une quelconque des expressions des quatre racines de la proposée les comprend toutes.
5. Comme on a
, il est aisé de voir que la méthode résout, non seulement l’équation proposée
![{\displaystyle x^{4}+px^{2}+qx+r=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b968d2c032254e206c94c64ce4372320ed13f91)
dont les racines sont
![{\displaystyle x=a,\qquad x=b,\qquad x=c,\qquad x=d\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35ef7631bf430c79f17b12f34b1345e63f3c4e18)
mais encore l’équation conjuguée
![{\displaystyle x^{4}+px^{2}-qx+r=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/097f489dbf76123210810ff1bf4acbeea2eccb0d)
dont les racines sont
![{\displaystyle x=-a,\qquad x=-b,\qquad x=-c,\qquad x=-d.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f03c0257f81eaf23790ca7469f9f246bc3d8abe6)
6. Si les racines de la proposée se présentent sous une forme embarrassée d’imaginaires, ce qui arrive si les racines de la réduite, considérée comme équation du troisième degré, sont, ou toutes trois réelles et positives, ou toutes trois réelles et une seule positive ; on sait que, dans le premier cas, elles sont toutes réelles, et, dans le second, toutes imaginaires[4]. Voici une démonstration directe et rigoureuse de la réalité des racines dans le premier cas.
Si les racines
de la réduite, considérée comme équation du troisième degré, sont réelles et positives, les racines,
de cette même réduite, considérée comme équation du sixième degré, sont aussi réelles. Donc, puisqu’on a
![{\displaystyle a=\pm {\tfrac {+l+m-n}{2}},\quad b=\pm {\tfrac {+l-m+n}{2}},\quad c=\pm {\tfrac {-l+m+n}{2}},\quad d=\pm {\tfrac {-l-m-n}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbb904205e043dfdc3193cd4bc2cff64b40b129e)
les racines
de la proposée sont toutes réelles.
Cette démonstration de la réalité des quatre racines, dans le
cas irréductible, est très-simple et déjà connue. Je ne l’ai reproduite ici que pour conserver l’analogie entre le troisième et le quatrième degré.