Cardanische Formeln

Die Cardanischen Formeln oder auch Cardanoschen Formeln sind Formeln zur Lösung 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 italienischen 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 den Spezialfall, dass der Koeffizient für $x^{2}$ Null ist.

Die cardanischen Formeln bildeten einen wichtigen Impuls für die zunehmende Akzeptanz von Wurzeln aus negativen Zahlen: Cardanos Zeit konnte solchen Ausdrücken keinen Sinn beimessen, denn sie haftete noch der antiken Vorstellung an, dass eine Zahl eine Größe (lat.: quantitas) ist, die eine geometrische Länge, Fläche oder ein Volumen misst. Doch Cardano konnte zeigen, dass seine Formel im casus irreducibilis (lat.: „nicht zurückführbarer Fall“) drei Ausdrücke liefert, in denen Quadratwurzeln negativer Zahlen unausweichlich schienen, obschon Cardano die ganzzahligen Lösungen der Gleichung kannte, und dass diese unwirklichen Ausdrücke die Gleichung tatsächlich lösen, wenn man mit ihnen auf formal korrekte Art rechnete. Anders gewendet: Die Cardanische Formel führte über rätselhaft unwirkliche Zahlen auf Ausdrücke, die formal korrekte Lösungen waren, und daher mit den bekannten reellen Lösungen übereinstimmen mussten. Cardano selbst beschrieb diese Größe als eine „quantitas sophisticata“ und die Lösung als „nutzlos“, doch immerhin war sie ihm eine Veröffentlichung wert. Die Frage, wie sich all dies verstehen und veranschaulichen ließ, war folgenden Generationen ein starker Antrieb, für diese „imaginären“ Ausdrücke ein anschauliches Verständnis zu gewinnen und sie schließlich als komplexe Zahlen mathematisch zu begründen, zumal es in der Folge immer mehr Indizien dafür gab, dass sie so sinnlos nicht waren.

Franciscus Vieta gab um 1600 eine Lösung des casus irreducibilis, die anstelle der „sophistischen“ Zahlen nur reelle Zahlen enthält. Dieser Vorteil wird jedoch erkauft durch den Einsatz trigonometrischer Funktionen anstelle einfacher Radikale.

Cardano betrachtete in seiner Ars magna auch biquadratische (quartische) Gleichungen – also Gleichungen vierten Grades: Die Lösungsmethode fand sein Schüler Lodovico Ferrari, der das Problem mit Hilfe einer kubischen Resolvente auf die kubische Gleichung zurückführte.

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 jedoch für die im Verlaufe der Mathematikgeschichte vorgenommenen Versuche, eine (exakte, „algebraische“) Auflösung in Form von Radikalen zu finden, von erheblicher Bedeutung und gaben so der Entwicklung der Algebra, deren Ausgangspunkt die Betrachtung „höherer Gleichungen“ war, entscheidende Impulse. Sie fand einen Höhepunkt im Nachweis, dass es – entgegen lang gehegter Erwartungen – keine entsprechenden Formeln für Gleichungen fünften und höheren Grades gibt. Die für diesen Nachweis gewonnene Galoistheorie vermag denn auch den Hintergrund der „Rechentricks“ der Cardanischen Formeln zu beleuchten.

Reduzierung der allgemeinen Gleichung dritten Grades

Die allgemeine Gleichung dritten Grades

$F_{A}(x):=Ax^{3}+Bx^{2}+Cx+D=0$		(AllgGlg)

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

$F_{n}(x):=x^{3}+ax^{2}+bx+c=0$		(NrmGlg)

gebracht werden mit

$a={\tfrac {B}{A}}$, $b={\tfrac {C}{A}}$ und $c={\tfrac {D}{A}}$.		(Red-abc)

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

$F_{r}(z):=z^{3}+pz+q=0,$		(RedGlg)

mit den Koeffizienten

$p=b-{\frac {a^{2}}{3}}={\frac {3AC-B^{2}}{3A^{2}}}$		(Red-p)

und

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

Die Lösung der Gleichung zu finden ist äquivalent mit der Frage nach den Nullstellen der jeweils angegebenen Polynomfunktionen $F_{A},F_{n}$ bzw. $F_{r}$.

Formulierung als Aufgabe der modernen Algebra

Aus Sicht der modernen Algebra geht es bei der Lösung einer allgemeinen Gleichung um das Auffinden von Nullstellen eines Polynoms bzw. einer Polynomfunktion in einem geeigneten Erweiterungsring bzw. Erweiterungskörper. Die Cardanischen kubischen Formeln behandeln Polynome dritten Grades.

Ist nämlich $f(X)=\sum _{i=0}^{n}=a_{0}\,X^{n}+a_{1}\,X^{n-1}+\cdots +a_{n-1}\,X+a_{n}\in R[X]=R^{(\mathbb {N} _{0})}$ ein Polynom über dem Integritätsbereich $R$, so liefert der Einsetzungshomomorphismus $R[X]\to \operatorname {Abb} (S\to S)$ für einen Integritätsring $S\supset R$ eine Funktion $f\colon S\to S,\,s\mapsto f(s)$, die meist mit demselben Buchstaben benannt wird, wie das Polynom. Beispielsweise kann für $S$ der Quotientenkörper von $R$ gewählt werden oder eine Körpererweiterung desselben. Gemäß allgemeiner Körpertheorie bietet sich dafür der Zerfällungskörper des Polynoms $f$ an, der per Definition alle Nullstellen $x_{i},\;(i=1,\dots ,n)$ des Polynoms $f(X)$ und damit alle Lösungen der Gleichungen $f(x)=0$ enthält. (Seine Existenz sichert der „Fundamentalsatz von Kronecker“ zu.)

Will man den Versuch unternehmen, der mathematikhistorischen Wirklichkeit mit modernen Begriffen nahezukommen, so wäre $R=\mathbb {Z}$ zu wählen, weil Cardanos Zeit in aller Regel von ganzzahligen Polynomen ausging, und für $S$ erhoffte sich seine Zeit, die Nullstellen (Lösungen) in einer algebraische Erweiterung des Quotientenkörpers $\mathbb {Q} =\operatorname {Quot} (\mathbb {Z} )$ zu finden, die durch Adjunktion aller „sinnvollen“ quadratischen und kubischen Wurzelausdrücke (Radikale) entsteht. Cardano musste jedoch erkennen, dass seine allgemeine Formel unausweichlich „sinnlose“ Wurzelausdrücke (Radikale aus negativen Zahlen, er nannte sie radices fictae im Gegensatz zu den radices verae, den Wurzeln aus positiven Zahlen) ins Spiel brachte, und dies sogar auch in dem Falle, dass Cardano die ganzzahligen Lösungen im Voraus kannte (siehe „casus irreducibilis“). Um den Wechsel vom 18. zum 19. Jahrhundert gelang es, jene „sinnlosen, eingebildeten“ Wurzelausdrücke mit einer überzeugenden geometrischen Vorstellung zu verbinden: Die imaginäre Zahlen erschienen befreit von allem mystischen Nebel. Nur wenig später wurde der Beweis der ernüchternden Tatsache erbracht, dass für Polynome höheren als vierten Grades ein algebraischer Erweiterungskörper, der alle Wurzelausdrücke (auch die ehemals sinnlosen) adjungiert, nicht ausreicht, um die Nullstellen im Allgemeinen zu benennen.

Im Rahmen dieses Artikels genügt es, Cardanos gedankliche Ausgangssituation vereinfachend mit $R=\mathbb {R} =S$ gemäß einem intuitiven Verständnis zu umschreiben: Die axiomatischen Grundlagen der reellen Zahlen wurden erst später gelegt („Dedekindscher Schnitt“), und Begriffe aus der Mengenlehre, geschweige denn algebraische Strukturen, waren noch nicht entwickelt. Der Casus irreducibilis zeigte Cardano, dass der reelle Zahlenstrahl „irgendwie zu schmal“ ist.

Der (nach dem Fundamentalsatz der Algebra) – bis auf Isomorphie – einzig mögliche endliche Erweiterungskörper $\mathbb {C}$ von $\mathbb {R}$, der sämtliche Nullstellen eines jeden reellen Polynoms enthält, keine Ordnungsrelation zulässt und in dem Quadrate negativ sein können, erschien noch „irreal“, da es an einer Anschauung für ihn mangelte. Für Cardanos Zeit sei also vereinfachend $R=\mathbb {R} =S$ für ein Polynom dritten Grades $n=\deg f=3$ vorausgesetzt.

Die obige Reduktion eines Polynoms beliebigen Grades $n=\deg f$ durch Tilgung des zweithöchsten Potenz gelingt bei beliebigem Grad aufgrund der Binomialformeln: Man substituiere $\textstyle X\rightsquigarrow Z:=X-{\frac {a_{1}}{na_{0}}}$. Diese Substitution verschiebt lediglich die Nullstellen um den konstanten Summanden $\textstyle {\frac {a_{1}}{na_{0}}}$ und lässt daher die Diskriminante unverändert, wie im folgenden Abschnitt zur Bestimmung der Diskriminante dargelegt wird. Geometrisch veranschaulicht bedeutet die Reduktion, dass die Nullstellen $x_{i}$ gleichzeitig derart um einen Betrag $\textstyle -{\frac {a_{1}}{na_{0}}}$verschoben werden, so dass der Mittelwert der verschobenen Nullstellen $\textstyle z_{i}=x_{i}-{\frac {a_{1}}{na_{0}}}$ (und mithin ihre Spur $\textstyle \sum _{i}z_{i}$) verschwindet: $\textstyle \sum _{i}z_{i}=\sum _{i}\left(x_{i}-{\frac {a_{1}}{na_{0}}}\right)=-n{\frac {a_{1}}{na_{0}}}+\sum _{i}x_{i}=0$. Denn allgemein gilt $\textstyle \sum _{i}x_{i}=-{\frac {a_{1}}{a_{0}}}$, wie man sich anhand des über dem Zerfällungskörper in Linearfaktoren zerfallenen Polynoms klarmacht; vergleiche hierzu die Gleichungen zu den elementarsymmetrischen Funktionen.

Für diese Substitution muss im Allgemeinen vorausgesetzt werden, dass die Charakteristik von $R$ kein Teiler von $n$ ist und dass $na_{0}$ in $R$ oder wenigstens in $S$ invertierbar sind. Dies ist mit er obigen Wahl $S=\mathbb {R}$ (und mithin $\mathbb {Z} \subset R\subset S$) sichergestellt. Trifft diese Voraussetzung nicht zu, so sei auf den Abschnitt über die Koeffizientenringe verwiesen.

Wenn die Charakteristik des Körpers $K$ kein Teiler von $n$ ist und alle Wurzeln eines Polynoms über $f(X)=a_{0}\,X^{n}+a_{1}\,X^{n-1}+\cdots +a_{n-1}\,X+a_{n}\in K[X]$ mit verschwindendem zweithöchsten Koeffizienten $a_{1}=0$ miteinander identisch sind (also in einer $n$-fache Nullstelle zusammenfallen), dann liegt diese Nullstelle notwendig im Nullpunkt.

Bestimmung der Diskriminante

Die Diskriminante ist ein Kennzahl, anhand derer – wie das zugrundeliegende lateinische Wort besagt – Fälle unterscheidbar sind. Sie wird im Rahmen der Algebra definiert und vielfach verwendet. Im Kontext von Gleichungen einer Variablen (Polynomen in einer Unbestimmten) zeigt ihr Verschwinden an, ob alle Nullstellen einfach sind oder ob eine mehrfache Nullstelle vorliegt. Im Kontext der kubischen Gleichungen lässt sich an der Diskriminante ablesen, welcher der drei möglichen Fälle vorliegt, wie später deutlich wird.

Das Differenzenprodukt $(x_{0}-x_{1})(x_{0}-x_{2})(x_{1}-x_{2})$ über alle Nullstellen $x_{0},x_{1},x_{2}$ der kubischen Gleichung wechselt bei jeder Vertauschung zweier Nullstellen (also bei jeder Transposition) sein Vorzeichen. Die Diskriminante der kubischen Gleichung tut dies nicht, denn sie ist definiert als das Quadrat des Differenzenproduktes über alle Lösungen der kubischen Gleichung $x^{3}+ax^{2}+bz+c=0$ bzw. über alle Nullstellen des kubischen Polynoms $F_{n}(X)=X^{3}+aX^{2}+bX+c\in K[X]$ über dem in Rede stehenden Körper $K$, für den man sich $K=\mathbb {R}$ denken mag:

$\Delta (F_{n}):=\left[(x_{0}-x_{1})(x_{0}-x_{2})(x_{1}-x_{2})\right]^{2}$.

Die beiden Gleichungen bzw. die zugehörigen Polynome

$F_{n}(x)=x^{3}+ax^{2}+bx+c=0$		(NrmGlg)

und

$F_{r}(z)=z^{3}+pz+q=0,$		(RedGlg)

haben dieselbe Diskriminante, weil die Substitution $x=z-{\tfrac {a}{3}}$ lediglich eine Konstante addiert, die bei der Bildung des Differenzenproduktes getilgt wird.

Die Diskriminante $\Delta :=\Delta (F_{r})$ der reduzierten Gleichung lässt sich – auch ohne Kenntnis der Nullstellen – durch einen Kniff leicht errechnen: Wegen $z^{3}+pz+q=(z-z_{0})(z-z_{1})(z-z_{2})$ folgt (nach Ausmultiplizieren und Koeffizientenvergleich) für die elementarsymmetrischen Polynome in den Nullstellen

${\begin{alignedat}{2}z_{0}+z_{1}+z_{2}&=&0\\z_{0}z_{1}+z_{0}z_{2}+z_{1}z_{2}&=&p\\z_{0}z_{1}z_{2}&=&-q\end{alignedat}}$		(elmtsymFkt)

Da nun die Diskriminante symmetrisch in den Nullstellen $z_{i}$ ist, lässt sie sich nach dem Hauptsatz über symmetrische Polynome als ganzzahliges Polynom in den elementarsymmetrischen Polynomen der Nullstellen, d. h. der Polynomkoeffizienten $p$ und $q$ darstellen. Da sie zudem ein homogenes Polynom vom (Total-)Grad $6$ (in den drei Wurzeln $z_{i}$, also eine ternäre Form vom Grad 6) ist, $p$ eine Form vom Grade $2$ (also eine ternäre quadratische Form) und $q$ eine Form vom Grade $3$ (eine ternäre kubische Form), muss diese Darstellung der Diskriminante die Gestalt

$\Delta =r\cdot p^{3}+s\cdot q^{2}$ mit Konstanten $r,s\in \mathbb {Z}$ haben.

Diese Konstanten lassen sich anhand von leicht zu berechnenden Sonderfällen bestimmen:

