Lösungen für Gleichungen 3. Grades können über die Cardanischen Formeln ermittelt werden.(s. Formelsammlung). Kann man eine Lösung ermitteln, kommt man mit der Polynomdivision meist mit weniger Aufwand zum Ziel.

Cardanische Formeln

aus Wikipedia, der freien Enzyklopädie

Wechseln zu: Navigation, Suche

Die cardanischen Formeln sind Formeln zur Lösung reduzierter kubischer Gleichungen (Gleichungen 3. Grades). Damit werden alle Nullstellen eines gegebenen kubischen Polynoms berechnet. Die Formeln wurden, zusammen mit Lösungsformeln für quartische Gleichungen (Gleichungen 4. Grades), erstmals 1545 von dem Mathematiker Gerolamo Cardano in seinem Buch Ars magna veröffentlicht. Entdeckt wurde die Lösungsformel für die reduzierten kubischen Gleichungen von Nicolo Tartaglia; laut Cardano sogar noch früher durch Scipione del Ferro. Von Cardano selbst stammt die Methode zur Reduzierung der allgemeinen Gleichung dritten Grades auf diesen Spezialfall.

Die cardanischen Formeln waren eine wichtige Motivation für die Einführung der komplexen Zahlen, da man im Fall des casus irreducibilis (lat. für „nicht zurückführbarer Fall“) durch das Ziehen einer Quadratwurzel aus einer negativen Zahl zu reellen Lösungen gelangen kann. Diesen Fall zu lösen schaffte erst Franciscus Vieta um 1600 mittels der Trigonometrie.

Die cardanischen Formeln besitzen heute für eine rein numerische, d. h. angenäherte Lösung kubischer Gleichungen kaum noch eine praktische Bedeutung, da sich die Lösungen näherungsweise bequemer durch das Newton-Verfahren mittels elektronischer Rechner bestimmen lassen. Sie sind dagegen für eine exakte Berechnung der Lösungen in Radikalen von erheblicher Bedeutung. Der Nachweis, dass es keine entsprechenden Formeln für Gleichungen fünften und höheren Grades geben kann, hat allerdings die Entwicklung der Algebra entscheidend beeinflusst (siehe Galoistheorie).

Inhaltsverzeichnis

1 Reduzierung der allgemeinen Gleichung dritten Grades
2 Die Cardanische Formel zur Auflösung der reduzierten Form z³ + pz + q = 0
3 Komplexe Koeffizienten
4 Literatur
5 Siehe auch
6 Weblinks

Reduzierung der allgemeinen Gleichung dritten Grades[Bearbeiten]

Die allgemeine Gleichung dritten Grades

Ax^3 + Bx^2 + Cx + D = 0

mit reellen Zahlen $A$ , $B$ , $C$ , $D$ und $A\ne0$ kann durch Division durch $A$ zunächst in die Normalform

x^3 + ax^2 + bx + c = 0

gebracht werden mit $a=\tfrac{B}{A}$ , $b=\tfrac{C}{A}$ und $c=\tfrac{D}{A}$ .

Mit Hilfe der Substitution $x = z-\tfrac{a}3$ wird in der Normalform das quadratische Glied beseitigt und man erhält die reduzierte Form:

z^3 +pz + q=0,

wobei

p= b - \frac{a^2}3 = \frac{9AC-3B^2}{9A^2}

und

q= \frac {2a^3}{27} - \frac{ab}3 + c = \frac{2B^3-9ABC+27A^2D}{27A^3}

Die reduzierte Form wird nun mit Hilfe der Cardanischen Formel aufgelöst und anschließend durch Rücksubstitution $x=z-\tfrac{a}3$ die Lösungen der ursprünglichen Gleichung bestimmt.

Die Cardanische Formel zur Auflösung der reduzierten Form z³ + pz + q = 0[Bearbeiten]

Im Unterschied zur Quadratischen Gleichung ist es bei der kubischen Gleichung erforderlich, komplexe Zahlen zu betrachten; sogar dann, wenn alle drei Lösungen reell sind.

Die drei Lösungen ergeben sich durch die Substitution $z=u+v$ : Dann ist $z^3 = \left(u+v\right)^3 = u^3 + 3uv\left(u+v\right) + v^3 = 3uvz + u^3 + v^3$ und Koeffizientenvergleich liefert: $-p = 3uv$ und $-q = u^3+v^3$ .

