Méthode de Sotta - 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 Sotta, imaginée et mise au point par Bernard Sotta, permet de résoudre toutes les équations du troisième degré et peut se généraliser à certaines équations de degré supérieur ou égal à 4 si les coefficients de ces équations vérifient certaines conditions.

Ces équations fournissent des exemples d'équations qui, bien qu'ayant un degré supérieur ou égal à 5, ont un groupe de Galois résoluble. Nous savons en effet que les équations de degré supérieur ou égal à 5 n'ont pas forcément un groupe de Galois résoluble. Ce qui permet d'affirmer qu'il n'existe pas de méthode générale pour les résoudre. (voir Théorie de Galois).

Principe de la méthode

Dans tout cet article n est un nombre entier représentant le degré de l'équation à résoudre.

Toutes les autres lettres représentent des nombres complexes.

Par convention  \sqrt[n]{a} désigne n'importe laquelle des n racines nème de a, il en est de même de  \sqrt[n]{f}


Considérons une équation de degré n avec n > 2 :

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

Vérifiant les deux conditions :

 2na_na_{n-2}-(n-1)a_{n-1}^2 \neq 0 ~

 3(n-1)a_{n-1}a_{n-3} - 2(n-2)a_{n-2}^2 \neq 0 ~


Ces deux conditions permettent de garantir que l'équation résolvante définie ci-dessous existe et n'a pas de racines nulles.

Nous supposerons par la suite que ces conditions sont vérifiées sauf indications contraires.


Nous appellerons équation résolvante de Sotta associée à l'équation précédente, l'équation du second degré suivante :

 \qquad (n-1)(n-2)[2na_na_{n-2}-(n-1)a_{n-1}^2]X^2 + 2(n-1)[3na_na_{n-3}-(n-2)a_{n-1}a_{n-2}]X + 6(n-1)a_{n-1}a_{n-3} - 4(n-2)a_{n-2}^2= 0

Nous avons alors le théorème suivant (théorème de Sotta) :

Si l'équation :

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

admet des racines sous la forme :

 \qquad \frac{b\sqrt[n]{a} - c\sqrt[n]{f}}{d\sqrt[n]{a} - e\sqrt[n]{f}}

(d et e non nul).

alors \frac{b}{d} et \frac{c}{e} sont les deux racines de l'équation résolvante.

a et f sont alors donné par les deux relations :

  •  \qquad a = e^na_{n-1}+nce^{n-1}a_n
  •  \qquad f = d^na_{n-1}+nbd^{n-1}a_n

Les n racines de l'équation proposée seront alors :

 \qquad x_k = \frac{be^{\frac{2ki\pi}{n}}\sqrt[n]{a} - c\sqrt[n]{f}}{de^{\frac{2ki\pi}{n}}\sqrt[n]{a} - e\sqrt[n]{f}} avec k prenant successivement toutes les valeurs entières de 0 à n-1


Sauf précision contraire, les paragraphes suivants supposent que l'équation résolvante n'admet pas une racine double. Le cas particulier où l'équation résolvante admet une racine double est traité plus loin.

Application à la résolution des équations de degré 4

Les équations de degré 4 :

 \qquad a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0

admettent des racines sous la forme :

 \qquad \frac{b\sqrt[4]{a} - c\sqrt[4]{f}}{d\sqrt[4]{a} - e\sqrt[4]{f}}

seulement si :

  •  \qquad 27a_4a_1^2-72a_4a_2a_0+2a_2^3-9a_3a_2a_1+27a_3^2a_0=0

Par conséquent, la méthode de Sotta ne permet de résoudre que les équations de degré 4 vérifiant cette condition de résolubilité.

Soit donc l'équation suivante :

 \qquad a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0

Premier cas : Si (8a_4a_2-3a_3^2) \not = 0 (condition pour que la résolvante soit du second degré).

La résolvante de Sotta associée sera :

 \qquad (24a_4a_2-9a_3^2)X^2 + (36a_4a_1-6a_3a_2)X + 9a_3a_1 - 4a_2^2= 0

Il suffit donc de choisir b, c, d, e tel que \frac{b}{d} et \frac{c}{e} soit les racines de la résolvante. On calcule ensuite a et f à l'aide des formules :

  •  a = e^4a_3+4ce^3a_4 ~
  •  f = d^4a_3+4bd^3a_4 ~

Les quatre racines de l'équation à résoudre seront :

 \qquad x_k = \frac{be^{\frac{2ki\pi}{4}}\sqrt[4]{a} - c\sqrt[4]{f}}{de^{\frac{2ki\pi}{4}}\sqrt[4]{a} - e\sqrt[4]{f}} avec k prenant successivement les valeurs 0, 1, 2, 3.

Deuxième cas : Si (8a_4a_2-3a_3^2)  = 0 .

Voir le paragraphe en fin d'article.

Application à la résolution des équations de degré 3

Toutes les équations de degré 3 ayant trois racines distinctes admettent des racines sous la forme :

 \frac{b\sqrt[3]{a} - c\sqrt[3]{f}}{d\sqrt[3]{a} - e\sqrt[3]{f}}~

par conséquent, la méthode de Sotta permet de résoudre toutes les équations de degré 3.

Soit donc l'équation suivante :

 a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 ~


