Formule van Cardano

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.

Formule

Voor de gereduceerde derdegraadsvergelijking:

$x^3+px+q=0$

luidt de formule van Cardano voor de oplossing:

$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+bx+c=0$

kan geschreven worden als:

$(x+\frac{a}{3}{)}^3+(b-\frac{1}{3}{a}^2)(x+\frac{a}{3})+\frac{2}{27}{a}^3-\frac{1}{3}ab+c=0$,

dus in de eerder genoemde gereduceerde vorm:

$y^3+py+q=0$

met:

$y=x+\frac{a}{3}$, $p=b-\frac{1}{3}{a}^2$ en $q=\frac{2}{27}{a}^3-\frac{1}{3}ab+c$

waaruit de gereduceerde vorm van de formule volgt.

$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:

$x=-\frac{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}}$

$+\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+3px-2q=0$

Dan heeft de formule voor de oplossing de overzichtelijker vorm:

$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+\sqrt{q^2+p^3})+(q-\sqrt{q^2+p^3})+3\sqrt[3]{(q+\sqrt{q^2+p^3})(q-\sqrt{q^2+p^3})}(\sqrt[3]{q+\sqrt{q^2+p^3}}+\sqrt[3]{q-\sqrt{q^2+p^3}})$

dus:

$x^3=2q+3\sqrt[3]{-p^3}\cdot x=2q-3px$

De 3 oplossingen worden verkregen door de substitutie $x=u+v$ onder de nevenvoorwaarde $uv=-p$. Dan volgt:

$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$ en $v$ geldt dus $u^3+v^3=2q$ en $u^3{v}^3=-p^3$.

Volgens de formules van Viète zijn dan $u^3$ en $v^3$ oplossingen van de vergelijking:

$t^2-2qt-p^3=0$,

dus:

$u=\sqrt[3]{q+\sqrt{q^2+p^3}}$  en  $v=\sqrt[3]{q-\sqrt{q^2+p^3}}$.

Met $u$ en $v$ voldoen ook de paren:

$(u{e}_1,v{e}_2)$ en $(u{e}_2,v{e}_1)$,

waarin

$e_1=-\frac{1}{2}(1-\mathrm{i}\sqrt{3}),e_2=-\frac{1}{2}(1+\mathrm{i}\sqrt{3})$

de beide derdemachts-eenheidswortels zijn.