Polynom vierten Grades

In der Algebra ist ein Polynom vierten Grades ein Polynom der Form

f ( x ) = a x 4 + b x 3 + c x 2 + d x + e , {\displaystyle f(x)=ax^{4}+bx^{3}+cx^{2}+dx+e,}

mit a {\displaystyle a} ungleich Null. Eine quartische Funktion ist die diesem Polynom entsprechende Abbildung f : R R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } . Eine biquadratische Funktion ist eine quartische Funktion mit b = 0 {\displaystyle b=0} und d = 0 {\displaystyle d=0} .[1]

Eine quartische Gleichung oder Gleichung vierten Grades ist eine Gleichung der Form

a x 4 + b x 3 + c x 2 + d x + e = 0 {\displaystyle ax^{4}+bx^{3}+cx^{2}+dx+e=0}

mit a 0 {\displaystyle a\not =0} . Entsprechend spricht man auch von biquadratischen Gleichungen.

Eigenschaften quartischer Funktionen

Im Folgenden sei f : R R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } eine durch f ( x ) = a x 4 + b x 3 + c x 2 + d x + e , {\displaystyle f(x)=ax^{4}+bx^{3}+cx^{2}+dx+e,} mit a 0 {\displaystyle a\not =0} definierte quartische Funktion.

Verhalten im Unendlichen

Wie bei allen ganzrationalen Funktionen von geradem Grad gilt

lim x + f ( x ) = + {\displaystyle \lim \limits _{x\to +\infty }f(x)=+\infty } , lim x f ( x ) = + {\displaystyle \lim \limits _{x\to -\infty }f(x)=+\infty } ,

falls der führende Koeffizient a {\displaystyle a} positiv ist, und

lim x + f ( x ) = {\displaystyle \lim \limits _{x\to +\infty }f(x)=-\infty } , lim x f ( x ) = {\displaystyle \lim \limits _{x\to -\infty }f(x)=-\infty } ,

falls a {\displaystyle a} negativ ist.

Nullstellen

Ein Polynom vierten Grades hat höchstens vier Nullstellen, kann aber auch keine reellen Nullstellen haben. Es hat, wenn Nullstellen entsprechend ihrer Vielfachheit gezählt werden, genau vier komplexe Nullstellen. Falls alle Nullstellen reell sind, ist die Diskriminante nichtnegativ. Die Umkehrung gilt nicht, das Polynom x 4 + 4 {\displaystyle x^{4}+4} hat positive Diskriminante, aber keine reellen Nullstellen.

Für die (komplexen) Nullstellen gibt es eine Lösungsformel, siehe Quartische Gleichung. Das numerische Auffinden reeller Nullstellen ist beispielsweise mit dem Newton-Verfahren möglich.

Lokale Extrema