• Zum Sonderfall $p=-1$ und $q=0$ gehört die Gleichung $0=z^{3}-z=z(z^{2}-1)$ mit den Wurzeln $z_{0}=0,z_{1}=1,z_{2}=-1$, so dass $-r=\Delta :=\left((z_{0}-z_{1})(z_{0}-z_{2})(z_{1}-z_{2})\right)^{2}=\left((-1)(+1)(1+1)\right)^{2}=(-2)^{2}=4$.
• Zum Sonderfall $p=0$ und $q=-1$ gehört die Gleichung $f(z):=z^{3}-1=0$ mit den dritten Einheitswurzeln $z_{i}=\varepsilon ^{i}$ als Nullstellen, wobei also insbesondere $z_{0}=1$ und $\varepsilon$ eine primitive dritte Einheitswurzel bezeichne (bspw. $\varepsilon =\mathrm {e} ^{\frac {2\pi \mathrm {i} }{3}}$, so dass $\varepsilon -\varepsilon ^{2}=\mathrm {i} {\sqrt {3}}$). Unter Berücksichtigung der Beziehungen der dritten Einheitswurzeln untereinander ($\varepsilon +\varepsilon ^{2}+1=0$ und $\varepsilon ^{3}=1$) bestätigt man so $s=\Delta :=\left((z_{0}-z_{1})(z_{0}-z_{2})(z_{1}-z_{2})\right)^{2}{\stackrel {!}{=}}-27$. – Einfacher wird die Rechnung mit Hilfe einer allgemeinen Eigenschaft der Diskriminante $\Delta (f)$ eines beliebigen normierten Polynoms vom Grade $\deg f=n$ mit den Nullstellen $z_{0},\dots ,z_{n-1}$ in einem Zerfällungskörper, welche die (auf der $K$-Algebra $K[Z]$ definierte) Derivation („algebraische“ Ableitung) $f'(X)$ nutzt: Aufgrund der Eigenschaften einer Derivation (Linearität, Produktregel, Kettenregel) gilt nämlich $\Delta (f)=(-1)^{\frac {n(n-1)}{2}}\prod _{i=0}^{n-1}f'(z_{i})$. Insbesondere für $f(z)=z^{3}-1$ ist $f'(z)=3z^{2}$, und es folgt wie gewünscht $s=\Delta (f)=(-1)^{3}\cdot 3\,\zeta ^{2}\cdot 3\,\zeta \cdot 3=-3^{3}=-27$. Die Derivation ist im Falle $K=\mathbb {R}$ mit der bekannten Ableitung von Polynomfunktionen identifizierbar.

Also ist die Diskriminante sowohl der reduzierten Gleichung als auch der Normalform gegeben durch

$\Delta =\Delta (F_{n})=\Delta (F_{r})=-4\,p^{3}-27\,q^{2}=-108\left(\left({\frac {p}{3}}\right)^{3}+\left({\frac {q}{2}}\right)^{2}\right)\,,$		(kubDiscr)

wobei für $\Delta (F_{n})$ die Beziehungen zwischen den Koeffizienten $a,b,c$ von $F_{n}$ und $p,q$ von $F_{r}$ zu nutzen sind, also die Substitionsgleichungen (Red-p) und (Red-q).

Die Diskriminante normierter quadratischer Polynome ist gegeben durch

$\Delta (Z^{2}+pZ+q)=\left(2{\sqrt {\left({\frac {p}{2}}\right)^{2}-q}}\right)^{2}=p^{2}-4q\,,$		(quDiscr)

wie man durch Einsetzen anhand der Mitternachtsformel bestätigt.

Berechnungsvariante mit Hilfe der Resultante

Vorbemerkung zum Zusammenhang zwischen Diskriminante und Resultante

Für die Resultante $\operatorname {R} (f,g)$ zweier Polynome $f(X),g(X)\in R[X]$ mit den Graden $\deg f=n$ und $\deg g=m$, den Leitkoeffizienten $a_{0}$ bzw. $b_{0}$ und den gegebenenfalls mehrfach aufgeführten Nullstellen $x_{i},\,i=0,\dots ,n-1$ bzw. $y_{j},\,j=0,\dots ,m-1$ gilt:

$(-1)^{nm}\,\operatorname {R} (g,f)=R(f,g):=a_{0}^{m}b_{0}^{n}\prod _{i,j}(x_{i}-y_{j})=a_{0}^{m}\prod _{i}g(x_{i})=(-1)^{nm}\,b_{0}^{n}\prod _{j}f(y_{j})$

Die Diskriminante des Polynoms ist definiert wie folgt:

$\operatorname {\Delta } (f)=a_{0}^{2(n-1)}\prod _{0\leq i<k\leq n-1}(x_{i}-x_{k})^{2}$

Der Normierungsfaktor enthält die minimale Potenz des Leitkoeffizienten $a_{0}$ von $f(x)$ mit der Eigenschaft, dass ganzzahlige Polynome ganzzahlige Diskriminanten haben.

Wenn man $g:=f'$ setzt und folglich die $m=n-1$ Nullstellen von $f'$ mit $y_{j},\;j=0,\dots ,n-2$ bezeichnet, so gilt folgende Beziehung zur Resultante:

