Recherche:Méthode de Sotta/Application aux équations de degré quatre
Dans tout ce chapitre :
- le polynôme
- est de degré 4 ;
- le polynôme
- est appelé sa résolvante de Sotta ;
- le nombre
- est appelé son sottien.
Les coefficients , , de la résolvante ont été choisis de telle façon que
- .
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
[modifier | modifier le wikicode]Dans cette section, on ne suppose pas que Ψ = 0.
Si le polynôme R est constant, alors il est nul (donc Ψ = 0) et les racines de f sont :
où les sont les racines quatrièmes de
- .
Si A = B = 0, alors
et
donc
Dans le plan complexe, les racines sont alors aux sommets d'un carré, qui dégénère en un point (racine quadruple) si .
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.
Soit β la quatrième racine de f (différente de α dans le premier cas et égale à α dans le second). Alors,
donc
- .
Dans cet énoncé, le « discriminant » ΔR désigne le nombre où sont les coefficients du polynôme R, qui peut être de degré < 2.
car
Propriétés supplémentaires si le sottien est nul
[modifier | modifier le wikicode]À partir de maintenant, on suppose que Ψ = 0.
Par hypothèse, A = 0 et Ψ = 0 donc bB = 4aC et 6dB = 4cC, si bien que
donc B = 0, et C = bB/(4a) = 0.
Si R est de degré 2 et si son coefficient de degré 1 est nul alors f est quasisymétrique ou bicarrée.
Par hypothèse, A ≠ 0, B = 0 et Ψ = 0 donc
- ,
si bien que
- .
Théorème principal
[modifier | modifier le wikicode]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) :
- où les sont les racines quatrièmes de
- ;
- sinon, la racine (double) de R est racine triple de f.
f n'a pas de racine quadruple, sinon R serait nul.
La suite obéit à la récurrence linéaire d'ordre 2 de polynôme caractéristique R, donc elle est de la forme si , et de la forme si .
Dans le premier cas,
donc et sont non nuls et sont déterminés par et :
- .
Les racines de f sont alors les solutions de
- ,
qui sont bien les racines annoncées car
et
- .
Dans le second cas, il suffit de vérifier que α est racine d'ordre au moins 3 de f :

