Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

169. Vers la résolution de l’équation réelle de degré 4 dans le cas général

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

Comme le degré apparent de cette équation est de $4$, c’est que le coefficient $a_4$ est non nul.

En divisant par $a_4$, 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}$ 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$, $(x^2+c_3x)^2 = x^4+2c_3x^3+c_3x^2.$

Du coup, pour tout réel $x$ :

\begin{aligned}
x^4+2c_3x^3+c_2x^2+c_1x+c_0 = 0 &\Longleftrightarrow (x^2+c_3x)^2-c_3x^2+c_2x^2+c_1x+c_0 = 0\\
&\Longleftrightarrow (x^2+c_3x)^2+(c_2-c_3)x^2+c_1x+c_0 = 0.
\end{aligned}

Utilisez un degré de liberté supplémentaire

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

\begin{aligned}
x^4+2c_3x^3+c_2x^2+c_1x+c_0 = 0 &\Longleftrightarrow (x^2+c_3x)^2+(c_2-c_3)x^2+c_1x+c_0 = 0\\
&\Longleftrightarrow (x^2+c_3x+k)^2-k^2-2k(x^2+c_3x)+(c_2-c_3)x^2+c_1x+c_0 = 0\\
&\Longleftrightarrow (x^2+c_3x+k)^2 +(c_2-c_3-2k)x^2+(c_1-2kc_3)x+c_0-k^2 = 0\\
&\Longleftrightarrow (2x^2+2c_3x+2k)^2 +4(c_2-c_3-2k)x^2+4(c_1-2kc_3)x+4c_0-4k^2 = 0.
\end{aligned}

A 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-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-2k.$

Alors :

\begin{aligned}
c_1-2kc_3 &= c_1+(\ell-c_2-c_3)c_3\\
&=c_3\ell +c_1-c_2c_3-c_3^2.
\end{aligned}

\begin{aligned}
4k^2 &= (\ell – c_2+c_3)^2\\
&= \ell^2+(-2c_2+2c_3)\ell+c_2^2+c_3^2-2c_2c_3.
\end{aligned}

Si bien que pour tout réel $x$ :

\begin{aligned}
P(x)&=4\ell x^2+4(c_3\ell +c_1-c_2c_3-c_3^2)x+4c_0 – \ell^2+(+2c_2-2c_3)\ell-c_2^2-c_3^2+2c_2c_3.\\
\end{aligned}

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

\begin{aligned}
16(c_3\ell +c_1-c_2c_3-c_3^2)^2 &= 4 (4\ell) (4c_0 – \ell^2+(2c_2-2c_3)\ell-c_2^2-c_3^2+2c_2c_3)\\
(c_3\ell +c_1-c_2c_3-c_3^2)^2 &= \ell (4c_0 – \ell^2+(2c_2-2c_3)\ell-c_2^2-c_3^2+2c_2c_3).
\end{aligned}

En développant, la relation s’écrit :
\begin{aligned}
…\ell^2+…\ell + (c_1-c_2c_3-c_3^2)^2 &= -\ell^3+…\ell^2+…\ell\\
\ell^3+\dots \ell^2+\dots\ell + (c_1-c_2c_3-c_3^2)^2 &= 0.
\end{aligned}

Deux cas sont possibles. Si $c_1-c_2c_3-c_3^2$ 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.

\begin{aligned}
x^4+2c_3x^3+c_2x^2+c_1x+c_0 = 0 &\Longleftrightarrow (2x^2+2c_3x+2k)^2 +P(x) = 0.
\end{aligned}

Second cas. Le nombre $c_1-c_2c_3-c_3^2$ est non nul. La fonction de degré 3 $\ell\mapsto \ell^3+\dots \ell^2+\dots\ell + (c_1-c_2c_3-c_3^2)^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^2)^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$ :

\begin{aligned}
x^4+2c_3x^3+c_2x^2+c_1x+c_0 = 0 &\Longleftrightarrow (2x^2+2c_3x+2k)^2 -(mx+p)^2 = 0.
\end{aligned}

Epilogue

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, à notre avis se révèle être la bonne puisqu’elle évite l’utilisation des nombres complexes. Une nouvelle étude sera faite dans l'article 170, 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.

Partagez !

Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.

Aidez-moi sur Facebook !

Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.

Lisez d'autres articles !

Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !