Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 49

Zu einem Körper ${}K$ wie ${}\mathbb {Q}$ oder ${}\mathbb {R}$ und einer fixierten Variablen ${}X$ kann man sich fragen, welche Terme man mit dieser Variablen über diesem Körper „basteln“ kann. Dazu gehören

$5,\,3X+3,\,3(X+1),\,(2X-6)(4X+3),\,X\cdot (X\cdot X),\,5+3X-6X^{2}+7X^{3},\,X^{2}-4+5X^{2}+7X-13X,$

wobei wir Potenzschreibweise verwendet und einige Klammern weggelassen haben. Als Terme sind ${}3X+3$ und ${}3(X+1)$ verschieden. Bei jeder Interpretation von ${}X$ in einem Ring sind diese Ausdrücke aber gleich. Der Polynomring besteht aus genau diesen Termen, wobei allerdings Terme miteinander identifiziert werden, wenn sich dies aus den Rechenregeln für einen kommutativen Ring ergibt.

Der Polynomring über einem Körper

Definition

Der Polynomring über einem Körper ${}K$ besteht aus allen Polynomen

${}P=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

mit ${}a_{i}\in K$, ${}n\in \mathbb {N}$, und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel

${}X^{n}\cdot X^{m}:=X^{n+m}\,$

definiert ist.

Dabei nennt man ${}X$ die Variable des Polynomrings. Ein Polynom ${}P=\sum _{i=0}^{n}a_{i}X^{i}=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}$ ist formal gesehen nichts anderes als das Tupel ${}(a_{0},a_{1},\ldots ,a_{n})$, die die Koeffizienten des Polynoms heißen. Zwei Polynome sind genau dann gleich, wenn sie in allen ihren Koeffizienten übereinstimmen. Der Körper ${}K$ heißt in diesem Zusammenhang der Grundkörper des Polynomrings. Aufgrund der komponentenweisen Definition der Addition liegt unmittelbar eine Gruppe vor, mit dem Nullpolynom (bei dem alle Koeffizienten ${}0$ sind) als neutralem Element. Die Polynome mit ${}a_{i}=0$ für alle ${}i\geq 1$ heißen konstante Polynome, man schreibt sie einfach als ${}a_{0}$.

Die für ein einfaches Tupel zunächst ungewöhnliche Schreibweise deutet in suggestiver Weise an, wie die Multiplikation aussehen soll, das Produkt ${}X^{n}\cdot X^{m}$ ist nämlich durch die Addition der Exponenten, also ${}X^{n}\cdot X^{m}:=X^{n+m}$, gegeben. Für beliebige Polynome ergibt sich die Multiplikation aus dieser einfachen Multiplikationsbedingung durch distributive Fortsetzung gemäß der Vorschrift, „alles mit allem“ zu multiplizieren. Die Multiplikation ist also explizit durch folgende Regel gegeben:

${\left(\sum _{i=0}^{n}a_{i}X^{i}\right)}\cdot {\left(\sum _{j=0}^{m}b_{j}X^{j}\right)}=\sum _{k=0}^{n+m}c_{k}X^{k}{\text{ mit }}c_{k}=\sum _{r=0}^{k}a_{r}b_{k-r}.$

Beispielsweise ist

${\left(4X^{2}-5X+6\right)}{\left(3X^{2}+2X-1\right)}=12X^{4}+(4\cdot 2-5\cdot 3)X^{3}+(-4-5\cdot 2+6\cdot 3)X^{2}+(5+6\cdot 2)X-6=12X^{4}-7X^{3}+4X^{2}+17X-6\,.$

Lemma

Der Polynomring ${}K[X]$ über einem Körper ${}K$

ist ein kommutativer Ring.

Beweis

Lediglich die Gültigkeit des Assoziativgesetzes für die Multiplikation und des Distributivgesetzes sind nicht unmittelbar klar. Zum Nachweis dieser Eigenschaften schreiben wir abkürzend die beteiligten Polynome als

$\sum _{i}a_{i}X^{i},\,\sum _{j}b_{j}X^{j}{\text{ und }}\sum _{k}c_{k}X^{k}.$

Mit diesen Bezeichnungen ist

${}{\begin{aligned}{\left({\left(\sum _{i}a_{i}X^{i}\right)}{\left(\sum _{j}b_{j}X^{j}\right)}\right)}{\left(\sum _{k}c_{k}X^{k}\right)}&={\left(\sum _{r}{\left(\sum _{i+j=r}a_{i}b_{j}\right)}X^{r}\right)}{\left(\sum _{k}c_{k}X^{k}\right)}\\&={\left(\sum _{s}{\left(\sum _{i+j+k=s}a_{i}b_{j}c_{k}\right)}X^{s}\right)},\end{aligned}}$

woraus wegen der Symmetrie des Ausdrucks die Assoziativität ablesbar ist. Ferner ist

${}{\begin{aligned}{\left(\sum _{i}a_{i}X^{i}\right)}{\left({\left(\sum _{j}b_{j}X^{j}\right)}+{\left(\sum _{j}c_{j}X^{j}\right)}\right)}&={\left(\sum _{i}a_{i}X^{i}\right)}{\left(\sum _{j}{\left(b_{j}+c_{j}\right)}X^{j}\right)}\\&=\sum _{r}{\left(\sum _{i+j=r}a_{i}{\left(b_{j}+c_{j}\right)}\right)}X^{r}\\&=\sum _{r}{\left(\sum _{i+j=r}a_{i}b_{j}+a_{i}c_{j}\right)}X^{r}\\&=\sum _{r}{\left(\sum _{i+j=r}a_{i}b_{j}\right)}X^{r}+\sum _{r}{\left(\sum _{i+j=r}a_{i}c_{j}\right)}X^{r}\\&={\left(\sum _{i}a_{i}X^{i}\right)}{\left(\sum _{j}b_{j}X^{j}\right)}+{\left(\sum _{i}a_{i}X^{i}\right)}{\left(\sum _{j}c_{j}X^{j}\right)},\end{aligned}}$

was die Distributivität bedeutet.

$\Box$

Der Polynomring ist kein Körper, beispielsweise gibt es zur Variablen ${}X$ kein inverses Element.

Definition

Der Grad eines von ${}0$ verschiedenen Polynoms

${}P=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

mit ${}a_{n}\neq 0$ ist ${}n$.

Das Nullpolynom bekommt keinen Grad. Der Koeffizient ${}a_{n}$, der zum Grad ${}n$ des Polynoms gehört, heißt Leitkoeffizient des Polynoms. Der Ausdruck ${}a_{n}X^{n}$ heißt Leitterm. Ein Polynom mit Leitkoeffizient ${}1$ heißt normiert.

Lemma

Es sei ${}K$ ein Körper und ${}P,Q\in K[X]$ Polynome über ${}K$.

Dann gelten für den Grad folgende Aussagen.

1. Es ist ${}\operatorname {grad} \,(P+Q)\leq \max\{\operatorname {grad} \,(P),\,\operatorname {grad} \,(Q)\}$.
2. Es ist ${}\operatorname {grad} \,(P\cdot Q)=\operatorname {grad} \,(P)+\operatorname {grad} \,(Q)$.

Beweis

Es seien

${}P=a_{n}X^{n}+a_{n-1}X^{n-1}+\cdots +a_{2}X^{2}+a_{1}X+a_{0}\,$

und

${}Q=b_{m}X^{m}+b_{m-1}X^{m-1}+\cdots +b_{2}X^{2}+b_{1}X+b_{0}\,$

mit ${}a_{n},b_{m}\neq 0$, also ${}n=\operatorname {grad} \,(P)$ und ${}m=\operatorname {grad} \,(Q)$. Bei ${}m\neq n$ ist ${}\operatorname {max} (m,n)$ der Grad der Summe, bei ${}m=n$ ist bei ${}a_{n}\neq -b_{n}$ dies auch der Grad des Summenpolynoms, im andern Fall wird der Grad kleiner (die Summe kann ${}0$ sein, dann ist die Aussage als erfüllt zu interpretieren). Wegen Lemma 23.11 ist ${}a_{n}b_{m}\neq 0$ und somit ist ${}a_{n}b_{m}X^{n+m}$ der Leitterm des Produktpolynoms ${}PQ$, dessen Grad somit gleich ${}n+m$ ist.

