Annales de mathématiques pures et appliquées/Tome 07/Analise algébrique, article 1
# Annales de mathématiques pures et appliquées/Tome 07/Analise algébrique, article 1

## ANALISE ALGÉBRIQUE.

### Résolution des équations littérales, par une nouvelle méthode, directe et générale ;

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.

I. Nommant a, b, c les racines de la proposée x³+px+q=0 ; on a, par la théorie générale des équations,

a+b+c=0,

ab+ac+bc=p,

abc=−q;

partant

(−3(b+c)²−(b−c)²)/2²=p,

((b+c)³−(b+c)(b−c)²)/2²=q;

ou, en faisant b+c=y, b−c=z,

−3y²−z²=4p, y³−yz²=4q.

Éliminant y⁶ entre le cube de la première équation et le quarré de la seconde, on obtient

−z²(3².y²−z²)=4²(27q²+4p³);

d’où, l’on tire

3²y²z√(−3)−3z³√(−3)/2³.3³=√(1/4 q²+1/27 p²);

ajoutant et retranchant enfin cette équation successivement à l’équation

3³y³−3³yz²/2³.3³=1/2 q,

le premier membre de l’équation résultante sera un cube parfait ; et en conséquence, elle prendra cette forme

{3y±z√(−3)/2.3}³=2/2 q±√(1/4 q²+1/27 p³).

On tire de là

(3y+z√(−3))/2.3=m=³√( 1/2 q+√(1/4 q²+1/27 p³)),

3y−z√(−3)/2.3=n=³√( 1/2 q−√(1/4 q²+1/27 p³));

ce qui donne

y=m+nz=−(m−n)√(−3);

puis

b+c=m+nb−c=−(m−n)√(−3);

ce qui donne ultérieurement

b=1−√(−3)/2 m+(1+√(−3))/2 n,

c=(1+√(−3))/2 m−1−√(−3)/2 n;

expressions qui, avec la suivante,

a=−(m+n),

m

n

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

q=y³−yz²/2²=2.3³y³−3³yz²/2³.3³={(3y+z√(−3))/2.3}³+{3y−z√(−3)/2.3}³;

p=−3y²−z²/2²=−3.(3²y²+3z²)/2².3²=−3{(3y+z√(−3))/2.3}{3y−z√(−3)/2.3}.

d’où

−1/27 p³={(3y+z√(−3))/2.3}³{3y−z√(−3)/2.3}³;

faisant donc

(3y+z√(−3))/2.3=s, 3y−z√(−3)/2.3=t,

on aura

s³+t³=q, s³t³=−1/27 p³;

d’où la réduite

s⁶−qs³−1/27 p³=0,

et les valeurs

m³=1/2 q+√(1/4 q²+1/27 p³),

n³=1/2 q−√(1/4 q²+1/27 p³),

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 m et n, c’est-à-dire ici s et t, en fonction de y et z.

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,

√(1/4 q²+1/27 p³)=± ((b−c)[2(b+c)²+bc]√(−3))/2.3²=∓ (b−c)(c−a)(a−b)√(−3)/2.3².

Cette expression remarquable, qui montre que 27q²+4p³ 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 a, b, c 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 1/4 q²+1/27 p³=0 exprime la condition d’égalité entre deux racines de la proposée.

4. On trouve encore

s=³√( 1/2 q+√(1/4 q²+1/27 p³))=m=(−3a+(b−c)√(−3))/2.3, s=³√( 1/2 q+√(1/4 q²+1/27 p³))= (−1+√(−3))/2 m=(−3b+(c−a)√(−3))/2.3, s=³√( 1/2 q+√(1/4 q²+1/27 p³))= −1−√(−3)/2 m=(−3c+(a−b)√(−3))/2.3 ;

et telles sont les expressions, très-symétriques, des trois racines cubiques de s³=1/2 q+√(1/4 q²+1/27 p³).

En y changeant le signe de √(−3), ce qui changera aussi m en n, on aura les expressions analogues des trois racines cubes de t³=1/2 q−√(1/4 q²+1/27 p³).

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.

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

x=s+t

