Méthode de Tschirnhaus - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

La méthode de Tschirnhaus, imaginée et mise au point par Ehrenfried Walther von Tschirnhaus, est une tentative de résoudre le point clé de la théorie des équations à savoir trouver une méthode générale de résolution de l'équation polynomiale. Cette méthode tente de ramener l'équation que l'on veut résoudre à d'autres équations de degré moins élevé. Cette méthode échoue de façon certaine pour les équations de degré supérieur ou égal à cinq qui ont un groupe de Galois non résoluble.

Principe de la méthode

Considérons une équation de degré n :

 \qquad a_n x^n + a_{n - 1} x^{n - 1} + \cdots + a_1 x + a_0 = 0

Le principe de la méthode consiste à faire un changement de variable en posant :

 \qquad y = b_{n-1}x^{n-1}+b_{n-2}x^{n-2}+\cdots+b_1 x + b_0

Une transformation de ce type se nomme transformation de Tschirnhaus.

En éliminant x entre cette relation et l'équation à résoudre, on obtient une équation de degré n et d'inconnue y dont les coefficients dépendent de b_{n-1}, b_{n-2}, b_{n-3}, \ldots, b_1, b_0\, . On va alors essayer de déterminer b_{n-1}, b_{n-2}, b_{n-3}, \ldots, b_1, b_0\, de façon à obtenir une équation en y plus simple à résoudre, par exemple de la forme :

 \qquad y^n - c = 0

Pour cela, dans l'équation en y, on pose égal à 0, tous les coefficients des monômes de degré 1 à n-1. On obtient ainsi un système de n-1 équations à n inconnues b_{n-1}, b_{n-2}, b_{n-3}, \ldots, b_1, b_0\, . Ces valeurs, une fois obtenues, sont reportées dans la relation :

 \qquad y = b_{n-1}x^{n-1}+b_{n-2}x^{n-2}+\cdots+b_1 x + b_0

Où y prendra successivement pour valeur l'une des n racines de c.

Nous nous sommes donc ramené à la résolution de n équations en x de degré n-1. Nous pouvons renouveler ainsi l'opération jusqu'à obtenir des équations de degré suffisamment bas pour pouvoir les résoudre.

Méthode particulière pour les équations du quatrième degré

Considérons l'équation générale du quatrième degré suivante :  \qquad a_4 x^4 + a_3 x^3 + a_2 x^2  + a_1 x + a_0 = 0

En divisant par a_4\, et en posant

 \qquad x = z - \frac{a_3}{4a_4}

on se ramène à une équation de la forme :

 \qquad z^4  +  c z^2 + d z+ e = 0

Considérons la transformation de Tschirnhaus suivante :

y = z^2 + pz + \frac{c}{2} ~

En éliminant z entre les deux relations précédentes, nous obtenons l'équation du quatrième degré en y suivante :

 y^4 + (cp^2-\frac{c^2}{2}+3dp+2e)y^2 + (dp^3+4ep^2-c^2p^2-2cdp-d^2)y + ep^4-\frac{cdp^3}{2}+\frac{c^3p^2}{4}-cep^2+\frac{c^2dp}{4}-dep+\frac{c^4}{16}-\frac{c^2e}{2}+\frac{cd^2}{2}+e^2 = 0 ~

Nous voyons alors que nous pouvons obtenir à ce niveau une équation bicarrée du quatrième degré si p vérifie la relation :

 dp^3+4ep^2-c^2p^2-2cdp-d^2 = 0~

C'est-à-dire si p est solution de l'équation du troisième degré:

 dx^3+(4e-c^2)x^2-2cdx-d^2 = 0~

Nous nous sommes donc ramené à la résolution d'une équation du troisième degré.

Prenons un exemple pour étudier de façon plus précise la méthode.

Soit à résoudre l'équation :

x^4 + 4x^3 + 3x^2 - 8x - 10 = 0 ~

Posons :

 x = z - 1 \qquad (*)~

En remplaçant dans l'équation, on obtient :

