Soit
a
x
3
+
b
x
2
+
c
x
+
d
=
0
{\displaystyle ax^{3}+bx^{2}+cx+d=0}
, avec
a
≠
0
{\displaystyle a\neq 0}
. On pose
y
=
x
+
b
3
a
{\displaystyle y=x+{\frac {b}{3a}}}
et, après division par
a
{\displaystyle a}
, on se ramène à
y
3
+
p
y
+
q
=
0
{\displaystyle y^{3}+py+q=0}
avec
{
p
=
3
a
c
−
b
2
3
a
2
q
=
2
b
3
−
9
a
b
c
+
27
a
2
d
27
a
3
{\displaystyle {\begin{cases}p={\frac {3ac-b^{2}}{3a^{2}}}\\q={\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}\end{cases}}}
.
Transformation de Tschirnhaus
On a
a
(
y
−
b
3
a
)
3
+
b
(
y
−
b
3
a
)
2
+
c
(
y
−
b
3
a
)
+
d
=
0
{\displaystyle a\left(y-{\frac {b}{3a}}\right)^{3}+b\left(y-{\frac {b}{3a}}\right)^{2}+c\left(y-{\frac {b}{3a}}\right)+d=0}
,
soit
a
(
y
3
−
b
a
y
2
+
b
2
3
a
2
y
−
b
3
27
a
3
)
+
b
(
y
2
−
2
b
3
a
y
+
b
2
9
a
2
)
+
c
(
y
−
b
3
a
)
+
d
=
0
{\displaystyle a\left(y^{3}-{\frac {b}{a}}y^{2}+{\frac {b^{2}}{3a^{2}}}y-{\frac {b^{3}}{27a^{3}}}\right)+b\left(y^{2}-{\frac {2b}{3a}}y+{\frac {b^{2}}{9a^{2}}}\right)+c\left(y-{\frac {b}{3a}}\right)+d=0}
,
soit
a
y
3
+
(
a
b
2
−
2
a
b
2
+
3
a
2
c
3
a
2
)
y
+
(
−
a
b
3
+
3
a
b
3
−
9
a
2
b
c
+
27
a
3
d
27
a
3
)
=
0
{\displaystyle ay^{3}+\left({\frac {ab^{2}-2ab^{2}+3a^{2}c}{3a^{2}}}\right)y+\left({\frac {-ab^{3}+3ab^{3}-9a^{2}bc+27a^{3}d}{27a^{3}}}\right)=0}
,
soit
y
3
+
(
3
a
c
−
b
2
3
a
2
)
y
+
(
2
b
3
−
9
a
b
c
+
27
a
2
d
27
a
3
)
=
0
{\displaystyle y^{3}+\left({\frac {3ac-b^{2}}{3a^{2}}}\right)y+\left({\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}\right)=0}
,
soit
y
3
+
p
y
+
q
=
0
{\displaystyle y^{3}+py+q=0}
.
En exprimant
y
=
y
α
+
y
β
{\displaystyle y=y_{\alpha }+y_{\beta }}
, on remarque que
y
3
=
y
α
3
+
y
β
3
+
3
y
α
y
β
(
y
α
+
y
β
)
⏞
y
{\displaystyle y^{3}=y_{\alpha }^{3}+y_{\beta }^{3}+3y_{\alpha }y_{\beta }\overbrace {\left(y_{\alpha }+y_{\beta }\right)} ^{y}}
, soit
y
3
−
(
3
y
α
y
β
)
y
−
(
y
α
3
+
y
β
3
)
=
0
{\displaystyle y^{3}-\left(3y_{\alpha }y_{\beta }\right)y-\left(y_{\alpha }^{3}+y_{\beta }^{3}\right)=0}
.
Par identification, on a alors
{
−
3
y
α
y
β
=
p
−
y
α
3
−
y
β
3
=
q
{\displaystyle {\begin{cases}-3y_{\alpha }y_{\beta }=p\\-y_{\alpha }^{3}-y_{\beta }^{3}=q\end{cases}}}
et on pose alors (c'est le principe de la Substitution de Viète )
y
β
=
−
p
3
y
α
{\displaystyle y_{\beta }=-{\frac {p}{3y_{\alpha }}}}
(puisqu'on est libre de choisir soit
y
α
{\displaystyle y_{\alpha }}
, soit
y
β
{\displaystyle y_{\beta }}
).
On a alors
y
α
6
+
q
y
α
3
−
(
p
3
)
3
=
0
{\displaystyle y_{\alpha }^{6}+qy_{\alpha }^{3}-\left({\frac {p}{3}}\right)^{3}=0}
, donnant
y
α
=
j
k
−
q
2
±
(
q
2
)
2
+
(
p
3
)
3
3
{\displaystyle y_{\alpha }=\mathrm {j} ^{k}{\sqrt[{3}]{-{\frac {q}{2}}\pm {\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}
où
j
=
e
i
2
π
3
{\displaystyle \mathrm {j} =\mathrm {e} ^{\mathrm {i} {\frac {2\pi }{3}}}}
avec
k
∈
{
0
;
1
;
2
}
{\displaystyle k\in \{0;1;2\}}
. Ici, il faut considérer que la racine carrée d'un réel négatif est un nombre imaginaire, ce qui fait 6 solutions pour
y
α
{\displaystyle y_{\alpha }}
. Mais, comme
j
k
−
q
2
+
(
q
2
)
2
+
(
p
3
)
3
3
×
j
3
−
k
−
q
2
−
(
q
2
)
2
+
(
p
3
)
3
3
=
−
p
3
{\displaystyle \mathrm {j} ^{k}{\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}\times \mathrm {j} ^{3-k}{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}=-{\frac {p}{3}}}
, on a, au plus, 3 solutions :
y
k
=
j
k
−
q
2
+
(
q
2
)
2
+
(
p
3
)
3
3
+
j
3
−
k
−
q
2
−
(
q
2
)
2
+
(
p
3
)
3
3
{\displaystyle y_{k}=\mathrm {j} ^{k}{\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}+\mathrm {j} ^{3-k}{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}
.
Cas où p et q sont réels
Si
p
{\displaystyle p}
et
q
{\displaystyle q}
sont réels (ce qui sera forcément le cas si
a
{\displaystyle a}
,
b
{\displaystyle b}
,
c
{\displaystyle c}
et
d
{\displaystyle d}
sont réels), on pose
Δ
=
−
(
4
p
3
+
27
q
2
)
{\displaystyle \Delta =-\left(4p^{3}+27q^{2}\right)}
et 3 cas se présentent :
Si
Δ
<
0
{\displaystyle \Delta <0}
, on a 1 racine réelle (
y
3
{\displaystyle y_{3}}
) et 2 racines complexes conjuguées (
y
1
{\displaystyle y_{1}}
et
y
2
{\displaystyle y_{2}}
) ; et la racine réelle s'exprime à partir de racines cubiques, ainsi :
y
k
=
−
j
k
q
2
+
(
q
2
)
2
+
(
p
3
)
3
3
−
j
3
−
k
q
2
−
(
q
2
)
2
+
(
p
3
)
3
3
{\displaystyle y_{k}=-\mathrm {j} ^{k}{\sqrt[{3}]{{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}-\mathrm {j} ^{3-k}{\sqrt[{3}]{{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}
.
Si
Δ
=
0
{\displaystyle \Delta =0}
, on a 3 racines réelles et :
Si
p
=
0
{\displaystyle p=0}
, les 3 racines sont triples :
y
1
=
y
2
=
y
3
=
0
{\displaystyle y_{1}=y_{2}=y_{3}=0}
.
Si
p
≠
0
{\displaystyle p\neq 0}
, 2 racines sont doubles :
y
1
=
y
2
=
−
3
q
2
p
{\displaystyle y_{1}=y_{2}=-{\frac {3q}{2p}}}
et
y
3
=
3
q
p
{\displaystyle y_{3}={\frac {3q}{p}}}
puisque
{
y
1
=
y
2
=
(
j
+
j
2
)
−
q
2
3
=
q
2
3
=
(
q
2
)
(
q
2
)
2
(
−
p
3
)
3
3
=
−
3
q
2
p
y
3
=
−
y
1
−
y
2
puisque
y
3
+
p
y
+
q
=
0
n'a pas de coefficient en
y
2
{\displaystyle {\begin{cases}y_{1}=y_{2}=\left(\mathrm {j} +\mathrm {j} ^{2}\right){\sqrt[{3}]{-{\frac {q}{2}}}}={\sqrt[{3}]{\frac {q}{2}}}={\sqrt[{3}]{\left({\frac {q}{2}}\right){\frac {\left({\frac {q}{2}}\right)^{2}}{\left({-{\frac {p}{3}}}\right)^{3}}}}}=-{\frac {3q}{2p}}\\y_{3}=-y_{1}-y_{2}{\text{ puisque }}y^{3}+py+q=0{\text{ n'a pas de coefficient en }}y^{2}\end{cases}}}
.
Si
Δ
>
0
{\displaystyle \Delta >0}
, on a 3 racines réelles différentes ; et les racines ne peuvent pas s'exprimer à partir de racines cubiques de réels (c'est le casus irreducibilis ), mais à partir de fonctions trigonométriques. On a
p
≠
0
{\displaystyle p\neq 0}
et
−
q
2
+
i
−
(
q
2
)
2
−
(
p
3
)
3
=
(
−
p
3
)
3
/
2
e
i
arccos
−
q
2
(
q
2
)
2
−
(
q
2
)
2
−
(
p
3
)
3
=
ρ
e
i
θ
{\displaystyle -{\frac {q}{2}}+\mathrm {i} {\sqrt {-\left({\frac {q}{2}}\right)^{2}-\left({\frac {p}{3}}\right)^{3}}}=\left({\frac {-p}{3}}\right)^{3/2}\mathrm {e} ^{\mathrm {i} \arccos {\frac {-{\frac {q}{2}}}{\sqrt {\left({\frac {q}{2}}\right)^{2}-\left({\frac {q}{2}}\right)^{2}-\left({\frac {p}{3}}\right)^{3}}}}}=\rho \mathrm {e} ^{\mathrm {i} \theta }}
avec
{
ρ
=
(
−
p
3
)
3
2
θ
=
arccos
(
3
q
2
p
3
−
p
)
{\displaystyle {\begin{cases}\rho =\left({\frac {-p}{3}}\right)^{\frac {3}{2}}\\\theta =\arccos \left({{\frac {3q}{2p}}{\sqrt {\frac {3}{-p}}}}\right)\end{cases}}}
, ainsi :
y
k
=
j
k
ρ
e
i
θ
3
+
j
3
−
k
ρ
e
−
i
θ
3
=
2
ρ
3
cos
θ
+
2
k
π
3
=
2
−
p
3
cos
[
arccos
(
3
q
2
p
3
−
p
)
3
+
2
k
π
3
]
{\displaystyle y_{k}=\mathrm {j} ^{k}{\sqrt[{3}]{\rho \mathrm {e} ^{\mathrm {i} \theta }}}+\mathrm {j} ^{3-k}{\sqrt[{3}]{\rho \mathrm {e} ^{-\mathrm {i} \theta }}}=2{\sqrt[{3}]{\rho }}\cos {\frac {\theta +2k\pi }{3}}=2{\sqrt {\frac {-p}{3}}}\cos {\Biggl [}{\frac {\arccos \left({{\frac {3q}{2p}}{\sqrt {\frac {3}{-p}}}}\right)}{3}}+{\frac {2k\pi }{3}}{\Biggr ]}}
.
Note : Pour calculer les 3 valeurs réelles, il nous a été nécessaire de calculer la racine carrée d'un nombre négatif. C'est Raphaël Bombelli qui a inventé
i
=
−
1
{\displaystyle \mathrm {i} ={\sqrt {-1}}}
permettant de trouver les racines réelles.
On pose :
{
p
=
3
a
c
−
b
2
3
a
2
q
=
2
b
3
−
9
a
b
c
+
27
a
2
d
27
a
3
Δ
=
−
(
4
p
3
+
27
q
2
)
j
=
e
i
2
π
3
k
∈
{
0
;
1
;
2
}
{\displaystyle {\begin{cases}p={\frac {3ac-b^{2}}{3a^{2}}}\\q={\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}\\\Delta =-\left(4p^{3}+27q^{2}\right)\\\mathrm {j} =\mathrm {e} ^{\mathrm {i} {\frac {2\pi }{3}}}\\k\in \{0;1;2\}\end{cases}}}
.
On a :
x
k
=
−
b
3
a
+
j
k
−
q
2
+
(
q
2
)
2
+
(
p
3
)
3
3
+
j
3
−
k
−
q
2
−
(
q
2
)
2
+
(
p
3
)
3
3
{\displaystyle x_{k}=-{\frac {b}{3a}}+\mathrm {j} ^{k}{\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}+\mathrm {j} ^{3-k}{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}
.
c.-à-d. :
Si
Δ
<
0
{\displaystyle \Delta <0}
, on a 1 racine réelle (
x
3
{\displaystyle x_{3}}
) et 2 racines complexes conjuguées (
x
1
{\displaystyle x_{1}}
et
x
2
{\displaystyle x_{2}}
) :
x
k
=
−
b
3
a
+
j
k
−
q
2
+
(
q
2
)
2
+
(
p
3
)
3
3
+
j
3
−
k
−
q
2
−
(
q
2
)
2
+
(
p
3
)
3
3
{\displaystyle x_{k}=-{\frac {b}{3a}}+\mathrm {j} ^{k}{\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}+\mathrm {j} ^{3-k}{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}
.
Si
Δ
=
0
{\displaystyle \Delta =0}
, les trois racines sont réelles et :
Si
p
=
0
{\displaystyle p=0}
et les 3 racines sont triples :
x
1
=
x
2
=
x
3
=
−
b
3
a
{\displaystyle x_{1}=x_{2}=x_{3}=-{\frac {b}{3a}}}
.
Si
p
≠
0
{\displaystyle p\neq 0}
et 2 racines sont doubles :
x
1
=
x
2
=
−
b
3
a
−
3
q
2
p
{\displaystyle x_{1}=x_{2}=-{\frac {b}{3a}}-{\frac {3q}{2p}}}
et
x
3
=
−
b
3
a
+
3
q
p
{\displaystyle x_{3}=-{\frac {b}{3a}}+{\frac {3q}{p}}}
.
Si
Δ
>
0
{\displaystyle \Delta >0}
, on a 3 racines réelles différentes :
x
k
=
−
b
3
a
+
2
−
p
3
cos
[
arccos
(
3
q
2
p
3
−
p
)
3
+
2
k
π
3
]
{\displaystyle x_{k}=-{\frac {b}{3a}}+2{\sqrt {\frac {-p}{3}}}\cos {\Biggl [}{\frac {\arccos \left({{\frac {3q}{2p}}{\sqrt {\frac {3}{-p}}}}\right)}{3}}+{\frac {2k\pi }{3}}{\Biggr ]}}
.
Expressions (avec a , b , c et d )
modifier
Finalement, les trois racines, qui peuvent dans certains cas être égales, sont :
{
x
1
=
−
b
3
a
−
1
3
a
2
b
3
−
9
a
b
c
+
27
a
2
d
+
(
2
b
3
−
9
a
b
c
+
27
a
2
d
)
2
−
4
(
b
2
−
3
a
c
)
3
2
3
−
1
3
a
2
b
3
−
9
a
b
c
+
27
a
2
d
−
(
2
b
3
−
9
a
b
c
+
27
a
2
d
)
2
−
4
(
b
2
−
3
a
c
)
3
2
3
x
2
=
−
b
3
a
+
1
+
i
3
6
a
2
b
3
−
9
a
b
c
+
27
a
2
d
+
(
2
b
3
−
9
a
b
c
+
27
a
2
d
)
2
−
4
(
b
2
−
3
a
c
)
3
2
3
+
1
−
i
3
6
a
2
b
3
−
9
a
b
c
+
27
a
2
d
−
(
2
b
3
−
9
a
b
c
+
27
a
2
d
)
2
−
4
(
b
2
−
3
a
c
)
3
2
3
x
3
=
−
b
3
a
+
1
−
i
3
6
a
2
b
3
−
9
a
b
c
+
27
a
2
d
+
(
2
b
3
−
9
a
b
c
+
27
a
2
d
)
2
−
4
(
b
2
−
3
a
c
)
3
2
3
+
1
+
i
3
6
a
2
b
3
−
9
a
b
c
+
27
a
2
d
−
(
2
b
3
−
9
a
b
c
+
27
a
2
d
)
2
−
4
(
b
2
−
3
a
c
)
3
2
3
{\displaystyle {\begin{cases}x_{1}=-{\frac {b}{3a}}-{\frac {1}{3a}}&{\sqrt[{3}]{\frac {2b^{3}-9abc+27a^{2}d+{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}}{2}}}-{\frac {1}{3a}}&{\sqrt[{3}]{\frac {2b^{3}-9abc+27a^{2}d-{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}}{2}}}\\x_{2}=-{\frac {b}{3a}}+{\frac {1+\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{\frac {2b^{3}-9abc+27a^{2}d+{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}}{2}}}+{\frac {1-\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{\frac {2b^{3}-9abc+27a^{2}d-{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}}{2}}}\\x_{3}=-{\frac {b}{3a}}+{\frac {1-\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{\frac {2b^{3}-9abc+27a^{2}d+{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}}{2}}}+{\frac {1+\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{\frac {2b^{3}-9abc+27a^{2}d-{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}}{2}}}\end{cases}}}
(
2
b
3
−
9
a
b
c
+
27
a
2
d
)
2
−
4
(
b
2
−
3
a
c
)
3
=
0
⇒
{
3
a
c
−
b
2
=
0
⇒
x
1
=
x
2
=
x
3
=
−
b
3
a
3
a
c
−
b
2
≠
0
⇒
x
1
=
x
2
=
9
a
d
−
b
c
2
b
2
−
6
a
c
et
x
3
=
4
a
b
c
−
9
a
2
d
−
b
3
a
b
2
−
3
a
2
c
{\displaystyle \left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}=0\Rightarrow {\begin{cases}3ac-b^{2}=0\Rightarrow x_{1}=x_{2}=x_{3}=-{\frac {b}{3a}}\\3ac-b^{2}\neq 0\Rightarrow x_{1}=x_{2}={\frac {9ad-bc}{2b^{2}-6ac}}{\text{ et }}x_{3}={\frac {4abc-9a^{2}d-b^{3}}{ab^{2}-3a^{2}c}}\end{cases}}}