$\Box$

Polynome vom Grad ${}0$ sind die konstanten Polynome, Polynome vom Grad ${}1$ nennt man auch lineare Polynome.

Quadratische Polynome

Ein Polynom vom Grad zwei nennt man auch ein quadratisches Polynom. Wir schreiben es in der Form

$aX^{2}+bX+c{\text{ mit }}a\neq 0.$

Wenn ${}a=0$ ist, so fällt der vordere Term weg und es liegt ein lineares, kein quadratisches Polynom vor. Wenn ${}b=0$ ist, so spricht man von einem rein-quadratischen Polynom.

Es sei ein quadratisches Polynom über ${}\mathbb {R}$ gegeben. Wir interessieren uns für die Frage, ob das Polynom Nullstellen besitzt und wie diese zu ermitteln sind. Es geht also um Lösungen einer Gleichung der Form

${}aX^{2}+bX+c=0\,.$

Dabei sind ${}a,b,c$ vorgegeben mit ${}a\neq 0$ und gesucht ist ${}x\in \mathbb {R}$ derart, dass wenn man die Zahl ${}x$ für die Variable ${}X$ einsetzt, sich der Wert ${}0$ ergibt. Wenn ${}b=0$ ist, also eine Gleichung der Form

${}aX^{2}+c=0\,$

vorliegt, so geht es einfach um das ziehen einer Quadratwurzel. Die Gleichung ist ja äquivalent zu

${}X^{2}=-{\frac {c}{a}}\,.$

Wenn die Zahl rechts negativ ist, so gibt es keine Lösung. Wenn die Zahl rechts ${}0$ ist (was bei ${}c=0$ der Fall ist), so gibt es die einzige Lösung ${}\{0\}$. Wenn die Zahl rechts positiv ist, so gibt es zwei Lösungen, nämlich ${}\{{\sqrt {-{\frac {c}{a}}}},-{\sqrt {-{\frac {c}{a}}}}\}$. In einem beliebigen Körper geht es um die Frage, ob ${}-{\frac {c}{a}}$ eine Quadratwurzel besitzt oder nicht.

Für die Gleichung

${}aX^{2}+bX=0\,,$

wo also ${}c=0$ ist, kann man sofort die Lösungen angeben, nämlich ${}x_{1}=0$ und ${}x_{2}=-{\frac {b}{a}}$.

Für die allgemeine quadratische Gleichung

${}aX^{2}+bX+c=0\,$

gibt es einen wichtigen Trick, sie auf eine rein-quadratische Form zurückzuführen und sie damit durch Wurzelziehen zu lösen, das sogenannte quadratische Ergänzen. Zunächst dividiert man durch ${}a$ und erhält die äquivalente Gleichung

${}X^{2}+{\frac {b}{a}}X+{\frac {c}{a}}=0\,.$

Das nennt man auch eine normierte Gleichung, da links ein normiertes Polynom steht. Wir schreiben diese Gleichung mit

${}p={\frac {b}{a}}\,$

und

${}q={\frac {c}{a}}\,$

als

${}X^{2}+pX+q=0\,.$

Dieses Polynom schreiben wir nun scheinbar komplizierter als

${}X^{2}+pX+q={\left(X+{\frac {p}{2}}\right)}^{2}-{\frac {p^{2}}{4}}+q\,.$

Durch Ausmultiplizieren der rechten Seite mit Hilfe der ersten binomischen Formel sieht man, dass die Terme links und rechts übereinstimmen. Der Gewinn ist dabei, dass ${}X+{\frac {p}{2}}$ eine „verschobene Variable“ ist, die wie eine Variable behandelt werden kann, und dass ${}-{\frac {p^{2}}{4}}+q$ eine reelle Zahl ist. Es liegt also im Wesentlichen eine rein-quadratische Gleichung vor. Mit einer Umstellung erhält man

${}{\left(X+{\frac {p}{2}}\right)}^{2}={\frac {p^{2}}{4}}-q\,$

und somit

${}X+{\frac {p}{2}}=\pm {\sqrt {{\frac {p^{2}}{4}}-q}}\,,$

vorausgesetzt, dass der Ausdruck unter dem Wurzelzeichen nichtnegativ ist. Als Lösung erhält man dann

${}X=\pm {\sqrt {{\frac {p^{2}}{4}}-q}}-{\frac {p}{2}}={\frac {\pm {\sqrt {p^{2}-4q}}-p}{2}}\,.$

Satz

Es sei

${}aX^{2}+bX+c=0\,$

eine reelle quadratische Gleichung.

Dann gilt folgendes Lösungsverhalten.

1. Bei

   ${}b^{2}-4ac<0\,$

   gibt es keine reelle Lösung.

2. Bei

   ${}b^{2}-4ac=0\,$

   gibt es die eine Lösung

   ${}x={\frac {-b}{2a}}\,$

3. Bei

   ${}b^{2}-4ac>0\,$

   gibt es die beiden Lösungen

   ${}x_{1,2}={\frac {\pm {\sqrt {b^{2}-4ac}}-b}{2a}}\,.$

Beweis

Die Lösung in (2) ist ein Spezialfall von (3), in dem die beiden Lösungen zusammenfallen. Wir zeigen explizit, dass in der Tat Lösungen vorliegen. Es ist

${}{\begin{aligned}a{\left({\frac {\pm {\sqrt {b^{2}-4ac}}-b}{2a}}\right)}^{2}+b{\left({\frac {\pm {\sqrt {b^{2}-4ac}}-b}{2a}}\right)}+c&=a{\frac {b^{2}-4ac+\mp 2b{\sqrt {b^{2}-4ac}}+b^{2}}{4a^{2}}}+{\frac {\pm b{\sqrt {b^{2}-4ac}}-b^{2}}{2a}}+c\\&={\frac {b^{2}-4ac+\mp 2b{\sqrt {b^{2}-4ac}}+b^{2}\pm 2b{\sqrt {b^{2}-4ac}}-2b^{2}+4ac}{4a}}\\&=0.\,\end{aligned}}$

Da eine quadratische Gleichung nur maximal zwei Lösungen besitzt, sind wir im dritten Fall fertig.

Im Allgemeinen schreiben wir

${}{\begin{aligned}aX^{2}+bX+c&=a{\left(X^{2}+{\frac {b}{a}}X+{\frac {c}{a}}\right)}\\&=a{\left({\left(X+{\frac {b}{2a}}\right)}^{2}-{\frac {b^{2}}{4a^{2}}}+{\frac {c}{a}}\right)}\\&=a{\left({\left(X+{\frac {b}{2a}}\right)}^{2}-{\frac {b^{2}-4ac}{4a^{2}}}\right)}.\end{aligned}}$

Der rechte Term ist bei

${}b^{2}-4ac<0\,$

stets positiv und so hat das Polynom in diesem Fall keine Nullstelle, bei

${}b^{2}-4ac=0\,$

hat es genau die eine angegebene Nullstelle.

$\Box$

Diese Lösungsformel heißt auch Mitternachtsformel. Wenn man zuerst durch ${}a$ durchdividiert und die quadratische Gleichung in der Form

${}X^{2}+pX+q=0\,$

vorliegt, so vereinfachen sich die Lösungen zu

${}x_{1,2}={\frac {\pm {\sqrt {p^{2}-4q}}-p}{2}}\,.$

Dazu sagt man auch p-q-Formel. Diese Formeln gelten in jedem Körper, in dem ${}2\neq 0$ ist. Die Lösbarkeit hängt dann allein davon ab, ob die Diskriminante ${}b^{2}-4ac$ eine Quadratwurzel besitzt oder nicht.

Beispiel

Wir betrachten die quadratische Gleichung

${}x^{2}+4x-3=0\,.$

Nach Satz 49.5 sind

${}x_{1}={\frac {{\sqrt {16+12}}-4}{2}}={\frac {{\sqrt {28}}-4}{2}}={\frac {2{\sqrt {7}}-4}{2}}={\sqrt {7}}-2\,$

und

${}x_{2}={\frac {-{\sqrt {16+12}}-4}{2}}={\frac {-{\sqrt {28}}-4}{2}}={\frac {-2{\sqrt {7}}-4}{2}}=-{\sqrt {7}}-2\,$

die Lösungen.

Beispiel

Bauer Ernst möchte ein neues quadratisches Beet für Melonen anlegen. Die Anlage des Beetes kostet pro Quadratmeter ${}20$ Euro. Das Beet muss mit einem Schneckenzaun rundum versehen werden, der pro Meter ${}8$ Euro koste. Ernst möchte ${}300$ Euro insgesamt investieren. Wie groß wird das Beet?

Es sei ${}x$ die Seitenlänge des Beetes. Die Kosten sind dann ${}20x^{2}+4\cdot 8x$, was zur Gleichung

${}20x^{2}+32x=300\,$

bzw.

${}20x^{2}+32x-300=0\,$

führt. Nach Satz 49.5 führt dies auf

${}x={\frac {{\sqrt {1024+24000}}-32}{40}}={\frac {{\sqrt {25024}}-32}{40}}\sim {\frac {158,19-32}{40}}\sim 3,155\,.$

Die Seitenlänge des Beetes ist also ungefähr ${}3,155$ Meter.

François Viète (1540-1603)

Der folgende Satz von Vieta ermöglicht eine sinnvolle Probe für das Ergebnis. Wenn man weiß, dass es ganzzahlige Lösungen geben muss, kann man damit auch häufig die Lösungen der quadratischen Gleichung erraten.

Lemma

Es sei eine quadratische Gleichung in der Form

${}x^{2}+px+q=0\,$

gegeben und es seien ${}x_{1}$ und ${}x_{2}$ die Lösungen.

Dann gilt

${}x_{1}+x_{2}=-p\,$

und

${}x_{1}\cdot x_{2}=q\,.$

Beweis

Aufgrund von Satz 49.5 ist

${}x_{1}={\frac {{\sqrt {p^{2}-4q}}-p}{2}}\,$

und

${}x_{2}={\frac {-{\sqrt {p^{2}-4q}}-p}{2}}\,.$

Daher ist

${}{\begin{aligned}x_{1}+x_{2}&={\frac {{\sqrt {p^{2}-4q}}-p}{2}}+{\frac {-{\sqrt {p^{2}-4q}}-p}{2}}\\&={\frac {{\sqrt {p^{2}-4q}}-p-{\sqrt {p^{2}-4q}}-p}{2}}\\&={\frac {-2p}{2}}\\&=-p\end{aligned}}$

und

${}{\begin{aligned}x_{1}\cdot x_{2}&={\frac {{\sqrt {p^{2}-4q}}-p}{2}}\cdot {\frac {-{\sqrt {p^{2}-4q}}-p}{2}}\\&={\frac {{\left({\sqrt {p^{2}-4q}}-p\right)}{\left(-{\sqrt {p^{2}-4q}}-p\right)}}{4}}\\&={\frac {-p^{2}+4q+p^{2}}{4}}\\&={\frac {4q}{4}}\\&=q.\end{aligned}}$

$\Box$

Von dieser Aussage gilt auch die Umkehrung, siehe Aufgabe 49.25. Wenn man beispielsweise die Zusatzinformation kennt, dass

${}X^{2}-7X+6=0\,$

ganzzahlige Lösungen besitzt, so kommen dafür nur die Teiler von ${}6$ in Frage, und in der Tat sind ${}1$ und ${}6$ die beiden Lösungen.

Fußnoten

<< | Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)