Recherche:Méthode de Sotta/Application aux équations de degré quatre

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Dans tout ce chapitre :

• le polynôme

  $f(X):=aX^{4}+bX^{3}+cX^{2}+dX+e$

  est de degré 4 ;

• le polynôme

  $R(X):=3(3b^{2}-8ac)X^{2}+6(bc-6ad)X+(4c^{2}-9bd)=AX^{2}+BX+C$

  est appelé sa résolvante de Sotta ;

• le nombre

  $\Psi :=2c^{3}+27ad^{2}+27b^{2}e-9bcd-72ace=3\left(Ae+B\left({\frac {-d}{4}}\right)+C{\frac {c}{6}}\right)$

  est appelé son sottien.

Les coefficients $A=3(3b^{2}-8ac)$, $B=6(bc-6ad)$, $C=4c^{2}-9bd$ de la résolvante ont été choisis de telle façon que

$A{\frac {c}{6}}+B\left({\frac {-b}{4}}\right)+Ca=0\quad {\text{et}}\quad A\left({\frac {-d}{4}}\right)+B{\frac {c}{6}}+C\left({\frac {-b}{4}}\right)=0$.

La méthode de Sotta étudiée dans le chapitre précédent sur les équations du troisième degré se généralise aux équations du quatrième degré de sottien nul.

Propriétés générales

Dans cette section, on ne suppose pas que Ψ = 0.

Propriété 1

Si le polynôme R est constant, alors il est nul (donc Ψ = 0) et les racines de f sont :

$x_{k}={\frac {-b}{4a}}+\zeta _{k}$

où les $\zeta _{k}=\mathrm {i} ^{k}\zeta _{0}$ sont les racines quatrièmes de

$\left({\frac {b}{4a}}\right)^{4}-{\frac {e}{a}}$.

Démonstration

Si A = B = 0, alors

$C={\frac {-A{\frac {c}{6}}+B{\frac {b}{4}}}{a}}=0$

et

${\begin{cases}c&={\frac {3b^{2}}{8a}}\\d&={\frac {bc}{6a}}={\frac {b^{3}}{16a^{2}}}\end{cases}}$

donc

${\begin{aligned}f(X)&=aX^{4}+bX^{3}+{\frac {3b^{2}}{8a}}X^{2}+{\frac {b^{3}}{16a^{2}}}X+e\\&=a\left[\left(X+{\frac {b}{4a}}\right)^{4}-\left({\frac {b}{4a}}\right)^{4}+{\frac {e}{a}}\right].\end{aligned}}$

 

Dans le plan complexe, les racines sont alors aux sommets d'un carré, qui dégénère en un point (racine quadruple) si ${\frac {e}{a}}=\left({\frac {b}{4a}}\right)^{4}$.

Propriété 2

Si f a une racine au moins triple α, alors :

• si l'ordre de α est 3, R est de degré 2 et de racine double α ;
• si l'ordre de α est 4, R = 0.

Démonstration

Soit β la quatrième racine de f (différente de α dans le premier cas et égale à α dans le second). Alors,

$f(X)=a(X-\alpha )^{3}(X-\beta )=ax^{4}-a(3\alpha +\beta )X^{3}+3a\alpha (\alpha +\beta )X^{2}-a\alpha ^{2}(\alpha +3\beta )X+a\alpha ^{3}\beta$

donc

$R(X)=9a^{2}(\alpha -\beta )^{2}X^{2}-18a^{2}\alpha (\alpha -\beta )^{2}X+9a^{2}\alpha ^{2}(\alpha -\beta )^{2}=9a^{2}(\alpha -\beta )^{2}(X-\alpha )^{2}$.

 

Propriété 3

Le « discriminant » Δ_R de R et le discriminant Δ' de $f'$ sont liés par :

$\Delta _{R}=-3\Delta '$.

Dans cet énoncé, le « discriminant » Δ_R désigne le nombre $B^{2}-4AC$ où $A,B,C$ sont les coefficients du polynôme R, qui peut être de degré < 2.

Démonstration

