Une équation de degré 4 est de la forme $a_4x^4+a_3x^3+a_2x^2+a_1x+a_0=0$ d’inconnue $x\in\R$ avec $(a_4,a_3,a_2,a_1,a_0)\in\R^5.$

Comme cette équation est de degré $4\comma$ le coefficient $a_4$ est non nul.

En divisant par $a_4\comma$ vous obtenez une équation de la forme $x^4+b_3x^3+b_2x^2+b_1x+b_0 = 0.$

Voulant utiliser une identité remarquable, il sera commode de poser $c_3 = \frac{b_3}{2}\comma$ $c_2 = b_2\comma$ $c_1 = b_1$ et $c_0 = b_0\comma$ ce qui donne $x^4+2c_3x^3+c_2x^2+c_1x+c_0 = 0.$

Cette écriture sera plus commode dans la suite.

Utilisez l’identité remarquable $(u+v)^2=u^2+v^2+2uv$

Pour tout réel $x\comma$ $(x^2+c_3x)^2 = x^4+2c_3x^3+c_3^2x^2.$

Du coup, pour tout réel $x\comma$ vous avez :

Utilisez un degré de liberté supplémentaire

Soit $k$ un nombre réel fixé. Remarquez alors que :

À ce stade, il est important de considérer le trinôme défini par $\forall x\in\R, P(x)=4(c_2-c_3^2-2k)x^2+4(c_1-2kc_3)x+4c_0-4k^2.$

L’idée de Ferrari consiste à essayer de choisir $k\in\R$ pour que $P$ ait un discriminant nul avec un coefficient dominant strictement négatif.

Afin de traiter convenablement le coefficient dominant, vous posez $\ell = c_2-c_3^2-2k.$

Alors :

Si bien que, pour tout réel $x\comma$ vous avez :

Vous voulez que le trinôme $P$ ait un discriminant nul, ce qui conduit à avoir :

En développant, la relation s’écrit :

Deux cas sont possibles. Si $c_1-c_2c_3+c_3^3$ est nul, vous choisissez $\ell = 0.$

Vous constatez alors que le polynôme $P(x)$ est constant.

La résolution de l’équation de degré 4 s’en déduit selon le signe de cette constante.

Second cas. Le nombre $c_1-c_2c_3+c_3^3$ est non nul. La fonction de degré 3 $\ell\mapsto \ell^3+\dots \ell^2+\dots\ell + (c_1-c_2c_3+c_3^3)^2$ a une limite égale à $-\infty$ quand $\ell\to -\infty$ et prend une valeur strictement positive en $0.$

Il existe donc un réel $\ell$ strictement négatif tel que $ \ell^3+\dots \ell^2+\dots\ell + (c_1-c_2c_3+c_3^3)^2 = 0.$

Donc $P(x)$ admet une écriture de la forme $P(x) = -(mx+p)^2$ où $m$ et $p$ sont des réels.

Ainsi l’équation de degré 4 se résout par factorisation puisque, pour tout $x\in\R\comma$ vous avez :

Épilogue

Cette façon de faire, qui conduit à une disjonction de cas sur la fin et basée sur l’idée de Ferrari indique que tout polynôme unitaire réel de degré 4 admet une écriture sous la forme $(x^2+px+q)^2-(rx+s)^2$ où $(p,q,r,s)\in\R^4.$

C’est cette écriture qui se révèle être la bonne, puisqu’elle évite l’utilisation des nombres complexes. Une nouvelle étude sera faite dans un autre article, où vous trouverez une justification de l’existence de cette écriture par d’autres moyens puis comment déterminer les candidats potentiels pour enfin trouver dans la pratique cette écriture.

Pour en savoir davantage, allez lire le contenu rédigé dans l'article 170.