${\begin{alignedat}{2}a_{0}\,\operatorname {\Delta } (f)&=\quad (-1)^{\frac {n(n-1)}{2}}\cdot \operatorname {R} (f,f')&=&\quad (-1)^{\frac {n(n-1)}{2}}\cdot a_{0}^{n-1}\prod _{0\leq i\leq n-1}f'(x_{i})\\&=\quad (-1)^{{\frac {n(n-1)}{2}}+n(n-1)}\cdot \operatorname {R} (f',f)&=&\quad (-1)^{\frac {n(n-1)}{2}}\cdot (na_{0})^{n}\prod _{0\leq j\leq n-2}f(y_{j})\end{alignedat}}$

Anwendung auf den vorliegenden kubischen Fall

Gemäß der Vorbemerkung gilt, wenn $z'_{0},z'_{1}$ die Nullstellen der Ableitung $f'(Z)=3a_{0}Z^{2}+2a_{1}Z+a_{2}$ des Polynoms $f(Z)=a_{0}Z^{3}+a_{1}Z^{2}+a_{2}Z+a_{3}$ bezeichnen:

$a_{0}\cdot \operatorname {\Delta } (f)=(-1)^{3}\cdot (3\,a_{0})^{3}\cdot f(z'_{0})\,f(z'_{1})=-27\cdot a_{0}^{3}\cdot f(z'_{0})\,f(z'_{1})$

Angewandt auf das reduzierte Polynom $F_{r}(Z)=Z^{3}+pZ+q$, dessen Ableitung $F_{r}'(Z)=3Z^{2}+p$ die beiden Nullstellen $z'_{j}=(-1)^{j}{\sqrt {-{\frac {p}{3}}}}$ (für $j=0,1$) besitzt, errechnet man:

${\begin{alignedat}{2}\operatorname {\Delta } (F_{r})&=-27\cdot F_{r}\left({\sqrt {-{\frac {p}{3}}}}\right)\cdot F_{r}\left(-{\sqrt {-{\frac {p}{3}}}}\right)=&&\\&=-27\cdot \left({\sqrt {\frac {-p}{3}}}^{3}+p{\sqrt {\frac {-p}{3}}}+q\right)\cdot \left(-{\sqrt {\frac {-p}{3}}}^{3}-p{\sqrt {\frac {-p}{3}}}+q\right)&&\\&=+27\cdot \left(\left({\sqrt {\frac {-p}{3}}}\left({\frac {-p}{3}}+p\right)\right)^{2}-q^{2}\right)&&\\&=+27\cdot \left({\frac {-p}{3}}{\frac {4p^{2}}{9}}-q^{2}\right)&&\\&=-4p^{3}-27q^{2}&&\end{alignedat}}$

Weiter unten befindet sich eine geometrische Veranschaulichung dieser Berechnung anhand des Graphen der kubischen Polynomfunktion.

Anmerkung zum Normierungsfaktor für nicht normierte Polynome

Der gängige Normierungsfaktor $a_{0}^{2(n-1)}$ aus der Definition der Diskriminante für nicht normierte Polynome ($a_{0}\neq 1$) erklärt sich durch folgendes Postulat: Er ist die kleinstmögliche Potenz $a_{0}^{N}$ des Leitkoeffizienten $a_{0}$, so dass die Diskriminante eines ganzzahligen Polynoms ganzzahlig ist. Beachte: Bei $a_{0}\neq 1$ liefern nicht die Koeffizienten $a_{1},\dots ,a_{n}$, sondern die Koeffizienten ${\tfrac {a_{i}}{a_{0}}}\;(i=1,\dots ,n)$ des normierten Polynoms die elementarsymmetrischen Funktionen der Wurzeln.

Veranschaulichung der Fallunterscheidung durch Kurvendiskussion

Es sei vorab bemerkt, dass nach dem Fundamentalsatz der Algebra das betrachtete kubische reduzierte Polynom $F_{r}(Z)=Z^{3}+pZ+q$ im Körper $\mathbb {C}$ der komplexen Zahlen – mit Vielfachheit gezählt! – drei Nullstellen besitzt. Wenn es also weniger als drei reelle Nullstellen gibt, so sind die fehlenden imaginär (komplex mit nicht verschwindendem Imaginärteil).

Für die folgenden Betrachtungen sei vorausgesetzt, dass die Koeffizienten $p,q$ reell sind, so dass die zugehörige Polynomfunktion $F_{r}\colon \mathbb {R} \to \mathbb {R} ,\;z\mapsto F_{r}(z)$ eine reelle Funktion ist. Die Gleichungstheorie stellte die Frage nach ihren reellen Nullstellen.

Zusammenhang zwischen den Vorzeichen beider Extremwerte, der Anzahl reeller Nullstellen und dem Vorzeichen der Diskriminante Δ und dem Extremwerteprodukt. – Beachte, dass für reduzierte Polynome (also bei verschwindender Wurzelsumme) die Lozierung des Nullpunktes in der Grafik zu korrigieren ist. Beispielsweise muss im Fall A der Nullpunkt im Sattelpunkt liegen. Man ignoriere also die gezeichnete $y$-Achse und verschiebe sie gedanklich an die Stelle des Mittelwerts der Wurzeln ${\tfrac {x_{1}+x_{2}+x_{3}}{3}}$ der Wurzeln. Dieser ist nämlich Null.

Vorüberlegung anhand der nebenstehenden Graphik

Zunächst beachte, dass es sich bei der reellen Polynomfunktion $F_{r}(z)=z^{3}+pz+q=z(z^{2}+p)+q$ um die durch Addition des reellen absoluten Gliedes $q$ verschobene, ungerade Polynomfunktion $F_{\circ }(z):=z(z^{2}+p)$ handelt, welche die symmetrisch um den Ursprung liegenden Nullstellen $-{\sqrt {-p}},0,{\sqrt {-p}}$ besitzt:

• Bei negativem $p$ sind diese reell.
• Bei positivem $p$ wären sind sie rein-imaginär, wenn man die Polynomfunktion über $\mathbb {C}$ betrachtete. Das Polynom $F_{\circ }$ zerfällt in diesem Falle erst über $\mathbb {C}$ in Linearfaktoren. Es hat daher nur die eine reelle Nullstelle $z=0$.
• Strebt $p$ von unten gegen Null („$\,p\nearrow 0\,$“), so streben die linke und die rechte reelle Nullstelle $\pm {\sqrt {-p}}$ gegen die mittlere Nullstelle $z=0$, und damit auch die zwischen ihnen liegenden lokalen Extremwerte, bis sie im Grenzfall $p=0$ alle drei an der Stelle $z=0$ verschmelzen: Diese ist dann dreifache Nullstelle und Sattelstelle von $F_{\circ }(z)=z^{3}$.
• Die Ableitungen sind identische Polynomfunktionen $F_{r}'=F_{\circ }'$, weil das absolute Glied $q$ als Konstante verschwindet. Sie haben deshalb gleiche Extremstellen und Wendestellen. Ihre Extremwerte und Wendewerte unterscheiden sich natürlich um das absolute Glied $q$.
• Es sei nun $p\leq 0$. Dann erkennt man mit Methoden einfacher Kurvendiskussion:
  • Die lokalen Extremstellen von $F_{\circ }$ liegen in den Nullstellen der Ableitung $F_{\circ }'(z)=3z^{2}+p$, also an den Stellen $\textstyle z'_{j}=(-1)^{j}{\sqrt {\frac {-p}{3}}}\;(j=1,2)$. Die Polynomfunktion $F_{r}$ hat dort die jeweiligen Werte $\textstyle F_{r}(z'_{j})=(-1)^{j}\cdot {\sqrt {\frac {-p}{3}}}\left({\frac {-p}{3}}+p\right)+q=(-1)^{j}\cdot {\frac {2p}{3}}{\sqrt {\frac {-p}{3}}}+q=(-1)^{j}\cdot {\sqrt {\frac {-4p^{3}}{27}}}+q$.
  • An den lokalen Extremstellen berührt die Tangente die Kurve und liegt waagerecht.
  • Die Addition $F_{r}(z)=F_{\circ }(z)+q$ des absoluten Gliedes $q$ verschiebt diese lokalen Extremstellen nicht, wohl aber die Extrema selbst um den Wert von $q$, der somit den Mittelwert beider lokalen Extrema darstellt.
  • Eine Wendestelle von $F_{\circ }$ und somit auch von $F_{r}$ liegt an der Nullstelle der zweiten Ableitung $F_{\circ }''(z)=F_{r}''(z)=6z$, also bei $z=0$. Die Polynomfunktion $F_{r}$ nimmt dort als Wendewert $F_{r}(0)=q$ den Mittelwert der lokalen Extrema an.
  • Dies gilt auch, wenn beide lokalen Extrempunkte im Wendepunkt zu einem Sattelpunkt verschmelzen (und mithin keine Extrema mehr sind, aber doppelt gewichtet werden): Dann folgt $p=0$, und an der Sattelstelle $z_{S}$ verschwinden erste und zweite Ableitung, während $F_{r}$ dort den Sattelwert $F_{r}(z_{S})=q$ annimmt. Bei $q\neq 0$ hat $F_{r}$ nur eine reelle Nullstelle.
  • Die Tangente in einem Sattelpunkt liegt ebenfalls waagerecht und schneidet die Kurve.
  • Verschwindet hingegen der Sattelwert $q$ (d. h., liegt er auf $x$-Achse), so liegt dort eine dreifache reelle Nullstelle vor! Es sind nämlich mit den lokalen Extremstellen auch die beiden äußeren reellen Nullstellen $z_{E,1,2}$ in dieser einen reellen Nullstelle $z=0$ verschwunden. (Wären sie es nicht, müsste es dazwischen nach dem Extremwertsatz lokale Extrema geben). Mit anderen Worten: Liegt ein verschwindender Sattelwert vor, so verschwindet er im Ursprung, liefert eine dreifache Nullstelle und es gilt $p=0=q$.
  • Solange der reelle Koeffizient $q$ im reellen offenen Intervall $\textstyle \left]-{\sqrt {\frac {-4p^{3}}{27}}},{\sqrt {\frac {-4p^{3}}{27}}}\right[$ liegt, „überquert“ bei seiner Addition keine der beiden lokalen Extrempunkte die $x$-Achse und berührt sie nicht einmal, so dass die Polynomfunktion $F_{r}(z)$ ihre drei reellen Nullstellen behält. Mit anderen Worten: Für $\textstyle q^{2}<{\frac {-4p^{3}}{27}}$ liegen drei reelle Nullstellen vor.
  • Falls $\textstyle q\in \left\{-{\sqrt {\frac {-4p^{3}}{27}}},{\sqrt {\frac {-4p^{3}}{27}}}\right\}$, – falls $q$ also genau einen der Extremwerte annimmt, so kommt eines der beiden lokalen Extrema bei Addition von $q$ auf der $x$-Achse zu liegen, wobei zwei Nullstellen zu einer doppelten Nullstelle verschmelzen. Die dritte reelle Nullstelle wird lediglich verschoben. Mit anderen Worten: Für $\textstyle 27q^{2}=-4p^{3}$ gibt es zwei reelle Nullstellen, deren eine eine doppelte ist.
  • Sobald der reelle Koeffizient $q$ außerhalb des geschlossenen Intervalls $\textstyle \left[-{\sqrt {\frac {-4p^{3}}{27}}},{\sqrt {\frac {-4p^{3}}{27}}}\right]$ liegt, „überquert“ bei Addition von $q$ einer der beiden lokalen Extrempunkte die $x$-Achse, so dass die Polynomfunktion $F_{r}(z)$ zwei reelle Nullstellen verliert, die folglich Imaginäre verschoben werden. Mit anderen Worten: Für $\textstyle q^{2}>{\frac {-4p^{3}}{27}}$ liegt genau eine reelle Nullstellen vor, die anderen beiden sind im Imaginären anzutreffen.

Zusammenfassend ist damit plausibel gemacht: Für $p\leq 0$ lässt sich das Nullstellenverhalten der reellen Polynomfunktion $F_{r}(z)$ am Vorzeichen der Diskriminante $\Delta =-27q^{2}-4p^{3}$ ablesen.

Zugleich erkennt man: Es kommt wesentlich darauf an, ob

• die beiden lokalen Extremwerte nicht verschwinden und dabei gleiches Vorzeichen haben (darunter fällt auch der Fall, dass sie sich in einem Sattelpunkt vereinigen) oder aber
• nicht verschwinden und dabei verschiedenes Vorzeichen haben oder aber
• ob einer von ihnen (oder gar beide) verschwinden.

Bezeichnen $z'_{i}\;(i=0,1)$ die beiden (nicht notwendig verschiedenen) Nullstellen der quadratischen ersten Ableitung $F_{z}'$, so zeigen sich diese drei Fälle also im Vorzeichen des Produkts

$\Pi :=F_{r}(z'_{0})\cdot F_{r}(z'_{1})=\left({\sqrt {\frac {-4p^{3}}{27}}}+q\right)\left(-{\sqrt {\frac {-4p^{3}}{27}}}+q\right)=q^{2}+{\frac {4p^{3}}{27}}=-{\frac {\Delta }{27}}$

der (potenziellen) Extremwerte. Der Fall einer doppelten Nullstelle $z'_{0}=z'_{1}$ von $F_{z}'$ liefert eine Sattelstelle und ist in dieser Formulierung enthalten.

Damit wird glaubwürdig, dass die oben plausibilisierte Fallunterscheidung anhand des Vorzeichens der Diskriminante auch für beliebiges reelles $p$ gilt. Überdies erhält die Berechnungsvariante der Diskriminante mit Hilfe der Resultante eine geometrische Anschauung. Die folgende Tabelle fasst all dies zusammen.

Fallunterscheidung aufgrund der Diskriminante – veranschaulicht per Kurvendiskussion

–	Fall 1	Fall 2	Fall 3 Casus irreducibilis
Grafisches Fallkriterium	Die $x$-Achse bildet an einer Stelle eine Tangente an die Kurve.	Die $x$-Achse trifft die Kurve in nur einem Punkt und ist dort keine Tangente an die Kurve.	Die $x$-Achse trifft die Kurve in mehr als nur einem Punkt und ist in keinem dieser Punkte Tangente.
Schlussfolgerung für Ableitungen	An dieser Tangentialstelle verschwinden die erste Ableitung $F_{r}'$ und die Funktion $F_{r}$ selbst.	Dieser eine Punkt ist also ein Schnittpunkt, in dem die erste Ableitung $F_{r}'(z)=3z^{2}+p$ nicht verschwindet. Die beiden Nullstellen dieser quadratischen Polynomfunktion müssen sich also an anderer Stelle befinden. Fall c: Die Ableitung $F_{r}'$ besitzt zwei verschiedene reelle Nullstellen, an welchen die zweite Ableitung $F_{r}''$ unterschiedliches Vorzeichen hat. Fall d: Die Ableitung $F_{r}'$ besitzt eine doppelte reelle Nullstelle, an welcher die zweite Ableitung $F_{r}''$ verschwindet.	Es muss sich um drei Schnittpunkte handeln: Die Kurve schneidet die $x$-Achse dreimal, und an diesen drei Stellen verschwindet die Funktion $F_{r}$, nicht jedoch die erste Ableitung $F_{r}'$. Damit ist schon jetzt ist klar, dass sich an diesen drei Stellen drei verschiedene reelle Nullstellen befinden.
Lage potenzieller lokaler Extremwerte bzw. eventueller Sattelpunkte	Für die Lage potenzieller Extremwerte gibt es zwei Unterfälle: Fall a: Auch die zweite Ableitung $F_{r}''$ verschwindet an dieser Stelle, das heißt: An dieser Stelle schneidet die $x$-Achse die Kurve tangential. Es ist der Fall $p=0=q$, also $F_{r}(z)=z^{3}$. Fall b: Die zweite Ableitung $F_{r}''$ verschwindet an dieser Stelle nicht, das heißt: An dieser Stelle berührt die $x$-Achse die Kurve, d. h. sie ist dort Tangente an die Kurve. Dort liegt also ein verschwindendes lokales Extremum vor, das heißt eine doppelte reelle Nullstelle, während an anderer Stelĺe eine weitere reelle Nullstelle vorliegt und zwischen beiden das zweite lokale Extremum angenommen wird, welches nicht verschwindet und das Doppelte von $q$ beträgt.	Für die Lage potenzieller Extremwerte gibt es zwei Unterfälle: Fall c: Sie sind verschieden (also $p\neq 0$) und befinden sich beide ($|q|$ hinreichend groß) in der oberen oder beide in der unteren Halbebene (oberhalb oder unterhalb der $x$-Achse). Es handelt sich also um zwei verschiedene lokale Extrema gleichen Vorzeichens. Fall d: Sie sind zu einem nicht verschwindenden Sattelwert verschmolzen (also $p=0\neq q$) und daher keine lokalen Extremwerte. Die erste Ableitung verschwindet an dieser Stelle doppelt, weil auch die zweite Ableitung an dieser Stelle verschwindet.	Zwischen zwei benachbarten Nullstellen liegt (nach dem Extremwertsatz) jeweils ein lokales Extremum. Diese beiden Extrema verschwinden also nicht und besitzen verschiedene Vorzeichen.
Fall gemäß obiger Grafik	Fall a: Fall A gemäß Grafik Fall b: Fall B gemäß Grafik	Fall c: Fall C gemäß Grafik Fall d ist ein in der Grafik nicht dargestellter Fall. Er entspricht dem Fall A mit auf- oder abwärts verschobener Kurve ($p=0\neq q$).	Fall D gemäß Grafik.
Extremwertprodukt $\Pi$	$\Pi =0$	$\Pi >0$	$\Pi <0$
Diskriminante $\Delta$	$\Delta =0$	$\Delta <0$	$\Delta >0$
Differenzenprodukt	Das Differenzenprodukt verschwindet.	Das Differenzenprodukt ist rein imaginär und ungleich Null.	Das Differenzenprodukt ist reell und ungleich Null.
Bedingungen für Koeffizienten $p$ und $q$	Fall a: $p=0=q$ Fall b: $pq\neq 0$, genauer: $0\neq \left({\frac {q}{2}}\right)^{2}=-\left({\frac {p}{3}}\right)^{3}$	Fall c: $p\neq 0\neq q$ mit hinreichend großem $|q|$, nämlich $\left({\frac {q}{2}}\right)^{2}>-\left({\frac {p}{3}}\right)^{3}$ Fall d: $p=0\neq q$	$p\neq 0\neq q$ mit hinreichend kleinem $|q|$, nämlich $\left({\frac {q}{2}}\right)^{2}<-\left({\frac {p}{3}}\right)^{3}$
Reelle Nullstellen	Es gibt höchstens zwei verschiedene reelle Nullstellen, darunter eine mehrfache Nullstelle, genauer: Fall a: Drei reelle Nullstellen sind zu einer dreifachen Nullstellen verschmolzen, die somit eine verschwindenden Sattelstelle ist. In ihr sind auch die lokalen Extremstellen verschwunden. Fall b: Zwei reelle Nullstellen sind zu einer doppelten Nullstelle verschmolzen, die somit ein lokales Extremum liefert. Überdies gibt es eine davon verschiedene, weitere reelle Nullstelle, die folglich einfach ist.	Es gibt also nur eine reelle Nullstelle. Diese ist einfach.	Es gibt drei verschiedene reelle Nullstellen.
Komplexe Nullstellen	Es gibt keine imaginären Nullstellen, sondern höchstens zwei verschiedene reelle Nullstellen.	Es gibt zwei komplexe (zueinander konjugierte) Nullstellen und eine reelle Nullstelle.	Es gibt keine komplexe Nullstelle, sondern genau drei verschiedene reelle Nullstellen.
Allgemeine Gestalt der Nullstellen $z_{k}$, wenn $z_{k}=:x_{k}+\mathrm {i} \,y_{k}$ mit $x_{k},y_{k}\in \mathbb {R}$ für $k=0,1,2$	Fall a: $z_{0}=z_{1}=z_{2}=0$ Fall b: ${\begin{aligned}z_{0}&=x_{0}\neq 0,\\z_{1}&=z_{2}=-{\frac {x_{0}}{2}}\end{aligned}}$ Dabei muss gelten: $\textstyle z_{1}=z_{2}\in \{z'_{0},z'_{1}\}=\left\{\pm {\sqrt {\frac {-p}{3}}}\right\}$, also $\textstyle z_{0}=\mp 2{\sqrt {\frac {-p}{3}}}$, weil die Wurzelsumme verschwindet.	$z_{0}=x_{0}$, $z_{1}=-{\frac {x_{0}}{2}}+\mathrm {i} \,y_{1}$ sowie $z_{2}=-{\frac {x_{0}}{2}}+\mathrm {i} \,y_{2}$ mit $y_{1}\neq 0\neq y_{2}=-y_{1}$	Für $k=0,1,2$ gilt $z_{k}=x_{k}$ mit Wurzelsumme $0=z_{0}+z_{1}+z_{2}$ und paarweise verschiedenen $z_{k}$
Beispiele	Fall a: $0=Z^{3}$ Fall b: ${\begin{aligned}0&=Z^{3}-3Z\pm 2\\&=(Z\pm 2)(Z^{2}\mp 2Z+1)\\&=(Z\pm 2)(Z\mp 1)^{2}\end{aligned}}$	${\begin{aligned}0&=Z^{3}+6Z-20\\&=(Z-2)(Z^{2}+2Z+10)\end{aligned}}$.	${\begin{aligned}0&=Z^{3}-6Z+4\\&=(Z-2)(Z^{2}+2Z-2)\end{aligned}}$

Anmerkung: Für $\deg f\geq 4$ gelingt diese geometrische Veranschaulichung nicht.

Die Gleichung zur Winkeldreiteilung

Die Funktionalgleichung der Exponentialfunktion und die Eulersche Formel oder die Formel von de Moivre liefern die folgenden Beziehung zwischen einem Winkel $\phi$ und seiner Drittelung ${\frac {\phi }{3}}$:

$\cos \phi +\mathrm {i} \;\sin \phi =\left(\cos {\frac {\phi }{3}}+\mathrm {i} \;\sin {\frac {\phi }{3}}\right)^{3}$

Zur geometrischen Konstruktion mit Zirkel und Lineal gemäß der historischen Aufgabenstellung genügt es, lediglich den Realteil (oder wahlweise den Imaginärteil) zu kennen. Bildet man diesen auf beiden Seiten, so erhält man eine Beziehung, die aus trigonometrischen Additionstheoremen folgt:

$\cos \phi =\cos ^{3}{\frac {\phi }{3}}+3\cos {\frac {\phi }{3}}\cdot \mathrm {i} ^{2}\underbrace {\sin ^{2}{\frac {\phi }{3}}} _{1-\cos ^{2}{\frac {\phi }{3}}}=4\cos ^{3}{\frac {\phi }{3}}-3\cos {\frac {\phi }{3}}$.

Bei beliebigem Winkel $\phi$ geht es also um die Lösung der kubischen Gleichung

$F_{A}(X):=4X^{3}-3X-c=0$ mit einem beliebigen $c:=\cos \phi \in [-1,1]$. Die drei Lösungen sind $x_{j}=\cos {\frac {2j\pi +\phi }{3}}$ mit $j\in \{0,1,2\}$ oder $j\in \{-1,0,1\}$ oder allgemeiner $j\equiv 0,1,2\mod 3$		(WinkeldrittelungGlg )

Die normierte Gleichung

$F_{n}(X)={\tfrac {1}{4}}F_{A}(X):=X^{3}-{\frac {3}{4}}X-q=0$ mit $q={\frac {c}{4}}$

hat selbstverständlich dieselben Lösungen und ist bereits reduziert ($F_{r}=F_{n}$) im obigen Sinne.

Die Diskriminante beträgt nach obiger Rechnung

$\Delta (F_{n})=-4\,\left(-{\frac {3}{4}}\right)^{3}-27\,q^{2}=27\left({\frac {1}{16}}-q^{2}\right)={\frac {27}{16}}\sin ^{2}\phi \geq 0\,.$

Dabei sind offenbar äquivalent:

• $c=0$
• $q=0$
• $\sin \phi =0$
• $\phi \in \mathbb {Z} \pi$
• $\Delta (F_{n})=0$
• $\Delta (F_{A})=0$

Wie unten beschrieben wird, folgt hieraus, dass für die kubische Gleichung der Winkeldreiteilung – bei $\phi \not \in \mathbb {Z} \pi$ bzw. nicht verschwindendem absoluten Glied – der casus irreducibilis vorliegt. Dass umgekehrt jeder beliebige casus irreducibilis (bei reellen Koeffizienten, scil.) auf diese Winkeldreiteilungsgleichung zurückgeführt werden kann, wird unten dargelegt.

Die cardanische Formel

Die reduzierte Form wird mit Hilfe der cardanischen Formel aufgelöst, und anschließend werden durch die Rücksubstitution $x=z-{\tfrac {B}{3A}}$ die Lösungen der ursprünglichen Gleichung bestimmt. Dabei werden in der reduzierten Form die Koeffizienten $p,\ q$ und in der allgemeinen Form die Koeffizienten $A,\ B,\ C,\ D$ als reell und komplex angenommen. Im Unterschied zur quadratischen Lösungsformel kommen bei der kubischen Gleichung auch dann, wenn alle drei Lösungen reell sind, nicht-reelle komplexe Zahlen ins Spiel.

Mit der Substitution

$z=u+v$		(Subst)

erhält man

$z^{3}=\left(u+v\right)^{3}=u^{3}+3uv\left(u+v\right)+v^{3}=3uvz+u^{3}+v^{3}\,.$

Im Vergleich mit der reduzierten Gleichung (RedGlg) (also mit $z^{3}+pz+q=0$) erkennt man, dass bei Gleichsetzung mit ihr die Unbekannten $u,v$ folgende Nebenbedingungen erfüllen müssen:

$3uv=-p$		(NB-Nrm)

und

$u^{3}+v^{3}=-q$		(NB-Sp)

Unter Beachtung dieser Nebenbedingungen löst man nun die reduzierte Gleichung, indem man zunächst bemerkt, dass die Nebenbedingungen für die Unbekannten $t_{0}:=u^{3}$ und $t_{1}:=v^{3}$ die Gleichungen

$t_{0}t_{1}=u^{3}\cdot v^{3}=-\left({\tfrac {p}{3}}\right)^{3}=-{\tfrac {p^{3}}{27}}$		(Vieta-Nrm)

  und

$t_{0}+t_{1}=u^{3}+v^{3}=-q$		(Vieta-Sp)

implizieren. Beachte hierbei, dass zwar (Vieta-Sp) und (NB-Sp) äquivalente Bedingungen sind, nicht aber (Vieta-Nrm) und (NB-Nrm). Also muss im weiteren Lösungsweg stets darauf geachtet werden, dass die Nebenbedingung (NB-Nrm) gültig bleibt.

Nach dem Satz von Vieta sind daher $t_{0}$ und $t_{1}$ die beiden Lösungen der quadratischen Gleichung

$L(t):=t^{2}+qt-{\tfrac {p^{3}}{27}}=0$,		(L-Res)

welche die Lagrange-Resolvente der kubischen Gleichung genannt wird.

Die quadratische Lösungsformel liefert die Lösungen der Langrange-Resolvente zu

$t_{0,1}={\frac {-q\pm {\sqrt {\Delta _{2}}}}{2}}$   mit   $\Delta _{2}:=q^{2}+{\frac {4p^{3}}{27}}$ als der Diskriminante der quadratischen Resolvente gemäß (quDiscr).

Bezeichnet nun $\varepsilon$ eine primitive dritte Einheitswurzel und setzt man $\varepsilon _{i}:=\varepsilon ^{i}$ für $i=0,1,2$, so sind nun die drei (nicht notwendig verschiedenen) Lösungen $z_{i}\;(i=0,1,2)$ der kubischen Gleichung die folgenden:

${\begin{aligned}z_{i}&=u_{i}+v_{i}{\text{ mit }}{\begin{cases}u_{0,1,2}&=\varepsilon _{0,1,2}\cdot {\sqrt[{3}]{t_{0}}}{\text{ und }}\\v_{0,1,2}&=\varepsilon _{0,2,1}\cdot {\sqrt[{3}]{t_{1}}}\,,\end{cases}}\\\end{aligned}}$		(FormCard.1)

wobei für den Ausdruck $u_{0}={\sqrt[{3}]{t_{0}}}$ eine fest gewählte dritte Wurzel zu wählen ist, und für $v_{0}={\sqrt[{3}]{t_{1}}}$ die aufgrund von (NB-Nrm) durch diese Wahl festgelegte dritte Wurzel $v_{0}={\frac {-p}{3u_{1}}}$ von $t_{1}$. Entsprechend müssen auch die Paare $(u_{1},v_{1})$ und $(u_{2},v_{2})$ die Nebenbedingung (NB-Nrm) erfüllen.

Man beachte also:

• Bei positiver Lagrange-Diskriminante $\Delta _{2}>0$ (das heißt bei $\Delta <0$) sind $t_{0},t_{1}$ reell. Man wähle dann die reellen Kubikwurzeln für $u_{0}={\sqrt[{3}]{t_{0}}}$ bzw. $v_{0}={\sqrt[{3}]{t_{1}}}$. Die anderen Kubikwurzeln $u_{1},u_{2},v_{1},v_{2}$ sind dann imaginär, und die Nebenbedingungen erzwingen, dass sie paarweise konjugiert komplex sind: $u_{2}={\overline {u_{1}}}$ und $v_{2}={\overline {v_{1}}}$.
• Bei verschwindender Lagrange-Diskriminante $\Delta _{2}=0$ (das heißt bei $\Delta =0$) ist $t_{0}=t_{1}$ eine reelle doppelte Nullstelle der quadratischen Lagrangeschen Resolvente. Für $u_{i},v_{i}$ gilt dasselbe wie im vorstehenden Fall und zusätzlich $u_{0}=v_{0}$, $u_{1}=u_{0}\varepsilon =v_{0}\varepsilon =v_{2}$ und entsprechend $u_{2}=v_{1}$.
• Bei negativer Lagrange-Diskriminante $\Delta _{2}<0$ (das heißt bei $\Delta >0$) sind $t_{0},t_{1}$ imaginär und zueinander konjugiert komplex. Daher sind dann auch die Kubikwurzeln $u_{i},v_{i}$ imaginär, und in diesem Falle, dem „casus irreducibilis“, sind die Paare $(u_{i},v_{i})$ zueinander konjugiert komplex: $u_{i}={\overline {v_{i}}}$. Daher ist ihre jeweilige Summe $u_{i}+v_{i}$ reell.

Die drei Lösungen sind also

${\begin{array}{lclcrcrcrcr}z_{0}&=&u_{0}\varepsilon _{0}+v_{0}\varepsilon _{0}=u_{0}\varepsilon _{0}-{\tfrac {p}{3u_{1}}}\varepsilon _{0}&=&{\sqrt[{3}]{t_{0}}}&+&{\sqrt[{3}]{t_{1}}}&=&{\sqrt[{3}]{\frac {-q+{\sqrt {\Delta _{2}}}}{2}}}&+&{\sqrt[{3}]{\frac {-q-{\sqrt {\Delta _{2}}}}{2}}}\\z_{1}&=&u_{0}\varepsilon _{1}+v_{0}\varepsilon _{2}=u_{0}\varepsilon _{1}-{\tfrac {p}{3u_{1}}}\varepsilon _{2}&=&\varepsilon _{1}{\sqrt[{3}]{t_{0}}}&+&\varepsilon _{2}{\sqrt[{3}]{t_{1}}}&=&\varepsilon _{1}{\sqrt[{3}]{\frac {-q+{\sqrt {\Delta _{2}}}}{2}}}&+&\varepsilon _{2}{\sqrt[{3}]{\frac {-q-{\sqrt {\Delta _{2}}}}{2}}}\\z_{2}&=&u_{0}\varepsilon _{2}+v_{0}\varepsilon _{1}=u_{0}\varepsilon _{2}-{\tfrac {p}{3u_{1}}}\varepsilon _{1}&=&\varepsilon _{2}{\sqrt[{3}]{t_{0}}}&+&\varepsilon _{1}{\sqrt[{3}]{t_{1}}}&=&\varepsilon _{2}{\sqrt[{3}]{\frac {-q+{\sqrt {\Delta _{2}}}}{2}}}&+&\varepsilon _{1}{\sqrt[{3}]{\frac {-q-{\sqrt {\Delta _{2}}}}{2}}}\\\end{array}}$		(FormCard.2)

Dabei muss für alle auftauchenden Radikale ${\sqrt[{3}]{\cdot }}$ jeweils dieselbe Wurzel ausgewählt werden und für $u_{0}={\sqrt[{3}]{t_{0}}},\;v_{0}={\sqrt[{3}]{t_{1}}}$ insbesondere zwei solche Wurzeln, mit welchen die Nebenbedingung (Vieta-Nrm) (also $u_{0}\,v_{0}=-3p$) erfüllt ist.

Der Sonderfall $p=0$

Man setze $v=0=t_{0}$ sowie $\Delta _{2}=q^{2}$ und schließlich $t_{1}=-{\tfrac {q}{2}}-{\tfrac {q}{2}}=-q$, so dass sich die drei Wurzeln $z_{i}=-\varepsilon _{i}\cdot {\sqrt[{3}]{q}}$ für $i=0,1,2$ ergeben.

Lösung der allgemeinen (nicht notwendig normierten) Gleichung

Will man auf die allgemeine Gleichung (AllgGlg) mit dem Leitkoeffizienten $A$ zurückgehen, so sind die Substitutionsbeziehungen (Red-p), (Red-q) und (Red-abc) rückwärts einzusetzen sowie die Tatsache zu nutzen, dass in der Diskriminante der Leitkoeffizient des Ausgangspolynoms $F(X)=AX^{n}+BX^{n-1}+\dots$ in der $2(n-1)$-ten Potenz als Normierungsfaktor hinzutritt. Im kubischen Falle $n=3$ tritt also der Normierungsfaktor $A^{4}$ bei der Definition der Diskriminante hinzu: $\Delta =A^{4}\cdot {\bigl (}(z_{0}-z_{1})(z_{0}-z_{2})(z_{1}-z_{2}){\bigr )}^{2}$. Sie bleibt dank dieser Normierung als ganzzahliges Polynom in den Koeffizienten $A,B,C,D$ des allgemeinen Polynoms $F_{A}$ darstellbar:

${\begin{aligned}\Delta (F_{A})&=-A^{4}(27q^{2}+4p^{3})\\&=18ABCD-4AC^{3}-27A^{2}D^{2}+B^{2}C^{2}-4B^{3}D\end{aligned}}$

Explizite Berechnung der Diskriminante

Die Diskriminante $\Delta _{2}=\Delta (L(t))=(t_{0}-t_{1})^{2}=(u_{0}^{3}-v_{0}^{3})^{2}=q^{2}+{\frac {4}{27}}p^{3}$ der Lagrangeschen Resolvente $L(t)$ und diejenige $\Delta =\Delta (F_{r})$ des reduzierten oder normierten Polynoms ($F_{n}$ gemäß (NrmGlg) bzw. $F_{r}$ gemäß (RedGlg)) stehen gemäß (quDiscr) und (kubDiscr) in folgender Beziehung:

${\begin{aligned}\Delta &=-(27q^{2}+4p^{3})\\&=-27\,\left(q^{2}+{\frac {4p^{3}}{27}}\right)\\&=-27\Delta _{2}\end{aligned}}$

Mit Hilfe der expliziten Lösungen lässt sich die Diskriminante $\Delta$ nun direkt berechnen und die Beziehung zur Diskriminante $\Delta _{2}$ der Lagrangeschen Resolvente bestätigen. Für diese Rechnung sei zwecks einfacher Lesbarkeit $U:=u_{0}$ und $V:=v_{0}$ gesetzt, so dass

${\begin{array}{cclcl}z_{0}&=&U&+&V\;,\\z_{1}&=&U\varepsilon _{1}&+&V\varepsilon _{2}\;,\\z_{2}&=&U\varepsilon _{2}&+&V\varepsilon _{1}\,.\end{array}}$

Beachtet man die Beziehungen zwischen den Einheitswurzeln

$\varepsilon _{0}=1=\varepsilon _{1}\varepsilon _{2}=\varepsilon _{1}^{3}=\varepsilon _{2}^{3}$, wobei

$\varepsilon =\varepsilon _{1}=\varepsilon _{2}^{2}={\tfrac {-1+{\sqrt {-3}}}{2}}$ und

$\varepsilon _{2}=\varepsilon ^{2}={\tfrac {-1-{\sqrt {-3}}}{2}}=\varepsilon ^{-1}$, so dass

$\varepsilon (1-\varepsilon )=\varepsilon -\varepsilon ^{2}={\sqrt {-3}}$, also

$1-\varepsilon ={\sqrt {-3}}\cdot \varepsilon ^{2}$ und

$1-\varepsilon ^{2}=\varepsilon (\varepsilon ^{2}-\varepsilon )=-{\sqrt {-3}}\cdot \varepsilon$,

so erhält man

${\begin{array}{ccrcc}z_{0}-z_{1}&=&{\sqrt {-3}}&\cdot &\left(U\varepsilon ^{2}-V\varepsilon \right)\\z_{0}-z_{2}&=&-{\sqrt {-3}}&\cdot &\left(U\varepsilon -V\varepsilon ^{2}\right)\\z_{1}-z_{2}&=&{\sqrt {-3}}&\cdot &\left(U-V\right)\end{array}}$

und folglich für das Differenzenprodukt

$\left(z_{0}-z_{1}\right)\cdot \left(z_{0}-z_{2}\right)\cdot \left(z_{1}-z_{2}\right)=3{\sqrt {-3}}\cdot \left[(U^{3}-V^{3})\quad {\color {grey}-\;UV\left(U-V\right)\underbrace {\left((\varepsilon ^{2}+\varepsilon +1)\right)} _{={\frac {\varepsilon ^{3}-1}{\varepsilon -1}}=0}}\right]$

und für sein Quadrat

$\Delta =\left[\left(z_{0}-z_{1}\right)\cdot \left(z_{0}-z_{2}\right)\cdot \left(z_{1}-z_{2}\right)\right]^{2}=-27\cdot (U^{3}-V^{3})^{2}=-27\;\Delta _{2}=-(27q^{2}+4p^{3})$

Die oben bereits errechnete Diskriminante des reduzierten Polynoms (redGlg) $\Delta$ und ihre Beziehung zur derjenigen $\Delta _{2}$ der Lagrangeschen Resolvente sind somit explizit bestätigt.

Einzelfallbetrachtung

Im Folgenden sollen die drei Fälle näher betrachtet werden.

Diskriminante gleich Null

Die Gleichung $0=\Delta =-27p^{3}-4q^{2}$ (äquivalent:$[2q]^{2}=-[3p]^{3}$) zeigt: Entweder verschwinden $p$ und $q$ zugleich oder keines von beiden, d. h.: $p=0\iff q=0$.

Im Falle (a) $\quad p=0=q$

handelt es sich um das Polynom $F_{r}(z)=z^{3}$, und $z=0$ ist die einzige (dreifache) Nullstelle.

Daher hat das allgemeine kubische Polynom $F_{A}(X)=AX^{3}+BX^{2}+CX+D$ die dreifache Nullstelle:

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

Im Falle (b) $\quad p\neq 0\neq q$

wählt man $u=v$ reell. Nach den obigen Formeln hat $F_{r}(Z)=Z(Z^{2}+p)+q=0$ dann eine einfache reelle Lösung

$z_{0}=2u={\sqrt[{3}]{-4q}}={\sqrt[{3}]{\frac {q^{3}}{-{\frac {q^{2}}{4}}}}}={\sqrt[{3}]{\frac {q^{3}}{\frac {p^{3}}{27}}}}={\frac {3q}{p}}$,

und eine doppelte reelle Lösung

$z_{1,2}\;=u\varepsilon _{1}+u\varepsilon _{2}\;=-u={\sqrt[{3}]{\frac {q}{2}}}=-{\frac {3q}{2p}}$.

Das allgemeine kubische Polynom $F_{A}(X)=AX^{3}+BX^{2}+CX+D=0$ hat also die Nullstellen

${\begin{aligned}x_{0}&=-{\frac {B}{3A}}+{\frac {3q}{p}}={\frac {B^{3}\ -\ 4ABC\ +\ 9A^{2}D}{3A^{2}C\ -\ AB^{2}}}\\x_{1,2}&=-{\frac {B}{3A}}-{\frac {3q}{2p}}={\frac {BC\ -\ 9AD}{6AC\ -\ 2B^{2}}}\end{aligned}}$

Diskriminante negativ

Dann ist $\Delta _{2}>0$, und die auftretenden Quadratwurzeln $\pm {\sqrt {\Delta _{2}}}$ sind reell, mithin auch die Lösungen $t_{i}$ der Lagrangeschen Resolvente. Man wähle für $u$ und $v$ jeweils die reellen dritten Wurzeln ${\sqrt[{3}]{t_{0}}}$ bzw. ${\sqrt[{3}]{t_{1}}}$. Es gibt genau eine reelle und zwei konjugiert komplexe Lösungen, die nach den obigen Formeln durch

${\begin{aligned}z_{0}&=u+v\\z_{1,2}&=-{\frac {u+v}{2}}\pm {\frac {u-v}{2}}\,\mathrm {i} {\sqrt {3}}\end{aligned}}$

gegeben sind.

Für das allgemeine kubische Polynom $F_{A}(X)=AX^{3}+BX^{2}+CX+D$ erhält man die Nullstellen

${\begin{aligned}x_{0}&=-{\frac {B}{3A}}+u+v\\x_{1,2}&=-{\frac {B}{3A}}-{\frac {u+v}{2}}\pm {\frac {u-v}{2}}\,\mathrm {i} {\sqrt {3}}.\end{aligned}}$

Diskriminante positiv (casus irreducibilis)

Die Quadratwurzeln $\pm {\sqrt {-\Delta }}$ sind rein-imaginär, und die Lösungen $t_{0,1}$ der quadratischen Resolvente konjugiert komplex. Daher ergeben sich für $u_{i}=\varepsilon _{i}\cdot {\sqrt[{3}]{t_{0}}}$ und $v_{j}=\varepsilon _{j}\cdot {\sqrt[{3}]{t_{1}}}$ zueinander konjugiert komplexe Werte, so dass sich mit

$z_{i}=u_{i}+v_{i}=u_{i}+{\overline {u_{i}}}=2\operatorname {Re} (u_{i})$

drei unterschiedliche reelle Lösungen ergeben.

Bei der Bestimmung von $u$ oder $v$ kommen jedoch dritte Wurzeln aus nicht-reellen Zahlen vor. Obgleich solche Ausdrücke zur Zeit Cardanos als sinnlos galten, weil ihre anschauliche Bedeutung noch im Dunkeln lag, rechnete Cardano rein formal mit diesen Ausdrücken (also gemäß den üblichen Rechenregeln, ohne ihnen eine anschauliche Bedeutung beimessen zu können) und konnte die drei Lösungen angeben, von denen er wusste, dass sie reell waren. In der Lösungsformel war die „Realität“ der Lösung allerdings verschleiert, weil sie „irreale“ Zahlen involviert. Da dieser Lösungsweg also das Terrain der anschaulichen, „reellen“ Zahlen verlässt und die Lösung somit nicht auf reelle Radikale zurückführbar war, wurde dieser Fall casus irreducibilis genannt. Dennoch mögen weitblickende Zeitgenossen – wie Cardano – in diesen Umständen einen Fingerzeig erahnt haben, dass jene sinnlos erscheinenden Ausdrücke womöglich doch einen tieferen Sinn besitzen.

Trigonometrische Behandlung des Casus irreducibilis nach Vieta

Die trigonometrischen Formeln gelten

• nicht nur für den Casus irreducibilis ($\Delta >0$),
• sondern auch für den Fall $\Delta =0$, das heißt für den Fall mehrfacher reeller Nullstellen: Dieser Fall besteht aus zwei Unterfällen:
  • Fall (a) mit nur einer reellen, dreifachen Nullstelle und
  • Fall (b) mit einer reellen doppelten Nullstelle (und einer weiteren davon verschiedenen reellen Nullstelle).

Es werden zwei Herleitungen der trigonometrischen Lösungen gezeigt:

1. Die erste Herleitung betrachtet unmittelbar die Bildung der Kubikwurzeln ${\sqrt[{3}]{t_{i}}}$ aus den beiden Lösungen $t_{0},t_{1}$ der Lagrangeschen Resolvente und setzt die geometrische Interpretation von Addition und Multiplikation komplexer Zahlen voraus, indem sie die Kubikwurzel anhand der Polarkoordinaten (oder Kreiskoordinaten) bildet. Dadurch benötigt diese Argumentation die Gleichung zur Winkeldrittelung nicht.
2. Die zweite Herleitung parametrisiert die reelle Achse mit Hilfe des Cosinus und findet die Nullstellen des reduzierten Polynoms direkt und ohne Kenntnis von Cardanos Formel. Anstelle der Tatsache, dass es sich bei den gesuchten Lösungen um Kubikwurzeln aus den Lösungen der quadratischen Lagrangeschen Resolvente handelt, stützt sich diese Argumentation auf die Gleichung zur Winkeldrittelung, welche aus dem Satz von Moivre folgt.

Beide Argumentationen decken also all jene Fälle ab, in denen keine imaginären, sondern nur reelle Wurzeln in Erscheinung treten, und sie gestatten, das Diskriminantenkriterium für mehrfache Nullstellen erneut zu bestätigen.

Die Bedingungen für diese Fälle (also für den Casus irreducibilis und den Fall mehrfacher Nullstellen) lassen sich in verschiedenen äquivalenten Formulierungen ausdrücken, die hier zusammengestellt werden, weil sie später benötigt werden.

Äquivalente Formulierungen der Kriterien für den Casus irreducibilis bzw. für mehrfache Nullstellen

no	Kriterien für Casus irreducibilis	Schlagwort oder (Referenz im Text)	Kriterien für mehrfache Nullstellen (Entweder Fall (a) oder Fall (b))
(0)	$0<\Delta =-\left[4p^{3}+27q^{2}\right]=-108\left[\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}\right]$	Vorzeichen der Diskriminante $\Delta$	$\Delta =0$
(1)	$0>\Delta _{2}=q^{2}+{\frac {4p^{3}}{27}}=4\left[\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}\right]$	Vorzeichen der Lagrange-Diskriminante $\Delta _{2}$	$\Delta _{2}=0$
(2)	$t_{0},t_{1}\in \mathbb {C} \backslash \mathbb {R} ,\;t_{0}\neq t_{1}$	Lösungen der Lagrange-Resolvente	$t_{0},t_{1}\in \mathbb {R} ,\;t_{0}=t_{1}=-{\frac {q}{2}}$
(3)	$-\left({\frac {p}{3}}\right)^{3}>\left({\frac {q}{2}}\right)^{2}\geq 0$	(QuadrPos)	$-\left({\frac {p}{3}}\right)^{3}=\left({\frac {q}{2}}\right)^{2}\geq 0$
(4)	${\sqrt {\frac {-p^{3}}{27}}}>\left\vert {\frac {q}{2}}\right\vert \geq 0$	(AbsBetrag)	${\sqrt {\frac {-p^{3}}{27}}}=\left\vert {\frac {q}{2}}\right\vert \geq 0$
(5)	$-1<{{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}}<1$	-	$p=0$	AUT	${{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}}\in \{-1,+1\}$
(6)	$\left\vert {{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}}\right\vert <1$	(CosinusArg)	$p=0=q$	AUT	$\left\vert {\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right\vert =1$
(7)	$0<{\frac {-{\frac {q^{2}}{4}}-{\frac {p^{3}}{27}}}{-{\frac {p^{3}}{27}}}}<1$	(SinusArg)	$p=0\;(=q)$	AUT	$0={\frac {-{\frac {q^{2}}{4}}-{\frac {p^{3}}{27}}}{-{\frac {p^{3}}{27}}}}$

Der Fall Fall (a) ist trivial, denn er ist durch folgende äquivalente Aussagen gekennzeichnet:

• $\quad p=0=q$
• $\quad t_{0}=0=t_{1}$
• $\quad 0=z_{k}=u_{k}=v_{k}$ für $k=0,1,2$
• $\quad z_{0}=z_{1}=z_{2}$, denn: Die Wurzeln eines reduzierten reellen (oder komplexen) Polynoms müssen verschwinden, sobald sie alle gleich sind, weil ihre Wurzelsumme („Spur“) ja verschwindet.

Bei $\Delta \geq 0$ genügt sogar $p=0$ zur Kennzeichnung dieses trivialen Falles, in dem die Lösungen zusammenfallen und im Nullpunkt verschwinden. Fall (a) ist also bereits geklärt und kann daher von den nun folgenden Betrachtungen ausgeschlossen werden: Im Folgenden sei also $\Delta \geq 0\neq p$ (und mithin $0\neq pq$) angenommen. Am dritten Kriterium (QuadrPos) ist leicht abzulesen, dass dies notwendig $p<0$ erzwingt.

Die trigonometrische Darstellung der Lösungen zeigt einmal mehr: Reine Gleichungen (synonym: binomische Gleichungen) $Z^{n}-a$ empfehlen sich nicht als „Normalformen“, auf welche eine allgemeine Gleichung stets zurückführbar wäre. Das erklärt den berüchtigten Namen Casus irreducibilis. Hier deutete sich den Menschen der Renaissance zum ersten Mal an, dass die Hoffnung, Lösungen der allgemeinen Gleichung müssten sich als verschachtelte Radikalausdrücke darstellen lassen, trog. Stattdessen empfahl sich eine andere „Normalform“: Die Gleichung zur Winkeldrittelung.

Darstellung in Polarkoordinaten

Ausgangsidee ist, die beiden komplex konjugierten, ggf. sogar identischen (und dann reellen) Wurzeln $t_{0,1}\neq 0$ der Lagrange-Resolvente in Polarkoordinaten zu schreiben, um ihre Kubikwurzeln leicht angeben zu können:

$t_{0,1}=R\,(\cos \phi \pm \mathrm {i} \sin \phi )$

Hierfür sind

$R:={\sqrt {-\left({\frac {p}{3}}\right)^{3}}}\quad (\neq 0)$ und $\phi \in \;\;[0,\pi ]$ mit $\cos \phi =-{\frac {q}{2R}}\in \;\;[-1,1]$ und $\sin \phi ={\frac {\sqrt {-\left({\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}\right)}}{R}}\in \;\;[0,1[$		(PolKoord)

zu wählen, wie der Abgleich mit den Wurzeln $t_{0,1}$ zeigt:

${\begin{aligned}R\left(\cos \phi \pm \mathrm {i} \,\sin \phi \right)&=t_{0,1}={\frac {-q\pm {\sqrt {\Delta _{2}}}}{2}}\\&={\frac {-q}{2}}\pm \mathrm {i} \cdot {\sqrt {-\left({\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}\right)}}\;.\\\end{aligned}}$		(PolKoordAbgl)

Beachte: Weil $t_{0}$ nach Wahl des Vorzeichen seines Imaginärteils in der oberen Halbebene liegt oder reell ist, existiert ein solches $\phi \in [0,\pi ]$.

Die Kubikwurzeln berechnen sich demnach zu

$u_{k}:={\sqrt[{3}]{R}}\left(\cos {\frac {\phi +2k\pi }{3}}+\mathrm {i} \,\sin {\frac {\phi +2k\pi }{3}}\right)={\overline {v_{k}}}$ bzw. zu

$v_{k}:={\sqrt[{3}]{R}}\left(\cos {\frac {\phi +2k\pi }{3}}-\mathrm {i} \,\sin {\frac {\phi +2k\pi }{3}}\right)={\overline {u_{k}}}$ für $k=0,1,2$,

und folglich sind die Lösungen

$z_{k}=2\,\Re (u_{k})=2{\sqrt[{3}]{R}}\cdot \cos {\frac {\phi +2k\pi }{3}}=2{\sqrt {\frac {-p}{3}}}\cdot \cos {\frac {\phi +2k\pi }{3}}$ für $k=0,1,2$ wobei $\phi =\arccos \left(-{\frac {q}{2R}}\right)\in \;[0,\pi ]$ gewählt sei.		(TrigLsg.1)

Lässt man für $k$ alle ganzen Zahlen zu, so hängt $z_{k}$, wie schon in der Gleichung zur Winkeldrittelung angemerkt, nur von der Restklasse $k+3\mathbb {Z}$ modulo $3$ ab – denn sie wiederholen sich nach drei aufeinanderfolgenden Zahlen –, so dass es genügt, dass der ganzzahlige Index $k$ lediglich ein Repräsentantensystem modulo $3$ durchläuft: $k\equiv 0,1,2{\pmod {3}}$. Beispielsweise genügen drei aufeinanderfolgende Zahlen wie $k\in \{0,1,2\}$ oder $k\in \{-1,0,1\}$. Auf der rechten Seite kann also bspw. $k=-1$ anstelle von $k=2$ gewählt werden, um $z_{2}$ zu erhalten.

Bezug zur Winkeldrittelung

Die Cosinus-Werte $\cos {\frac {\phi +2k\pi }{3}}$ sind (bei dieser Wahl von $\phi ,R$) gemäß der Gleichung zur Winkeldrittelung die Lösungen der Gleichung

$0=4X^{3}-3X-\cos \phi =4X^{3}-3X+{\frac {q}{2R}}=4X^{3}-3X+{\frac {3q}{2}}{\sqrt {\frac {3}{-p^{3}}}}$ und der zugehörigen normierten Gleichung

$0=X^{3}-{\frac {3}{4}}X-{\frac {\cos \phi }{4}}=X^{3}-{\frac {3}{4}}X+{\frac {q}{8R}}=X^{3}-{\frac {3}{4}}X+{\frac {3q}{8}}{\sqrt {\frac {3}{-p^{3}}}}$.

Zum Vorliegen von Fall (b)

Unter der genannten Voraussetzung ($\Delta \geq 0>p$) sind die folgenden Aussagen äquivalent:

• $\left\vert \cos \phi \right\vert =1$
• $t_{0},t_{1}\in \mathbb {R} ^{*}$
• $t_{0}=t_{1}\neq 0$
• $\Delta _{2}=0=\Delta$
• $\sin \phi =0$
• Genau zwei der Wurzeln stimmen überein, bilden also eine doppelte Nullstelle.
• Fall (b) liegt vor.

Parametrisierung der reellen Variable

Nach einem Additionstheorem, das sich leicht mit dem Satz von de Moivre herleiten lässt, gilt für alle $\alpha$ die Beziehung

$\cos ^{3}\alpha ={\frac {\cos 3\alpha +3\cos \alpha }{4}}$		(Moivre)

Diese Beziehung wurde in Gleichung (WinkeldrittelungGlg) für die Winkel $\phi =3\alpha$ und ${\frac {\phi }{3}}=\alpha$ formuliert (also anstelle von $3\alpha$ bzw. $\alpha$).

Parametrisiert man die reelle Variable $z$ durch die (surjektive, aber nicht injektive) Abbildung

${\begin{array}{cccl}\rho \colon &\mathbb {R} _{>0}\times \mathbb {R} &\longrightarrow &\mathbb {R} ,\\&(r,\alpha )&\mapsto &z:=r\cdot \cos \alpha \end{array}}$,

so nimmt die zu lösende reduzierte kubische Gleichung

$0=z^{3}+p\cdot z+q$		(KubGlg)

diese Gestalt an:

$0=r^{3}\cdot \cos ^{3}\alpha +p\cdot r\cdot \cos \alpha +q$.

Nutzt man hierin die obige Gleichung (Moivre), so erhält man

${\begin{aligned}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({\frac {3}{4}}r^{2}+p\right)\cdot r\cdot \cos \alpha +q\end{aligned}}$

Wählt man für $r$ den festen (und aufgrund des Kriteriums (AbsBetrag) positiven) Wert $r_{0}:=2{\sqrt {-{\frac {p}{3}}}}\quad (>0)$, so verschwindet der Klammerausdruck, und es bleibt diese Hilfsgleichung zu lösen:

$0=2\,{\sqrt {-{\frac {p^{3}}{27}}}}\cdot \cos 3\alpha +q$.		(ArgRes.1)

Allerdings ist zunächst offen, ob diese Gleichung für den Winkel $\alpha$ lösbar ist, und wenn ja, ob sie alle Lösungen der ursprünglichen Gleichung liefert. Dazu muss nachgewiesen werden, dass durch die Beschränkung auf das Intervall $\rho \left(\{r_{0}\}\times \mathbb {R} \right)=[-r_{0},r_{0}]$ keine reelle Lösung der ursprünglichen Gleichung (KubGlg) aus dem Blickfeld gerät. Zu diesem Nachweis schätze für $\textstyle \vert z\vert >r_{0}=2{\sqrt {-{\frac {p}{3}}}}$ nach dem Kriterium (AbsBetrag) ab:

${\begin{aligned}|z^{3}+pz+q|&=|z(z^{2}+p)+q|\\&\geq \left\vert \,\vert z(z^{2}+p)\vert -|q|\,\right\vert \\&>\left\vert \,r_{0}(r_{0}^{2}+p)-|q|\,\right\vert \\&=\left\vert 2{\sqrt {\frac {-p}{3}}}\left(4{\frac {-p}{3}}+p\right)-|q|\right\vert \\&=\left\vert 2\cdot {\frac {-p}{3}}{\sqrt {\frac {-p}{3}}}-|q|\right\vert \\&{\stackrel {\text{(AbsBetrag)}}{\geq }}0\end{aligned}}$

Also bedeutet die Festlegung auf $r_{0}$ keinen Wurzelverlust, und daher genügt es, die Lösungen der Gleichung (ArgRes.1) zu finden.

Wie eingangs erwähnt, lässt sich unter den getroffenen Annahmen an den obigen Kriterien ablesen, dass $p<0<r_{0}$, so dass nunmehr die folgende äquivalente Hilfsgleichung für den Winkel $\alpha$ zu lösen ist:

$-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}=\cos 3\alpha$		(ArgRes.2)

Mit Hilfe des Zweiges des Arcus-Cosinus $\arccos \colon [-1,1]\to [0,\pi ]$ setze man zunächst

$\textstyle \phi :=\arccos \left(-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right)\in [0,\pi ]$

Da die periodische Funktion $\cos$ die Periode(nlänge) $2\pi$ besitzt, lässt sich nun für jedes $k\in \mathbb {Z}$ eine Lösung

$\alpha _{k}:={\frac {\phi +2k\,\pi }{3}}\in \mathbb {R}$ der Gleichung (ArgRes.2)

definieren. Aus demselben Grund besteht die Menge $\{\alpha _{k}|k\in \mathbb {Z} \}$ dieser Lösungen aus höchstens drei Elementen $\{\alpha _{i},\alpha _{j},\alpha _{k}\}$, und um alle diese Werte darzustellen, genügt es, mit $\{i,j,k\}$ ein Repräsentantensystem der Restklassen modulo $3$ zu wählen, also zum Beispiel drei unmittelbar aufeinanderfolgende ganzen Zahlen wie $\{-1,0,1\}$ oder $\{0,1,2\}$.

Die drei gefundenen Lösungen der Gleichung $Z^{3}+pZ+q=0$ haben also die Form

$z_{k}=r_{0}\cdot \cos \alpha _{k}$ mit dem gewählten $r_{0}=2{\sqrt {-{\frac {p}{3}}}}$ und $k\equiv 0,1,2{\pmod {3}}$		(TrigLsg.2)

Kriterium für Doppelwurzel

Eine doppelte Nullstelle tritt genau gemäß dem Abschnitt zur Bestimmung der Diskriminante genau dann auf, wenn die Diskriminte verschwindet (und $p\neq 0\neq q$, also Fall (b) vorliegt). Es ist möglich, dieses Ergebnis ohne Kenntnis der Diskriminante und ihrer Bedeutung unmittelbar aus der trigonometrischen Darstellung abzuleiten.

Behauptung

Für ein Repräsentantensystem $\{i,j,k\}$ der Restklassen modulo 3 ($\mathbb {Z} /3\mathbb {Z}$) sind die Werte $z_{i},z_{j},z_{k}$ genau dann paarweise verschieden, wenn $\Omega :=\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}<0$ (also im Casus irreducibilis). Im „Falle (b)“ $\Omega =0>p$ stimmen genau zwei überein und liefern eine doppelte Nullstelle. Zusatz: Im trivialen „Fall (a)“ $\Omega =0=p=q$, der nicht Gegenstand dieser Betrachtung ist, stimmen sogar alle drei überein und verschwinden im Nullpunkt, wie bereits dargelegt.

Begründung

Dass zwei Lösungen, etwa $z_{i}=z_{j}$, gleich sind, bedeutet, dass der zur dritten gehörige Winkel $\alpha _{k}\in \mathbb {Z} \pi$ liegt, wie eine Überlegung über die Drehung eines dem Einheitskreis einbeschriebenen gleichseitigen Dreiecks illustriert, dessen Eckpunkte auf den Punkten ${\displaystyle }$ liegen: Denn die zugehörigen Winkel $\alpha _{i},\alpha _{j}$ müssen dann symmetrisch zur $x$-Achse liegen, so dass der dritte Winkel auf der $x$-Achse zu liegen kommt, also Vielfaches von $\pi$ ist: $\alpha _{k}\in \mathbb {Z} \pi$. Genau dann gilt $\vert \cos \alpha _{k}\vert =1$ (Kriterium (CosinusArg)) und mithin $\Omega =0$. Umgekehrt liegen bei $\Omega >0$ drei verschiedene reelle Wurzeln vor. – Formal gerechnet: Die Identität $r_{0}\cos \alpha _{i}=z_{i}=z_{j}=r_{0}\cos \alpha _{j}$ bedeutet wegen $r_{0}\neq 0$ die Identität $\cos \alpha _{i}=\cos \alpha _{j}$. Der Nachweis besteht in der Äquivalenz der folgenden Aussagen:

• Fall (b) liegt vor, das heißt, genau zwei Wurzeln fallen in einer doppelten Nullstelle zusammen.
• $\cos \alpha _{i}=\cos \alpha _{j}$
• $\sin \alpha _{i}=-\sin \alpha _{j}$. Denn der andere grundsätzlich mögliche Fall ($\sin \alpha _{i}=\sin \alpha _{j}$), scheidet aus, da $i\not \equiv j{\bmod {3}}$.
• $\cos(\alpha _{i}+\alpha _{j})=\cos \alpha _{i}\cos \alpha _{j}-\sin \alpha _{i}\sin \alpha _{j}=\cos ^{2}\alpha _{i}+\sin ^{2}\alpha _{i}=1$
• ${\frac {2}{3}}\left(\phi +(i+j)\pi \right)=\alpha _{i}+\alpha _{j}\in 2\mathbb {Z} \pi$
• $\phi +(i+j)\pi \in 3\mathbb {Z} \pi$
• $\phi \in \mathbb {Z} \pi \cap [0,\pi ]=\{0,\pi \}$
• $|\cos \phi |=1$
• $\left\vert {\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right\vert =1$ (Kriterium (CosinusArg))
• $q\neq 0=\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}=\Omega$

Wegen $\alpha _{i}+\alpha _{j}+\alpha _{k}=\phi +{\frac {i+j+k}{3}}2\pi \in \phi +2\mathbb {Z} \pi$ sind ferner äquivalent:

• $\alpha _{k}-\phi \in 2\mathbb {Z} \pi \quad$ (m. a. W.: $\alpha _{k}\equiv \phi {\bmod {2\pi }}$)

Daher sind schließlich auch die folgenden Aussagen äquivalent:

• $\vert \cos \alpha _{k}\vert =1$
• $z_{k}=r_{0}\cos \alpha _{k}=\pm r_{0}$
• $\textstyle z_{i}=z_{j}=\mp r_{0}\cos {\frac {2\pi }{3}}=\mp {\frac {1}{2}}r_{0}=-{\frac {1}{2}}z_{k}$

Wegen $\Delta =-108\,\Omega$ ist hiermit insgesamt bestätigt, dass das Verschwinden der Diskriminante mit dem Vorliegen einer doppelten Nullstelle äquivalent ist und ihre Negativität mit dem Vorliegen dreier verschiedener reeller Wurzeln, wie behauptet.

Dieselbe Überlegung lässt sich analog anhand der Formel (TrigLsg.1) durchführen; dazu muss lediglich $2\,{\sqrt[{3}]{R}}$ an die Stelle von $r_{0}$ treten. Allerdings ließ sich dort bereits dasselbe Ergebnis mit Hilfe der Darstellung komplexer Zahlen durch Polarkoordinaten einfacher begründen.

Variante Schreibweise der Lösung

Der Cosinus besitzt die folgenden Symmetrie- und Antisymmetrie-Eigenschafen

$\textstyle \cos \left(\alpha -{\frac {2\pi }{3}}\right)=\cos \left({\frac {2\pi }{3}}-\alpha \right)=-\cos \left(\pi -\left({\frac {2\pi }{3}}-\alpha \right)\right)=-\cos \left(\alpha +{\frac {\pi }{3}}\right)$ und

$\textstyle \cos \left(\alpha +{\frac {2\pi }{3}}\right)=-\cos \left(\pi -\left({\frac {2\pi }{3}}+\alpha \right)\right)=-\cos \left({\frac {\pi }{3}}-\alpha \right)=-\cos \left(\alpha -{\frac {\pi }{3}}\right)$

Angewandt auf die $\alpha _{\pm 1}$ ergibt sich damit die folgenden Darstellung der Lösungen:

${\begin{aligned}z_{1}&=-\,2{\sqrt {\frac {-p}{3}}}\cdot \cos \left({\frac {1}{3}}\arccos \left(-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right)+{\frac {\pi }{3}}\right)\\[.7em]z_{0}&=\quad 2{\sqrt {\frac {-p}{3}}}\cdot \cos \left({\frac {1}{3}}\arccos \left(-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right)\right)\\[.7em]z_{2}&=-\,2{\sqrt {\frac {-p}{3}}}\cdot \cos \left({\frac {1}{3}}\arccos \left(-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right)-{\frac {\pi }{3}}\right)\end{aligned}}$		(TrigLsg.3)

Die allgemeine Gleichung $F_{A}(x)=Ax^{3}+Bx^{2}+Cx+D=0$ hat also die folgenden drei Lösungen:

${\begin{aligned}x_{1}&=-{\frac {B}{3A}}-\,2{\sqrt {\frac {-p}{3}}}\cdot \cos \left({\frac {1}{3}}\arccos \left(-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right)+{\frac {\pi }{3}}\right)\\[.7em]x_{0}&=-{\frac {B}{3A}}+\,2{\sqrt {\frac {-p}{3}}}\cdot \cos \left({\frac {1}{3}}\arccos \left(-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right)\right)\\[.7em]x_{2}&=-{\frac {B}{3A}}-\,2{\sqrt {\frac {-p}{3}}}\cdot \cos \left({\frac {1}{3}}\arccos \left(-{\frac {q}{2}}\cdot {\sqrt {-{\frac {27}{p^{3}}}}}\right)-{\frac {\pi }{3}}\right)\end{aligned}}$

Abspaltung eines reellen Linearfaktors und Beispiele

Man beachte weiterhin, dass die Koeffizienten $A,B,C,D,a,b,c,d,p,q$ als reell angenommen werden.

Vorab ist eine Überlegung zur Abspaltung reeller Linearfaktoren nützlich. Der obigen Theorie nach ist mindestens eine Nullstelle des reduzierten Polynoms $F_{r}(Z)=Z^{3}+pZ+q$ reell. Sie sei mit $z_{0}$ bezeichnet. Dann spaltet das Polynom den reellen Linearfaktor $Z-z_{0}$ ab, und zwar in folgender Weise:

Aus $Z^{3}+pZ+q=(Z-z_{0})(Z^{2}+PZ+Q)=Z^{3}+(P-z_{0})Z^{2}+(Q-z_{0}P)Z-Qz_{0})$ folgt, wenn $z_{1},z_{2}$ die beiden anderen (ggf. komplexen) Nullstellen sind:

• $-(z_{1}+z_{2})=P=z_{0}$
• $p=Q-z_{0}P=Q-z_{0}^{2}$, also $Q=p+z_{0}^{2}$.
• $-z_{0}z_{1}z_{2}=q=-Qz_{0}=-QP=-(p+z_{0}^{2})z_{0}=-(pz_{0}+z_{0}^{3})$.

Also lautet die Spaltung:

$Z^{3}+pZ+q=(Z-z_{0})(Z^{2}+z_{0}Z+p+z_{0}^{2})$,

wobei (nach dem Satz von Vieta)

• $z_{1}z_{2}=Q=p+z_{0}^{2}$ und
• $-(z_{1}+z_{2})=P=z_{0}$.

Die Diskriminante des quadratischen Polynomfaktors $Z^{2}+z_{0}Z+p+z_{0}^{2}$ ist

$z_{0}^{2}-4(p+z_{0}^{2})=-4p-3z_{0}^{2}$

und seine Nullstellen sind

$z_{1,2}=-{\frac {z_{0}}{2}}\pm {\sqrt {\left({\frac {z_{0}}{2}}\right)^{2}-(p+z_{0}^{2})}}={\frac {-z_{0}\pm {\sqrt {-4p-3z_{0}^{2}}}}{2}}$

Beispiel mit negativer Diskriminante

Cardano führt als Beispiel an:

$z^{3}+6z-20=(z-2)(z^{2}+2z+10)=0$.

Für dieses kubische Polynom ist

${\begin{aligned}\Delta &=-4p^{3}-27q^{2}\\&=-2^{2}\cdot 2^{3}\cdot 3^{3}-3^{3}\cdot 2^{4}\cdot 5^{2}\\&=-2^{4}\cdot 3^{3}(2+5^{2})\\&=-\left(2^{2}\cdot 3^{3}\right)^{2}\\&=-\left(6^{2}\cdot 3\right)^{2}\\&=-108^{2}\\\end{aligned}}$

Wegen $\Delta =-27\Delta _{2}$ ist $\Delta _{2}=2^{4}\cdot 3^{3}=12^{2}\cdot 3=432\,,$ und man erhält

$t_{0,1}={\frac {-q\pm {\sqrt {\Delta _{2}}}}{2}}={\frac {20\pm 12{\sqrt {3}}}{2}}=10\pm 6{\sqrt {3}}={1\pm 3{\sqrt {3}}+3\cdot 3\pm 3{\sqrt {3}}}={(1\pm {\sqrt {3}})^{3}}$.

Man wähle (beim Gleichheitszeichen „${\stackrel {?!}{=}}$“) die reellen Kubikwurzeln

$\textstyle u={\sqrt[{3}]{t_{0}}}\;\;{\stackrel {?!}{=}}\;\;1+{\sqrt {3}}$ und

$\textstyle v={\sqrt[{3}]{t_{1}}}\;\;{\stackrel {?!}{=}}\;\;1-{\sqrt {3}}\,.$

Die Nebenbedingungen sind damit erfüllt! Somit ergibt sich $z_{0}=2$ und $z_{1,2}=-1\pm 3\mathrm {i}$. Für die Techniken zum Ausziehen von verschachtelten Wurzeln sei auf die Fachliteratur verwiesen.

Beispiel mit positiver Diskriminante

Cardano betrachtet die Gleichung

$z^{3}-6z+4=0$.

Für dieses kubische Polynom ist

${\begin{aligned}\Delta &=-4p^{3}-27q^{2}\\&=+2^{2}\cdot 2^{3}\cdot 3^{3}-3^{3}\cdot 2^{4}\\&=+2^{4}\cdot 3^{3}\cdot (2-1)\\&=16\cdot 27\\&=432\\\end{aligned}}$

Wegen $\Delta =-27\Delta _{2}$ ist $\Delta _{2}=-16$ und man erhält

$t_{0,1}={\frac {-q\pm {\sqrt {\Delta _{2}}}}{2}}=-2\pm {\sqrt {-4}}=2\cdot (-1\pm {\sqrt {-1}})\,.$

Man setze

$u_{0}={\sqrt[{3}]{t_{0}}}={\sqrt[{3}]{2\cdot (-1+{\sqrt {-1}})}}$ und

$v_{0}={\sqrt[{3}]{t_{1}}}={\sqrt[{3}]{2\cdot (-1-{\sqrt {-1}})}}$.

Damit gilt $3uv=3\cdot {\sqrt[{3}]{2^{2}\cdot \left(1-{\sqrt {-1}}^{2}\right)}}=3\cdot {\sqrt[{3}]{2^{3}}}=3\cdot 2=-p$, das heißt: Die Nebenbedingung NB-Nrm ist erfüllt. Auch Nebenbedingung NB-Spur ist erfüllt:

$u^{3}+v^{3}=t_{0}+t_{1}=-4=-q$.

Tatsächlich erfüllt $z_{0}:=u_{0}+v_{0}={\sqrt[{3}]{t_{0}}}+{\sqrt[{3}]{t_{1}}}$ die Gleichung, denn:

${\begin{array}{ccccccc}(u_{0}+v_{0})^{3}&=&\left({\sqrt[{3}]{t_{0}}}+{\sqrt[{3}]{t_{1}}}\right)^{3}&&&&\\&=&t_{0}+t_{1}&+&3\left({\sqrt[{3}]{4\cdot (-1+{\sqrt {-1}})^{2}}}{\sqrt[{3}]{2\cdot (-1-{\sqrt {-1}})}}+{\sqrt[{3}]{2\cdot (-1+{\sqrt {-1}})}}{\sqrt[{3}]{4\cdot (-1-{\sqrt {-1}})^{2}}}\right)\\&=&t_{0}+t_{1}&+&3\left({\sqrt[{3}]{4\cdot (1-2{\sqrt {-1}}-1)\cdot 2\cdot (-1-{\sqrt {-1}})}}+{\sqrt[{3}]{2\cdot (-1+{\sqrt {-1}})\cdot 4\cdot (1+2{\sqrt {-1}}-1)}}\right)\\&=&t_{0}+t_{1}&+&3\left({\sqrt[{3}]{8\cdot (1-2{\sqrt {-1}}-1)\cdot (-1-{\sqrt {-1}})}}+{\sqrt[{3}]{8\cdot (-1+{\sqrt {-1}})\cdot (1+2{\sqrt {-1}}-1)}}\right)\\&=&-4&+&3\cdot 2\left({\sqrt[{3}]{2\cdot {\sqrt {-1}}\cdot (1+{\sqrt {-1}})}}+{\sqrt[{3}]{(-1+{\sqrt {-1}})\cdot 2\cdot {\sqrt {-1}}}}\right)\\&=&-4&+&3\cdot 2\left({\sqrt[{3}]{2\cdot ({\sqrt {-1}}-1)}}+{\sqrt[{3}]{2\cdot (-{\sqrt {-1}}-1)}}\right)\\&=&-4&+&6\cdot \left(v_{0}+u_{0}\right)\end{array}}$

Also erhält man die Lösungen:

$z_{0}=u_{0}+v_{0}={\sqrt[{3}]{t_{0}}}+{\sqrt[{3}]{t_{1}}}={\sqrt[{3}]{2}}\left[{\sqrt[{3}]{-1+{\sqrt {-1}}}}+{\sqrt[{3}]{-1-{\sqrt {-1}}}}\right]$

$z_{1}=u_{0}\varepsilon +v_{0}\varepsilon _{2}$

$z_{2}=u_{0}\varepsilon _{2}+v_{0}\varepsilon$

Nun ist aber offenbar $2$ eine Lösung, also zerfällt $Z^{3}-6Z+4=(Z-2)(Z^{2}+2Z\underbrace {-2} _{=-6+2^{2}})$.

Die beiden weiteren Nullstellen sind demnach $-1\pm {\sqrt {3}}$.

Da es (gemäß Körpertheorie) nur drei Nullstellen geben kann, muss es sich um dieselben handeln: $\{z_{0},z_{1},z_{2}\}=\{2,-1+{\sqrt {3}},-1-{\sqrt {3}}\}$. Wegen der kryptischen Notation der Lösungen $z_{j}$, die Kubikwurzeln von imaginären Größen enthalten, bleibt – einem Menschen der Renaissance allzumal – zunächst verborgen, weshalb diese Mengen identisch sein können und wie die „kryptischen Lösungen“ $z_{j}$ den reellen Lösungen der rechten Mengen zuzuordnen sind. Dies soll nun durch eine „formale Rechnung“ geklärt werden:

Wegen

${t_{0,1}}={2\cdot (-1\pm {\sqrt {-1}})}={-2\pm 2{\sqrt {-1}}}={(1\pm 1{\sqrt {-1}})^{3}}$

gilt mit der folgenden Auswahl der Kubikwurzeln

$u_{0}={\sqrt[{3}]{t_{0}}}:=1+{\sqrt {-1}}$ und

$v_{0}={\sqrt[{3}]{t_{1}}}:=1-{\sqrt {-1}}$

die Identität $z_{0}=u_{0}+v_{0}=2\cdot \Re u_{0}=2\cdot \Re {\sqrt[{3}]{t_{0}}}=2$.

Dabei sind auch die Nebenbedingungen erfüllt:

• (NB-Nrm): $u_{0}v_{0}=1-{\sqrt {-1}}^{2}=2=-{\frac {p}{3}}$ und
• (NB-Spur) bleibt unverändert: $u_{0}^{3}+v_{0}^{3}=t_{0}+t_{1}=-4=-q$

Wenn als primitive dritte Einheitswurzel $\textstyle \varepsilon =\varepsilon _{1}={\frac {1}{2}}(-1+{\sqrt {-3}})$ gewählt wurde, so dass $\arg \varepsilon ={\frac {2\pi }{3}}$, dann gilt überdies

$\textstyle u_{0}\varepsilon _{1,2}={\frac {1}{2}}(-1\mp {\sqrt {3}})+{\frac {\mathrm {i} }{2}}(-1\pm {\sqrt {3}})$, so dass tatsächlich $z_{1,2}=-1\mp {\sqrt {3}}$.

In der trigonometrischen Lösung sind für das besprochene Beispiel zu wählen:

$R:=2{\sqrt {2}}$ und $\phi =\pm {\frac {3}{4}}\pi$, so dass ${\sqrt[{3}]{R}}={\sqrt {2}}=:{\frac {r_{0}}{2}}$.

Die Lösungen gemäß der trigonometrischen Lösung lassen sich so schreiben: $z_{k}=2{\sqrt {2}}\cos \left({\frac {2k\pi }{3}}+{\frac {\pi }{4}}\right)={\begin{cases}2{\sqrt {2}}\cos 45^{\circ }=2\cdot \operatorname {\Re } (1+{\sqrt {-1}})=2&{\text{ für }}k=0\\2{\sqrt {2}}\cos 165^{\circ }=2\cdot \operatorname {\Re } (\varepsilon _{1}(1+{\sqrt {-1}}))=-1-{\sqrt {3}}&{\text{ für }}k=1\\2{\sqrt {2}}\cos 285^{\circ }=2\cdot \operatorname {\Re } (\varepsilon _{2}(1+{\sqrt {-1}}))=-1+{\sqrt {3}}&{\text{ für }}k=2\end{cases}}$

Beispiel aus der Trigonometrie

Im regulären Vierzehneck entspricht das Verhältnis der Seite $s$ zum Umkreisradius $r$ dem Wert $x:=2\sin \!{\tfrac {\pi }{14}}$, der die folgende kubische Gleichung erfüllt:

$x^{3}-x^{2}-2x+1=0$

Durch kubische Ergänzung entsteht:

$(3x-1)^{3}-21(3x-1)+7=0$

Mit der Cardanoschen Formel ergibt sich im Casus irreduzibilis das folgende reelle Lösungstriplett

$x_{0}=2\sin({\tfrac {1}{14}}\pi )={\tfrac {1}{3}}+{\tfrac {2}{3}}{\sqrt {7}}\sin[{\tfrac {1}{3}}\arcsin({\tfrac {1}{14}}{\sqrt {7}})]\,\;\;\;\approx 0{,}445041868$

$x_{1}=-2\sin({\tfrac {3}{14}}\pi )={\tfrac {1}{3}}-{\tfrac {2}{3}}{\sqrt {7}}\cos[{\tfrac {1}{3}}\arccos({\tfrac {1}{14}}{\sqrt {7}})]\approx -1{,}246979604$

$x_{2}=2\cos({\tfrac {1}{7}}\pi )={\tfrac {1}{3}}+{\tfrac {2}{3}}{\sqrt {7}}\cos[{\tfrac {1}{3}}\arccos(-{\tfrac {1}{14}}{\sqrt {7}})]\;\approx 1{,}801937736$

mit $x_{0}$ als dem $s/r$-Verhältnis im regulären Vierzehneck.

Cardanos Formel in der Formulierung durch Arthur Cayley

Man mag es als einen Mangel empfinden, dass die Formel von Cardano stets die Nebenbedingungen im Auge behalten muss. Diesem Umstand hat Arthur Cayley abgeholfen.

Für zwei neue Unbekannte $\xi ,\eta$ setze man

$u=\xi ^{2}\eta \quad$ und $\quad v=\xi \eta ^{2}$		(CayleyParam)

Dann folgt mit Nebenbedingung (NB-Nrm) bzw. (Vieta-Nrm) $\xi \eta ={\sqrt[{3}]{\frac {-p}{3}}}\,.$ Setzt man diesen Wert in die Gleichungen (CayleyParam) ein, ersetzt $u$ bzw. $v$ durch die Werte aus der Cardanoschen Formel (CardForm.1) und löst nach $\xi$ bzw. $\eta$ auf, so erhält man

${\begin{aligned}\xi _{i}&=\varepsilon _{i}\cdot {\sqrt[{3}]{{\frac {3q}{2p}}+{\sqrt {\left({\frac {3q}{2p}}\right)^{2}+{\frac {p}{3}}}}}}\quad {\text{ für }}i=0,1,2\\\eta _{j}&=\varepsilon _{j}\cdot {\sqrt[{3}]{{\frac {3q}{2p}}-{\sqrt {\left({\frac {3q}{2p}}\right)^{2}+{\frac {p}{3}}}}}}\quad {\text{ für }}j=0,1,2\\\end{aligned}}$		(CayleysForm.1)

Damit erhält man nun die Lösungen in Cayleys Formulierung.

$z_{(i,j)}=\xi _{i}\cdot \eta _{j}\cdot \left(\xi _{i}+\eta _{j}\right)$ für $0\leq i,j\leq 2$.		(CayleysForm.2)

Zwar gibt es neun Doppelindizes $(i,j)$, doch die Menge $\{z_{(i,j)}|0\leq i,j\leq 2\}$ besteht lediglich aus den drei Lösungen

${\begin{array}{rcr}\xi _{0}^{2}\eta _{0}&+&\xi _{0}\eta _{0}^{2}\\\varepsilon _{1}\xi _{0}^{2}\eta _{0}&+&\varepsilon _{2}\xi _{0}\eta _{0}^{2}\\\varepsilon _{2}\xi _{0}^{2}\eta _{0}&+&\varepsilon _{1}\xi _{0}\eta _{0}^{2}\\\end{array}}$		(CayleysForm.3)

Charakteristik 2 und 3

Hat der Ring $R$ der Koeffizienten die Charakteristik $\operatorname {char} (R)=2$ oder $\operatorname {char} (R)=3~,$ dann lassen sich die angegebenen Formeln wegen der Divisionen durch $\operatorname {char} (R)$ nicht anwenden. Näheres dazu im Artikel über kubische Gleichungen.

Andere, insbesondere komplexe Koeffizientenkörper

Für Koeffizientenkörper $K=R$ anderer Charakteristiken und für komplexes $R=K\subset \mathbb {C}$ gilt die cardanische Formel unverändert und führt nötigenfalls zu einem Erweiterungskörper $L\supset K$, der den Zerfällungskörper des betrachteten Polynoms enthält.

Im Falle eines nicht geordneten Körpers $K\;(\mathbb {R} \subsetneqq K\subset \mathbb {C} )$ bleiben nur zwei Fälle unterscheidbar:

• $\Delta =0$: Dies ist allgemein das Kriterium für mehrfache Nullstellen, wie bei der Bestimmung der Diskriminante beschrieben.
• $\Delta \neq 0$: Dies ist allgemein das Kriterium für paarweise verschiedene Nullstellen. Die beiden „Unterfälle“
  • $\Delta <0$ (drei verschiedene reelle Wurzeln) bzw.
  • $\Delta >0$ (nur eine reelle und zwei verschiedene komplex konjugierte Wurzeln),

die Rahmen obiger Fallunterscheidung unterschieden werden konnten, werden ohne eine Ordnung ununterscheidbar und verschmelzen zu nur einem Fall, in dem sich lediglich feststellen lässt, dass es sich um drei verschiedene komplexe Wurzeln handelt.

Die trigonometrische Behandlung des Falles $\Delta >0$, dem „casus irreducibilis“, beruht lediglich – wie oben erläutert – darauf, die Kubikwurzel komplexer Zahlen in Polarkoordinaten darzustellen, also mit Hilfe der trigonometrischen Funktionen. Dieser Ansatz der ersten Herleitung bleibt also weiterhin möglich, wird jedoch seiner Pointe beraubt, diente er doch dem Zweck, im Falle dreier reeller Wurzeln einen „rein reellen“ Ausdruck für die Lösung zu finden. Nun, da im Regelfall alle drei Wurzeln komplex sind und einen nicht verschwindenden Imaginärteil haben, wird dieser auch in Polarkoordinaten nicht verschwinden: Die imaginäre Komponente (als Sinus-Wert angegeben) wird nicht getilgt werden. Dass er bei reellem Koeffizientenkörper verschwindet, liegt darin begründet, dass die Paare $(u_{i},v_{i})$ komplex konjugiert sind.

Quartische Gleichungen

Faktorisation von quartischen Polynomen

Bei quartischen Gleichungen beziehungsweise Gleichungen vierten Grades sind die Lösungen immer biquadratisch radikale Ausdrücke aus Lösungen von kubischen Gleichungen. Der Grund dafür besteht in der Tatsache, dass alle Polynome vierten Grades als Differenz des Musters Quadrat eines quadratischen Polynoms minus Quadrat eines linearen Polynoms dargestellt werden können. Durch das Nullsetzen des quartischen Polynoms kann auf diese Weise der Satz von Vieta verwendet werden. Und diese Differenz zweier Quadrate kann dann mit der dritten binomische Formel faktorisiert werden. So entstehen zwei Faktoren von jeweils zweitem Grade. Diese können dann mit der Mitternachtsformel aufgelöst werden. Für die Bestimmung der Koeffizienten von diesen beiden Polynomfaktoren ist die Auflösung eines kubischen Gleichungssystems erforderlich. Dies wird im nun Folgenden gezeigt. Gegeben sei ein quartisches Polynom, welches faktorisiert werden soll:

$x^{4}+Ax^{3}+Bx^{2}+Cx+D=(x^{2}+{\tfrac {1}{2}}Ax+u)^{2}-(vx+w)^{2}$

Eine kubische Resolventengleichung führt hierbei zur Ermittlung von $u$:

$(A^{2}-4B+8u)(u^{2}-D)=(Au-C)^{2}$

Sukzessiv können dann $v$ und $w$ ermittelt werden.

Nach anschließender Faktorisation der dritten binomischen Formel führt das Lösen von quadratischen Faktoren zur x-Lösung.

Beweis der kubischen Resolvente

Durch Eliminierung der unbekannten v und w kann eine kubische Gleichung für u in Abhängigkeit der gegebenen Koeffizienten A, B, C und D aufgestellt werden:

$x^{4}+Ax^{3}+Bx^{2}+Cx+D=(x^{2}+{\tfrac {1}{2}}Ax+u)^{2}-(vx+w)^{2}$

Die Bilanz der Koeffizienten des quadratischen Glieds ergibt folgende Gleichung:

I) $4v^{2}=A^{2}-4B+8u$

Die Bilanz der Koeffizienten des linearen Glieds ergibt nachfolgende Gleichung:

II) $2vw=Au-C$