donne, par la substitution des valeurs de s et t, en fonction de a, b, c

x=a, x=b, x=c;

et il en serait de même de chacune des deux autres expressions

x=1−√(−3)/2 s+(1+√(−3))/2 t,

x=(1+√(−3))/2 s−1−√(−3)/2 t;

pourvu qu’on eût soin de ne combiner ensemble que des valeurs de s et t telles que st=−1/3 p, ainsi que cela doit être (2).

6. Comme on a s³t³=−1/27 p³, ce qui donne

st=−1/3 p, st=−(−1+√(−3))/2.1/3 p, st=−−1−√(−3)/2.1/3 p;

il s’ensuit que la méthode résout, non seulement l’équation proposée

x³+px+q=0,

dont les racines sont

x=a, x=b, x=c;

mais encore l’équation conjuguée

x³+(−1+√(−3))/2 px+q=0,

dont les racines sont

x=−1−√(−3)/2 a, x=−1−√(−3)/2 b, x=−1−√(−3)/2 c;

et pareillement l’équation conjuguée

x³+−1−√(−3)/2 px+q=0,

dont les racines sont

x=(−1+√(−3))/2 a, x=(−1+√(−3))/2 b, x=(−1+√(−3))/2 c.

7. Si les racines de la proposée se présentent toutes sous une forme embarrassée d’imaginaires, ce qui arrive lorsque 1/4 q²+1/27 p³ 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 a, b, c, est donc réelle ; mais, lorsque 1/4 q²+1/27 p³ négatif, une de ces racines ne peut être réelle, sans que les deux autres ne le soient aussi.

En effet, si a est réelle, b+c=−a est aussi réel. D’ailleurs, q=(b+c)bc est réel ; donc, puisque b+c est réel, bc doit l’être pareillement. De plus, on a

√(1/4 q²+1/27 p³)=((b−c)[2(b+c)+bc]√(−3))/2.3²,

d’où

√(−( 1/4 q²+1/27 p³))=−((b−c)[2(b+c)+bc])/2.3 ;

or, le premier membre de cette équation est réel ; donc le second l’est aussi ; mais le facteur 2(b+c)+bc est réel, puisque b+c et bc le sont ; donc l’autre facteur b−c l’est de même ; et, puisque b+c et b−c sont réels, b et c le sont nécessairement ; donc enfin les trois racines a, b, c 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.

1. Nommant a, b, c, d, les racines de la proposée x⁴+px² +qx+r=0, on a, par la théorie générale des équations,

a+b+c+d=0,

ab+ac+bc+ad+bd+cd=p,

abc+abd+acd+bcd=−q,

abcd=r;

partant

(−2(a+b)²−(a−b)²−(c−d)²)/2²=p,

((a+b)(a−b)²−(a+b)(c−d)²)/2²=−q,

([(a+b)²−(a−b)²][(a+b)²−(c−d)²])/2⁴=r.

En faisant

a+b=y, a−b=z, c−d=z′,

ces équations deviennent

−2y²−z²−z′²=4p,

yz²−yz′²=−4q,

(y²−z²)(y²−z′²)=16r.

ce qui donne

z²=−y²−2p−2q/y,

z′²=−y²−2p+2q/y,

(y²+p+q/y )(y²+p−q/y )=4r;

d’où la réduite

y⁶+2py⁴+(p²−4r)y²−q²=0;

et les valeurs

l²=−2/3 p+³√(A+√B)+³√(A−√B),

m²=−2/3 p+1−√(−3)/2 ³√(A+√B)+(1+√(−3))/2 ³√(A−√B),

n²=−2/3 p+(1+√(−3))/2 ³√(A+√B)+1−√(−3)/2 ³√(A−√B);

pour les trois racines de cette réduite, considérée comme équation du troisième degré ; valeurs dans lesquelles A et B désignent des fonctions connues des coefficiens de cette même réduite.

Cela posé, on a

a+b=y, a−b=√(−y²−2p−2q/y),

c+d=−y, c−d=√(−y²−2p+2q/y);

donc