Es ergibt sich also das Gleichungssystem $u^3+v^3 = -q$ und $\textstyle u^3\cdot v^3 = -\left(\frac{p}3\right)^3$ . Nach dem Satz von Vieta sind $u^3$ und $v^3$ Lösungen der quadratischen Resolvente $\textstyle t^2+qt-\frac{p^3}{27} = 0$ . Also erhält man $\textstyle u = \sqrt[3]{-\frac{q}2 + \sqrt{\Delta}}$ und $\textstyle v = \sqrt[3]{-\frac{q}2 - \sqrt{\Delta}}$ , wobei

\Delta:=\left(\frac{q}2\right)^2 + \left(\frac{p}3\right)^3 = \frac{27A^2D^2+4B^3D-18ABCD+4AC^3-B^2C^2}{108 A^4}

die Diskriminante der reduzierten Form ist. Zur Herleitung dieser siehe unten. Die beiden komplexen 3. Wurzeln $u$ und $v$ müssen dabei so gewählt werden, dass die Nebenbedingung $\textstyle u\cdot v = -\frac{p}3$ erfüllt ist (dadurch gibt es statt 9 nur 3 Paare $(u,v)$ ).

Die beiden anderen dritten Wurzeln ergeben sich dann jeweils durch Multiplikation mit den beiden primitiven dritten Einheitswurzeln

\varepsilon_1=-\tfrac12 + \tfrac12 \mathrm i\sqrt3

und

\varepsilon_2 = \varepsilon_1^2 = -\tfrac12 - \tfrac12 \mathrm i\sqrt3

Wegen der Nebenbedingung ergeben sich die drei Lösungen der reduzierten Form zu

\begin{align} z_1 &= u + v\\ z_2 &= u\varepsilon_1 + v\varepsilon_2\\ z_3 &= u\varepsilon_2 + v\varepsilon_1 \end{align}

Zusammenhang zwischen Vorzeichen der Diskriminante und der Anzahl der Nullstellen

Das Lösungsverhalten hängt entscheidend vom Vorzeichen der Diskriminante ab:

$\Delta>0$ : Es gibt genau eine reelle Lösung und zwei echt komplexe Lösungen (Grafik: Fall B).
$\Delta=0$ : Es gibt entweder eine doppelte reelle Lösung und eine einfache reelle Lösung (Fall C) oder eine dreifache reelle Lösung (Fall A).
$\Delta<0$ : Es gibt drei verschiedene reelle Lösungen (Fall D).

Im Fall $\Delta>0$ gibt es für den Verlauf des zugehörigen Graphen zwei Möglichkeiten: entweder (Fall B) oder streng monoton wachsend (nicht im Bild dargestellt).

Δ > 0[Bearbeiten]

Man wählt für $u$ und $v$ jeweils die reellen Wurzeln. Es gibt genau eine reelle und zwei konjugiert komplexe Lösungen, die nach den obigen Formeln durch

\begin{align} z_1&=u + v\\ z_{2,3} &= -\frac{u+v}2 \pm \frac{u-v}2\,\mathrm i \sqrt3 \end{align}

gegeben sind.

Somit erhält man die Lösungen

\begin{align} x_1&=u + v - \frac{B}{3A} \\ x_{2,3} &= -\frac{u+v}2 - \frac{B}{3A} \pm \frac{u-v}2\,\mathrm i \sqrt3 \end{align}

Allerdings ist das Ausziehen der Kubikwurzeln nicht immer so einfach. Cardano führt als Beispiel an: $z^3+6z-20=0$ . Hierbei wählen wir $\textstyle u=\sqrt[3]{10 + \sqrt{108}} = 1+\sqrt3$ und $\textstyle v=\sqrt[3]{10 - \sqrt{108}} = 1-\sqrt3$ reell. Somit ergibt sich $z_1=2$ und $z_{2,3}=-1\pm 3\mathrm i$ . Für die Techniken zum Ausziehen von verschachtelten Wurzeln sei auf die Fachliteratur verwiesen.

Δ = p = q = 0[Bearbeiten]

In diesem Fall ist $z=0$ die einzige (dreifache) Lösung und es gilt:

x_{1,2,3} = -\frac{B}{3A}

Δ = 0 und p ≠ 0 oder q ≠ 0[Bearbeiten]

In diesem Fall wählt man $u=v$ reell. Nach den obigen Formeln gibt es dann eine einfache reelle Lösung

z_1 = 2u = \sqrt[3]{-4q} = \frac{3q}p

und eine doppelte reelle Lösung

z_{2,3} = -u = \sqrt[3]{\frac{q}2} = -\frac{3q}{2p}

Somit erhält man die Lösungen

\begin{align} x_1 & =\frac{3q}p - \frac{B}{3A} & = & \frac{B^3-4ABC+9A^2D}{3A^2C-AB^2} \\ x_{2,3} & = -\frac{3q}{2p} - \frac{B}{3A} & = & \frac{ABC-9A^2D}{6A^2C-2AB^2} \end{align}

Δ < 0 (casus irreducibilis)[Bearbeiten]

Man wählt $u$ und $v$ jeweils konjugiert komplex zueinander, so ergeben sich dann durch $z=u+v = u+\overline{u} = 2\operatorname{Re}(u)$ drei verschiedene reelle Lösungen.

Bei der Bestimmung von $u$ müssen jedoch dritte Wurzeln aus echt komplexen Zahlen (z.B. mit Hilfe des Satzes von de Moivre) berechnet werden. Deshalb wird dieser Fall casus irreducibilis genannt. Mithilfe der trigonometrischen Funktionen können die Lösungen jedoch auch reell berechnet werden: Nach den Additionstheoremen gilt für alle α die Beziehung

\cos^3\alpha=\frac{\cos 3\alpha+3\cos\alpha}4\qquad\qquad(1)

Schreibt man

0=z^3+p\cdot z+q

mit Hilfe des Ansatzes $z=r\cdot\cos\alpha$ um, ergibt sich

0=r^3\cdot\cos^3\alpha+p\cdot r\cdot\cos\alpha+q

Setzt man hierin $(1)\,$ ein, dann entsteht

\begin{align} 0&=r^3\cdot\frac{\cos 3\alpha+3\cos\alpha}4 + p\cdot r\cdot\cos\alpha+q \\ &=\frac{r^3}4 \cos 3\alpha + \left(\frac34r^2 + p\right)\cdot r\cdot\cos\alpha+q \qquad\quad(2)\\ &\,= \sqrt{-\frac{4}{27}\,p^3}\cdot\cos 3\alpha+q \end{align}

Dabei wurde $\textstyle r=\sqrt{-\frac{4}{3}\, p}$ gewählt, so dass der Klammerausdruck in (2) verschwindet. Es ergibt sich

\begin{align} \cos 3\alpha &= -\frac{q}{2}\cdot\sqrt{-\frac{27}{p^3}}\\[1em] \iff\quad \alpha &= \frac13\arccos\left(-\frac{q}{2}\cdot\sqrt{-\frac{27}{p^3}}\right)+\frac{2}{3}k \pi \end{align}

mit ganzen Zahlen $k$ .

Einsetzen in $z = r\cdot\cos\alpha$ liefert mit $k = -1, 0, 1$ und $\cos(\alpha\pm\tfrac{2\pi}3)=-\cos(\alpha\mp\tfrac\pi3)$ die folgenden drei Lösungen:

\begin{align} z_2 &= -\,\sqrt{-\frac{4}{3}p} \cdot \cos\left( \frac13 \arccos\left( -\frac{q}{2} \cdot \sqrt{-\frac{27}{p^3}} \right) + \frac{\pi}{3} \right)\\[.7em] z_1 &=\quad\sqrt{-\frac{4}{3}p} \cdot \cos\left( \frac13 \arccos\left( -\frac{q}{2} \cdot \sqrt{-\frac{27}{p^3}} \right) \right)\\[.7em] z_3 &= -\,\sqrt{-\frac{4}{3}p} \cdot \cos\left( \frac13 \arccos\left( -\frac{q}{2} \cdot \sqrt{-\frac{27}{p^3}} \right) - \frac{\pi}{3} \right) \end{align}

Die Gleichung $Ax^3 + Bx^2 + Cx + D = 0$ hat also die folgenden drei Lösungen:

\begin{align} x_2 &= -\,\sqrt{-\frac{4}{3}p} \cdot \cos\left( \frac13 \arccos\left( -\frac{q}{2} \cdot \sqrt{-\frac{27}{p^3}} \right) + \frac{\pi}{3} \right) - \frac{B}{3A} \\[.7em] x_1 &=\quad\sqrt{-\frac{4}{3}p} \cdot \cos\left( \frac13 \arccos\left( -\frac{q}{2} \cdot \sqrt{-\frac{27}{p^3}} \right) \right) - \frac{B}{3A} \\[.7em] x_3 &= -\,\sqrt{-\frac{4}{3}p} \cdot \cos\left( \frac13 \arccos\left( -\frac{q}{2} \cdot \sqrt{-\frac{27}{p^3}} \right) - \frac{\pi}{3} \right) - \frac{B}{3A} \end{align}

Herleitung der Diskriminante über die Differenzialrechnung[Bearbeiten]

Zusammenhang zwischen Vorzeichen der Diskriminante und der Anzahl der Nullstellen