Und die Bilanz der Koeffizienten des absoluten Glieds ergibt die nun folgende Gleichung:

III) $w^{2}=u^{2}-D$

Durch das Gleichsetzungsverfahren mit dem Muster I*III = II² ergibt sich folgende kubische Gleichung:

$(A^{2}-4B+8u)(u^{2}-D)=(Au-C)^{2}$

Diese Gleichung kann dann nach u aufgelöst werden.

Beispielgleichung

Nach der positiven reellen Lösung soll folgende Gleichung aufgelöst werden:

${\color {blue}x^{4}-x-1=0}$

Gegeben ist die genannte Form:

$x^{4}+Ax^{3}+Bx^{2}+Cx+D=(x^{2}+{\tfrac {1}{2}}Ax+u)^{2}-(vx+w)^{2}$

Nach dieser Form gelten die Werte $A=0,\ B=0,\ C=-1$ und $D=-1$.

Die genannte kubische Resolvente lautet dann für diese Beispielgleichung so:

$8u(u^{2}+1)=1$

Nach der Formel von Gerolamo Cardano lautet die reelle Lösung für $u$ wie folgt:

$u={\tfrac {1}{12}}{\sqrt[{3}]{12}}{\bigl (}{\sqrt[{3}]{{\sqrt {849}}+9}}-{\sqrt[{3}]{{\sqrt {849}}-9}}{\bigr )}={\tfrac {2}{3}}{\sqrt {3}}\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}$.

