De formule van Cardano is de wiskundige formule voor de oplossing van de gereduceerde vorm van een derdegraadsvergelijking . De formule werd voor het eerst in 1545 vermeld in het boek Ars magna van Girolamo Cardano (1501-1576), een Italiaanse arts , wiskundige en filosoof . De formule is ontdekt door Niccolò Tartaglia , en volgens Cardano zelfs nog vóór deze door Scipione del Ferro . Van de hand van Cardano is de methode om de algemene vorm van de derdegraadsvergelijking te reduceren tot het speciale geval waarop de formule voor de oplossing kan worden toegepast.
Het is dus een van de formules die er zijn voor het oplossen van vergelijkingen .
Voor de gereduceerde derdegraadsvergelijking:
x
3
+
p
x
+
q
=
0
{\displaystyle x^{3}+px+q=0}
luidt de formule van Cardano voor de oplossing:
x
=
−
q
2
+
q
2
4
+
p
3
27
3
+
−
q
2
−
q
2
4
+
p
3
27
3
{\displaystyle x={\sqrt[{3}]{{\frac {-q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}+{\sqrt[{3}]{{\frac {-q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}}
Herleiding algemene geval
De algemene (genormeerde) vorm van de derdegraadsvergelijking:
x
3
+
a
x
2
+
b
x
+
c
=
0
{\displaystyle x^{3}+ax^{2}+bx+c=0}
kan geschreven worden als:
(
x
+
a
3
)
3
+
(
b
−
1
3
a
2
)
(
x
+
a
3
)
+
2
27
a
3
−
1
3
a
b
+
c
=
0
{\displaystyle (x+{\tfrac {a}{3}})^{3}+(b-{\tfrac {1}{3}}a^{2})(x+{\tfrac {a}{3}})+{\tfrac {2}{27}}a^{3}-{\tfrac {1}{3}}ab+c=0}
dus in de eerder genoemde gereduceerde vorm:
y
3
+
p
y
+
q
=
0
{\displaystyle y^{3}+py+q=0}
met:
y
=
x
+
a
3
{\displaystyle y=x+{\tfrac {a}{3}}}
p
=
b
−
1
3
a
2
{\displaystyle p=b-{\tfrac {1}{3}}a^{2}}
q
=
2
27
a
3
−
1
3
a
b
+
c
{\displaystyle q={\tfrac {2}{27}}a^{3}-{\tfrac {1}{3}}ab+c}
waaruit de gereduceerde vorm van de formule volgt.
y
=
−
q
2
+
q
2
4
+
p
3
27
3
+
−
q
2
−
q
2
4
+
p
3
27
3
{\displaystyle y={\sqrt[{3}]{{\frac {-q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}+{\sqrt[{3}]{{\frac {-q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}}
De complete formule volgt na substitutie :[ 1]
x
=
−
a
3
+
−
2
a
3
+
9
a
b
−
27
c
54
+
(
−
2
a
3
+
9
a
b
−
27
c
54
)
2
−
(
a
2
−
3
b
9
)
3
3
{\displaystyle x=-{\tfrac {a}{3}}+{\sqrt[{3}]{{\frac {-2a^{3}+9ab-27c}{54}}+{\sqrt {{\left({\frac {-2a^{3}+9ab-27c}{54}}\right)}^{2}-{\left({\frac {a^{2}-3b}{9}}\right)}^{3}}}}}}
+
−
2
a
3
+
9
a
b
−
27
c
54
−
(
−
2
a
3
+
9
a
b
−
27
c
54
)
2
−
(
a
2
−
3
b
9
)
3
3
{\displaystyle +{\sqrt[{3}]{{\frac {-2a^{3}+9ab-27c}{54}}-{\sqrt {{\left({\frac {-2a^{3}+9ab-27c}{54}}\right)}^{2}-{\left({\frac {a^{2}-3b}{9}}\right)}^{3}}}}}}
Afleiding
Zonder verlies van algemeenheid kan de gereduceerde vorm geschreven worden als:
x
3
+
3
p
x
−
2
q
=
0
{\displaystyle x^{3}+3px-2q=0}
Dan heeft de formule voor de oplossing de overzichtelijker vorm:
x
=
q
+
q
2
+
p
3
3
+
q
−
q
2
+
p
3
3
{\displaystyle x={\sqrt[{3}]{q+{\sqrt {q^{2}+p^{3}}}}}+{\sqrt[{3}]{q-{\sqrt {q^{2}+p^{3}}}}}}
Hier is ook te zien, dat:
x
3
=
(
q
+
q
2
+
p
3
)
+
(
q
−
q
2
+
p
3
)
+
3
(
q
+
q
2
+
p
3
)
(
q
−
q
2
+
p
3
)
3
(
q
+
q
2
+
p
3
3
+
q
−
q
2
+
p
3
3
)
{\displaystyle x^{3}=\left(q+{\sqrt {q^{2}+p^{3}}}\right)+\left(q-{\sqrt {q^{2}+p^{3}}}\right)\,+\,3\,{\sqrt[{3}]{\left(q+{\sqrt {q^{2}+p^{3}}}\right)\left(q-{\sqrt {q^{2}+p^{3}}}\right)}}\left({\sqrt[{3}]{q+{\sqrt {q^{2}+p^{3}}}}}+{\sqrt[{3}]{q-{\sqrt {q^{2}+p^{3}}}}}\right)}
dus:
x
3
=
2
q
+
3
−
p
3
3
⋅
x
=
2
q
−
3
p
x
{\displaystyle x^{3}=2q+3{\sqrt[{3}]{-p^{3}}}\cdot x=2q-3px}
De 3 oplossingen worden verkregen door de substitutie
x
=
u
+
v
{\displaystyle x=u+v}
u
v
=
−
p
{\displaystyle uv=-p}
0
=
x
3
+
3
p
x
−
2
q
=
(
u
+
v
)
3
+
3
p
(
u
+
v
)
−
2
q
=
u
3
+
v
3
+
3
u
v
(
u
+
v
)
+
3
p
(
u
+
v
)
−
2
q
=
u
3
+
v
3
−
2
q
{\displaystyle 0=x^{3}+3px-2q=(u+v)^{3}+3p(u+v)-2q=u^{3}+v^{3}+3uv(u+v)+3p(u+v)-2q=u^{3}+v^{3}-2q}
Voor
u
{\displaystyle u}
v
{\displaystyle v}
u
3
+
v
3
=
2
q
{\displaystyle u^{3}+v^{3}=2q}
u
3
v
3
=
−
p
3
{\displaystyle u^{3}v^{3}=-p^{3}}
Volgens de formules van Viète zijn dan
u
3
{\displaystyle u^{3}}
v
3
{\displaystyle v^{3}}
t
2
−
2
q
t
−
p
3
=
0
{\displaystyle t^{2}-2qt-p^{3}=0}
dus:
u
=
q
+
q
2
+
p
3
3
{\displaystyle u={\sqrt[{3}]{q+{\sqrt {q^{2}+p^{3}}}}}}
v
=
q
−
q
2
+
p
3
3
{\displaystyle v={\sqrt[{3}]{q-{\sqrt {q^{2}+p^{3}}}}}}
Met
u
{\displaystyle u}
v
{\displaystyle v}
(
u
e
1
,
v
e
2
)
{\displaystyle (ue_{1},ve_{2})}
(
u
e
2
,
v
e
1
)
{\displaystyle (ue_{2},ve_{1})}
waarin
e
1
=
−
1
2
(
1
−
i
3
)
,
e
2
=
−
1
2
(
1
+
i
3
)
{\displaystyle e_{1}=-{\tfrac {1}{2}}(1-\mathrm {i} {\sqrt {3}}),e_{2}=-{\tfrac {1}{2}}(1+\mathrm {i} {\sqrt {3}})}
de beide derdemachts-eenheidswortels zijn.
voetnoten websites (en ) YouTube . My First Quintic Equation , 3 juni 2020. het reële nulpunt van
x
5
+
x
4
+
1
=
0
{\displaystyle x^{5}+x^{4}+1=0}
![{\displaystyle x={\sqrt[{3}]{{\frac {-q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}+{\sqrt[{3}]{{\frac {-q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffaa47d2f2a3bcf9f14387b4deea696479480022)
![{\displaystyle y={\sqrt[{3}]{{\frac {-q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}+{\sqrt[{3}]{{\frac {-q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3ec61fe60abed23b474dc87be6605fb30e9dbb9)
![{\displaystyle x=-{\tfrac {a}{3}}+{\sqrt[{3}]{{\frac {-2a^{3}+9ab-27c}{54}}+{\sqrt {{\left({\frac {-2a^{3}+9ab-27c}{54}}\right)}^{2}-{\left({\frac {a^{2}-3b}{9}}\right)}^{3}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cce83a62aa9399167f9cb5bfd3dea8f88adbe6c4)
![{\displaystyle +{\sqrt[{3}]{{\frac {-2a^{3}+9ab-27c}{54}}-{\sqrt {{\left({\frac {-2a^{3}+9ab-27c}{54}}\right)}^{2}-{\left({\frac {a^{2}-3b}{9}}\right)}^{3}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/923c73e66877f05fb335f69ee244f11eb4fada3b)
![{\displaystyle x={\sqrt[{3}]{q+{\sqrt {q^{2}+p^{3}}}}}+{\sqrt[{3}]{q-{\sqrt {q^{2}+p^{3}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/963248e75073e0c40e5474154204d02dd2e1e800)
![{\displaystyle x^{3}=\left(q+{\sqrt {q^{2}+p^{3}}}\right)+\left(q-{\sqrt {q^{2}+p^{3}}}\right)\,+\,3\,{\sqrt[{3}]{\left(q+{\sqrt {q^{2}+p^{3}}}\right)\left(q-{\sqrt {q^{2}+p^{3}}}\right)}}\left({\sqrt[{3}]{q+{\sqrt {q^{2}+p^{3}}}}}+{\sqrt[{3}]{q-{\sqrt {q^{2}+p^{3}}}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3f4c3c4bdaec6018a583e29052c8f9aaa3e1846)
![{\displaystyle x^{3}=2q+3{\sqrt[{3}]{-p^{3}}}\cdot x=2q-3px}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f926fffde09e00acb7df5b5eecd46bc06695ac73)
![{\displaystyle u={\sqrt[{3}]{q+{\sqrt {q^{2}+p^{3}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c115acb5c476bdacee2eeb8e4602c5c427d8924)
![{\displaystyle v={\sqrt[{3}]{q-{\sqrt {q^{2}+p^{3}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d802db10bcfdad3085fdda804eb094a0fbb30ee2)
