Soit l'quation d'inconnue x, coefficients rels, a non nul :

(e) : ax4 + bx3 + cx2 + dx + e = 0

Divisons par a et posons x = X - b/4a . Le terme en x3 disparat et (e) se

ramne alors la forme quivalente :

(e1) : x = X - b/4a et : X4 + AX2 + BX + C = 0

avec A = -3b2/8a2 + c/a , B = (b/2)3/a3 - bc/a2 + d/a , C = -3(b/4a)4 +

c(b/4)2/a3 - bd/a2 + e/a.

Si B = 0, on se ramne au second degr en posant X 2 = Y (forme X4 +

AX2 + C = 0 : quation bicarre).

Supposons B non nul. On peut avoir l'ide de faire apparatre un carr

en considrant X4 + AX2 comme le dbut du carr de X2 + A/2, mais
cela ne conduit rien. Maintenons cependant cette ide en
introduisant une inconnue auxiliaire u en calculant

(X2 + u/2)2 = X4 + uX2 + u2/4,

ce qui permet d'crire :

(e2) : (X2 + u/2)2 = (u - A)X2 - BX + u2/4 - C

quivalente (e1) pour toute valeur de u.

On impose les conditions u A et on force = 0, o est le

discriminant de l'quation en X du second membre, ce qui conduit

une quation du 3me degr, dite quation rsolvante :

(e3) : u3 - Au2 - 4Cu + 4AC - B2 = 0

quation du 3e degr que l'on sait rsoudre selon la formule de

Cardan.

on note que l'galit u = A ne peut avoir lieu car cela

impliquerait, dans (e3), B = 0 : ce qui n'est pas le cas.

(e2) devient quivalente :

 (X2 + u/2 )2 = (u - A)(X - z)2

o z dsigne la solution double du second membre de (e2) correspondant

une racine relle u de (e3), savoir :

Il existe au moins une racine u de la sorte car d'une part, l'image de

A par le polynme p du premier membre de (e3) est p(A) = - B 2 < 0, d'autre

part la limite de p pour u infini est infinie, ce qui prouve que p s'annule sur ]
A,+ [.

Dans ces conditions, la rsolution se ramne deux quations du second

degr. On voit que, dans R, l'quation du quatrime degr possde 0, 2 ou 4
solutions (ventuellement multiples).

Un exemple de rsolution :

(e) : x4 - 2x3 + 3x2 + 4x - 10 = 0

En posant x = X + 1/2, on se ramne : X 4 + 3X2/2 + 6X - 119/16 = 0. On a

donc ici A = 3/2, B = 6 et C = -119/16. L'quation rsolvante est alors : u 3-
Au2 - 4Cu + 4AC - B2 = 0, soit :

8u3 - 12u2 + 238u - 645 = 0

Selon la mthode de Cardan, on divise par 8, on pose u = t + 1/2, ce qui nous

ramne :

t3 + 29t - 66 = 0

On remarque, sans utiliser la formule de Cardan que t = 2 est une solution

vidente. Par suite u = 5/2 annule notre discriminant et nous avons u - A = 1,
d'o z = 3. Remplaons u et z par leurs valeurs dans l'quation bicarre
exhibe (X2 + u/2 )2 = (u - A)(X - z)2 plus haut :

elle devient :

(X2 + 5/4)2 = (X - 3)2

D'o deux quations du second degr X2 - X + 17/4 = 0 (sans solutions) et

X2 + X - 7/4 = 0 fournissant :
 X = -1/2 2

Or x = X + 1/2 : deux solutions de l'quation sont donc x = 2 et x =

- 2 et l'quation (e) est alors divisible par x2 - 2. On obtient :

(x2 - x + 1)( x2 - 2)

Le premier facteur est du second degr, son discriminant est ngatif. (e) ne
possde que les deux solutions x = 2.

L'quation initiale a donc t rsolue algbriquement. Cela est satisfaisant

pour l'esprit. Mais sur le plan pratique, une bonne rsolution par la mthode
des tangentes de Newton, en ayant pralablement spar les racines, est plus
rapide et sans doute aussi efficace...

De plus, la mthode compliquera souvent les calculs alors que l'observation

calme et sereine de l'quation conduira une solution simple... Par
exemple :x4 - 2x3 + 3x2 - 2 = 0 !

Le programme JavaScript :

L'algorithme est facilement programmable en utilisant en tant que sous-

programme pour le calcul de u, celui rsolvant l'quation du troisime degr.
Les quations bicarres sont reconnues.

Le programme demandera les coefficients et calculera les lments

ncessaires l'obtention d'une solution en affichant :

la forme rduite de l'quation;

l'quation rsolvante du 3me degr en u;

les paramtres z et u - A;

les solutions.