Das Script von Arndt Bruenner hat geschrieben:Lösen der biquadratischen Gleichung 29x^4 + 29x³ + 29x² + 29x - 225 = 0
————————————————————————————————————————————————————————————————————————————
Die Gleichung wird zunächst durch Division mit 29 auf die Normalform
x^4 + ax³ + bx² + cx + d = 0 gebracht.
x^4 + x³ + x² + x - 7,758620689655173 = 0
Durch die Substitution x = y - a/4 wird die Gleichung in die Form
y^4 + py² + qy + r = 0 gebracht, die kein kubisches Glied mehr aufweist.
(y - 0,25)^4 + (y - 0,25)³ + (y - 0,25)² + (y - 0,25) - 7,758620689655173 = 0
Statt auszumultiplizieren, kann man die neuen Koeffizienten auch direkt berechnen:
p = b - 3a²/8 = 0,625
q = a³/8-ab/2+c = 0,625
r = -(3a^4 - 16a²b + 64ac - 256d)/256 = -7,957839439655173
y^4 + 0,625y² + 0,625y - 7,957839439655173 = 0
Diese Gleichung kann über ihre kubische Resolvente z³ - 2pz² + (p²-4r)z + q² = 0
gelöst werden.
z³ - 1,25z² + 32,22198275862069z + 0,390625 = 0
Man benötigt also zunächst die Lösungen dieser Gleichung.
—————————————————————————————————————————————————————————————————————————————————————————
Lösen der kubischen Gleichung x³ - 1,25x² + 32,22198275862069x + 0,390625 = 0
—————————————————————————————————————————————————————————————————————————————————
Die kubische Gleichung liegt bereits in der Normalform x³ + rx² + sx + t = 0 vor.
Durch die Substitution x = y - r/3 wird die Gleichung in eine reduzierte Form
y³ + py + q = 0 gebracht, in der kein quadratisches Glied mehr auftritt.
(y + 0,4166666666666667)³ - 1,25(y + 0,4166666666666667)² + 32,22198275862069(y + 0,4166666666666667) + 0,390625 = 0
Die neuen Koeffizienten können bequemer auch direkt berechnet werden:
p = s - r²/3 = 31,70114942528736
q = 2r³/27 - rs/3 + t = 13,671775223499363
y³ + 31,70114942528736y + 13,671775223499363 = 0
Aus der Gleichung liest man also ab:
p = 31,70114942528736 q = 13,671775223499363
Nun muss der Wert R = (q/2)²+(p/3)³ betrachtet werden.
Ist R > 0, so hat die kubische Gleichung eine reelle und zwei komplexe Lösungen,
ist R = 0, hat sie drei reelle Lösungen, von denen zwei zusammenfallen,
und im Falle R < 0 drei verschiedene reelle Lösungen.
Für die ersten beiden Fälle verwendet man die Lösungsformel von Cardano/Tartaglia,
im dritten Fall, dem sogenannten "casus irreducibilis", löst man mithilfe
trigonometrischer Funktionen.
Im Falle dieser Gleichung ist R = 1226,6729988322.
Da R nicht negativ ist, kann die Gleichung mit der Cardanischen Formel gelöst werden:
T = sqr((q/2)²+(p/3)³) = sqr(R) = 35,02389182875312
u = kubikwurzel(-q/2 + T) = 3,043370144956402
v = kubikwurzel(-q/2 - T) = -3,4721539954452356
y = u + v = -0,4287838504888337
1
y = -(u + v)/2 - ((u - v)/2)*sqr(3)•î = 0,21439192524441686 - 5,642609424558586•î
2
y = -(u + v)/2 + ((u - v)/2)*sqr(3)•î = 0,21439192524441686 + 5,642609424558586•î
3
Die Substitution x = y - r/3 wird durch Subtraktion von r/3 rückgängig gemacht.
r=-1,25 ist der quadratische Koeffizient der kubischen Gleichung.
Damit ergeben sich, der Größe nach geordnet, diese Lösungen:
x = -0,01211718382216694
1
x = 0,6310585919110835 - 5,642609424558586•î
2
x = 0,6310585919110835 + 5,642609424558586•î
3
—————————————————————————————————————————————————————————————————————————————————————————
Zurück zur Lösung der biquadratischen Gleichung.
Das Lösungsverfahren für kubische Gleichungen ergab also für das z der
kubischen Resolvente:
z = -0,01211718382216694
1
z = 0,6310585919110835 - 5,642609424558586•î
2
z = 0,6310585919110835 + 5,642609424558586•î
3
Nach dem Satz von Vieta muß das Produkt der drei Lösungen gleich dem linearen Glied
der Gleichung sein, hier also q² = 0,390625.
Die Lösungen für y ergeben sich nun folgendermaßen:
y = ( sqr(-z ) + sqr(-z ) + sqr(-z ) ) / 2
1 1 2 3
y = ( sqr(-z ) - sqr(-z ) - sqr(-z ) ) / 2
2 1 2 3
y = (-sqr(-z ) + sqr(-z ) - sqr(-z ) ) / 2
3 1 2 3
y = (-sqr(-z ) - sqr(-z ) + sqr(-z ) ) / 2
4 1 2 3
wobei jedoch die Wahl der Vorzeichen der Wurzeln so getroffen werden muß, daß deren
Produkt gleich -q = -0,625 ist.
Die Wurzeln
sqr(0,01211718382216694) = -0,11007808057086997
sqr(-0,6310585919110835 + 5,642609424558586•î) = -1,5885102082325122 - 1,7760696139425342•î
sqr(-0,6310585919110835 - 5,642609424558586•î) = -1,5885102082325122 + 1,7760696139425342•î
erfüllen diese Bedingung.
Damit ergeben sich folgende Werte für y
y = -1,6435492485179472
1
y = 1,5334711679470773
2
y = 0,05503904028543499 - 1,7760696139425342•î
3
y = 0,05503904028543499 + 1,7760696139425342•î
4
und nach Subtraktion von a/4 ( = 0,25 ) die Lösungen der gegebenen
biquadratischen Gleichung:
x = -1,8935492485179472
1
x = 1,2834711679470773
2
x = -0,194960959714565 - 1,7760696139425342•î
3
x = -0,194960959714565 + 1,7760696139425342•î
4