Dazu muss man in die Differenzialrechnung überleiten. Wie in der Graphik zu erkennen ist, kann die Gleichung nur dann genau eine reelle Lösung und zwei echt komplexe Lösungen besitzen, wenn beide Extremstellen oberhalb oder unterhalb der $x$ -Achse liegen oder keine Extremstellen existieren, im Falle drei verschiedener reeller Lösungen befindet sich der Hochpunkt (Extremstelle: Maximum) oberhalb und der Tiefpunkt (Extremstelle: Minimum) unterhalb der $x$ -Achse und im Falle mehrfacher reeller Nullstellen befinden sich Extremstellen auf der $x$ -Achse. Diese sind im Falle einer doppelten Nullstelle Hoch- bzw. Tiefpunkte und im Falle einer dreifachen Nullstelle Sattelpunkte.

Extremstellen besitzen die Eigenschaft, dass dort die Funktion weder steigt noch fällt, sondern ihre Steigung genau 0 ist. Die Steigung einer Funktion $f$ im Punkt $P(x_1\mid f(x_1))$ ergibt sich aus der Gleichung:

f'(x_1) = \lim_{x_1\to x_0} \frac{f(x_1) - f(x_0)}{x_1 - x_0} = \lim_{h\to 0} \frac{f(x_1 +h) - f(x_1)}{h}

(mit

h = x_1 - x_0

)

$f'$ meint die erste Ableitungsfunktion.
$f''$ beschreibt die zweite Ableitungsfunktion. $f'' = 0$ gilt genau dann, wenn ein Wendepunkt vorliegt.
Im Falle $f'' = f' = 0$ liegt ein Sattelpunkt vor.

Schreiben wir $z^3 + pz + q = 0$ als Funktion $f(z)$ , so sieht diese wie folgt aus:

f(z) = z^3 + pz + q

Deren erste und zweite Ableitung sind:

f'(z) = 3z^2 + p

und

f''(z) = 6z

Löst man die beiden Differenzialgleichungen:

Extremstellen:

f'(z_{E1,E2}) = 3z^2 + p = 0

und

Wendepunkte:

f''(z_W) = 6z

so erhält man:

z_{E1,E2} = \pm\sqrt{\left(\dfrac{-p}{3}\right)}

und

z_W = 0

Deren Funktionswerte sind:

\begin{align} f(z_{E1,E2}) & = z_{E1,E2}^3 + p\cdot z_{E1,E2} + q \\ & = (\pm \sqrt{\left(\dfrac{-p}{3}\right)})^3 + p\cdot (\pm \sqrt{\left(\dfrac{-p}{3}\right)}) + q \\ & = (\pm \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot ((\pm \sqrt{\left(\dfrac{-p}{3}\right)})^2 + p) + q \\ & = (\pm \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot ((\left(\dfrac{-p}{3}\right)) + p) + q \\ & = (\pm \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot ((\left(\dfrac{2p}{3}\right))) + q \end{align}

und $f(z_{W}) = z_{W}^3 + p\cdot z_{W} + q = 0^3+p\cdot 0 + q = q$ .

Die erste Lösung lässt sich folgendermaßen umformen:

\begin{array}{rcl}f(z_{E1,E2}) = z_{E1,E2}^3 + p\cdot z_{E1,E2} + q = (\pm\sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) + q \end{array}

(\pm \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) + q = 0 \Leftrightarrow\ (\pm \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) = -q \Leftrightarrow\ (\mp \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) = q \Leftrightarrow\ \left(\dfrac{-p}{3}\right)\cdot \left(\dfrac{2p}{3}\right)^2 = -2^2 \cdot \left(\dfrac{p}{3}\right)^3 = q^2 \qquad \qquad(1)

(\pm \sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right) + q > 0 \Leftrightarrow\ (\pm \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) > -q \Leftrightarrow\ (\mp \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) < q \qquad \qquad (2)

(\pm \sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right) + q < 0 \Leftrightarrow\ (\pm \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) < -q \Leftrightarrow\ (\mp \sqrt{\left(\dfrac{-p}{3}\right)}) \cdot \left(\dfrac{2p}{3}\right) > q \qquad \qquad (3)

In Fall (2) und (3) darf man nicht problemlos quadrieren, da sich nach der Quadrierung das Relationszeichen gemäß der Inversionsregel umkehren kann. $q$ wiederum kann positiv oder negativ sein, sodass man mit Hilfe von $|q|$ ("Betrag von q") vorgehen soll. Insgesamt sind vier Teilfälle zu unterscheiden. In den Teilfällen (a) und (b) ist jeweils die linke Seite positiv, in den Teilfällen (c) und (d) ist jeweils die linke Seite negativ.

Zuerst der Fall (2):

Linke Seite > 0, q > 0: $(\mp\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right) < q \Leftrightarrow\ |(\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right)| < |q| \Rightarrow\ \left(\dfrac{-p}{3}\right)\cdot \left(\dfrac{2p}{3}\right)^2 = -2^2 \cdot \left(\dfrac{p}{3}\right)^3 < q^2 \qquad \qquad (2a)$

Linke Seite > 0, q ≤ 0: $(\mp\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right) < q \Leftrightarrow\ 0 < |(\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right)| < -|q|\leq 0$ ist eine falsche Aussage $\qquad\qquad(2b)$

Linke Seite ≤ 0, q > 0: $(\mp\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right) < q \Leftrightarrow\ -|(\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right)| < |q| \Leftrightarrow\ |(\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right)| > -|q|$ ist immer wahr $\qquad\qquad(2c)$

Linke Seite ≤ 0, q ≤ 0: $(\mp\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right) < q \Leftrightarrow\ -|(\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right)| < -|q|\leq 0 \Leftrightarrow\ |(\sqrt{\left(\dfrac{-p}{3}\right)})\cdot \left(\dfrac{2p}{3}\right)| > |q|\geq 0 \Rightarrow\ \left(\dfrac{-p}{3}\right)\cdot \left(\dfrac{2p}{3}\right)^2 = -2^2 \cdot \left(\dfrac{p}{3}\right)^3 > q^2 \qquad \qquad (2d)$

Der Fall (3) führt zu analogen Ergebnissen, nur in veränderter Reihenfolge.

Aus der Umformulierung der Gleichungen (erst Division durch 4, danach bringt man den linken Ausdruck mit $p$ auf die rechte Seite) ergibt sich:

-2^2\cdot \left(\dfrac{p}{3}\right)^3 = q^2 \Leftrightarrow \left(\dfrac{q}{2}\right)^2 + \left(\dfrac{p}{3}\right)^3 = 0 \qquad \qquad(1)

-2^2\cdot \left(\dfrac{p}{3}\right)^3 > q^2\Leftrightarrow \left(\dfrac{q}{2}\right)^2 + \left(\dfrac{p}{3}\right)^3 < 0 \qquad \qquad(2)

-2^2\cdot \left(\dfrac{p}{3}\right)^3 < q^2\Leftrightarrow \left(\dfrac{q}{2}\right)^2 + \left(\dfrac{p}{3}\right)^3 > 0 \qquad \qquad(3)

\Delta:=\left(\frac{q}2\right)^2 + \left(\frac{p}3\right)^3

Komplexe Koeffizienten[Bearbeiten]

Das Vorgehen ist für komplexe Koeffizienten weitgehend analog, es gibt aber nur zwei Fälle:

$\Delta=0$ : Dies ist auch im Komplexen das Kriterium für mehrfache Nullstellen. Die oben für diesen Fall angegebenen Formeln gelten unverändert.
$\Delta\ne0$ : Die oben für den Fall $\Delta>0$ angegebenen Formeln gelten analog; die beiden dritten Wurzeln sind dabei so zu wählen, dass ihr Produkt $-\tfrac{p}{3}$ ergibt. Das Ausziehen der komplexen dritten Wurzeln auf trigonometrische Weise führt zu einem Lösungsweg, der dem für den Fall $\Delta<0$ , dem casus irreducibilis, angegebenen entspricht. Dabei ist der Winkel $3\alpha$ an die komplexen Radikanden $-\tfrac{q}2 \pm \sqrt{\Delta}$ anzupassen.

Literatur[Bearbeiten]

Jörg Bewersdorff: Algebra für Einsteiger: Von der Gleichungsauflösung zur Galois-Theorie, Wiesbaden 2004, ISBN 3528131926, Einführung (PDF; 319 kB)
Heinrich Dörrie: Kubische und biquadratische Gleichungen, München 1948
Ludwig Matthiessen: Grundzüge der antiken und modernen Algebra der litteralen Gleichungen, Leipzig 1896, Dokumenten-Server
Peter Pesic: Abels Beweis, Springer 2005, ISBN 3-540-22285-5. Die Geschichte rund um die Lösungsformeln vom Grad 2 bis 4 und der komplette Beweis von Abel.

Siehe auch[Bearbeiten]

Kubische Gleichung

Weblinks[Bearbeiten]

Formeln von Cardano zur Lösung der Gleichung dritten Grades

Von „https://de.wikipedia.org/w/index.php?title=Cardanische_Formeln&oldid=140475712“