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

Nous allons voir une première méthode générale de résolution des équations du quatrième degré. C'est la première méthode à avoir été élaborée. Elle est due à Ludovico Ferrari.

## Exercice d'échauffement

Développons le produit :
    $(x^{2}-x+1)(x^{2}+5x-2)$.
Nous obtenons :
    $(x^{2}-x+1)(x^{2}+5x-2)=x^{4}+4x^{3}-6x^{2}+7x-2$.
Cette opération ne nous a pas beaucoup posé de problème. Nous savons faire cela depuis longtemps.
Mais supposons que l’on nous ait posé le problème inverse. C'est-à-dire :
Factoriser le polynôme :
    $x^{4}+4x^{3}-6x^{2}+7x-2$.
sous forme de produit de deux polynômes du second degré à coefficients entiers. Là, le problème est moins évident. Comment allons-nous procéder ? Nous allons pour cela utiliser la méthode de Ferrari :
Nous commencerons par appliquer la technique standard d'élimination du terme de degré 3, en posant :
    $x=z-1$.
On obtient :
    $x^{4}+4x^{3}-6x^{2}+7x-2=z^{4}-12z^{2}+27z-18$.
Nous remarquons ensuite que pour tout paramètre λ, nous avons :
    $z^{4}=(z^{2}+\lambda )^{2}-2\lambda z^{2}-\lambda ^{2}$.
En reportant cette valeur de z$^4$ dans l'égalité précédente, nous obtenons :
    ${\begin{aligned}x^{4}+4x^{3}-6x^{2}+7x-2&=(z^{2}+\lambda )^{2}-2\lambda z^{2}-\lambda ^{2}-12z^{2}+27z-18\\&=(z^{2}+\lambda )^{2}-(2\lambda +12)z^{2}+27z-\lambda ^{2}-18\\&=(z^{2}+\lambda )^{2}-[(2\lambda +12)z^{2}-27z+\lambda ^{2}+18].\end{aligned}}$
Nous allons maintenant essayer de déterminer λ de façon que l’expression entre crochets s'écrive sous forme de carré pour pouvoir utiliser la célèbre identité remarquable a$^2$ – b$^2$ = (a – b)(a + b).
L'expression :
    $(2\lambda +12)z^{2}-27z+\lambda ^{2}+18$
peut être considérée comme un polynôme du second degré en z (pour autant que λ soit différent de –6). Elle pourra se mettre sous forme de carré si son discriminant est nul (revoir éventuellement le cours sur les équations du second degré).
Calculons son discriminant :
    ${\begin{aligned}\Delta &=(-27)^{2}-4(2\lambda +12)(\lambda ^{2}+18)\\&=-8\lambda ^{3}-48\lambda ^{2}-144\lambda -135.\end{aligned}}$
Nous devons donc choisir une valeur de λ qui annule le discriminant, ce qui revient à résoudre l'équation du troisième degré d'inconnue λ :
    $8\lambda ^{3}+48\lambda ^{2}+144\lambda +135=0$.
Une racine évidente est –3/2. Nous poserons donc :
    $\lambda =-{\frac {3}{2}}$.
Nous pouvons alors continuer notre calcul entamé plus haut :
    ${\begin{aligned}x^{4}+4x^{3}-6x^{2}+7x-2&=(z^{2}+\lambda )^{2}-[(2\lambda +12)z^{2}-27z+\lambda ^{2}+18]\\&=\left(z^{2}-{\frac {3}{2}}\right)^{2}-\left[\left(-2\times {\frac {3}{2}}+12\right)z^{2}-27z+\left(-{\frac {3}{2}}\right)^{2}+18\right]\\&=\left(z^{2}-{\frac {3}{2}}\right)^{2}-\left[9z^{2}-27z+{\frac {81}{4}}\right]\\&=\left(z^{2}-{\frac {3}{2}}\right)^{2}-\left(3z-{\frac {9}{2}}\right)^{2}\\&=\left[z^{2}-{\frac {3}{2}}-3z+{\frac {9}{2}}\right]\times \left[z^{2}-{\frac {3}{2}}+3z-{\frac {9}{2}}\right]\\&=[z^{2}-3z+3][z^{2}+3z-6]\\&=[(x+1)^{2}-3(x+1)+3][(x+1)^{2}+3(x+1)-6]\\&=(x^{2}-x+1)(x^{2}+5x-2)\end{aligned}}$
et nous constatons que nous avons bien réobtenu la factorisation dont nous étions partis au début de ce paragraphe.

## Analyse de l'exercice d’échauffement

Le point essentiel du calcul fait précédemment se trouve au niveau de la résolution de l'équation :
    $8\lambda ^{3}+48\lambda ^{2}+144\lambda +135=0$.
En effet, cette équation, qui est du troisième degré, avait une racine évidente. On peut légitimement penser que si cette équation n'avait pas eu une racine évidente, le calcul se serait considérablement compliqué. En fait, le polynôme que nous devions factoriser :
    $x^{4}+4x^{3}-6x^{2}+7x-2$
a été obtenu à partir du développement du produit :
    $(x^{2}-x+1)(x^{2}+5x-2)$
et c’est pour cela que l'équation du troisième degré a une racine évidente. Chaque fois qu'un polynôme du quatrième degré peut se factoriser comme produit de deux polynômes du second degré à coefficients rationnels, l'équation du troisième degré intervenant dans le calcul aura au moins une racine évidente.
Nous invitons donc le lecteur, pour s'entraîner à cet exercice, à commencer par développer un produit de deux polynôme du second degré à coefficients entiers pris au hasard et à essayer ensuite de refactoriser le polynôme du quatrième degré obtenu.
Nous vous invitons aussi, avant d’aborder le paragraphe suivant, à faire l'exercice 5-1.

## Généralisation à la résolution des équations du quatrième degré

Dans ce paragraphe, nous allons décrire la méthode de Ferrari permettant de résoudre toutes les équations de la forme
    $z^{4}+pz^{2}+qz+r=0$
(nous savons que toute équation de degré 4 s'y ramène).
Nous supposerons de plus que $q\neq 0$ (car lorsque $q=0$, l'équation est bicarrée donc facile à résoudre).
Le principe de cette méthode consiste à essayer de factoriser le premier membre de l'équation sous forme de produit de deux polynômes du second degré, comme nous l'avons fait dans l'exercice d'échauffement, pour pouvoir se ramener à la résolution de deux équations du second degré. La seule différence réside dans le fait que le polynôme du troisième degré intervenant dans les calculs n'aura pas forcément une racine évidente.
Comme dans le paragraphe précédent, nous remarquons que :
    $z^{4}=(z^{2}+\lambda )^{2}-2\lambda z^{2}-\lambda ^{2}$.
Le premier membre de l'équation précédente s'écrit alors :
    ${\begin{aligned}z^{4}+pz^{2}+qz+r&=(z^{2}+\lambda )^{2}-2\lambda z^{2}-\lambda ^{2}+pz^{2}+qz+r\\&=(z^{2}+\lambda )^{2}-(2\lambda -p)z^{2}+qz-\lambda ^{2}+r\\&=(z^{2}+\lambda )^{2}-[(2\lambda -p)z^{2}-qz+\lambda ^{2}-r].\end{aligned}}$
Nous allons maintenant essayer de déterminer λ de façon que l’expression entre crochets s'écrive sous forme de carré pour pouvoir utiliser l'identité a$^2$ – b$^2$ = (a – b)(a + b).
L'expression :
    $(2\lambda -p)z^{2}-qz+\lambda ^{2}-r$
peut être considérée comme un polynôme du second degré en z (pour autant que 2λ – p soit non nul). Elle pourra se mettre sous forme de carré si son discriminant est nul (revoir éventuellement le cours sur les équations du second degré).
Calculons son discriminant :
    ${\begin{aligned}\Delta &=(-q)^{2}-4(2\lambda -p)(\lambda ^{2}-r)\\&=-8\lambda ^{3}+4p\lambda ^{2}+8r\lambda -4pr+q^{2}.\end{aligned}}$
Nous devons donc choisir une valeur de λ qui annule le discriminant, ce qui revient à résoudre l'équation du troisième degré d'inconnue λ :
    $8\lambda ^{3}-4p\lambda ^{2}-8r\lambda +4pr-q^{2}=0$.
Soient λ$_0$, λ$_1$, λ$_2$ les trois racines de cette dernière équation (elles vérifient bien $2\lambda _{i}-p\neq 0$, d'après l'hypothèse $q\neq 0$). 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 simple. 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 λ$_0$ et reprenons le calcul commencé précédemment en remplaçant λ par λ$_0$ et en tenant compte du fait que cette valeur annule le discriminant de (2λ$_0$ – p)z$^2$ – qz + λ$_0$$^2$ – r.
On obtient :
    ${\begin{aligned}z^{4}+pz^{2}+qz+r&=(z^{2}+\lambda _{0})^{2}-2\lambda _{0}z^{2}-\lambda _{0}^{2}+pz^{2}+qz+r\\&=(z^{2}+\lambda _{0})^{2}-(2\lambda _{0}-p)z^{2}+qz-\lambda _{0}^{2}+r\\&=(z^{2}+\lambda _{0})^{2}-[(2\lambda _{0}-p)z^{2}-qz+\lambda _{0}^{2}-r]\\&=(z^{2}+\lambda _{0})^{2}-(2\lambda _{0}-p)\left(z-{\frac {q}{2(2\lambda _{0}-p)}}\right)^{2}\\&=\left(z^{2}+z{\sqrt {2\lambda _{0}-p}}+\lambda _{0}-{\frac {q}{2{\sqrt {2\lambda _{0}-p}}}}\right)\left(z^{2}-z{\sqrt {2\lambda _{0}-p}}+\lambda _{0}+{\frac {q}{2{\sqrt {2\lambda _{0}-p}}}}\right),\end{aligned}}$
où ${\sqrt {2\lambda _{0}-p}}$ désigne l'une des deux racines carrées (éventuellement complexes) de $2\lambda _{0}-p$.
L'équation $z^{4}+pz^{2}+qz+r=0$ est donc équivalente à :
    $z^{2}+z{\sqrt {2\lambda _{0}-p}}+\lambda _{0}-{\frac {q}{2{\sqrt {2\lambda _{0}-p}}}}=0\quad {\text{ou}}\quad z^{2}-z{\sqrt {2\lambda _{0}-p}}+\lambda _{0}+{\frac {q}{2{\sqrt {2\lambda _{0}-p}}}}=0$.
Nous nous sommes ainsi ramenés à la résolution de deux équations du second degré.
Pour la première équation, le discriminant est :
    $\Delta _{+}=2\lambda _{0}-p-4\left(\lambda _{0}-{\frac {q}{2{\sqrt {2\lambda _{0}-p}}}}\right)=-2\lambda _{0}-p+{\frac {2q}{\sqrt {2\lambda _{0}-p}}}$
et les solutions sont :
    $z_{0}={\frac {-{\sqrt {2\lambda _{0}-p}}+{\sqrt {\Delta _{+}}}}{2}},\quad z_{1}={\frac {-{\sqrt {2\lambda _{0}-p}}-{\sqrt {\Delta _{+}}}}{2}}$.
Pour la deuxième équation, le discriminant est :
    $\Delta _{-}=2\lambda _{0}-p-4\left(\lambda _{0}+{\frac {q}{2{\sqrt {2\lambda _{0}-p}}}}\right)=-2\lambda _{0}-p-{\frac {2q}{\sqrt {2\lambda _{0}-p}}}$
et les solutions sont :
    $z_{2}={\frac {{\sqrt {2\lambda _{0}-p}}+{\sqrt {\Delta _{-}}}}{2}},\quad z_{3}={\frac {{\sqrt {2\lambda _{0}-p}}-{\sqrt {\Delta _{-}}}}{2}}$.
(À nouveau, ${\sqrt {\Delta _{+}}}$ désigne l'une des deux racines carrées de $\Delta _{+}$, et de même pour $\Delta _{-}$.)

## Résumé de la méthode de Ferrari

Ce que nous avons fait au paragraphe précédent est un peu long. Nous allons le résumer dans un encadré.
Soit à résoudre une équation mise sous la forme :
    $z^{4}+pz^{2}+qz+r=0$
dont les racines seront notées z$_0$, z$_1$, z$_2$, z$_3$.
Si $q=0$, l'équation est bicarrée.
Si $q\neq 0$, nous commencerons par résoudre l'équation :
    $8\lambda ^{3}-4p\lambda ^{2}-8r\lambda +4pr-q^{2}=0$.
Soit λ$_0$ l'une des trois racines de cette dernière équation.
Nous en déduisons les solutions :
    ${\begin{cases}z_{0}={\frac {1}{2}}\left(-{\sqrt {2\lambda _{0}-p}}+{\sqrt {-2\lambda _{0}-p+{\frac {2q}{\sqrt {2\lambda _{0}-p}}}}}\right)\\z_{1}={\frac {1}{2}}\left(-{\sqrt {2\lambda _{0}-p}}-{\sqrt {-2\lambda _{0}-p+{\frac {2q}{\sqrt {2\lambda _{0}-p}}}}}\right)\\z_{2}={\frac {1}{2}}\left({\sqrt {2\lambda _{0}-p}}+{\sqrt {-2\lambda _{0}-p-{\frac {2q}{\sqrt {2\lambda _{0}-p}}}}}\right)\\z_{3}={\frac {1}{2}}\left({\sqrt {2\lambda _{0}-p}}-{\sqrt {-2\lambda _{0}-p-{\frac {2q}{\sqrt {2\lambda _{0}-p}}}}}\right).\end{cases}}$

## Cas général

Pour résoudre par la méthode de Ferrari une équation de la forme
    $x^{4}+bx^{3}+cx^{2}+dx+e=0$,
la mettre au préalable, comme exposé ci-dessus, sous la forme
    $z^{4}+pz^{2}+qz+r=0$
ne simplifie en rien les calculs. Il est donc préférable de procéder directement comme suit$^,$$^,$ (si $b=0$, on retrouvera, aux notations près, les formules précédentes).
On suppose que l'équation ne se ramène pas à une équation bicarrée, c'est-à-dire (cf. chapitre précédent) que $b^{3}-4bc+8d\neq 0$.
L'équation se réécrit :
    $\left(x^{2}+{\frac {b}{2}}x\right)^{2}=\left({\frac {b^{2}}{4}}-c\right)x^{2}-dx-e$,
ou encore :
    $\left(x^{2}+{\frac {b}{2}}x+\lambda \right)^{2}=\left({\frac {b^{2}}{4}}-c+2\lambda \right)x^{2}+(b\lambda -d)x+\lambda ^{2}-e$.
Le second membre est un carré si et seulement si
    $(b\lambda -d)^{2}=4\left({\frac {b^{2}}{4}}-c+2\lambda \right)\left(\lambda ^{2}-e\right)$
c'est-à-dire :
    $8\lambda ^{3}-4c\lambda ^{2}+\left(2bd-8e\right)\lambda -b^{2}e+4ce-d^{2}=0$.
Soit $\lambda _{0}$ une solution de cette résolvante cubique et soit $\mu _{0}$ une racine carrée de $2\lambda _{0}-c+{\frac {b^{2}}{4}}$ (qui est nécessairement non nul, d'après l'hypothèse $b^{3}-4bc+8d\neq 0$). L'équation s'écrit alors :
    $\left(x^{2}+{\frac {b}{2}}x+\lambda _{0}\right)^{2}=\left(\mu _{0}x+{\frac {b\lambda _{0}-d}{2\mu _{0}}}\right)^{2}$
donc est équivalente à
    $x^{2}+\left(\mu _{0}+{\frac {b}{2}}\right)x+\lambda _{0}+{\frac {b\lambda _{0}-d}{2\mu _{0}}}=0\quad {\text{ou}}\quad x^{2}+\left(-\mu _{0}+{\frac {b}{2}}\right)x+\lambda _{0}-{\frac {b\lambda _{0}-d}{2\mu _{0}}}=0$.
Pour la première équation, le discriminant est
    $\Delta _{+}=-2\lambda _{0}-c+2{\frac {d-b\lambda _{0}}{\mu _{0}}}+b\mu _{0}+{\frac {b^{2}}{2}}$
et les solutions sont
    $x_{0}={\frac {-\mu _{0}+{\sqrt {\Delta _{+}}}}{2}}-{\frac {b}{4}},\quad x_{1}={\frac {-\mu _{0}-{\sqrt {\Delta _{+}}}}{2}}-{\frac {b}{4}}$.
La seconde équation se résout de même en remplaçant partout $\mu _{0}$ par $-\mu _{0}$ :
    $\Delta _{-}=-2\lambda _{0}-c-2{\frac {d-b\lambda _{0}}{\mu _{0}}}-b\mu _{0}+{\frac {b^{2}}{2}}$,
    $x_{2}={\frac {\mu _{0}+{\sqrt {\Delta _{-}}}}{2}}-{\frac {b}{4}},\quad x_{3}={\frac {\mu _{0}-{\sqrt {\Delta _{+}}}}{2}}-{\frac {b}{4}}$.
Reprenons (voir supra) le polynôme
    $X^{4}+4X^{3}-6X^{2}+7X-2$.
Il se réécrit :
    $\left(X^{2}+2X+\lambda \right)^{2}-\left(10+2\lambda \right)X^{2}+(7-4\lambda )X-\lambda ^{2}-2$,
qui est une différence de deux carrés si et seulement si
    $0=4\left(10+2\lambda \right)\left(\lambda ^{2}+2\right)-(7-4\lambda )^{2}=8\lambda ^{3}+24\lambda ^{2}+58\lambda +31=(2\lambda +1)(4\lambda ^{2}+10\lambda +31)$.
En reportant la valeur $\lambda =-{\frac {1}{2}}$, le polynôme se réécrit :
    $\left(X^{2}+2X-{\frac {1}{2}}\right)^{2}-\left(3X-{\frac {3}{2}}\right)^{2}=\left(X^{2}+2X-{\frac {1}{2}}+3X-{\frac {3}{2}}\right)\left(X^{2}+2X-{\frac {1}{2}}-3X+{\frac {3}{2}}\right)=\left(X^{2}+5X-2\right)\left(X^{2}-X+1\right)$.
Par construction, ${\frac {x_{0}x_{1}+x_{2}x_{3}}{2}}=\lambda _{0}$ et puisqu'on a des expressions analogues des $x_{i}$ en fonction des deux autres racines $\lambda _{1},\lambda _{2}$ de la résolvante, celles-ci sont nécessairement égales à ${\frac {x_{0}x_{2}+x_{1}x_{3}}{2}}$ et ${\frac {x_{0}x_{3}+x_{1}x_{2}}{2}}$.
Cette remarque est un avant-goût de la méthode de Lagrange, que nous étudierons bientôt.