Genannt waren ebenso die Gleichungen:

$4v^{2}=A^{2}-4B+8u$

$2vw=Au-C$

In dieser Beispielgleichung lauten sie so:

$4v^{2}=8u$

$2vw=1$

So entstehen $v$ und $w$:

$v={\tfrac {2}{3}}{\sqrt[{4}]{27}}{\sqrt {\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}$

$w={\tfrac {1}{4}}{\sqrt[{4}]{3}}{\sqrt {{\text{csch}}{\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}$

Also gilt:

$x^{4}-x-1={\bigl \{}x^{2}+{\tfrac {2}{3}}{\sqrt {3}}\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}{\bigr \}}^{2}-{\bigl \{}{\tfrac {2}{3}}{\sqrt[{4}]{27}}{\sqrt {\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}\,x+{\tfrac {1}{4}}{\sqrt[{4}]{3}}{\sqrt {{\text{csch}}{\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}{\bigr \}}^{2}$

Nach dem Satz von Vieta kann dann so das quadratische Polynom mit den beiden reellen Lösungen herauskristallisiert werden:

${\bigl \{}x^{2}+{\tfrac {2}{3}}{\sqrt {3}}\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}{\bigr \}}^{2}-{\bigl \{}{\tfrac {2}{3}}{\sqrt[{4}]{27}}{\sqrt {\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}\,x+{\tfrac {1}{4}}{\sqrt[{4}]{3}}{\sqrt {{\text{csch}}{\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}{\bigr \}}^{2}=0$

${\bigl \{}x^{2}+{\tfrac {2}{3}}{\sqrt {3}}\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}{\bigr \}}-{\bigl \{}{\tfrac {2}{3}}{\sqrt[{4}]{27}}{\sqrt {\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}\,x+{\tfrac {1}{4}}{\sqrt[{4}]{3}}{\sqrt {{\text{csch}}{\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}{\bigr \}}=0$

Nach der dritten binomischen Formel gilt: $a^{2}-b^{2}=(a-b)(a+b)$.

Anschließend wird weiter umgeformt:

$x^{2}-{\tfrac {2}{3}}{\sqrt[{4}]{27}}{\sqrt {\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}\,x+{\tfrac {2}{3}}{\sqrt {3}}\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}-{\tfrac {1}{4}}{\sqrt[{4}]{3}}{\sqrt {{\text{csch}}{\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}=0$

${\bigl \{}x-{\tfrac {1}{3}}{\sqrt[{4}]{27}}{\sqrt {\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}{\bigr \}}^{2}+{\tfrac {1}{3}}{\sqrt {3}}\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}-{\tfrac {1}{4}}{\sqrt[{4}]{3}}{\sqrt {{\text{csch}}{\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}=0$

${\color {green}x={\tfrac {1}{3}}{\sqrt[{4}]{27}}{\sqrt {\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}+{\sqrt {{\tfrac {1}{4}}{\sqrt[{4}]{3}}{\sqrt {{\text{csch}}{\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}-{\tfrac {1}{3}}{\sqrt {3}}\sinh {\bigl [}{\tfrac {1}{3}}\operatorname {arsinh} ({\tfrac {3}{16}}{\sqrt {3}}){\bigr ]}}}\approx 1{,}2207440846}$

Quintische Gleichungen

Quintisches Analogon zur Cardanoschen Formel

Nach dem Satz von Abel-Ruffini ist das Analogon der Cardanoschen Formel für quintische Gleichungen nicht elementar darstellbar. Jedoch kann bei diesem quintischen Analogon die reelle Lösung dann in einem quintisch radikalen Ausdruck dargestellt werden, wenn ein elliptischer Schlüssel ausgedrückt über die Thetafunktionen auf der Grundlage der Elliptischen Nomenfunktion $q(k)=\exp[-\pi K(k')/K(k)]$ oder über die Jacobischen Amplitudenfunktionen angewendet wird. Die Mathematiker John Stuart Glashan, George Paxton Young und Carl Runge fanden den quintisch radikalen Ausdruck für die Bring-Jerrard-Form heraus und beschrieben diesen Lösungsausdruck in ihrem Werk. Der Wert für den zugehörigen elliptischen Modul beziehungsweise die zugehörige numerische Exzentrizität in Abhängigkeit vom Koeffizienten des absoluten Gliedes in der Bring-Jerrard-Form wurde durch Charles Hermite entdeckt und ermittelt. Und für die standardisierte Bring-Jerrard-Normalform der quintischen Gleichung wird im Folgenden das Analogon zur kubischen Formel nach Cardano aufgestellt:

$x^{5}+x=w$

${\begin{array}{lll}x&=&{\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\cosh {\biggl \{}{\frac {1}{5}}\operatorname {arcosh} {\biggl [}{\frac {5{\sqrt {5+5y^{2}}}}{(1+2y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}\\&&-{\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\sinh {\biggl \{}{\frac {1}{5}}\operatorname {arsinh} {\biggl [}{\frac {5y{\sqrt {5+5y^{2}}}}{(2-y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}\end{array}}$

Elliptischer Schlüssel:

$y={\frac {5\,\vartheta _{00}{\bigl \langle }q{\bigl \{}{\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\operatorname {aclh} ({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w){\bigr ]}^{2}{\bigr \}}^{5}{\bigr \rangle }^{2}}{2\,\vartheta _{00}{\bigl \langle }q{\bigl \{}{\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\operatorname {aclh} ({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w){\bigr ]}^{2}{\bigr \}}{\bigr \rangle }^{2}}}-{\frac {1}{2}}$

Wichtiger Rechenhinweis über die genannten hyperbolisch lemniskatischen Funktionen:

${\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\operatorname {aclh} (s){\bigr ]}^{2}={\biggl (}2s^{2}+2+2{\sqrt {s^{4}+1}}{\biggr )}^{-1/2}{\biggl (}{\sqrt {{\sqrt {s^{4}+1}}+1}}+s{\biggr )}$

Alternativ wird die genannte quintische Bring-Jerrard-Gleichung auch ohne elliptischen Schlüssel mit einem direkten Ausdruck für dieselbe reelle Lösung so gelöst:

$x^{5}+x=w$

${\begin{array}{lll}x&=&{\frac {S{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{2}}}\\&&\times {\frac {1-R{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{2}{\bigr \rangle }^{2}}}\\&&\times {\frac {\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{5}{\bigr \rangle }^{3}}{2{\sqrt[{4}]{20}}\,{\text{sl}}[{\frac {1}{2}}{\sqrt {2}}\,\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\frac {1}{2}}\operatorname {aclh} ({\frac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{3}}}\end{array}}$

Hierbei stehen die Buchstaben R und S für den Rogers-Ramanujan-Kettenbruch und den zugehörigen alternierenden Kettenbruch. Und die Abkürzung sl stellt den lemniskatischen Sinus dar.

Quintisches Rechenbeispiel

Eine bekannte quintische und elementar lösbare Gleichung, deren Lösung somit analog zur kubischen Formel nach Cardano gelöst werden kann, ist die folgende:

$x^{5}+15x=12$

Die durch Umformung gebildete Gleichung

${\biggl (}{\frac {x}{\sqrt[{4}]{15}}}{\biggr )}^{5}+{\frac {x}{\sqrt[{4}]{15}}}\ ={\frac {4}{5\,{\sqrt[{4}]{15}}}}$

hat dieselbe Lösungsmenge. Nach den Setzungen

${\begin{aligned}\displaystyle w&:={\frac {4}{5\,{\sqrt[{4}]{15}}}}\\y&:={\frac {5\,\vartheta _{00}{\bigl \langle }q{\bigl \{}{\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\operatorname {aclh} ({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w){\bigr ]}^{2}{\bigr \}}^{5}{\bigr \rangle }^{2}}{2\,\vartheta _{00}{\bigl \langle }q{\bigl \{}{\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\operatorname {aclh} ({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w){\bigr ]}^{2}{\bigr \}}{\bigr \rangle }^{2}}}-{\frac {1}{2}}\end{aligned}}$

ergibt sich

${\begin{array}{lll}\displaystyle y&=\displaystyle {\frac {5\,\vartheta _{00}{\bigl \langle }q{\bigl \{}{\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\operatorname {aclh} (3^{-1/4}){\bigr ]}^{2}{\bigr \}}^{5}{\bigr \rangle }^{2}}{2\,\vartheta _{00}{\bigl \langle }q{\bigl \{}{\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\operatorname {aclh} (3^{-1/4}){\bigr ]}^{2}{\bigr \}}{\bigr \rangle }^{2}}}-{\frac {1}{2}}\\&=\displaystyle {\frac {5\,\vartheta _{00}{\biggl [}q{\biggl (}{\tfrac {1}{6}}{\sqrt {18+6{\sqrt {6}}}}{\biggr )}^{5}{\biggr ]}^{2}}{2\,\vartheta _{00}{\biggl [}q{\biggl (}{\tfrac {1}{6}}{\sqrt {18+6{\sqrt {6}}}}{\biggr )}{\biggr ]}^{2}}}-{\frac {1}{2}}\\&=1.\end{array}}$

Nun kann die reelle Lösung dieser Gleichung direkt hervorgerufen werden:

${\begin{array}{lll}\displaystyle {\frac {x}{\sqrt[{4}]{15}}}&=&{\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\cosh {\biggl \{}{\frac {1}{5}}\operatorname {arcosh} {\biggl [}{\frac {5{\sqrt {5+5y^{2}}}}{(1+2y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}\\&&-{\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\sinh {\biggl \{}{\frac {1}{5}}\operatorname {arsinh} {\biggl [}{\frac {5y{\sqrt {5+5y^{2}}}}{(2-y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}\end{array}}$

Wegen $y=1$ folgt

${\frac {x}{\sqrt[{4}]{15}}}={\frac {2}{5}}{\sqrt[{4}]{15}}\cosh {\biggl \{}{\frac {1}{5}}\operatorname {arcosh} {\biggl [}{\frac {5{\sqrt {10}}}{3{\sqrt {6}}}}{\biggr ]}{\biggr \}}-{\frac {2}{5}}{\sqrt[{4}]{15}}\sinh {\biggl \{}{\frac {1}{5}}\operatorname {arsinh} {\biggl [}{\frac {5{\sqrt {10}}}{\sqrt {6}}}{\biggr ]}{\biggr \}}$

und es ergibt sich die reelle Nullstelle

${\begin{aligned}\displaystyle x&={\tfrac {2}{5}}{\sqrt {15}}\cosh {\bigl [}{\tfrac {1}{5}}\operatorname {arcosh} {\bigl (}{\tfrac {5}{9}}{\sqrt {15}}{\bigr )}{\bigr ]}-{\tfrac {2}{5}}{\sqrt {15}}\sinh {\bigl [}{\tfrac {1}{5}}\operatorname {arsinh} {\bigl (}{\tfrac {5}{3}}{\sqrt {15}}{\bigr )}{\bigr ]}\\&=0{,}7806694320932583\ldots ~.\end{aligned}}$

Da sich die Terme $\cosh {\bigl [}{\tfrac {1}{5}}\operatorname {arcosh} {\bigl (}z{\bigr )}{\bigr ]}$ und $\sinh {\bigl [}{\tfrac {1}{5}}\operatorname {arsinh} {\bigl (}z{\bigr )}{\bigr ]}$ durch Radikale des maximal fünften Grades ausdrücken lassen, lässt sich auch $x$ (ohne Bezug auf transzendente Funktionen wie $\cosh ,\operatorname {arcosh} ,\sinh ,\operatorname {arsinh}$) durch Radikale des maximal fünften Grades ausdrücken.

Literatur

• Hieronymus Cardanus: [Hieronymi Cardani …] Artis magnae, sive de regulis algebraicis, liber unus : qui & totius operis de arithmetica, quod opus perfectum inscripsit, est in ordine decimus. Nürnberg [Petreius] 1545, siehe etwa Cap. XII de cubo aequli rebus & numero (S. 31 f.) und Cap. XXXVII De regula falsum ponendi Regula II (und Demonstratio) (S. 65 ff.), doi:10.3931/e-rara-9159 (ETH-Bibliothek Zürich, Shelf Mark: Rar 5506 / Public Domain Mark [PDF; 52,2 MB; abgerufen am 1. November 2024]). 
• Jörg Bewersdorff: Algebra für Einsteiger. Von der Gleichungsauflösung zur Galois-Theorie. 6. Auflage. Wiesbaden 2019, ISBN 978-3-658-26151-1, doi:10.1007/978-3-658-26152-8 (Einführung [PDF; 319 kB]). 
• Heinrich Dörrie: Kubische und biquadratische Gleichungen. München 1948, doi:10.1515/9783486775990. 
• Ludwig Matthiessen: Grundzüge der antiken und modernen Algebra der litteralen Gleichungen. Leipzig 1896, Vierter Abschnitt. Directe Auflösung der Gleichungen von den ersten vier Graden durch Substitution. IV. Von der Auflösung der kubischen Gleichungen. § 127. Methode und Formel von Scipio Ferreo, Nicol. Tartaglia und Hieron. Cardano. (Capitulum cubi et rerum numero aequalium.), S. 362 ff., doi:10.3931/e-rara-78944. 
• Peter Pesic: Abels Beweis. Die Geschichte rund um die Lösungsformeln vom Grad 2 bis 4 und der komplette Beweis von Abel. Springer, 2005, ISBN 3-540-22285-5, doi:10.1007/978-3-540-27309-7. 
• Charles Hermite: Sur la résolution de l’Équation du cinquième degré Comptes rendus (= Comptes Rendus Acad. Sci. Nr. 11). Paris März 1858. 
• G. P. Young: Solution of Solvable Irreducible Quintic Equations, Without the Aid of a Resolvent Sextic (= American Journal of Mathematics. Band 7). 1885, S. 170–177. 
• F. Brioschi: Sulla risoluzione delle equazioni del quinto grado: Hermite – Sur la résolution de l’Équation du cinquième degré (= Comptes rendus. N. 11. (Mars 1858)). 1. Dezember 1858, doi:10.1007/bf03197334 (zenodo.org [abgerufen am 24. Oktober 2021]). 
• Carl Runge: Über die auflösbaren Gleichungen von der Form x⁵+ux+v=0 (= Acta Mathematica. Band 7). 1885, S. 173–186, doi:10.1007/BF02402200. 
• Bartel Leendert van der Waerden: Algebra I. unter Benutzung von Vorlesungen von E. Artin und E. Noether. (= Heidelberger Taschenbücher. Band 12). 8. Auflage. 1971, ISBN 3-540-03561-3, Kapitel VIII Die Theorie von Galois, § 64 Gleichungen zweiten, dritten und vierten Grades, Satz im Kleindruck auf Seite 194. 
• Konrad Knopp: Elemente der Funktionentheorie (= Sammlung Göschen. Band 1109). Walter de Gruyter & Co, Leipzig 1937, 2. Kapitel, § 4 Geschichtliches (Seite 19) – (144 S.). 
• Wolfgang Krull: Elementare Algebra vom höheren Standpunkt (= Sammlung Göschen. Band 930). Walter de Gruyter & Co, Leipzig 1939 (143 S.). 
• Eugen Netto: Vorlesungen über Algebra. Erster Band. B. G. Teubner, Leipzig 1896, OCLC 1140714575, 9. Vorlesung (Die symmetrischen Funktionen), 12. Vorlesung (Die Resultante und ihre Darstellung), 14. Vorlesung (Die Discriminanten) und 26. Vorlesung (Die Gleichungen zweiten, dritten und vierten Grades), § 284 [beschreibt Eulers eleganten Weg zur Herleitung der Cardanischen Formel] (388 S., archive.org [PDF; 23,1 MB]). 
• Heinrich Weber: Lehrbuch der Algebra. in zwei Bänden. Erster Band. Friedrich Vieweg und Sohn, Braunschweig 1895, §§ 34ff., S. 114 ff. (653 S., uni-goettingen.de [PDF; 48 kB; abgerufen am 1. November 2024]). 
• Robert Fricke: Lehrbuch der Algebra. verfaßt mit Benutzung von Heinrich Webers gleichnamigem Buche (in drei Bänden). Erster Band. Friedrich Vieweg & Sohn Aktiengesellschaft, Braunschweig 1924, 6. Transformationen höheren Grades § 3 Beispiel der kubischen Gleichung., S. 174 ff. (468 S., uni-goettingen.de [PDF; 65,1 MB; abgerufen am 9. November 2024]). 
• H.-D. Ebbinghaus, H. Hermes, Fr. Hirzebruch, Max Koecher, K. Mainzer, A. Prestel, R. Remmert: Zahlen. In: Grundwissen Mathematik I. 3., verbesserte Auflage. Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest 1992, ISBN 3-540-55654-0, Kapitel 3 Komplexe Zahlen (R. Remmert) § 1 Genesis der komplexen Zahlen 1. CARDANO (1501-1576), S. 46, doi:10.1007/978-3-642-96783-2 (Hirzebruch Collection [abgerufen am 9. November 2024]). 
• Serge Lang: Linear Algebra. 3rd edition Auflage. Addison-Wesley, 1970, ISBN 0-387-96412-6. 
• Thomas de Padova: Alles wird Zahl. Wie sich die Mathematik in der Renaissance neu erfand. Carl Hanser Verlag, 2021, ISBN 978-3-446-26932-3. 

Weblinks

• Formeln von Cardano zur Lösung der Gleichung dritten Grades auf mathematik.ch