Lösung reduzierter kubischer Gleichungen nach Ferro
Scipione del Ferro fand Ende des 15. Jahrhunderts einen Lösungsweg für reduzierte kubische Gleichungen. Veröffentlicht wurde das Verfahren in erweiterter Form von Gerolamo Cardano in seinem Buch "Ars magna de Regulis Algebraicis" aus dem Jahr 1545.
Die reduzierte kubische Gleichung hat die Form z³ + p z + q = 0.
Für die Lösung beginnt man mit einer wahren Aussage und formt dann um, bis man die sogenannte quadratische Resolvente erreicht:
z³ - z³ = 0
z³ - (u + v)³ = 0 # Substitution z = u + v
z³ - (u³ + 3 u² v + 3 u v² + v³) = 0 # Binomischer Lehrsatz
z³ - 3 u v (u + v) - u³ - v³ = 0 # Kommutativ und Distributivgesetze
z³ - 3 u v z - u³ - v³ = 0 # Substitution u + v = z
p = - 3 u v # Koeffizientenvergleich mit z³ + p z + q = 0
q = - u³ - v³ # Koeffizientenvergleich mit z³ + p z + q = 0
p³ = - 27 u³ v³ # 3.te Potenz
- p³ / 27 = u³ v³ # Division durch - 27
h(x) = (x - u³) (x - v³) # Definition
h(x) = x² + (- u³ - v³) x + u³ v³ # Ausmultiplizieren, Satz von Vieta
h(x) = x² + q x - p³ / 27 # Übernahme der Gleichungen von oben
Die letzte Gleichung ist die quadratische Resolvente. Diese löst man nach x auf und erhält zwei Nullstellen x1 und x2. Aus diesen kann man anhand von
u³ = x1 # Definition von h
v³ = x2 # Definition von h
je drei Lösungen für u und v errechnen. Hierbei sind auch die komplexen Kubikwurzeln zu berücksichtigen.
Aus den neun möglichen Kombinationen der u und v filtert man anhand der Bedingung
p = - 3 u v # Übernahme der Gleichung von oben
und erhält schließlich drei Lösungen für z:
z = u + v # Übernahme der Gleichung von oben
Quellen
http://de.wikipedia.org/wiki/Scipione_del_Ferro
http://de.wikipedia.org/wiki/Gerolamo_Cardano
http://de.wikipedia.org/wiki/Cardanische_Formeln
Die reduzierte kubische Gleichung hat die Form z³ + p z + q = 0.
Für die Lösung beginnt man mit einer wahren Aussage und formt dann um, bis man die sogenannte quadratische Resolvente erreicht:
z³ - z³ = 0
z³ - (u + v)³ = 0 # Substitution z = u + v
z³ - (u³ + 3 u² v + 3 u v² + v³) = 0 # Binomischer Lehrsatz
z³ - 3 u v (u + v) - u³ - v³ = 0 # Kommutativ und Distributivgesetze
z³ - 3 u v z - u³ - v³ = 0 # Substitution u + v = z
p = - 3 u v # Koeffizientenvergleich mit z³ + p z + q = 0
q = - u³ - v³ # Koeffizientenvergleich mit z³ + p z + q = 0
p³ = - 27 u³ v³ # 3.te Potenz
- p³ / 27 = u³ v³ # Division durch - 27
h(x) = (x - u³) (x - v³) # Definition
h(x) = x² + (- u³ - v³) x + u³ v³ # Ausmultiplizieren, Satz von Vieta
h(x) = x² + q x - p³ / 27 # Übernahme der Gleichungen von oben
Die letzte Gleichung ist die quadratische Resolvente. Diese löst man nach x auf und erhält zwei Nullstellen x1 und x2. Aus diesen kann man anhand von
u³ = x1 # Definition von h
v³ = x2 # Definition von h
je drei Lösungen für u und v errechnen. Hierbei sind auch die komplexen Kubikwurzeln zu berücksichtigen.
Aus den neun möglichen Kombinationen der u und v filtert man anhand der Bedingung
p = - 3 u v # Übernahme der Gleichung von oben
und erhält schließlich drei Lösungen für z:
z = u + v # Übernahme der Gleichung von oben
Quellen
http://de.wikipedia.org/wiki/Scipione_del_Ferro
http://de.wikipedia.org/wiki/Gerolamo_Cardano
http://de.wikipedia.org/wiki/Cardanische_Formeln