z^4 - 3z^2 - 6z - 2 = 0 ~

Considérons la transformation de Tschirnhaus :

y = z^2 + pz  - \frac{3}{2} ~

En éliminant z par des produits membre à membre successifs (voir paragraphe précédent) entre les deux relations précédentes, nous obtenons :

y^4 - (3p^2+18p+\frac{17}{2})y^2 - (6p^3+17p^2+36p+36)y - (2p^4+9p^3+\frac{51}{4}p^2+\frac{51}{2}p+\frac{575}{16})=0 ~

Si l'on veut que cette équation soit une équation bicarrée du quatrième degré, nous voyons que nous devons choisir p parmi les racines de l'équation :

6x^3+17x^2+36x+36=0 ~

Cette équation admet pour racine évidente :

x=-\frac{3}{2} ~

Nous choisirons donc :

p=-\frac{3}{2} ~

La transformation de Tschirnhaus envisagé est donc :

y = z^2 - \frac{3}{2}z - \frac{3}{2} ~

Et par élimination de z avec l'équation :

z^4 - 3z^2 - 6z - 2 = 0 ~

On obtient :

8y^4+94y^2-49=0 ~

En posant :

X = y^2 ~

On se ramène à l'équation du second degré :

8X^2+94X-49=0 ~

Qui a pour racines :

X_1 = \frac{1}{2} ~
X_2 = -\frac{49}{4} ~

D’où l'on déduit les quatre valeurs de y suivantes :

y_1 = \frac{1}{\sqrt{2}} ~
y_2 = -\frac{1}{\sqrt{2}} ~
y_3 = \frac{7i}{2} ~
y_4 = -\frac{7i}{2} ~

Ces quatre valeurs de y reportées dans la transformation de Tschirnhaus envisagée nous donnent quatre équations du second degré :

z^2 - \frac{3}{2}z - \frac{3}{2} = \frac{1}{\sqrt{2}} ~
z^2 - \frac{3}{2}z - \frac{3}{2} =-\frac{1}{\sqrt{2}} ~
z^2 - \frac{3}{2}z - \frac{3}{2} = \frac{7i}{2} ~
z^2 - \frac{3}{2}z - \frac{3}{2} = -\frac{7i}{2} ~

Qui se simplifient respectivement sous la forme :

2z^2 - 3z - 3 - \sqrt{2} = 0 ~
2z^2 - 3z - 3 + \sqrt{2} = 0 ~
2z^2 - 3z - 3 - 7i = 0 ~
2z^2 - 3z - 3 + 7i = 0 ~

Ces quatre équations ont respectivement comme discriminant :

 \triangle_1 = 33 + 8\sqrt{2} = (1+4\sqrt{2})^2 ~
 \triangle_2 = 33 - 8\sqrt{2} = (1-4\sqrt{2})^2 ~
 \triangle_3 = 33 + 56i = (7+4i)^2 ~
 \triangle_4 = 33 - 56i = (7-4i)^2 ~

Chacune des quatre équations du second degré fournissant deux racines, on en déduit huit valeurs possibles pour z :

1+\sqrt{2},\frac{1}{2}-\sqrt{2},1-\sqrt{2},\frac{1}{2}+\sqrt{2},\frac{5}{2}+i,-1-i,\frac{5}{2}-i,-1+i ~

Seules les quatre valeurs :

z_1 = 1+\sqrt{2} ~
z_2 = 1-\sqrt{2} ~
z_3 = -1-i ~
z_4 = -1+i ~

Vérifie l'équation :

z^4 - 3z^2 - 6z - 2 = 0 ~

Les autres valeurs sont des racines parasites apparues lors des produits membre à membre effectués pour éliminer z plus haut.

En portant les quatre valeurs valides de z dans (*), on obtient :

x_1 = \sqrt{2} ~
x_2 = -\sqrt{2} ~
x_3 = -2-i ~
x_4 = -2+i ~

Qui sont les quatre racines de l'équation que l'on s'était donné de résoudre.

Page générée en 0.195 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise