Chapitre X
Considérons une équation algébrique dont le premier membre soit une fonction rationnelle et entière de la variable x. Si n représente le degré de cette équation, elle pourra se mettre sous la forme
a0,a1,a2,…,an−1,an étant des coefficients constants réels ou imaginaires. On appelle racine de cette même équation toute expression réelle ou imaginaire qui, substituée à la place de l’inconnue x, rend le premier membre égal à zéro. Supposons d’abord, pour fixer les idées, que les constantes a0,a1,a2,…,an se réduisent à des quantités réelles. Alors, si deux valeurs réelles de x substituées dans le premier membre de l’équation (1) fournissent deux résultats entre lesquels zéro se trouve compris, c’est-à-dire deux résultats de signes contraires, on conclura du Chapitre II (§ II, théorème IV) que l’équation (1) admet une ou plusieurs racines réelles comprises entre ces valeurs. Il en résulte que toute équation de degré impair aura au moins une racine réelle. En effet, si n est un nombre impair, le premier membre de l’équation (1) changera de signe, avec son premier terme a0xn, toutes les fois qu’en attribuant à la variable x des valeurs numériques très considérables on fera passer cette variable du positif au négatif (voir le théorème VIII du Chapitre II, § I).
Lorsque n devient un nombre pair, la quantité xn demeurant positive tant que la variable x est réelle, le premier membre de l’équation (1) finit par être, pour de très grandes valeurs numériques de x, constamment de même signe que a0. Si, dans la même hypothèse, an et a0 sont de signes contraires, le premier membre changera évidemment de signe, lorsqu’on passera d’une très grande valeur numérique de x à une très petite, en laissant la variable toujours positive ou toujours négative. L’équation (1) aura donc alors deux racines réelles : l’une positive et l’autre négative.
Lorsque, n étant un nombre pair, a0 et an sont de même signe, il peut arriver que le premier membre de l’équation (1) reste, pour toutes les valeurs réelles de x, de même signe que a0, sans jamais s’évanouir. C’est ce qui a lieu, par exemple, pour chacune des équations binômes
x2+1=0,x4+1=0,x6+1=0,….
Dans un cas semblable, l’équation (1) n’aura plus de racines réelles ; mais on y satisfera en prenant pour x une expression imaginaire
u+v−1,
u,v désignant deux quantités réelles et finies. Cette proposition et celles que nous venons d’établir se trouvent renfermées dans le théorème suivant :
Théorème I. — Quelles que soient les valeurs réelles ou les valeurs imaginaires des constantes a0,a1,…,an−1,an, l’équation
dans laquelle n désigne un nombre entier égal ou supérieur à l’unité, a toujours des racines réelles ou imaginaires.
Démonstration. — Désignons, pour abréger, par f(x) le premier membre de l’équation (1): f(x) sera une fonction réelle ou imaginaire, mais toujours entière, de la variable x; et, puisque toute expression réelle u se trouve comprise comme cas particulier dans une expression imaginaire u+v−1, il suffira, pour établir le théorème énoncé, de démontrer généralement qu’on peut satisfaire à l’équation
en prenant
puis attribuant aux nouvelles variables u et v des valeurs réelles. Or, si l’on substitue la valeur précédente de x dans la fonction f(x), le résultat sera de la forme
φ(u,v)+−1χ(u,v),
φ(u,v),χ(u,v) désignant deux fonctions réelles et entières des variables u et v. Cela posé, l’équation (1) deviendra
φ(u,v)+−1χ(u,v)=0;
et, pour y satisfaire, il suffira de vérifier les deux équations réelles
ou, ce qui revient au même, l’équation unique
Donc, si l’on pose, pour plus de commodité,
il restera seulement à montrer que l’on peut obtenir des valeurs réelles de u et de v propres à faire évanouir la fonction
F(u,v).
On y parviendra sans peine à l’aide des considérations suivantes.
D’abord, pour déterminer la valeur générale de la fonction F(u,v), on représentera chacune des constantes réelles ou imaginaires a0,a1,…, an−1,an, ainsi que la variable imaginaire u+v−1, par le produit d’un module et d’une expression réduite ; et l’on écrira, en conséquence,
On aura, par suite,
et l’on en déduira
Il résulte de cette dernière formule que la fonction F(u,v), toujours évidemment positive, est le produit de deux facteurs, dont l’un, savoir
r2n=(u2+v2)n,
croîtra indéfiniment si l’on attribue aux variables u,v, ou à l’une d’elles seulement, des valeurs numériques de plus en plus grandes, tandis que l’autre facteur convergera dans la même hypothèse vers la limite ρ02, c’est-à-dire vers une limite finie différente de zéro. On en conclura que la fonction F(u,v) ne peut conserver une valeur finie qu’autant que les deux quantités u,v reçoivent elles-mêmes des valeurs de cette espèce, et devient infiniment grande dès que l’une des deux quantités croît indéfiniment. De plus, comme l’équation (4) donne pour F(u,v) une fonction entière, et par conséquent une fonction continue des variables u et v, il est clair que F(u,v), variant avec elles par degrés insensibles, et ne pouvant s’abaisser au-dessous de zéro, atteindra une ou plusieurs fois une certaine limite inférieure qu’elle ne dépassera jamais. Représentons par A cette limite, et par u0,v0 un des systèmes de valeurs finies de u et de v, pour lesquels F(u,v) se réduit à A, en sorte qu’on ait identiquement
La différence F(u,v)−F(u0,v0) ne s’abaissera jamais au-dessous de zéro ; par conséquent, si l’on fait
α désignant une quantité infiniment petite, et h,k deux quantités finies, l’expression
F(u0+αh,v0+αk)−F(u0,v0)
ne sera jamais négative. En partant de ce principe, il sera facile de déterminer la valeur de la constante A, ainsi qu’on va le faire voir.
Si dans l’expression imaginaire f(u+v−1) on substitue pour u et v leurs valeurs données par les formules (11), cette expression, devenant alors une fonction imaginaire et entière du produit
α(h+k−1),
pourra être développée suivant les puissances entières et ascendantes de ce même produit. En désignant par
R (cosT +−1sinT ),R1(cosT1+−1sinT1),……………………,Rn(cosTn+−1sinTn)
les coefficients imaginaires de ces puissances dont quelques-uns peuvent se réduire à zéro, et faisant, pour plus de commodité,
on obtiendra l’équation
dans laquelle les termes du second membre, et par conséquent les modules
R,R1,…,Rn,
ne sauraient s’évanouir tous en même temps. Comme on aura d’ailleurs
on conclura de l’équation (13)
et, par suite,
Si dans cette dernière formule on pose α=0, on en tirera
F(u0,v0)=R2.
Donc R2=A, R=A12. Si maintenant on développe le second membre de l’équation (16) suivant les puissances descendantes de R, et que l’on y remplace ensuite R par A12, cette équation deviendra
et, si l’on fait passer dans le premier membre la quantité A=F(u0,v0), on trouvera définitivement
Cela posé, puisque la différence
F(u0+αh,v0+αk)−F(u0,v0)
ne doit jamais s’abaisser au-dessous de la limite zéro, il faudra de toute nécessité que, pour de très petites valeurs numériques de α, le second membre de l’équation précédente, et par suite le premier terme de ce second membre, c’est-à-dire le terme qui renferme la plus petite puissance de α, ne puisse devenir négatif. Or, en désignant par Rm la première des quantités
R1,R2,…,Rn
qui obtient une valeur différente de zéro, on trouvera, pour le terme dont il s’agit,
2A12αmρmRmcos(Tm−T+mθ),
si A n’est pas nul, et
α2mpρ2mRm2
dans l’hypothèse contraire. De plus, comme, la valeur de l’arc étant tout à fait indéterminée, on peut en disposer de manière à donner au facteur
cos(Tm−T+mθ),
et par conséquent au produit
2A12αmρmRmcos(Tm−T+mθ),
tel signe que l’on voudra, il est clair que la seconde hypothèse reste seule admissible. On aura donc nécessairement
ce qui réduira l’équation (10) à
Il en résulte que la fonction F(u,v) s’évanouira si l’on attribue aux variables u,v les valeurs réelles u0,v0; et, par suite, que l’on vérifiera l’équation
en prenant
x=u0+v0−1.
En d’autres termes, u0+v0−1 sera une racine de l’équation
La démonstration précédente du théorème I, quoique différente en plusieurs points de celle qu’en a donnée M. Legendre (Théorie des Nombres, I Partie, § XIV), est fondée sur les mêmes principes.
Corollaire. — Le polynôme
f(x)=a0xn+a1xn−1+…+an−1x+an,
s’évanouissant, ainsi qu’on vient de le dire, pour
sera, en vertu du théorème I (Chapitre VIII, § IV), algébriquement divisible par le facteur
x−u0−v0−1.
Le quotient, ne pouvant être qu’un nouveau polynome du degré n−1 par rapport à x, sera encore nécessairement divisible par un nouveau facteur de même forme que le précédent, c’est-à-dire du premier degré par rapport à x. Désignons par
ce nouveau facteur. Le polynôme f(x) sera équivalent au produit des deux facteurs
par un troisième polynome du degré n−2. On prouvera que ce troisième polynôme est divisible par un troisième facteur semblable aux deux autres ; et, en continuant à opérer de la même manière, on finira par obtenir n facteurs linéaires du polynôme f(x). Soient respectivement
ces mêmes facteurs. n divisant le polynôme f(x) par leur produit, on trouvera pour quotient une constante évidemment égale au coefficient a0 de la plus haute puissance de x dans f(x). On aura, en conséquence,
Cette dernière équation renferme un théorème que l’on peut énoncer ainsi qu’il suit :
Théorème II. — Quelles que soient les valeurs réelles ou imaginaires des constantes a0,a1,…,an−1,an, le polynôme
a0xn+a1xn−1+…+an−1x+an=f(x)
sera équivalent au produit de la constante a0 par n facteurs linéaires de la forme
x−α−β−1.
Déterminer les facteurs dont il est ici question, c’est ce qu’on appelle décomposer le polynôme f(x) en ses facteurs linéaires. Il n’y a qu’une seule manière d’effectuer cette décomposition. Pour le démontrer, supposons que deux méthodes différentes aient fourni les deux équations
On en tirera
Le dernier membre de la formule précédente s’évanouissant lorsqu’on attribue à la variable x la valeur particulière u0+v0−1, il faudra de toute nécessité que, pour cette même valeur de x, le premier membre, et par conséquent l’un de ses facteurs (voir le Chapitre VII, § II, théorème VII, corollaire II), se réduise à zéro. Soit
le facteur dont il s’agit. On aura identiquement
α0+β0−1=u0+v0−1
et, par suite,
x−α0−β0−1=x−u0−v0−1.
Cela posé, la formule (23) pourra être remplacée par la suivante :
(x−α1−β1−1)…(x−αn−1−βn−1−1)=(x−u1−v1−1)…(x−un−1−vn−1−1).
Le second membre de celle-ci s’évanouissant lorsqu’on suppose
l’un des facteurs du premier membre, par exemple,
devra s’évanouir dans la même hypothèse, ce qui entraînera deux nouvelles équations identiques de la forme
α1+β1−1=u1+v1−1,x−α1−β1−1=x−u1−v1−1.
En répétant plusieurs fois le même raisonnement, on prouvera que les différents facteurs linéaires dont se composent les seconds membres des équations (22) sont absolument les mêmes dans l’une et l’autre équation. Il est essentiel d’ajouter que chaque facteur imaginaire de la forme
se change en un facteur réel x−α, toutes les fois que la quantité β se réduit à zéro.
Le premier membre de l’équation (1), étant, d’après ce qu’on vient de dire, décomposable d’une seule manière en facteurs linéaires, ne peut s’évanouir qu’avec l’un de ces facteurs. Si donc on les égale successivement à zéro, on obtiendra toutes les valeurs possibles de x propres à vérifier l’équation (1), c’est-à-dire toutes les racines de cette équation. Le nombre de ces racines, comme celui des facteurs linéaires, sera égal à n. De plus, à chaque facteur réel de la forme x−α correspondra une racine réelle α, et à chaque facteur imaginaire de la forme
une racine imaginaire
α+β−1.
Ces remarques suffisent pour établir la proposition suivante :
Théorème III. — Quelles que soient les valeurs réelles ou les valeurs imaginaires des constantes a0,a1,…,an−1,an, l’équation
a toujours n racines réelles ou imaginaires, et n’en saurait avoir un plus grand nombre.
Il peut arriver que plusieurs des racines de l’équation (1) soient égales entre elles. Dans ce cas, le nombre des valeurs différentes de la variable propres à vérifier cette même équation devient nécessairement inférieur à n. Ainsi, par exemple, l’équation du second degré
x2−2ax+a2=0
ayant ses deux racines égales, on ne pourra y satisfaire que par une seule valeur de x, savoir
x=a.
Lorsque les constantes a0,a1,…,an−1,an sont toutes réelles, l’expression imaginaire
α+β−1
ne peut évidemment être une racine de l’équation (1), sans que l’expression conjuguée
α−β−1
soit une autre racine de la même équation. Par conséquent, dans cette hypothèse, les facteurs imaginaires et linéaires du polynome qui forme le premier membre de l’équation (1) sont deux à deux conjugués et de la forme
x−α−β−1,x−α+β−1.
Le produit de deux semblables facteurs étant un polynôme réel du second degré, savoir
(x−α)2+β2,
on déduit immédiatement de l’observation qu’on vient de faire le théorème suivant :
Théorème IV. — Lorsque a0,a1,…,an−1,an désignent des constantes réelles, le polynôme
est décomposable en facteurs réels du premier ou du second degré.
Dans ce qui précède, nous avons présenté les racines imaginaires de l’équation (1) sous la forme
α±β−1.
Alors, pour le polynôme (24), un facteur réel du second degré correspondant à deux racines imaginaires conjuguées
α+β−1,α−β−1
était de la forme
(x−α)2+β2.
Si l’on fait, pour plus de commodité,
α±β−1=ρ(cosθ±−1sinθ)
(ρ désignant une quantité positive et θ un angle que l’on pourra supposer compris entre les limites 0,π), le même facteur réel du second degré deviendra
(x−ρcosθ)2+(ρsinθ)2=x2−2ρxcosθ+ρ2.
Il est facile de construire géométriquement cette dernière expression dans le cas où l’on attribue à la variable x une valeur réelle. En effet, si l’on trace un triangle dans lequel un angle soit égal à θ, les deux côtés adjacents étant respectivement représentés l’un par la valeur numérique de x, l’autre par le module ρ, le carré du troisième côté sera (d’après un théorème connu de Trigonométrie) la valeur du trinôme
x2−2ρxcosθ+ρ2,
toutes les fois que la variable x sera positive. Si la variable x devient négative, il suffira de remplacer dans la construction indiquée l’angle θ par son supplément.
Le troisième côté du triangle dont il est ici question ne peut s’évanouir que dans le cas où les deux premiers côtés tombent sur une même droite, et où leurs extrémités coïncident, ce qui exige : 1 que l’angle se réduise à zéro ou à π; 2 que la valeur numérique de x soit égale à ρ. Par suite, le facteur
x2−2ρxcosθ+ρ2
ne pourra devenir nul pour une valeur réelle de x, à moins que l’on ne suppose
cosθ=1oucosθ=−1;
et la seule valeur de x propre à faire évanouir ce facteur sera, dans la première hypothèse,
dans la seconde,
x=−ρ.
On arriverait directement au même but en observant que l’équation
x2−2ρxcosθ+ρ2=0
a deux racines
ρ(cosθ+−1sinθ),ρ(cosθ−−1sinθ),
qui ne peuvent cesser d’être imaginaires sans devenir égales, et que les seules valeurs de θ capables de produire cet effet sont celles qui vérifient la formule
sinθ=0,
de laquelle on tire
cosθ=±1
et, par conséquent,
pour la valeur commune des deux racines.
Jusqu’à présent, nous nous sommes bornés à déterminer le nombre des racines de l’équation (1), avec la forme de ces mêmes racines et celle des facteurs qui leur correspondent. Nous allons, dans les paragraphes suivants, passer en revue quelques cas particuliers dans lesquels on est parvenu à résoudre de semblables équations, sans être obligé de concevoir leurs coefficients convertis en nombres, et à exprimer les racines en fonctions algébriques ou trigonométriques de ces coefficients. Nous observerons ici à ce sujet que, dans toute équation algébrique dont le premier membre est une fonction rationnelle et entière de la variable x, on peut réduire par la division le coefficient de la plus haute puissance de x à l’unité, et celui de la puissance immédiatement inférieure à zéro par un changement de variable. En effet, si dans l’équation
a0xn+a1xn−1+…+an−1x+an=0
a0 n’est pas égal à 1, il suffira de diviser l’équation par a0 pour réduire le coefficient de xn à l’unité ; et, si dans une équation mise sous la forme
xn+a1xn−1+…+an−1x+an=0
a1 n’est pas nul, il suffira de poser
pour obtenir une transformée en z du degré n, qui n’ait plus de second terme, c’est-à-dire une transformée dans laquelle le coefficient de zn−1 s’évanouisse.
§ II. — Résolution algébrique ou trigonométrique des équations binômes et de quelques équations trinômes. Théorèmes de Moivre et de Cotes.
Considérons l’équation binôme
p désignant une quantité constante. On en tirera
xn=−p
ou, si l’on désigne par ρ la valeur numérique de ρ,
xn=±ρ.
On aura donc à résoudre l’équation
si −p est positif, et la suivante
si −p est négatif. On satisfait à la première en prenant
et à la seconde en prenant
Quant aux diverses valeurs de chacune des deux expressions ((1))1n, ((−1))1n, elles sont toujours en nombre égal à n (voir le Chapitre VII, § III), et se déduisent des deux formules
dans lesquelles il suffit d’attribuer successivement à k toutes les valeurs entières qui ne surpassent pas n2. Lorsque n est un nombre pair, la première des équations (6) fournit deux valeurs réelles de ((1))1n, savoir +1 et −1, correspondantes l’une à k=0, l’autre à k=n2. Dans la même hypothèse, toutes les valeurs de ((−1))1n sont imaginaires. Lorsque n devient un nombre impair, l’expression ((1))1n a une seule valeur réelle +1 correspondante à k=0, et l’expression ((−1))1n une seule valeur réelle −1 correspondante à k=n−12. Par suite, l’équation (1) admet deux racines réelles, ou n’en admet aucune, lorsque n est un nombre pair, et la même équation admet une seule racine réelle dans le cas contraire. De plus, on reconnaît immédiatement à l’inspection des formules (6) que les racines imaginaires sont conjuguées deux à deux, ainsi qu’on devait s’y attendre.
Considérons maintenant l’équation trinôme
p,q désignant deux quantités constantes choisies à volonté. On en tirera
x2n+pxn=−q
et, par suite,
Si p24−q est positif, l’équation qui précède entraînera l’une des deux suivantes :
xn+p2=+p24−q,xn+p2=−p24−q;
en sorte que xn admettra deux valeurs réelles comprises dans la formule
Lorsque le nombre n se réduit à l’unité, la formule (9) fournit immédiatement les deux racines réelles de l’équation trinôme du second degré
Dans le cas contraire, en substituant la formule dont il s’agit à l’équation (7), on n’a plus à résoudre que deux équations binômes semblables à celles que nous avons traitées ci-dessus.
Supposons maintenant la quantité p24−q négative. L’équation (8) entraînera l’une des deux suivantes :
xn+p2=+q−p24−1,xn+p2=−q−p24−1;
en sorte que xn admettra deux valeurs imaginaires comprises dans la formule
Si le nombre n se réduit à l’unité, ces valeurs seront les racines imaginaires de l’équation (10). Mais, si l’on suppose n>1, il restera encore à déduire des valeurs connues de xn les valeurs de x. Désignons par ρ, dans cette hypothèse, le module de l’expression imaginaire qui sert de second membre à la formule (11). On aura évidemment
Faisons en outre, pour plus de commodité,
Lorsque p sera négatif, les deux valeurs de xn données par la formule (11) deviendront
et l’on en conclura
Si au contraire p est positif, on trouvera
et, par suite,
Dans le cas particulier où l’on a
p24−q=0,
ζ devient nul ; en sorte que les équations (15) et (17) prennent la forme des équations (4) et (5).
Si l’on désigne, pour abréger, ρ1n par r, on tirera des équations (12) et (13), en supposant la quantité p négative,
p=−2rncosζ,q=r2n,
x2n+pxn+q=x2n−2rnxncosζ+r2n.
Dans la même hypothèse, la formule (15) donnera
k représentant un nombre entier, et l’on en conclura que le trinôme
x2n−2rnxncosζ+r2n
est décomposable en facteurs réels du second degré de la forme
x2−2rxcosζ±2kπn+r2,
Si l’on suppose au contraire la quantité p positive, le trinôme
x2n+pxn+q
deviendra
x2n+2rnxncosζ+r2n,
et ses facteurs réels du second degré seront de la forme
x2−2rxcosζ±(2k+1)πn+r2.
Dans l’une et l’autre hypothèse, on pourra construire géométriquement les facteurs réels du second degré par la méthode ci-dessus indiquée (voir le § I), toutes les fois que l’on attribuera des valeurs réelles à la variable x. Si l’on prend la valeur numérique de cette variable pour base commune de tous les triangles qui correspondent aux différents facteurs, et que dans chaque triangle on fasse aboutir constamment à une même extrémité de cette base le côté connu, représenté par r, on trouvera que les sommets des divers triangles coïncident avec les points de division d’une circonférence décrite du rayon r en parties égales. Il en résulte que, si l’on multiplie entre eux les carrés des lignes menées de la seconde extrémité de la base aux points dont il s’agit, le produit de ces carrés sera la valeur du trinôme
x2n+pxn+q=x2n±2rnxncosζ+r2n.
Dans le cas particulier où ζ=0 le produit des lignes elles-mêmes représente la valeur numérique du binôme
xn±rn,
laquelle se confond avec la racine carrée positive du trinôme
x2n±2rnxn+r2n.
Des deux propositions qu’on vient d’énoncer, la première est le théorème de Moivre, et la seconde celui de Cotes.
§ III. — Résolution algébrique ou trigonométrique des équations
du troisième et du quatrième degré.
Considérons l’équation générale du troisième degré. On pourra toujours, en faisant disparaître le second terme de cette équation. la ramener à la forme
p,q désignant deux quantités constantes. D’ailleurs, si l’on pose
u,v étant deux nouvelles variables, on en conclura
x3=(u+v)3=u3+v3+3uvx,
Pour rendre l’équation (2) identique avec la proposée, il suffira d’assujettir les inconnues u et v aux deux conditions
La résolution de l’équation (1) se trouve ainsi réduite à la résolution simultanée des équations (3) et (4).
Cherchons d’abord les valeurs de u3 et de v3. Si l’on fait
on aura, en vertu des équations (3) et (4),
z1+z2=−q,z1z2=−p327;
et, par suite, en nommant z une nouvelle variable,
(z−z1)(z−z2)=z2+qz−p327.
Il en résulte que z1,z2 seront les deux racines de l’équation
Ces deux racines étant connues, on déduira des formules (5) trois valeurs de u et trois valeurs de v, qui se correspondront deux à deux de manière à vérifier la formule (4). Soit U l’une quelconque des trois valeurs de u, et V la valeur correspondante de v, en sorte qu’on ait
UV=−p3.
Désignons en outre par α l’expression imaginaire
cos2π3+−1sin2π3;
les trois valeurs de l’expression ((1))13 seront respectivement
α0=1,
α =cos2π3+−1sin2π3=−12+3122−1,α2=cos2π3−−1sin2π3=−12−3122−1,
et les trois valeurs de u, évidemment comprises dans la formule générale ((1))13U, deviendront
U,αU,α2U.
On trouvera, pour les valeurs correspondantes de v,
ou, ce qui revient au même,
V,α2V,αV.
Par conséquent, si l’on nomme x0,x1,x2 les trois racines de l’équation (1), on aura
Il est essentiel d’observer que, U,αU,α2U étant les trois valeurs de u=((z))13, et V,α2V,αV les valeurs correspondantes de v=− p 3((z1))13, les racines x0,x1,x2, déterminées par les équations (7), seront respectivement égales aux trois valeurs de x données par la formule
Lorsque l’équation (6) a ses racines réelles, les formules (5) fournissent un système de valeurs réelles de u et de v qui se correspondent de manière à vérifier l’équation (4). Si l’on prend ces mêmes valeurs pour U et V, on reconnaîtra immédiatement que des trois racines x0,x1,x2, la première est nécessairement réelle, et les deux autres réelles ou imaginaires, suivant que la quantité
q24+p227
est nulle ou positive, c’est-à-dire suivant que l’équation (6) a ses racines égales ou inégales. Dans le premier cas, on trouve
x0=2U,x1=x2=−U.
Lorsque les racines de l’équation (6) deviennent imaginaires, on peut les présenter sous la forme
z1=ρ(cosθ+−1sinθ),z2=ρ(cosθ−−1sinθ),
le module ρ étant déterminé par l’équation
ρ2=−p327.
Comme on a, dans cette hypothèse,
((z))13=ρ13(cosθ3+−1sinθ3)((1))13,
la formule (8) se trouve réduite à
De plus, en prenant pour U l’expression imaginaire
ρ13(cosθ3+−1sinθ3),
on conclura des équations (7)
Ces trois dernières valeurs de x sont toutes réelles, et coïncident avec celles que fournit la formule (9).
Dans les calculs précédents, l’équation (6), dont la solution entraîne celle de l’équation (1), est ce qu’on appelle la réduite. Ses racines z1,z2 équivalent nécessairement à certaines fonctions des racines cherchées x0,x1,x2. Pour déterminer ces fonctions, il suffira d’observer que, U et V désignant des valeurs particulières de u et v, on aura, en vertu des formules (5),
z1=U3,z2=V3.
On tire d’ailleurs des équations (7)
3U=x0+αx2+α2x1=α(x2+αx1+α2x0)=α2(x1+αx0+α2x2),3V=x0+αx1+α2x2=α(x1+αx2+α2x0)=α2(x2+αx0+α2x1).
On trouvera donc, par suite,
Il en résulte que z1,z2 sont respectivement égales (à un coefficient numérique près) aux deux seules valeurs distinctes que présente le cube de la fonction linéaire
x0+αx1+α2x2,
lorsque dans cette fonction on échange entre elles les racines x0,x1,x2 de toutes les manières possibles. Le coefficient numérique est évidemment 127 ou le cube de la fraction 13.
Considérons maintenant l’équation générale du quatrième degré. On pourra, en faisant disparaître le second terme, la ramener à la forme
p,q,r désignant des quantités constantes. Si l’on pose, en outre,
u,v,w étant trois nouvelles variables, on en conclura
x2=u2+v2+w2+2(uv+uw+vw)
et, par suite,
[x2−(u2+y2+w2)]2=4(u2v2+u2w2+v2w2)+8uvw.x
ou, ce qui revient au même,
Pour rendre cette dernière équation identique avec la proposée, il suffira d’assujettir les inconnues u,v,w aux conditions
La résolution de l’équation (12) se trouve ainsi réduite à la résolution simultanée des équations (14).
Cherchons d’abord les valeurs de 4u2,4v2,4w2. Si l’on fait
on aura, en vertu des formules (14),
z1+z2+z3=−2p,z1z2+z1z3+z2z3=p2−4r,z1z2z3=q2;
et, par suite, en nommant z une nouvelle variable,
(z−z1)(z−z2)(z−z3)=z3+2pz2+(p2−4r)z−q2.
Il en résulte que z1,z2,z3 seront les trois racines de l’équation
et, puisque ces trois racines doivent vérifier la formule z1z2z3=q2, on peut assurer que l’une d’elles sera positive, les deux autres étant toutes deux à la fois positives, ou négatives, ou imaginaires. Lorsqu’on aura déterminé ces mêmes racines, les deux premières des équations (15) fourniront pour chacune des variables u et v deux valeurs égales, au signe près. Soient
u=±U,v=±V
les valeurs réelles ou imaginaires dont il s’agit ; et W une quantité réelle ou une expression imaginaire déterminée par l’équation
8UVW=−q.
Si dans la seconde des formules (14) on suppose
u=+U,v=+V
ou bien
u=−U,v=−V,
on en tirera
w=+W.
Si l’on y fait, au contraire,
u=+U,v=−V,
ou bien
u=−U,v=+V,
on trouvera
w=−W.
De cette manière on obtiendra pour les variables u,v,w quatre systèmes de valeurs propres à vérifier les équations (14) ; et, si l’on représente par x0,x1,x2,x3, les quatre valeurs correspondantes de l’inconnue
on aura
Il est aisé de reconnaître que ces quatre valeurs de x seront toutes réelles, si l’équation (16) a ses trois racines positives, et toutes imaginaires, si l’équation (16) a deux racines négatives inégales, tandis que deux valeurs seront réelles, et deux imaginaires, si l’équation (16) a deux racines négatives égales, ou deux racines imaginaires.
Par la méthode qu’on vient d’exposer, la résolution de l’équation (12) se trouve ramenée à celle de l’équation (16). Cette dernière, qu’on nomme la réduite, a nécessairement pour racines certaines fonctions des racines de la proposée. Si l’on veut déterminer ces fonctions, c’est-à-dire exprimer z1,z2,z3 par le moyen de x0,x1,x2,x3, il suffira d’observer que, U,V,W étant des valeurs particulières de u,v,w, on a, en vertu des formules (15),
z1=4U2,z2=4V2,z3=4W2.
On tire d’ailleurs des équations (17)
4U =x0−x1+x2−x3,4V =x0−x1+x3−x2,4W=x0−x2+x1−x3.
On trouvera, en conséquence,
Il en résulte que z1,z2,z3 sont, abstraction faite du coefficient numérique 14=(12)2, respectivement égales aux trois seules valeurs distinctes que présente le carré de la fonction linéaire
x0−x1+x2−x3
lorsque dans cette fonction on échange entre elles les racines x0,x1, x2,x3 de toutes les manières possibles. Cette même fonction linéaire, pouvant s’écrire ainsi qu’il suit
x0+(−1)x1+(−1)2x2+(−1)3x3,
n’est évidemment qu’un cas particulier de la formule générale
x0+αx1+α2x2+α3x3,
lorsqu’on désigne par α une des valeurs de l’expression ((1))14.