a=+1/2 y+1/2 √(−y²−2p−2q/y), b=+1/2 y−1/2 √(−y²−2p−2q/y), c=−1/2 y+1/2 √(−y²−2p+2q/y), d=−1/2 y−1/2 √(−y²−2p+2q/y);

expressions qui donneront les quatre racines de la proposée, si l’on y met pour y une des six valeurs connues représentées par ±l, ±m, ±n, 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

l²+m²+n²=−2p,

l²m²n²=q²;

et que, de cette dernière équation, on tire

±lmn=q;

le signe supérieur ou le signe inférieur ayant lieu, suivant que q est positif ou négatif ; car nous supposons l, m, n les racines positives de l², m², n².

Nous prendrons d’abord q 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 −2p et de +q dans celles de a, b, c, d, et prenant arbitrairement y=l, ces dernières deviendront

a=(+l+m−n)/2,

b=(+l−m+n)/2, c=(−l+m+n)/2, d=−l−m−n/2 ;

formules qui donneront les racines de la proposée, lorsque q est positif.

Et par conséquent les doubles formules

a=± (+l+m−n)/2, b=± (+l−m+n)/2, c=± (−l+m+n)/2, d=± −l−m−n/2,

prises avec le signe supérieur ou avec l’inférieur, donneront respectivement les racines de la proposée, suivant que q 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

y=±l=a+b=−(c+d), y=±m=a+c=−(b+d), y=±n=b+c=−(a+d).

d’où

l =±(a+b)=∓(c+d), l =∓(a+b)=±(c+d), m=±(a+c)=∓(b+d), m=∓(a+c)=±(b+d), n =±(b+c)=∓(a+d), n =∓(b+c)=±(a+d).

On a donc les racines de la réduite, en fonction des racines de la proposée.

4. Observons que la première expression

x=1/2 y+1/2 √(−y²−2p−2q/y),

des quatre racines de la proposée, comprend tacitement

x=1/2 y−1/2 √(−y²−2p−2q/y).

Or si, dans la formule

x=1/2 y± 1/2 √(−y²−2p−2q/y),

on substitue les valeurs de −2p et de q, comme on l’a fait (Art. 2) ; et que, de plus, on prenne successivement pour y les six valeurs

y=±l, y=±m, y=±n,

on trouvera

x=a, x=b, x=c, x=d;

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 lmn=±q, il est aisé de voir que la méthode résout, non seulement l’équation proposée

x⁴+px²+qx+r=0,

dont les racines sont

x=a, x=b, x=c, x=d;

mais encore l’équation conjuguée

x⁴+px²−qx+r=0,

dont les racines sont

x=−a, x=−b, x=−c, x=−d.

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. Voici une démonstration directe et rigoureuse de la réalité des racines dans le premier cas.

Si les racines l², m², n², de la réduite, considérée comme équation du troisième degré, sont réelles et positives, les racines, l, m, n de cette même réduite, considérée comme équation du sixième degré, sont aussi réelles. Donc, puisqu’on a

a=± (+l+m−n)/2, b=± (+l−m+n)/2, c=± (−l+m+n)/2, d=± −l−m−n/2

les racines a, b, c, d 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é.

* ↑ Ce qu’on va lire n’est que l’extrait d’un mémoire beaucoup plus étendu que l’auteur a bien voulu réduire à ce qu’il renfermait d’essentiel. J. D. G.
* ↑ Il est difficile de penser que M. de Missery eût pu deviner toutes ces transformations, s’il n’eût connu, à l’avance, la forme des racines du 3.ᵐᵉ degré. Le propre d’une bonne méthode paraît être cependant de ne présupposer aucune connaissance acquise sur ce qu’on cherche. J. D. G.
* ↑ Ce n’est presque pas la peine de dire que Lagrange se sert du calcul différentiel en cet endroit ; il ne l’emploie que par pure élégance ; et l’usage qu’il en fait pourrait facilement être suppléé par le théorème des racines égales. J. D. G.
* ↑ Cependant, deux d’entre elles deviendront réelles, si l’on a l=m, ou l=n, ou m=n. (Note de l’auteur.)