Als Polynomfunktion ist f {\displaystyle f} beliebig oft differenzierbar; für ihre 1. Ableitung f {\displaystyle f'} ergibt sich die kubische Funktion

f ( x ) = 4 a x 3 + 3 b x 2 + 2 c x + d {\displaystyle f'(x)=4ax^{3}+3bx^{2}+2cx+d} .

Ist deren Diskriminante positiv, so besitzt f {\displaystyle f} genau drei lokale Extrema, nämlich für a > 0 {\displaystyle a>0} ein lokales Maximum und zwei lokale Minima oder für a < 0 {\displaystyle a<0} zwei lokale Maxima und ein lokales Minimum.

Wendepunkte

Eine quartische Funktion f {\displaystyle f} besitzt höchstens zwei Wendepunkte ( x W ; f ( x W ) ) {\displaystyle (x_{W};f(x_{W}))} . Die Wendestellen x W {\displaystyle x_{W}} sind die Nullstellen der 2. Ableitung f ( x ) = 12 a x 2 + 6 b x + 2 c {\displaystyle f''(x)=12ax^{2}+6bx+2c} .

Polynome vierten Grades

Sei R {\displaystyle R} ein beliebiger Ring. Als Polynome vierten Grades über R {\displaystyle R} bezeichnet man Ausdrücke der Form

a x 4 + b x 3 + c x 2 + d x + e R [ x ] {\displaystyle ax^{4}+bx^{3}+cx^{2}+dx+e\in R[x]}

mit a , b , c , d , e R {\displaystyle a,b,c,d,e\in R} und a 0 {\displaystyle a\not =0} . Formal handelt es sich um Elemente des Polynomringes vom Grad 4, sie definieren Abbildungen von R {\displaystyle R} nach R {\displaystyle R} . Für R = R {\displaystyle R=\mathbb {R} } handelt es sich im obigen Sinne um quartische Funktionen.

Falls R {\displaystyle R} ein algebraisch abgeschlossener Körper ist, zerfällt jedes Polynom vierten Grades als Produkt vierer Linearfaktoren.

Allgemeiner sind quartische Polynome in n {\displaystyle n} Variablen Ausdrücke der Form

i , j , k , l = 1 n a i , j , k , l x i x j x k x l + i , j , k = 1 n b i , j , k x i x j x k + i , j = 1 n c i , j x i x j + i = 1 n d i x i + e R [ x 1 , , x n ] {\displaystyle \sum _{i,j,k,l=1}^{n}a_{i,j,k,l}x_{i}x_{j}x_{k}x_{l}+\sum _{i,j,k=1}^{n}b_{i,j,k}x_{i}x_{j}x_{k}+\sum _{i,j=1}^{n}c_{i,j}x_{i}x_{j}+\sum _{i=1}^{n}d_{i}x_{i}+e\in R[x_{1},\ldots ,x_{n}]} ,

wobei nicht alle a i , j , k , l {\displaystyle a_{i,j,k,l}} Null sein sollen. Diese Polynome definieren Abbildungen von R n {\displaystyle R^{n}} nach R {\displaystyle R} . Ihre Nullstellenmengen im R n {\displaystyle R^{n}} werden für n = 2 {\displaystyle n=2} als quartische Kurven und für n = 3 {\displaystyle n=3} als quartische Flächen bezeichnet.

Lösung der Gleichung vierten Grades durch Radikale (Wurzelausdrücke)

Hauptartikel: Quartische Gleichung

Natur der Lösungen

Für die quartische Gleichung

a x 4 + b x 3 + c x 2 + d x + e = 0 {\displaystyle ax^{4}+bx^{3}+cx^{2}+dx+e=0}

mit reellen Koeffizienten a , b , c , d , e {\displaystyle a,b,c,d,e} und a 0 {\displaystyle a\neq 0} ist die Natur der Wurzeln (der Lösungen) im Wesentlichen gegeben durch das Vorzeichen der sogenannten Diskriminante

Δ   =   256 a 3 e 3 192 a 2 b d e 2 128 a 2 c 2 e 2 + 144 a 2 c d 2 e 27 a 2 d 4 + 144 a b 2 c e 2 6 a b 2 d 2 e 80 a b c 2 d e + 18 a b c d 3 + 16 a c 4 e 4 a c 3 d 2 27 b 4 e 2 + 18 b 3 c d e 4 b 3 d 3 4 b 2 c 3 e + b 2 c 2 d 2 {\displaystyle {\begin{aligned}\Delta \ =\ &256a^{3}e^{3}-192a^{2}bde^{2}-128a^{2}c^{2}e^{2}+144a^{2}cd^{2}e-27a^{2}d^{4}\\&+144ab^{2}ce^{2}-6ab^{2}d^{2}e-80abc^{2}de+18abcd^{3}+16ac^{4}e\\&-4ac^{3}d^{2}-27b^{4}e^{2}+18b^{3}cde-4b^{3}d^{3}-4b^{2}c^{3}e+b^{2}c^{2}d^{2}\end{aligned}}}

Zusätzlich muss man noch vier weitere Polynome betrachten. Man erhält daraus die Information, wie viele Nullstellen reell und wie viele echt komplex sind.

Allgemeine Formeln für die Wurzeln

Volle Lösungsformel. Zu kompliziert, um wirklich nützlich zu sein.[2]

Die vier Wurzeln x 1 {\displaystyle x_{1}} , x 2 {\displaystyle x_{2}} , x 3 {\displaystyle x_{3}} und x 4 {\displaystyle x_{4}} der allgemeinen quartischen Gleichung

a x 4 + b x 3 + c x 2 + d x + e = 0 {\displaystyle ax^{4}+bx^{3}+cx^{2}+dx+e=0\,}

mit a ≠ 0 ergeben sich aus der folgenden Formel.

x 1 , 2   = b 4 a S ± 1 2 4 S 2 2 p + q S x 3 , 4   = b 4 a + S ± 1 2 4 S 2 2 p q S {\displaystyle {\begin{aligned}x_{1,2}\ &=-{\frac {b}{4a}}-S\pm {\frac {1}{2}}{\sqrt {-4S^{2}-2p+{\frac {q}{S}}}}\\x_{3,4}\ &=-{\frac {b}{4a}}+S\pm {\frac {1}{2}}{\sqrt {-4S^{2}-2p-{\frac {q}{S}}}}\end{aligned}}}

mit p und q wie folgt

p = 8 a c 3 b 2 8 a 2 q = b 3 4 a b c + 8 a 2 d 8 a 3 {\displaystyle {\begin{aligned}p&={\frac {8ac-3b^{2}}{8a^{2}}}\\q&={\frac {b^{3}-4abc+8a^{2}d}{8a^{3}}}\end{aligned}}}

wobei

S = 1 2 2 3   p + 1 3 a ( Q + Δ 0 Q ) Q = Δ 1 + Δ 1 2 4 Δ 0 3 2 3 {\displaystyle {\begin{aligned}S&={\frac {1}{2}}{\sqrt {-{\frac {2}{3}}\ p+{\frac {1}{3a}}\left(Q+{\frac {\Delta _{0}}{Q}}\right)}}\\Q&={\sqrt[{3}]{\frac {\Delta _{1}+{\sqrt {\Delta _{1}^{2}-4\Delta _{0}^{3}}}}{2}}}\end{aligned}}}

(falls S = 0 {\displaystyle S=0} oder Q = 0 {\displaystyle Q=0} , siehe unter Spezialfälle der Formel unten)

hierbei ist

Δ 0 = c 2 3 b d + 12 a e Δ 1 = 2 c 3 9 b c d + 27 b 2 e + 27 a d 2 72 a c e {\displaystyle {\begin{aligned}\Delta _{0}&=c^{2}-3bd+12ae\\\Delta _{1}&=2c^{3}-9bcd+27b^{2}e+27ad^{2}-72ace\end{aligned}}}

und

Δ 1 2 4 Δ 0 3 = 27 Δ   , {\displaystyle \Delta _{1}^{2}-4\Delta _{0}^{3}=-27\Delta \ ,} wobei Δ {\displaystyle \Delta } die oben genannte Diskriminante ist. Für die in Q {\displaystyle Q} auftretende dritte Wurzel, kann jede beliebige der komplexen dritten Wurzeln genutzt werden.

Spezialfälle der Formel

  • Falls Δ 0 {\displaystyle \Delta \neq 0} und Δ 0 = 0 , {\displaystyle \Delta _{0}=0,} muss das Vorzeichen von Δ 1 2 4 Δ 0 3 = Δ 1 2 {\displaystyle {\sqrt {\Delta _{1}^{2}-4\Delta _{0}^{3}}}={\sqrt {\Delta _{1}^{2}}}} so gewählt werden, dass Q 0 , {\displaystyle Q\neq 0,} .
  • Falls S = 0 , {\displaystyle S=0,} muss die Wahl der dritten Wurzel in der Definition von Q {\displaystyle Q} so geändert werden, dass S 0. {\displaystyle S\neq 0.} Dies ist immer möglich, außer wenn das Polynom vierten Grades als ( x + b 4 a ) 4 {\displaystyle \left(x+{\tfrac {b}{4a}}\right)^{4}} faktorisiert werden kann, wodurch die Lösungen gegeben sind.

Siehe auch

  • Lineare Funktion
  • Quadratische Funktion
  • Kubische Funktion
  • Biquadrat

Literatur

  • W. Carpenter: On the solution of the real quartic. In: Mathematics Magazine. 39. Jahrgang, 1966, S. 28–30, doi:10.2307/2688990. 
  • S.L. Shmakov: A Universal Method of Solving Quartic Equations. In: International Journal of Pure and Applied Mathematics. 71. Jahrgang, 2011, S. 251–259 (ijpam.eu [PDF]). 
  • Quartic formula as four single equations. In: PlanetMath. (englisch)
  • Ferrari’s achievement

Einzelnachweise

  1. Arnfried Kemnitz: Mathematik zum Studienbeginn - Grundlagenwissen für alle technischen, mathematisch-naturwissenschaftlichen und wirtschaftswissenschaftlichen Studiengänge. 12. Auflage. Springer, 2019, ISBN 978-3-658-26603-5, S. 97. 
  2. Quartic formula as four single equations. In: PlanetMath. (englisch)