Premier cas : Si (3a_3a_1-a_2^2) \not = 0 et (3a_0a_2-a_1^2) \not = 0 (condition pour que la résolvante soit du second degré avec des racines non nulles).

La résolvante de Sotta associée sera :

 (3a_3a_1-a_2^2)X^2 + (9a_3a_0-a_2a_1)X + 3a_2a_0 - a_1^2= 0 ~

Il suffit donc de choisir b, c, d, e tel que \frac{b}{d} et \frac{c}{e} soit les racines de la résolvante. On calcule ensuite a et f à l'aide des formules :

  •  a = e^3a_2+3ce^2a_3 ~
  •  f = d^3a_2+3bd^2a_3 ~

Les trois racines de l'équation à résoudre seront alors :

 \qquad x_1 = \frac{b\sqrt[3]{a} - c\sqrt[3]{f}}{d\sqrt[3]{a} - e\sqrt[3]{f}}

 \qquad x_2 = \frac{bj\sqrt[3]{a} - c\sqrt[3]{f}}{dj\sqrt[3]{a} - e\sqrt[3]{f}}

 \qquad x_3 = \frac{bj^2\sqrt[3]{a} - c\sqrt[3]{f}}{dj^2\sqrt[3]{a} - e\sqrt[3]{f}}

avec :

 \qquad j = e^{\frac{2i\pi}{3}} ~


Remarque : Si l'équation résolvante admet une racine double α, celle-ci est aussi racine double de l'équation à résoudre et la troisième racine simple β manquante est obtenue par la relation :

 \beta = - \frac{a_0}{a_3.\alpha^2} ~


En effet, en désignant par α, β, γ, les trois racines de l'équation à résoudre, celle-ci peut se mettre sous la forme :


 (x - \alpha)(x - \beta)(x - \gamma) = 0 ~


En développant le premier membre et en formant l'équation résolvante, on obtient une équation du second degré dont le discriminant Δ peut se factoriser sous la forme :


 \Delta = -3(\alpha - \beta)^2(\alpha - \gamma)^2(\beta - \gamma)^2 ~


Si l'équation résolvante a une racine double, cela signifie que son discriminant Δ est nul. Nous voyons alors que cela n'est possible que si deux des nombres parmi α, β, γ sont égaux et on vérifie que cette valeur commune se trouve être justement la racine double de l'équation résolvante.


Inversement, on montre que si l'équation à résoudre admet une racine double, l'équation résolvante admet aussi la même racine double.


Deuxième cas : Si (3a_3a_1-a_2^2)  = 0 (On est dans le cas: d ou e nul)

On multiplie par 3a1a2 tous les termes de l'équation :

 a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 ~

On obtient :

 3a_1a_2a_3x^3 + 3a_1a_2^2 x^2 + 3a_1^2a_2 x + 3a_1a_2a_0 = 0 ~

Comme :

3a_3a_1  = a_2^2 ~

L'équation devient :

 a_2^3 x^3 + 3a_1a_2^2 x^2 + 3a_1^2a_2 x + 3a_0a_1a_2 = 0 ~

Qui se met sous la forme :

 \left(a_2x + a_1 \right)^3 = a_1^3 - 3a_0a_1a_2 ~

On en déduit les trois racines de l'équation à résoudre :

 x_1 = \frac{1}{a_2}\left(\sqrt[3]{a_1^3 - 3a_0a_1a_2} - a_1 \right) ~

 x_2 = \frac{1}{a_2}\left(j\sqrt[3]{a_1^3 - 3a_0a_1a_2} - a_1 \right) ~

 x_3 = \frac{1}{a_2}\left(j^2\sqrt[3]{a_1^3 - 3a_0a_1a_2} - a_1 \right) ~


Troisième cas : Si (3a_0a_2-a_1^2)  = 0 (On est dans le cas: b ou c nul)

On multiplie par 3a1a2 tous les termes de l'équation :

 a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 ~

On obtient :

 3a_1a_2a_3x^3 + 3a_1a_2^2 x^2 + 3a_1^2a_2 x + 3a_0a_1a_2 = 0 ~

Comme :

3a_0a_2  = a_1^2 ~

L'équation devient :

 3a_1a_2a_3x^3 + 3a_1a_2^2 x^2 + 3a_1^2a_2 x + a_1^3 = 0 ~

Divisons maintenant chaque terme par x3, on obtient :

 3a_1a_2a_3 + 3\left(\frac{a_1}{x}\right)a_2^2 + 3\left(\frac{a_1}{x}\right)^2a_2 + \left(\frac{a_1}{x}\right)^3 = 0 ~

Qui se met sous la forme :

 \left(\frac{a_1}{x} + a_2 \right)^3 = a_2^3 - 3a_1a_2a_3 ~

On en déduit les trois racines de l'équation à résoudre :

 x_1 = \frac{a_1}{\sqrt[3]{a_2^3 - 3a_1a_2a_3} - a_2} ~

 x_2 = \frac{a_1}{j\sqrt[3]{a_2^3 - 3a_1a_2a_3} - a_2} ~

 x_3 = \frac{a_1}{j^2\sqrt[3]{a_2^3 - 3a_1a_2a_3} - a_2} ~

Page générée en 0.209 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