Équation du quatrième degré/Méthode de Descartes

Après avoir vu la méthode de Ferrari, nous allons étudier une seconde méthode de résolution des équations du quatrième degré, due à René Descartes.

Préliminaire

La méthode de Descartes utilise la propriété suivante :

Exercice d'échauffement

Commençons par développer deux polynômes unitaires irréductibles du second degré dont les coefficients du premier degré sont opposés. Nous avons par exemple :

$(x^2+5x+3)(x^2-5x+2)=x^4-20x^2-5x+6$.

Nous allons maintenant essayer de refactoriser le polynôme xModèle:Exp – 20xModèle:Exp – 5x + 6 de manière à retrouver les deux polynômes du second degré, à coefficients du premier degré opposés, dont nous étions partis.

Pour cela, nous poserons a priori :

$x^4-20x^2-5x+6=(x^2+ax+b)(x^2-ax+c)$.

En développant le second membre, nous obtenons :

$x^4-20x^2-5x+6=x^4-(a^2-b-c)x^2-a(b-c)x+bc$.

Par identification des coefficients, nous obtenons le système :

$\{\begin{array}{c}{a}^2-b-c=20\\ a(b-c)=5\\ bc=6.\end{array}$

Nous voyons alors que ce système peut s'écrire :

$\{\begin{array}{c}b+c=a^2-20\\ b-c=\frac{5}{a}\\ bc=6.\end{array}$

Par addition et soustraction membre à membre des deux premières équations, on obtient :

$\{\begin{array}{c}b=\frac{1}{2}(a^2-20+\frac{5}{a})\\ c=\frac{1}{2}(a^2-20-\frac{5}{a})\\ bc=6.\end{array}$

En portant les valeurs trouvées de b et c des deux premières équations dans la troisième, on obtient :

$\{\begin{array}{c}b=\frac{1}{2}(a^2-20+\frac{5}{a})\\ c=\frac{1}{2}(a^2-20-\frac{5}{a})\\ \frac{1}{4}(a^2-20+\frac{5}{a})(a^2-20-\frac{5}{a})=6.\end{array}$

La troisième équation peut alors s'écrire, en utilisant l'identité remarquable (a + b)(a – b) = aModèle:Exp – bModèle:Exp :

$(a^2-20{)}^2-\frac{25}{a^2}=24$.

En multipliant les deux membres par aModèle:Exp, en développant et en mettant tous les termes dans le premier membre, on obtient :

$a^6-40a^4+376a^2-25=0$.

Nous voyons alors que aModèle:Exp est racine de l'équation :

$y^3-40y^2+376y-25=0$.

Cette équation admet 25 comme racine évidente. Par conséquent, on peut poser :

$a^2=25$

et l'on peut choisir a = 5.

On en déduit ensuite :

$b=\frac{1}{2}(a^2-20+\frac{5}{a})=\frac{1}{2}(5^2-20+\frac{5}{5})=3$ ;

$c=\frac{1}{2}(a^2-20-\frac{5}{a})=\frac{1}{2}(5^2-20-\frac{5}{5})=2$.

En reportant les valeurs trouvées de $a,b,c$ dans :

$x^4-20x^2-5x+6=(x^2+ax+b)(x^2-ax+c)$,

nous voyons que la factorisation recherchée de xModèle:Exp – 20xModèle:Exp – 5x + 6 est donc :

$x^4-20x^2-5x+6=(x^2+5x+3)(x^2-5x+2)$

et nous avons bien retrouvé le produit de deux polynômes du second degré dont nous étions partis au début.

Principe de la méthode de Descartes

Nous allons dans ce paragraphe généraliser ce qui a été vu dans un cas particulier au paragraphe précédent.

Soit donc à résoudre une équation de la forme :

$z^4+p{z}^2+qz+r=0$

(nous savons que toute équation de degré 4 s'y ramène).

Nous supposerons de plus que $q\ne 0$ (car lorsque $q=0$, l'équation est bicarrée donc facile à résoudre).

Nous allons essayer de factoriser le premier membre comme produit de deux polynômes unitaires du second degré, dont les coefficients de degré 1 sont alors nécessairement opposés. Nous écrirons donc :

$z^4+p{z}^2+qz+r=(z^2+az+b)(z^2-az+c)$.

En développant le second membre, nous obtenons :

$z^4+p{z}^2+qz+r=z^4+(b+c-a^2)z^2-a(b-c)z+bc$.

Par identification des coefficients, nous obtenons le système :

$\{\begin{array}{c}b+c-a^2=p\\ a(b-c)=-q\\ bc=r.\end{array}$

Nous voyons alors que $a$ est nécessairement non nul (puisque $q\ne 0$) et ce système peut s'écrire :

$\{\begin{array}{c}b+c=a^2+p\\ b-c=-\frac{q}{a}\\ bc=r.\end{array}$

Par addition et soustraction membre à membre des deux premières équations, on obtient :

$\{\begin{array}{c}b=\frac{a^2+p-\frac{q}{a}}{2}\\ c=\frac{a^2+p+\frac{q}{a}}{2}\\ 4bc=4r.\end{array}$

En portant les valeurs trouvées de b et c des deux premières équations dans la troisième, on obtient :

$\{\begin{array}{c}b=\frac{a^2+p-\frac{q}{a}}{2}\\ c=\frac{a^2+p+\frac{q}{a}}{2}\\ (a^2+p-\frac{q}{a})(a^2+p+\frac{q}{a})=4r.\end{array}$

La troisième équation peut alors s'écrire, en utilisant l'identité remarquable (a + b)(a – b) = aModèle:Exp – bModèle:Exp :

$(a^2+p{)}^2-\frac{q^2}{a^2}=4r$.

En multipliant les deux membres par $a^2$, en développant et en mettant tous les termes dans le premier membre, on obtient :

$a^6+2p{a}^4+(p^2-4r)a^2-q^2=0$.

Nous voyons alors que $a^2$ est racine de l'équation :

$y^3+2p{y}^2+(p^2-4r)y-q^2=0$.

Soit y₀, y₁, y₂ les trois racines de cette dernière équation. Laquelle de ces trois racines allons-nous choisir ? D'un point de vue théorique, cela n'a aucune importance. D'un point de vue pratique, nous choisirons, bien sûr, celle qui nous parait la plus sympa. Par exemple, s'il y a une racine réelle et deux racines complexes conjuguées, nous choisirons, sauf cas particulier, la racine réelle.

Supposons, pour fixer les idées, que la racine que nous choisissons est y₀. Comme aModèle:Exp = y₀, nous choisirons pour a l'une des deux racines carrées de y₀, que nous noterons :

$a=\sqrt{y_0}$.

En reportant cette valeur de a dans les deux premières équations du système, nous en déduisons :

$\{\begin{array}{c}b=\frac{y_0+p-\frac{q}{\sqrt{y_0}}}{2}\\ c=\frac{y_0+p+\frac{q}{\sqrt{y_0}}}{2}\\ a=\sqrt{y_0}.\end{array}$

L'équation à résoudre :

$z^4+p{z}^2+qz+r=0$,

que nous cherchions à factoriser sous la forme :

$(z^2+az+b)(z^2-az+c)=0$,

s'écrira par conséquent :

$(z^2+z\sqrt{y_0}+\frac{y_0+p-\frac{q}{\sqrt{y_0}}}{2})(z^2-z\sqrt{y_0}+\frac{y_0+p+\frac{q}{\sqrt{y_0}}}{2})=0$.

Nous nous sommes ramenés à résoudre les deux équations suivantes :

• $z^2+z\sqrt{y_0}+\frac{y_0+p-\frac{q}{\sqrt{y_0}}}{2}=0$ ;
• $z^2-z\sqrt{y_0}+\frac{y_0+p+\frac{q}{\sqrt{y_0}}}{2}=0$.

Ces deux équations du second degré sont les mêmes que dans la méthode de Ferrari, via le changement de paramètre $y_0=2{\lambda }_0-p$. Les expressions obtenues dans la suite de cette résolution sont donc identiques à celles du chapitre précédent :

$\begin{array}{cccccc}{z}_0& =& \frac{-\sqrt{y_0}+\sqrt{{\mathrm{\Delta }}_{+}}}{2},& z_1& =& \frac{-\sqrt{y_0}-\sqrt{{\mathrm{\Delta }}_{+}}}{2},\\ z_2& =& \frac{\sqrt{y_0}+\sqrt{{\mathrm{\Delta }}_{-}}}{2},& z_3& =& \frac{\sqrt{y_0}-\sqrt{{\mathrm{\Delta }}_{-}}}{2}\end{array}$

avec

${\mathrm{\Delta }}_{\pm }=y_0-2(y_0+p\pm \frac{q}{\sqrt{y_0}})=-y_0-2p\pm \frac{2q}{\sqrt{y_0}}$.

Résumé de la méthode de Descartes

Ce que nous avons fait au paragraphe précédent est un peu long. Nous allons le résumer dans un encadré.

Cas général

De même que la méthode de Ferrari, celle de Descartes s'applique tout aussi bien directement à une équation de la forme

$x^4+b{x}^3+c{x}^2+dx+e=0$,

sans la mettre au préalable sous la forme $z^4+p{z}^2+qz+r=0$.

Le principe est le même et la méthode s'écrit alors comme suit (si $b=0$, on retrouvera, aux notations près, les formules précédentes). Modèle:CfExo On suppose que l'équation ne se ramène pas à une équation bicarrée, c'est-à-dire (cf. chapitre 3) que $b^3-4bc+8d\ne 0$, et l'on cherche $f,g,f^{\prime },g^{\prime }$ tels que

$X^4+b{X}^3+c{X}^2+dX+e=(X^2+fX+g)(X^2+f^{\prime }X+g^{\prime })$,

c'est-à-dire

$\{\begin{array}{ccc}f+f^{\prime }& =b& (1)\\ g^{\prime }+g& =c-f{f}^{\prime }& (2)\\ f{g}^{\prime }+f^{\prime }g& =d& (3)\\ g{g}^{\prime }& =e& (4).\end{array}$

Ceci implique

$f\ne f^{\prime }$

(sinon, l'équation $(1)$ donnerait $f=f^{\prime }=\frac{b}{2}$ d'où, d'après les équations $(2)$ et $(3)$ : $d=\frac{b}{2}(g^{\prime }+g)=\frac{b}{2}(c-\frac{b^2}{4})$, ce qui est exclu par l'hypothèse $b^3-4bc+8d\ne 0$).

Le système est donc équivalent à

$\{\begin{array}{ccc}f+f^{\prime }& =b& (1)\\ g^{\prime }& =\frac{d-(c-f{f}^{\prime })f^{\prime }}{f-f^{\prime }}& (2^{\prime })\\ g& =\frac{(c-f{f}^{\prime })f-d}{f-f^{\prime }}& (3^{\prime })\\ g{g}^{\prime }& =e& (4)\end{array}$

et l'on peut le résoudre en réduisant le nombre d'équations et d'inconnues par substitutions successives : il suffit de reporter dans $(4)$ les expressions de $g$ et $g^{\prime }$ données par $(2^{\prime })$ et $(3^{\prime })$, et de trouver une solution $(f,f^{\prime })$ des équations $(1)$ et $(4^{\prime })$ (la nouvelle équation $(4)$ après ce report), puis d'en déduire $g$ et $g^{\prime }$ grâce à $(2^{\prime })$ et $(3^{\prime })$.

Plus explicitement :

$(4^{\prime }):[(c-f{f}^{\prime })f-d][d-(c-f{f}^{\prime })f^{\prime }]=(f-f^{\prime }{)}^{2}e$

devient, en posant

$y=-f{f}^{\prime }$

et en tenant compte de $(1)$ :

$-d^2+bd(c+y)+(c+y{)}^{2}y=(b^2+4y)e$,

qui est une équation de degré 3 en $y$ (la résolvante) :

$y^3+2c{y}^2+(c^2-4e+bd)y-d^2+bcd-b^{2}e=0$.

Soit $y_0$ l'une des trois racines de cette équation. Les solutions $f,f^{\prime }$ de

$\{\begin{array}{ccc}f+f^{\prime }& =b& (1)\\ f{f}^{\prime }& =-y_0\end{array}$

sont :

$f=\sqrt{y_0+\frac{b^2}{4}}+\frac{b}{2},f^{\prime }=-\sqrt{y_0+\frac{b^2}{4}}+\frac{b}{2}$

et les valeurs correspondantes de $g,g^{\prime }$ sont donc :

$g=\frac{y_0+c}{2}-\frac{d-b(c+y_0)/2}{2\sqrt{y_0+b^2/4}},g^{\prime }=\frac{y_0+c}{2}+\frac{d-b(c+y_0)/2}{2\sqrt{y_0+b^2/4}}$.

Finalement, les quatre solutions de

$x^4+b{x}^3+c{x}^2+dx+e=0$

sont les deux solutions de $x^2+fx+g=0$ et les deux solutions de $x^2+f^{\prime }x+g^{\prime }=0$, c'est-à-dire :

$\begin{array}{cccccc}{x}_0& =& \frac{-f+\sqrt{{\mathrm{\Delta }}_{+}}}{2},& x_1& =& \frac{-f-\sqrt{{\mathrm{\Delta }}_{+}}}{2},\\ x_2& =& \frac{-f^{\prime }+\sqrt{{\mathrm{\Delta }}_{-}}}{2},& x_3& =& \frac{-f^{\prime }-\sqrt{{\mathrm{\Delta }}_{-}}}{2}\end{array}$

avec

${\mathrm{\Delta }}_{+}=f^2-4g\text{et}{\mathrm{\Delta }}_{-}=f{\text{'}}^2-4g^{\prime }$,

ce qui donne

${\mathrm{\Delta }}_{\pm }=-y_0-2c\pm \frac{2d-bc+b^3/4}{\sqrt{y_0+b^2/4}}$.