${\begin{aligned}\Delta _{R}&=36(bc-6ad)^{2}-4\times 3(3b^{2}-8ac)(4c^{2}-9bd)\\&=12(3b^{2}c^{2}-36abcd+108a^{2}d^{2}-12b^{2}c^{2}+32ac^{3}+27b^{3}d-72abcd)\\&=12(-9b^{2}c^{2}-108abcd+108a^{2}d^{2}+32ac^{3}+27b^{3}d)\\&=-3\Delta '\end{aligned}}$

car

${\begin{aligned}\Delta '&=(3b)^{2}(2c)^{2}+18(4a)(3b)(2c)d-27(4a)^{2}d^{2}-4(4a)(2c)^{3}-4(3b)^{3}d\\&=4(9b^{2}c^{2}+108abcd-108a^{2}d^{2}-32ac^{3}-27b^{3}d).\end{aligned}}$

 

Propriété 4

$4a\Psi =3(bc-6ad)^{2}+(36ae-c^{2})(3b^{2}-8ac)$.

Démonstration

${\begin{aligned}3(bc-6ad)^{2}+(36ae-c^{2})(3b^{2}-8ac)&=8ac^{3}+108a^{2}d^{2}+108ab^{2}e-36abcd-288a^{2}ce\\&=4a(2c^{3}+27ad^{2}+27b^{2}e-9bcd-72ace)\\&=4a\Psi .\end{aligned}}$

 

Propriétés supplémentaires si le sottien est nul

À partir de maintenant, on suppose que Ψ = 0.

Propriété 5

Si le polynôme R n'est pas de degré 2, alors il est nul.

Démonstration

Par hypothèse, A = 0 et Ψ = 0 donc bB = 4aC et 6dB = 4cC, si bien que

$B^{2}=6(cb-6ad)B=6(4caC-4acC)=0$

donc B = 0, et C = bB/(4a) = 0.

 

Propriété 6

Si R est de degré 2 et si son coefficient de degré 1 est nul alors f est quasisymétrique ou bicarrée.

Démonstration

Par hypothèse, A ≠ 0, B = 0 et Ψ = 0 donc

$c=-{\frac {6aC}{A}},\quad d=-{\frac {bC}{A}},\quad e=-{\frac {cC}{6A}}={\frac {aC^{2}}{A^{2}}}$,

si bien que

$ad^{2}={\frac {ab^{2}C^{2}}{A^{2}}}=eb^{2}$.

 

Théorème principal

Début d’un théorème

Théorème

Si R est de degré 2 et si Ψ = 0, alors :

• si les racines α et β de R sont distinctes, alors α et β sont différents de –b/(4a) et les racines de f sont les quatre nombres (distincts) :

  $x_{k}={\frac {\alpha -\beta \gamma _{k}}{1-\gamma _{k}}}$

  où les $\gamma _{k}=\mathrm {i} ^{k}\gamma _{0}$ sont les racines quatrièmes de

  ${\frac {b+4a\alpha }{b+4a\beta }}$ ;

• sinon, la racine (double) de R est racine triple de f.

Fin du théorème

Démonstration

f n'a pas de racine quadruple, sinon R serait nul.

La suite $\left(a,{\frac {-b}{4}},{\frac {c}{6}},{\frac {-d}{4}},e\right)$ obéit à la récurrence linéaire d'ordre 2 de polynôme caractéristique R, donc elle est de la forme $\lambda \alpha ^{k}-\mu \beta ^{k}$ si $\beta \neq \alpha$, et de la forme $\lambda \alpha ^{k}+k\mu \alpha ^{k-1}$ si $\beta =\alpha$.

Dans le premier cas,

${\begin{aligned}f(X)&=(\lambda -\mu )X^{4}-4(\lambda \alpha -\mu \beta )X^{3}+6(\lambda \alpha ^{2}-\mu \beta ^{2})X^{2}-4(\lambda \alpha ^{3}-\mu \beta ^{3})X+\lambda \alpha ^{4}-\mu \beta ^{4}\\&=\lambda (X-\alpha )^{4}-\mu (X-\beta )^{4}\end{aligned}}$

donc $\lambda$ et $\mu$ sont non nuls et sont déterminés par $\lambda -\mu =a$ et $\lambda \alpha -\mu \beta =-b/4$ :

$\lambda ={\frac {b/4+a\beta }{\beta -\alpha }}\quad {\text{et}}\quad \mu ={\frac {b/4+a\alpha }{\beta -\alpha }}$.

Les racines de f sont alors les solutions de

$\left({\frac {x-\alpha }{x-\beta }}\right)^{4}={\frac {\mu }{\lambda }}$,

qui sont bien les racines annoncées car

${\frac {\mu }{\lambda }}={\frac {b+4a\alpha }{b+4a\beta }}$

et

${\frac {x-\alpha }{x-\beta }}=\gamma \Leftrightarrow x={\frac {\alpha -\beta \gamma }{1-\gamma }}$.

Dans le second cas, il suffit de vérifier que α est racine d'ordre au moins 3 de f :

${\begin{aligned}f(X)&=\lambda X^{4}-4(\lambda \alpha +\mu )X^{3}+6(\lambda \alpha ^{2}+2\mu \alpha )X^{2}-4(\lambda \alpha ^{3}+3\mu \alpha ^{2})X+\lambda \alpha ^{4}+4\mu \alpha ^{3}\\&=(X-\alpha )^{3}(\lambda X-\lambda \alpha -4\mu ).\end{aligned}}$