Équation quartique

En mathématique, une équation quartique est une équation polynomiale de degré quatre.

Les équations quartiques ont été résolues dès que furent connues les méthodes de résolutions des équations du troisième degré. Ont été développées successivement la méthode de Ferrari (1522 - 1565) et la méthode de Descartes (1596 - 1650)

La méthode décrite ci-dessous est issue des propriétés des polynômes symétriques construits à partir des n racines d'un polynôme de degré n.

L'équation

$a{x}^4+b{x}^3+c{x}^2+dx+e=0$ (1)

se ramène, après division par a et changement de variable $y=x+\frac{b}{4a}$ à l'équation

$y^4+p{y}^2+qy+r=0$ (2)

dont les solutions sont

où z₁, z₂ et z₃ sont les trois racines du polynôme R résultant de degré trois.

Ces trois racines se déterminent à l'aide de la méthode de Cardan.

Par $\sqrt{z_i}$, il faut entendre, un des nombres dont le carré vaut $z_i$. On remarque que changer $\sqrt{z_i}$ en son opposé transforme l'ensemble $\{y_1,y_2,y_3,y_4\}$ en $\{-y_1,-y_2,-y_3,-y_4\}$. Il faut donc choisir les bonnes racines carrées. Ce sont celles telles que le produit $\sqrt{z_1}\sqrt{z_2}\sqrt{z_3}$ vaut - q.

Dans le cas où les coefficients p, q et r sont réels, on remarque que le produit des racines du polynôme R est q, on est donc limité sur la forme des racines du polynôme R et sur les solutions de l'équation quartique.

• Si les trois racines de R sont réelles positives, on obtient 4 valeurs réelles.
• Si les trois racines de R sont réelles et que deux sont négatives, on obtient deux couples de complexes conjugués.
• si R possède une racine réelle et deux racines complexes conjuguées, la racine réelle est positive et on obtient 2 valeurs réelles et deux complexes conjugués.

Il s'agit de trouver une expression faisant intervenir les 4 racines $y_1$, $y_2$, $y_3$ et $y_4$, et ne permettant d'obtenir, par permutations, que 3 valeurs distinctes.

C'est le cas par exemple de $-(y_1+y_2)(y_3+y_4)$ qui, par permutations, ne permet de donner que les valeurs

Tout polynôme symétrique en $z_1$, $z_2$, $z_3$ pourra être exprimé comme polynôme symétrique de $y_1$, $y_2$, $y_3$, $y_4$.

En particulier, les coefficients du polynôme $R(z)=(z-z_1)(z-z_2)(z-z_3)$ pourront s'exprimer à l'aide de p, q et r. Il est certain que la propriété

$y_1+y_2+y_3+y_4=0$ facilite les calculs.

On démontre en effet que

Les trois réels $z_1$, $z_2$, $z_3$ sont alors solutions de l'équation

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

Il reste maintenant à retrouver $y_1$, $y_2$, $y_3$, $y_4$ en fonction de $z_1$, $z_2$, $z_3$ sachant que $y_1+y_2+y_3+y_4=0$.

On remarque alors que

donc que

$y_1+y_2=\sqrt{z_1}$ et $y_3+y_4=-\sqrt{z_1}$

$y_1+y_3=\sqrt{z_2}$ et $y_2+y_4=-\sqrt{z_2}$

$y_1+y_4=\sqrt{z_3}$ et $y_2+y_3=-\sqrt{z_3}$

(il faut comprendre ici la notation $\sqrt{z_i}$ comme une des racines carrées de $z_i$).

Les valeurs de $y_i$ se retrouvent alors par simple addition.

Parmi les équations de degré quatre, certaines, particulières, peuvent se résoudre uniquement à l'aide des équations quadratiques, c'est le cas des équations bicarrées et des équation symétriques.

Équations bicarrées

Elles s'écrivent sous la forme

et se résolvent par changement de variable

$y=x^2$ et $a{y}^2+by+c=0$

Équations quasi-symétriques

Les équations du type

$x^4+a_1{x}^3+a_2{x}^2+a_{3}x+m^2=0$, avec $m=a_3/a_1$, peuvent être résolues à l'aide de la méthode d'Ana Flores : en divisant l'équation par $x^2$, on obtient

À l'aide du changement de variable

et sachant que

on obtient

$(z^2-2m)+a_{1}z+a_2=0$.

Cette équation admet au plus deux solutions $z_1$ et $z_2$.

Les racines de l'équation initiale peuvent être obtenues en résolvant

et

$x^2-z_{2}x+m=0$.

Si $a_0$ est différent de 1 dans

la méthode s'applique toujours. Il suffit de diviser toute l'équation par $a_0$.

L'équation quasi-symétrique a la propriété suivante : si x₁, $x_2$, et x₃,$x_4$ sont les racines de l'équation, alors $x_1{x}_2=m$ et $x_3{x}_4=m$.

Équations symétriques

Elles s'écrivent sous la forme

(il s'agit d'un cas particulier du cas précédent) et se résolvent par le changement de variable

et la résolution de

$a{z}^2+bz+c-2a=0$.