Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 4/latex
\setcounter{section}{4}
\zwischenueberschrift{Terme und Gleichungen}
Unter einem
\zusatzklammer {arithmetischen} {} {}
\anfuehrung{Term}{} versteht man einen \anfuehrung{zahlähnlichen}{} Ausdruck, der sich aus \anfuehrung{Zahlen}{} und \anfuehrung{Variablen}{} mit Hilfe der Verknüpfungssymbole
\mathkor {} {+} {und} {\cdot} {}
\zusatzklammer {eventuell mit
\mathkor {} {-} {und} {:} {}
oder daraus abgeleiteten Operationen wie Potenzen} {} {}
und mit Klammern \anfuehrung{korrekt}{} bilden lässt. Das sind typischerweise auch die Ausdrücke, die auf einer Seite einer Gleichung
\zusatzklammer {oder Ungleichung} {} {}
stehen können. Beispielsweise sind
\mathdisp {3 \cdot (4+5),\, x, \, 2x+7, \, 4x^3-y,\, (a+b)^2,\, a^2+2ab+b^2, \, 0 \cdot 1, \,} { }
Terme. Dagegen sind
\mathdisp {3 \cdot (4+5)), \, 2x+7=0, \,} { }
keine Terme. Bei
\mathdisp {n!, \, \binom { n } { k }, \, \pi,\, e^u, x^y,\, 5^x, \, \sqrt{x},\, \heartsuit} { }
kann man sich darüber streiten
\zusatzklammer {in der mathematischren Logik wird der Termbegriff unter Bezug auf Funktionssymbole präzisiert} {} {,}
es sind jedenfalls keine rein algebraischen Terme. Wichtig ist, dass man Terme nur dann als gleich ansieht, wenn es sich um dieselbe Zeichenreihe handelt. Beispielsweise sind
\mathkor {} {(a+b)^2} {und} {a^2+2ab+b^2} {}
verschiedene Terme. Gleichheit zwischen diesen Ausdrücken gilt nur bei einer bestimmten Interpretation, wenn man
\mathkor {} {a} {und} {b} {}
als Elemente eines kommutativen Ringes interpretiert
\zusatzklammer {erste binomische Formel} {} {.}
Eine wichtige Funktion von Termen ist ihr Auftreten in Gleichungen. Gleichungen und Terme treten in der Mathematik in verschiedener Bedeutung auf.
1) Identitäten von Elementen
Das sind Gleichungen der Form
\mavergleichskette
{\vergleichskette
{2+4
}
{ = }{6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskettedisp
{\vergleichskette
{3 \cdot 7
}
{ =} {21
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die besagen, das zwei irgendwie gegebene Elemente einer Menge gleich sind.
\mathkor {} {2+4} {und} {6} {}
sind unterschiedliche Terme, haben aber denselben Zahlwert. In solchen Gleichungen kommen keine Variablen vor. Häufig werden solche Gleichungen verwendet, um etwas auszurechnen, also einen komplizierten Ausdruck in eine Standardform zu bringen.
2) Termidentitäten (Formeln, Rechengesetze)
Beispiel dazu sind
\mavergleichskettedisp
{\vergleichskette
{a(b+c)
}
{ =} { ab + ac
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
oder
\mavergleichskettedisp
{\vergleichskette
{(a+b)^2
}
{ =} {a^2+ 2ab + b^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
oder
\mavergleichskettedisp
{\vergleichskette
{a^2+b^2
}
{ =} {c^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Sie drücken eine Gesetzmäßigkeit aus, die unter bestimmten Bedingungen gilt, beispielsweise wenn $a,b$ Elemente eines kommutativen Ringes sind oder wenn $a,b$ Kathetenlängen und $c$ die Hypotenusenlänge eines rechtwinkligen Dreiecks ist. Charakteristisch für solche Gleichungen ist, dass in ihnen Variablen vorkommen und dass, wenn man für die Variablen simultan
\zusatzklammer {also an jeder Stelle, wo die Variable steht} {} {}
Elemente, die die Bedingung erfüllen, einsetzt, eine wahre Elementgleichung entsteht. Eine solche Identität repräsentiert also eine Vielzahl an einzelnen Elementgleichungen. Aus dem Distributivgesetz entsteht beispielsweise durch Einsetzen die spezielle Identität
\mavergleichskette
{\vergleichskette
{3 \cdot (5 +4)
}
{ = }{ 3 \cdot 5 + 3 \cdot 4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
3) Definitionsgleichungen
Das sind Gleichungen, durch die eine abkürzende Schreibweise für einen komplexeren Ausdruck eingeführt wird. Beispiele sind
\mathdisp {a^3 =a \cdot a \cdot a,\, n! =n(n-1) \cdot 3 \cdot 2 \cdot 1, \, \betrag { a+bi } = \sqrt{a^2 +b^2}, \, P = 4x^2 +7x -5} { . }
Hierbei schreibt man häufig $\defeq$ statt $=$.
4) Gleichungen als Bedingung
Damit sind Gleichungen wie
\mathdisp {4x= 9,\, 2x+7=0,\, 5x^2-3x+4 = 0,\, x=y} { }
gemeint. In diesen kommen
\zusatzklammer {in aller Regel} {} {}
Variablen vor, es wird aber nicht eine allgemeingültige Formel zum Ausdruck gebracht, sondern es wird eine Bedingung an die auftretenden Variablen formuliert. D.h. es werden die Elemente gesucht, die die Gleichungen erfüllen, die man also für die Variablen einsetzen kann, damit eine wahre Elementidentität entsteht. Gleichungen in diesem Sinne definieren die Aufgabenstellung, nach Lösungen zu suchen. Statt einer einzigen Gleichung kann auch ein
\zusatzklammer {beispielsweise lineares} {} {}
Gleichungssystem vorliegen.
Manche Gleichungen kann man in mehrfacher Weise auffassen. So kann man die Gleichung
\mavergleichskettedisp
{\vergleichskette
{a^2+b^2
}
{ =} {c^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als Gesetzmäßigkeit in einem rechtwinkligen Dreieck auffassen
\zusatzklammer {bei richtiger Interpretation der einzelnen Variablen} {} {}
oder als Aufgabenstellung, alle Tripel
\mathl{(a,b,c)}{} zu bestimmen, die diese Gleichung erfüllen.
\zwischenueberschrift{Polynomringe in einer Variablen}
Zu einem kommutativen Ausgangsring wie $\Z$ oder $\R$ und einer fixierten Variablen $X$ kann man sich fragen, welche Terme man mit dieser Variablen über diesem Ring \anfuehrung{basteln}{} kann. Dazu gehören
\mathdisp {5, \, 3X+3,\, 3(X+1),\, (2X-6)(4X+3), \, X \cdot ( X \cdot X), \,5 +3 X -6X^2+7X^3, \, X^2-4 + 5X^2 +7X -13X} { , }
wobei wir Potenzschreibweise verwendet und einige Klammern weggelassen haben. Als Terme sind
\mathkor {} {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 dies in jedem kommutativen Ring gilt
\zusatzklammer {die Menge aller Terme ist kein Ring} {} {!}
\inputdefinition
{}
{
Der \definitionswort {Polynomring}{} über einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ besteht aus allen
\definitionswortenp{Polynomen}{}
\mathbedtermdisp { P=a_0 + a_1X+a_2X^2 + \cdots + a_nX^n }
{ mit } { a_i \in R }
{ } { i = 0 , \ldots , n } { } { n \in \N } { , }
und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel
\mavergleichskettedisp
{\vergleichskette
{ X^n \cdot X^m
}
{ \defeq} { X^{n+m}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert ist.
}
Ein Polynom
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {\sum_{ i = 0 }^{ n } a_{ i } X^{ i }
}
{ =} {a_0 + a_1X + a_2X^2 + \cdots + a_{ n } X^{ n }
}
{ } {
}
{ } {
}
}
{}{}{}
ist formal gesehen nichts anderes als das Tupel
\mathl{(a_0,a_1 , \ldots , a_n )}{,} die die \stichwort {Koeffizienten} {} des Polynoms heißen. Der Ring $R$ heißt in diesem Zusammenhang der \stichwort {Grundring} {} des Polynomrings. Aufgrund der komponentenweisen Definition der Addition liegt unmittelbar eine Gruppe vor, mit dem \stichwort {Nullpolynom} {}
\zusatzklammer {bei dem alle Koeffizienten null sind} {} {}
als neutralem Element. Zwei Polynome sind genau dann gleich, wenn sie in allen ihren Koeffizienten übereinstimmen. Die Polynome mit
\mavergleichskette
{\vergleichskette
{ a_i
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ i
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen \stichwort {konstante Polynome} {,} man schreibt sie einfach als $a_0$. Ein von $0$ verschiedenes Polynom kann man als
\mathl{\sum_{ i = 0 }^{ n } a_{ i } X^{ i }}{} mit
\mavergleichskette
{\vergleichskette
{ a_n
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben. Der Koeffizient $a_n$ heißt dann der \stichwort {Leitkoeffizient} {} des Polynoms.
Die für ein einfaches Tupel zunächst ungewöhnliche Schreibweise deutet in suggestiver Weise an, wie die Multiplikation aussehen soll, das Produkt
\mathl{X^{i} X^{j}}{} ist nämlich durch die Addition der Exponenten gegeben. Dabei nennt man $X$ die \stichwort {Variable} {} des Polynomrings. Für beliebige Polynome ergibt sich die Multiplikation aus dieser einfachen Multiplikationsbedingung durch distributive Fortsetzung gemäß der Vorschrift, \anfuehrung{alles mit allem}{} zu multiplizieren. Die Multiplikation ist also explizit durch folgende Regel gegeben:
\mathdisp {{ \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
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ { \left( { \mathrm i} X^2 + (3-{ \mathrm i})X+5 \right) } { \left( -X^2 + 4X+2{ \mathrm i} \right) }
}
{ =} {-{ \mathrm i} X^4 + ( 4{ \mathrm i} -(3-{ \mathrm i}) ) X^3 + (2 { \mathrm i} { \mathrm i} +(3-{ \mathrm i})4 -5 )X^2 +( (3-{ \mathrm i}) 2{ \mathrm i} +20 )X +10{ \mathrm i}
}
{ =} {-{ \mathrm i} X^4 + ( -3 + 5{ \mathrm i} ) X^3 + ( 5 -4{ \mathrm i} )X^2 + ( 22 +6{ \mathrm i} )X +10{ \mathrm i}
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputfaktbeweis
{Polynomring/Eine Variable/Einfache Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mathl{R[X]}{} der
\definitionsverweis {Polynomring}{}{}
über $R$. Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungzwei {$R$ ist ein
\definitionsverweis {Unterring}{}{}
von
\mathl{R[X]}{.}
} {$R$ ist genau dann ein
\definitionsverweis {Integritätsbereich}{}{,}
wenn
\mathl{R[X]}{} ein Integritätsbereich ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungzwei {Ein Element
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird als konstantes Polynom aufgefasst, wobei es egal ist, ob man Addition und Multiplikation in $R$ oder in
\mathl{R[X]}{} ausführt.
} {Wenn
\mathl{R[X]}{} integer ist, so überträgt sich dies sofort auf den Unterring $R$. Es sei also $R$ ein Integritätsbereich und seien
\mathkor {} {P=\sum_{ i = 0 }^{ n } a_{ i } X^{ i }} {und} {Q=\sum_{ j = 0 }^{ m } b_{ j } X^{ j }} {}
zwei von null verschiedene Polynome. Wir können annehmen, dass
\mathkor {} {a_n} {und} {b_m} {}
von null verschieden sind. Dann ist
\mavergleichskette
{\vergleichskette
{ a_nb_m
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und dies ist der
\definitionsverweis {Leitkoeffizient}{}{}
des Produktes $PQ$, das damit nicht null sein kann.
}
{Unterring/Zugehörige Polynomringe/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ S
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Unterring}{}{.}}
\faktfolgerung {Dann ist auch $S[X]$ ein Unterring von $R[X]$.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 4.7. }
Die vorstehende Aussage bedeutet einfach, dass man ein Polynom mit Koeffizienten aus $S$ direkt auch als Polynom mit Koeffizienten aus $R$ auffassen kann. So ist ein Polynom mit ganzzahligen Koeffizienten insbesondere auch ein Polynom mit rationalen Koeffizienten und mit reellen Koeffizienten. Die Addition und die Multiplikation von zwei Polynomen hängt nicht davon ab, ob man sie über einem kleineren oder einem größeren Grundring ausrechnet, so lange dieser nur alle beteiligten Koeffizienten enthält. Es gibt aber auch viele wichtige Eigenschaften, die vom Grundring abhängen, wie beispielsweise die Eigenschaft, irreduzibel zu sein, siehe Beispiel 6.8.
In ein Polynom
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ R[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man ein Element
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einsetzen. Dabei ersetzt man überall die Variable $X$ durch $r$ und rechnet das Ergebnis in $R$ aus. Dieses Ergebnis wird mit $P(r)$ bezeichnet. Ein fixiertes Element
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert dann eine Abbildung
\zusatzklammer {die \stichwort {Auswertungsabbildung} {} zu $r$} {} {}
\maabbeledisp {} {R[X]} {R
} {P} {P(r)
} {.}
Andererseits definiert ein fixiertes Polynom
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{R[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die zugehörige Polynomfunktion, die durch
\maabbeledisp {} {R} {R
} {x} {P(x)
} {.}
Diese wird insbesondere bei einem Körper
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
studiert, siehe weiter unten.
\zwischenueberschrift{Der Grad eines Polynoms}
\inputdefinition
{}
{
Der \definitionswort {Grad}{} eines von $0$ verschiedenen Polynoms
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {a_0 + a_1X+a_2X^2 + \cdots + a_nX^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a_n
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist $n$.
}
Wenn der Leitkoeffizient
\mavergleichskette
{\vergleichskette
{ a_n
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so nennt man das Polynom
\definitionswortenp{normiert}{.} Dem Nullpolynom wird im Allgemeinen kein Grad zugewiesen; manchmal sind gewisse Gleichungen oder Bedingungen aber auch so zu verstehen, dass dem Nullpolynom jeder Grad zugewiesen wird. Polynome vom Grad $0$ heißen \stichwort {konstante Polynome} {,} Polynome vom Grad $1$ heißen \stichwort {affin-lineare Polynome} {} und Polynome vom Grad $2$ heißen \stichwort {quadratische Polynome} {.}
{Polynomring/Grad/Einfache Regeln/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mathl{R[X]}{} der
\definitionsverweis {Polynomring}{}{}
über $R$. Dann gelten für den
\definitionsverweis {Grad}{}{}
folgende Aussagen.}
\faktfolgerung {\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{grad} \, (P+Q)
}
{ \leq} { \max \{ \operatorname{grad} \, (P),\, \operatorname{grad} \, (Q) \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{grad} \, (P \cdot Q)
}
{ \leq} { \operatorname{grad} \, (P) + \operatorname{grad} \, (Q)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Wenn $R$ ein
\definitionsverweis {Integritätsbereich}{}{}
ist, so gilt in (2) die Gleichheit.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 4.8. }
\zwischenueberschrift{Polynomringe in mehreren Variablen}
Die Konstruktion von Polynomringen aus einem Grundring kann man iterieren. Aus
\mathl{R}{} kann man $R[X]$ machen und daraus mit einer neuen Variablen den Ring
\mathl{(R[X])[Y]}{} bilden. Für diesen Ring schreibt man auch
\mathl{R[X,Y]}{.} Ein Element darin hat die Gestalt
\mathdisp {\sum_{i,j} a_{ij} X^{i}Y^{j}} { , }
wobei die Summe endlich ist. Ein Ausdruck der Form
\mathl{X^{i}Y^{j}}{} heißt Monom. Polynome kann man auf unterschiedliche Art sortieren. Man kann die Potenz einer Variablen
\zusatzklammer {etwa $Y$} {} {}
herausnehmen und schauen, welche Polynome in $X$ sich darauf beziehen. Dann sieht ein Polynom folgendermaßen aus:
\mathdisp {2+3X-X^2- 5X^3 + (1+3X -X^2 +3X^5)Y + (4+X+7X^2-6X^4)Y^2+ (2-X^3)Y^3} { . }
Oder man kann entlang dem Summengrad sortieren, dies ergibt
\mathdisp {2+3X+Y -X^2 +3XY +4 Y^2 - 5X^3 -X^2Y +XY^2 + 2Y^3 + 7X^2Y^2 + 3X^5 Y +6X^4Y^2-X^3Y^3} { . }
Polynomiale Identitäten haben viel mit allgemeingültigen Termidentitäten zu tun. In
\mathl{\Z[X,Y]}{} gilt beispielsweise
\mathdisp {( X + Y )^{n} = \sum_{ k=0 } ^{ n } \binom { n } { k } X^{k} Y^{n - k}} { . }
Diese Identität zwischen zwei Polynomen entspricht der allgemeinen binomischen Formel. Einerseits ist sie ein Spezialfall davon, da wir in dem kommutativen Ring
\mathl{\Z[X,Y]}{} sind und die speziellen Elemente
\mathkor {} {X} {und} {Y} {}
anschauen. Andererseits kann man aus dieser polynomialen Identität die allgemeine binomische Formel zurückgewinnen, da man für
\mathkor {} {X} {und} {Y} {}
beliebige Elemente
\mathkor {} {a} {und} {b} {}
eines kommutativen Ringes einsetzen kann
\zusatzklammer {und man weiß, wie man ganze Zahlen in jedem Ring interpretiert} {} {}
und sich dabei die Identität erhält. Natürlich gibt es auch Polynomringe in beliebig vielen Variablen, dafür schreibt man
\mathl{R[X_1, X_2 , \ldots , X_n]}{.}
\zwischenueberschrift{Polynomringe über einem Körper}
Für uns sind zunächst die Polynomringe über einem Körper von besonderer Bedeutung.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und seien
\mavergleichskette
{\vergleichskette
{ a_0,a_1 , \ldots , a_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine
\definitionsverweis {Funktion}{}{}
\maabbeledisp {P} {K} {K
} {x} {P(x)
} {,}
mit
\mavergleichskettedisp
{\vergleichskette
{P(x)
}
{ =} { \sum_{ i = 0 }^{ n } a_{ i } x^{ i}
}
{ =} { a_0 + a_1 x + \cdots + a_{ n } x^{ n }
}
{ } {
}
{ } {
}
}
{}{}{}
heißt \definitionswort {Polynomfunktion}{.}
}
Man muss zwischen Polynomen und Polynomfunktionen unterscheiden, insbesondere für
\mavergleichskette
{\vergleichskette
{ K
}
{ = }{ \Z/(p)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das Polynom
\mathdisp {X^p-X} { }
hat beispielsweise nach
dem kleinen Fermat
für jedes
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den Wert
\mavergleichskette
{\vergleichskette
{ a^p-a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
D.h. die durch dieses Polynom definierte Polynomfunktion ist die Nullfunktion, obwohl das Polynom selbst nicht das Nullpolynom ist.
Bei
\mavergleichskette
{\vergleichskette
{ K
}
{ = }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
lassen sich die Polynomfunktionen graphisch veranschaulichen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg2.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg2.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg3.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg3.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg4.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg4.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg5.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg5.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}
Eine wichtige Frage ist, für welche Elemente
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Polynomfunktion einen bestimmten Wert annimmt. Hierbei ist insbesondere der Wert $0$ wichtig, da ja die Gleichung
\mavergleichskette
{\vergleichskette
{P(x)
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent zu
\mavergleichskettedisp
{\vergleichskette
{P(x)-a
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist und
\mathl{P-a}{} wieder ein Polynom ist. Für affin-lineare Polynome
\mathl{aX+b}{}
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ a
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
ist
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ { \frac{ -b }{ a } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die einzige Lösung. Für quadratische Polynome der reinen Form
\mathl{X^2+c}{} sind die Quadratwurzeln von $-c$ aus $K$, falls sie denn existieren, die Lösungen. Für ein quadratisches Polynom
\mathl{aX^2+bX+c}{} kann man das Bestimmen der Nullstellen durch quadratisches Ergänzen auf die reine Form zurückführen, siehe
Aufgabe 4.13.
Der folgende Satz heißt \stichwort {Interpolationssatz} {} und beschreibt die Interpolation von vorgegebenen Funktionswerten durch Polynome.
\inputfaktbeweis
{Polynom/K/Interpolation/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und es seien $n$ verschiedene Elemente
\mavergleichskette
{\vergleichskette
{ a_1 , \ldots , a_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $n$ Elemente
\mavergleichskette
{\vergleichskette
{ b_1 , \ldots , b_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben.}
\faktfolgerung {Dann gibt es ein eindeutiges Polynom
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vom Grad
\mathl{\leq n-1}{} derart, dass
\mavergleichskette
{\vergleichskette
{ P { \left( a_i \right) }
}
{ = }{ b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $i$ ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beweisen die Existenz und betrachten zuerst die Situation, wo
\mavergleichskette
{\vergleichskette
{b_j
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist für alle
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ein festes $i$. Dann ist
\mathdisp {(X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
ein Polynom vom Grad $n-1$, das an den Stellen
\mathl{a_1 , \ldots , a_{i-1}, a_{i+1} , \ldots , a_n}{} den Wert $0$ hat. Das Polynom
\mathdisp {{ \frac{ b_i }{ (a_i-a_1) \cdots (a_{i}-a_{i-1}) (a_{i} -a_{i+1}) \cdots (a_i-a_n) } } (X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
hat an diesen Stellen ebenfalls eine Nullstelle, zusätzlich aber noch bei $a_i$ den Wert $b_i$. Nennen wir dieses Polynom $P_i$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {P_1 + P_2 + \cdots + P_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das gesuchte Polynom. An der Stelle $a_i$ gilt ja
\mavergleichskettedisp
{\vergleichskette
{ P_j(a_i)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ P_i(a_i)
}
{ = }{b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Eindeutigkeit folgt aus Korollar 5.6.