Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 17/latex
\setcounter{section}{17}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller379.jpg} }
\end{center}
\bildtext {Schon in jungen Jahren zeigte Vorli ihre soziale Ader, indem sie Kuscheltiere um sich versammelte.} }
\bildlizenz { Waeller379.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\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} {} {,}
mit weiteren Funktionssysmbolen
\zusatzklammer {wie die Fakultät, Wurzel, abstrakte Funktionssymbole wie $f$} {} {}
und mit Klammern \anfuehrung{korrekt}{} bilden lässt. Eine Variable ist typischerweise ein Buchstabe
\mathl{x,y,z,a,b,c}{,} in den man eine echte Zahl
\zusatzklammer {zumeist aus einem fixierten Zahlenbereich} {} {}
oder auch einen anderen Term \stichwort {einsetzen} {} kann\zusatzfussnote {Laufvariablen kann man nicht durch andere Terme ersetzen, nur durch eine andere Laufvariable umbenennen. Eine Laufvariable kommt beispielsweise im Term $\sum_{i =1 }^n i$ vor, hier ist $i$ eine Laufvariable und $n$ eine echte Variable. Andererseits bezeichnet der Buchstabe $\pi$ die Kreiszahl und ist keine Variable} {.} {.}
Mit zahlenähnlich ist gemeint, dass wirklich eine Zahl entsteht, wenn man alle Variablen durch Zahlen ersetzt. Terme sind 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, \, { \frac{ 3 }{ 7 } } , \, 4x^3-y,\, (a+b)^2,\, a^2+2ab+b^2, \, 0 \cdot 1, \,n!, \, \binom { n } { k }, \, \pi,\, e^u, x^y,\, 5^x, \, \sqrt{x},\, \sum_{i = 1}^n a_i,\, f(x)} { }
Terme. Dagegen sind
\mathdisp {3 \cdot (4+5)), \, 2x+7=0, \, \sqrt{\,\,\, }} { }
keine Terme.
Wichtig ist, dass man Terme nur dann als gleich ansieht, wenn es sich um dieselbe Zeichenreihe handelt. Das \anfuehrung{Ausrechnen}{} oder \anfuehrung{Vereinfachen}{} von Termen verändert den Term, aber nicht die dadurch gegebene Zahl. Beispielsweise sind
\mathl{3+5}{} und $8$ oder
\mathkor {} {(a+b)^2} {und} {a^2+2ab+b^2} {}
verschiedene Terme. Gleichheit zwischen diesen beiden letzten Ausdrücken gilt nur bei einer bestimmten Interpretation, wenn man
\mathkor {} {a} {und} {b} {}
als natürliche Zahlen oder als Elemente eines kommutativen Halbringes interpretiert
\zusatzklammer {erste binomische Formel} {} {.}
Eine wichtige Funktion von Termen ist ihr Auftreten in Gleichungen. Gleichungen sich durch das Vorkommen des Gleichheitszeichens \anfuehrung{$\!=$}{} charakterisiert, wodurch eine Gleichung in zwei Hälften unterteilt wird\zusatzfussnote {Eine Gleichungskette wie
\mavergleichskette
{\vergleichskette
{ 5(4+3)
}
{ = }{ 5 \cdot 4 +5 \cdot 3
}
{ = }{ 20 +15
}
{ = }{ 35
}
{ }{
}
}
{}{}{}
ist einfach eine abkürzende Schreibweise für die drei Einzelgleichungen
\mavergleichskette
{\vergleichskette
{ 5(4+3)
}
{ = }{ 5 \cdot 4 +5 \cdot 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ 5 \cdot 4 +5 \cdot 3
}
{ = }{ 20 +15
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
\mavergleichskette
{\vergleichskette
{ 20 +15
}
{ = }{ 35
}
{ }{
}
{ }{}
{ }{}
}
{}{}{}} {.} {,}
in diesen Hälften stehen Terme. Gleichungen sind Aussagen, die prinzipiell wahr oder falsch sein können. Gleichungen und Terme treten in der Mathematik in unterschiedlicher Bedeutung auf, die sich häufig vom Kontext her erkennen lassen. Wir listen die wesentlichen Gleichungstypen auf.
1) Identitäten von Elementen
Das sind Gleichungen der Form
\mavergleichskette
{\vergleichskette
{2+4
}
{ = }{6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{3 \cdot 7
}
{ = }{21
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{4!
}
{ = }{24
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
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 einfache Standardform zu bringen. Dazu gehören die Rechnungen in $\N$, etwa im Dezimalsystem.
2) Allgemeine Termidentitäten (Formeln, Rechengesetze)
Diese drücken eine allgemeine Gleichung zwischen Termen aus, in denen Variabeln vorkommen, und die Gleichheit bedeutet, dass für jede sinnvolle Ersetzung der Variablen durch Zahlen
\zusatzklammer {die gewisse Bedingungen erfüllen} {} {}
Gleichheit gilt. Beispiele 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 Halbringes 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) \cdots 3 \cdot 2 \cdot 1, \, \binom { n } { k } = { \frac{ n! }{ (n-k)! k! } } , \, P = 4x^2 +7x -5} { . }
Hierbei schreibt man häufig $\defeq$
\zusatzklammer {gelesen: ist definitionsgemäß gleich} {} {}
statt $=$, wobei der Doppelpunkt auf der Seite des einzuführenden Ausdrucks steht.
4) Gleichungen als Bedingung
Damit sind Gleichungen wie
\mathdisp {7-2+5=x,\, 7=N(x),\, x+3=5,\, 4x= 9,\, 2x+7=0,\, 5x^2-3x+4 = 0,\, x=y ,\, y=f(x),\, x^2+y^2 =1} { }
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. Eine \stichwort {Lösung} {} ist ein Element $a$ aus der gegebenen Grundmenge $M$
\zusatzklammer {bzw. ein Tupel wie
\mavergleichskettek
{\vergleichskettek
{ (a,b)
}
{ \in }{ M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
falls es mehrere Variablen gibt} {} {,}
das die Eigenschaft besitzt, dass wenn man $x$ durch $a$ ersetzt, eine wahre Elementidentität entsteht. Die \stichwort {Lösungsmenge} {}
\zusatzklammer {oder \stichwort {Erfüllungsmenge} {}} {} {}
besteht aus allen Lösungen, sie kann leer sein, aus einem Element oder aus vielen Elementen bestehen. Bei Gleichungen wie
\mavergleichskette
{\vergleichskette
{7-2+5
}
{ = }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
was manchmal auch als
\mavergleichskette
{\vergleichskette
{7-2+5
}
{ = }{?
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
formuliert wird, ist das Lösen einer Gleichung einfach das Ausrechnen der einen Seite.
5) Funktionale Gleichungen
Eine Gleichung der Form
\mavergleichskette
{\vergleichskette
{y
}
{ = }{f(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man auch \stichwort {Funktionsgleichung} {.} Dabei steht $f(x)$ für einen komplexen Term, in dem die Variable $x$ vorkommt
\zusatzklammer {funktionaler Ausdruck} {} {.}
Man kann sie als eine Definitionsgleichung auffassen, insofern $y$ eine abkürzende Schreibweise für den komplexen Term ist, aber auch als Bedingungsgleichung, insofern nach den Paaren
\mathl{(x,y)}{} gesucht wird, die diese Gleichung erfüllen. Bei dieser Interpretation ist die Lösungsmenge einfach der Graph der Funktion $f$. Eine solche Funktionsgleichung hat aber auch noch den zusätzlichen Aspekt, dass sie eine Größenbeziehung bzw. eine Größenberechnung beschreibt. Aus der variablen Größe $x$ wird gemäß der Funktionsvorschrift
\mathl{f(x)}{} die variable Größe $y$ berechnet. Zwischen physikalischen oder sonstigen Größen kann beispielsweise ein linearer
\zusatzklammer {proportionaler} {} {}
Zusammenhang bestehen, wie wenn eine Meterangabe in Zentimeter umgerechnet werden soll oder eine Währung in eine andere Währung konvertiert werden soll. Wenn man für $x$ oder für $y$ gewisse Elemente vorgibt, so erhält man Bedingungsgleichungen in einer
\zusatzklammer {nämlich der nicht fixierten} {} {}
Variablen. Wenn man für $x$ ein bestimmtes Element $a$ vorgibt, so ist die Bestimmung des zugehörigen $y$ einfach das Ausrechnen von $f(a)$. Wenn hingegen für $y$ ein bestimmtes Element $b$ vorgegeben wird, so ist die Suche nach allen $x$ mit der Eigenschaft
\mavergleichskette
{\vergleichskette
{b
}
{ = }{f(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oft schwierig.
Manche Gleichungen wie die zuletzt genannten Funktionsgleichungen 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.
Da Gleichungen prinzipiell Aussagen sind, kann man auch die aussagenlogischen Operationen auf sie anwenden. Man kann eine Gleichung negieren, was zu einer Ungleichung
\zusatzklammer {im Sinne von $\neq$, nicht im Sinne von $\leq$} {} {}
führt. Eine quadratische Gleichung wie
\mavergleichskette
{\vergleichskette
{x^2 -10x+21
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
führt typischerweise zu einer Lösungsbeschreibung wie
\mavergleichskette
{\vergleichskette
{x
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{x
}
{ = }{7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also zu einer Alternation von Gleichungen
\zusatzklammer {die Durchnummerierung
\mathl{x_1,x_2}{} ist nur dann nötig, wenn man das \anfuehrung{oder}{} weglässt und wenn man eine Auflistung der Lösungen haben möchte} {} {.}
Die Konjunktion von Gleichungen führt zu einem \stichwort {Gleichungssystem} {,} beispielsweise einem \stichwort {linearen Gleichungssystem} {,} bei dem man nach den Zahltupeln sucht, die sämtliche beteiligten Gleichungen simultan erfüllen.
\zwischenueberschrift{Gleichungen in einer Variablen}
In dieser Vorlesung beschäftigen wir uns mit Gleichungen von dem zuletzt beschriebenen Typ, in dem nur eine Variable vorkommt, und die von einer einfachen Bauart sind.
Unter einer Gleichung in einer Variablen
\zusatzklammer {oder Unbekannten oder Unbestimmten} {} {}
$x$ versteht man einen Ausdruck der Form
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {g(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei sowohl
\mathl{f(x)}{} als auch
\mathl{g(x)}{} mathematische Ausdrücke
\zusatzklammer {Terme} {} {}
bezeichnen, in denen $x$ in einer mehr oder weniger komplexen Form vorkommt
\zusatzklammer {als Extremfall erlauben wir die Situation, wo $f(x)$ nicht explizit von $x$ abhängt} {} {.}
In einer solchen Situation besteht die Aufgabe darin, die Lösungen oder die Lösung für $x$ zu finden, also diejenigen Zahlen
\zusatzklammer {aus einem vorgegebenen Zahlenbereich} {} {}
zu finden, die die Gleichung erfüllen, die also die Eigenschaft besitzen, dass, wenn man links und rechts die Unbestimmte durch die Zahl ersetzt, in der Tat links und rechts das gleiche steht, oder aber festzustellen, dass die Gleichung keine Lösung hat. Typische Beispiele sind\zusatzfussnote {$N$ bezeichnet im Folgenden die Nachfolgerabbildung, gesucht ist also nach dem Vorgänger} {.} {}
\mavergleichskette
{\vergleichskette
{N(x)
}
{ = }{7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{3+x
}
{ = }{9
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{4x
}
{ = }{7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{3x
}
{ = }{7x^2-5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ x!
}
{ = }{25
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn man von Gleichungen in einer Variablen
\zusatzklammer {von einer bestimmten Bauart} {} {}
allgemein spricht, so ist es oft sinnvoll, für die umgebenden Daten, die die Gleichung konstituieren, selbst wieder Buchstaben zu verwenden. Diese sind zwar auch variabel, sie sind aber keine Variablen
\zusatzklammer {der Gleichung} {} {,}
sondern \stichwort {Parameter} {,} die man sich als konkret fixiert denken sollte. Eine solche Gleichung heißt auch eine \stichwort {Gleichungsform} {,} erst durch die wirkliche Fixierung der Parameter als Zahlen entsteht eine echte Gleichung. Beispielsweise ist eine additive Gleichung eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{x+a
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und eine lineare Gleichung ist eine Gleichung der Form
\mavergleichskette
{\vergleichskette
{c x
}
{ = }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine normierte quadratische Gleichung hat die Form
\mavergleichskette
{\vergleichskette
{x^2+px+q
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Hier sind
\mathl{a,b}{}
\zusatzklammer {bzw. \mathlk{c,d,p,q}{}} {} {}
Parameter, die die Gleichung festlegen, wofür dann die Lösung $x$ gesucht wird.
Wir sagen, dass zwei Gleichungen \stichwort {lösungsäquivalent} {}
\zusatzklammer {oder \stichwort {lösungsgleich} {}} {} {}
sind, wenn sie sich auf die gleiche Variablenmenge beziehen und ihre Lösungsmengen übereinstimmen.
\inputbemerkung
{}
{
Wenn eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vorliegt, wobei $c$ ein Term ist, in dem die Variable $x$ nicht vorkommt, so sagt man, dass $x$ in der Gleichung \stichwort {isoliert} {}
\zusatzklammer {oder \stichwort {aufgelöst} {}} {\zusatzfussnote {Dieser Sprachgebrauch ist nicht unproblematisch, da zur Lösung das Vereinfachen gehört. Allerdings ist dieser Vereinfachungsschritt häufig unproblematisch} {.} {}} {}
vorliegt. Hierbei kann $c$ eventuell ein komplizierter Ausdruck sein, und so besteht die Aufgabe im Allgemeinen darin, den Ausdruck $c$ zu vereinfachen. Wenn beispielsweise
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {23-15+7 \cdot 11
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vorliegt, so führt dies auf die vereinfachte und nicht weiter zu vereinfachende Gleichung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {85
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die man dann als Lösung betrachtet. Grundsätzlich versteht man unter der Lösung
\zusatzklammer {im Sinne von die Lösung finden} {} {}
einer Gleichung in einer Variablen die Isolierung der Variablen auf einer Seite und die Vereinfachung der anderen Seite.
}
\inputbemerkung
{}
{
Eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {g(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit Ausdrücken
\mathkor {} {f} {und} {g} {,}
in denen die Variable $x$ vorkommt, ist lösungsäquivalent zur Gleichung
\mavergleichskettedisp
{\vergleichskette
{f(x)-g(x)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für diese Umformung braucht man die negativen Zahlen. Grundsätzlich, und das heißt bei theoretischen Überlegungen, kann man sich auf Gleichungen der Form
\mavergleichskettedisp
{\vergleichskette
{h(x)
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem Ausdruck $h$ in der Variablen $x$ beschränken. Allerdings muss diese Umstellung nicht unbedingt eine Vereinfachung sein.
}
\inputbeispiel{}
{
Es sei $\N$ ein
\definitionsverweis {Dedekind-Peano-Modell}{}{}
der natürlichen Zahlen, d.h. man hat nur die Nachfolgerabbildung
\maabb {N} {\N} {\N
} {}
mit ihren charakteristischen Eigenschaften zur Verfügung. Damit kann man für jedes feste
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die \stichwort {Nachfolgergleichung} {}
\mavergleichskettedisp
{\vergleichskette
{Nx
}
{ =} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
formulieren. Dies ist eine Bedingungsgleichung, man sucht nach derjenigen Zahl $x$, dessen Nachfolger die Zahl $c$ ist. Bei
\mavergleichskette
{\vergleichskette
{c
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt diese Gleichung eine eindeutige Lösung, nämlich den Vorgänger von $c$, der aufgrund der Injektivität der Nachfolgerabbildung und dem Induktionsaxiom eindeutig bestimmt ist
\zusatzklammer {siehe
Aufgabe 7.10} {} {.}
Hingegen besitzt die Gleichung
\mavergleichskettedisp
{\vergleichskette
{Nx
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
keine Lösung, da die $0$ kein Nachfolger einer natürlichen Zahl ist.
}
\inputbeispiel{}
{
Wir arbeiten über den natürlichen Zahlen und betrachten die Gleichung
\mavergleichskettedisp
{\vergleichskette
{3 + x
}
{ =} { 8
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit der Unbestimmten $x$. Gesucht ist also nach derjenigen Zahl, die zu $3$ hinzuaddiert die Zahl $8$ ergibt. Diese Gleichung besitzt die einzige Lösung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies sind zwei Aussagen! Einerseits wird behauptet, dass $5$ eine Lösung ist und andererseits, dass es außer der $5$ keine weitere Lösung gibt. Das Erste kann man einfach durch Einsetzen und Nachrechnen überprüfen, es ist ja in der Tat
\mavergleichskettedisp
{\vergleichskette
{3+5
}
{ =} {8
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dass es keine weitere Lösung gibt, ergibt sich einfach aus
der Abziehregel.
Wenn $y$ eine weitere Lösung der Gleichung ist\zusatzfussnote {Hier ist $y$ also ein bestimmtes Element der Grundmenge, das die Gleichung erfüllt, keine neue Variable der Gleichung} {.} {,}
so liegt die Gleichungskette
\mavergleichskettedisp
{\vergleichskette
{3+5
}
{ =} {8
}
{ =} {3+y
}
{ } {
}
{ } {
}
}
{}{}{}
vor, die Abziehregel sichert dann
\mavergleichskettedisp
{\vergleichskette
{5
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dieses Argument kann man auch dann durchführen, wenn man die eine Lösung $5$ noch gar nicht kennt: Aus der Gleichung\zusatzfussnote {Dies ist keine neue Gleichung mit zwei Variablen, sondern eine Elementgleichung in $\N$} {.} {}
\mavergleichskettedisp
{\vergleichskette
{3+x
}
{ =} {8
}
{ =} {3+y
}
{ } {
}
{ } {
}
}
{}{}{}
folgt eben
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Betrachten wir allgemein eine Gleichung
\zusatzklammer {eine \stichwort {additive Gleichung} {} oder \stichwort {Additionsgleichung} {}} {} {}
der Form
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit fixierten natürlichen Zahlen
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zwar sind hier $a,b$ ebenso wie $x$ Buchstaben, die für natürliche Zahlen stehen, doch ist die Funktion jeweils eine andere. Die Zahlen $a,b$ stellen jeweils fixierte natürliche Zahlen dar, die somit die Gleichung
\zusatzklammer {als Parameter} {} {}
festlegen, für die dann $x$ die zu bestimmende Unbekannte ist. Wenn also
\mavergleichskette
{\vergleichskette
{a+x
}
{ = }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorliegt, so denke man
\betonung{nicht}{} an die Menge aller Dreiertupel
\mavergleichskette
{\vergleichskette
{ (a,b,x)
}
{ \in }{ \N^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass die Gleichheit vorliegt
\zusatzklammer {was ebenfalls eine sinnvolle mathematische Aufgabe ist} {} {,}
sondern an eine Gleichung in $x$, die durch die Zahlen $a,b$ als Parameter bestimmt ist.
Das Lösungsverhalten über $\N$ einer Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
hängt vom Größenverhältnis zwischen
\mathkor {} {a} {und} {b} {}
ab. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es keine Lösung, da wegen
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ \geq} {a
}
{ >} {b
}
{ } {
}
{ } {
}
}
{}{}{}
die linke Seite stets
\zusatzklammer {für jedes
\mavergleichskettek
{\vergleichskettek
{ x
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
größer als die rechte Seite ist.
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
hingegen gibt es wie im zuerst genannten Beispiel genau eine Lösung. Die Voraussetzung
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \leq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet ja, dass man von $a$ aus durch sukzessives Nachfolgerbilden zu $b$ gelangt. Diese Definition ist nach
Lemma 10.5
äquivalent dazu, dass es überhaupt ein
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a+x
}
{ = }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Die eindeutige Lösung ist dann gerade diejenige Zahl, die angibt, wie oft man den Nachfolger von $a$ nehmen muss, um zu $b$ zu gelangen. Also ist die Differenz\zusatzfussnote {Es ist typisch, dass Gleichungen zu neuen Begriffen führen} {.} {}
\mathdisp {b-a} { }
die eindeutig bestimmte Lösung der Gleichung
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bei
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputbemerkung
{}
{
Spezifische Bezeichnungen für spezielle Gleichungen orientieren sich an den in der Gleichung vorkommenden mathematischen Strukturen, nicht am
Lösungsverfahren. Eine quadratische Gleichung
\mavergleichskettedisp
{\vergleichskette
{ax^2+bx+c
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt \stichwort {quadratische Gleichung} {,} weil in ihr der komplizierteste Ausdruck das Quadrat $x^2$ ist. Sie heißen nicht \anfuehrung{Quadratwurzelgleichungen}{,} obwohl zur Bestimmung ihrer Lösung Quadratwurzeln gezogen werden. Entsprechend nennen wir
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine \stichwort {Additionsgleichung} {,} obwohl man die Lösung durch Subtraktion findet, und
\mavergleichskettedisp
{\vergleichskette
{N(x)
}
{ =} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine \stichwort {Nachfolgergleichung} {,} obwohl die Lösung der Vorgänger von $c$ ist.
}
\zwischenueberschrift{Umformungen}
Eine wichtige Methode, Gleichungen zu lösen, besteht darin, sie umzuformen, indem man in der Gleichung beidseitig die gleiche Rechenoperation durchführt.
\inputfaktbeweis
{Gleichung/Umformungsprinzip/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {g(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Gleichung in der Variablen $x$ über einem gegebenen Zahlenbereich $M$. Es sei
\maabbdisp {\varphi} {M} {M
} {}
eine
\definitionsverweis {Abbildung}{}{.}}
\faktuebergang {Dann gelten die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungzwei {Wenn
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Lösung der Gleichung ist, so ist $a$ auch eine Lösung der umgeformten Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \varphi(f(x))
}
{ =} { \varphi(g(x))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {Wenn $\varphi$
\definitionsverweis {injektiv}{}{}
ist, so ist
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann eine Lösung der Gleichung, wenn $a$ eine Lösung der umgeformten Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \varphi(f(x))
}
{ =} { \varphi(g(x))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungzwei {Wenn
\mavergleichskettedisp
{\vergleichskette
{f(a)
}
{ =} {g(a)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, so ist auch
\mavergleichskettedisp
{\vergleichskette
{ \varphi(f(a))
}
{ =} { \varphi(g(a))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da ja eine Abbildung wohldefiniert auf den Elementen ist, und nicht irgendwie von der Darstellung des Elementes abhängt.
} {Dies ist eine unmittelbare Anwendung der Injektivität von $\varphi$.
}
Wichtige elementare Anwendungen dieses Prinzips sind, dass man zu einer Gleichung
\zusatzklammer {über den natürlichen, ganzen, reellen Zahlen} {} {}
beidseitig eine natürliche Zahl hinzuaddieren oder beidseitig mit einer von $0$ verschiedenen Zahl multiplizieren darf. Die Injektivität ergibt sich aus
der Abziehregel
bzw. aus
der Kürzungsregel.
Bei einer injektiven Abbildung ergibt sich also eine lösungsäquivalente Gleichung, man spricht von \stichwort {Äquivalenzumformungen} {.} Bei einer nicht injektiven Abbildung liefert die umgeformte Gleichung nur eine \stichwort {notwendige Bedingung} {} für eine Lösung der ursprünglichen Gleichung.
\inputbeispiel{}
{
Auf die Gleichung
\mavergleichskettedisp
{\vergleichskette
{x-3
}
{ =} {10
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann man beidseitig die Addition $+3$
\zusatzklammer {die bijektiv ist} {} {}
loslassen und erhält die umgeformte Gleichung
\mavergleichskettedisp
{\vergleichskette
{x-3+3
}
{ =} {10+3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Vereinfachungen führen auf die Lösung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {13
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbemerkung
{}
{
Es sei eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {g(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. Wir betrachten Gleichungsumformungen, die nicht auf einer injektiven Abbildung beruhen. Als Extremfall betrachten wir die Multiplikation mit $0$, die ja aufgrund der Annullationsregel alles auf $0$ abbildet und somit hochgradig nicht injektiv ist. Die umgeformte Gleichung ist
\mavergleichskettedisp
{\vergleichskette
{ 0 \cdot f(x)
}
{ =} { 0 \cdot g(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also einfach
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Gleichung wird natürlich von jedem $x$ erfüllt, zum Auffinden der Lösungen der Ursprungsgleichung liefert diese Umformung keinen sinnvollen Beitrag.
Betrachten wir das Quadrieren, d.h. wir gehen von der gegebenen Gleichung zu
\mavergleichskettedisp
{\vergleichskette
{(f(x))^2
}
{ =} { (g(x))^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
über. Über den natürlichen Zahlen ist das Quadrieren eine injektive Abbildung, aber nicht auf den ganzen Zahlen. Die Gleichung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { 3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
hat offenbar die einzige Lösung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dagegen hat die quadrierte Gleichung
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ =} {9
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die beiden Lösungen
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {3,-3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Ein wichtiges Leitmotiv für Zahlenbereichserweiterungen ist es, dass eine bestimmte Art von Gleichungen, die bisher \zusatzklammer {in einem bestimmten Zahlenbereich} {} {} nur unter ganz bestimmten Bedingungen eine Lösung besitzt, stets eine Lösung besitzt. Dieses Motiv wird beim Übergang von $\N$ nach $\Z$, von $\Z$ nach $\Q$ und von $\Q$ nach $\R$ auftreten.
\zwischenueberschrift{Ungleichungen}
Bei einer \stichwort {Ungleichung} {} handelt es sich um einen Ausdruck der Form
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ \geq} {g(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mathkor {} {f} {und} {g} {}
Ausdrücke in der einen Variablen $x$ sind. Statt Ungleichung ist eigentlich die Bezeichnung \stichwort {Abschätzung} {} besser. Wie eine Gleichung bezieht sich eine solche Ungleichung auf eine Grundmenge $M$, typischerweise ein Zahlenbereich mit einer
\definitionsverweis {Ordnung}{}{,}
in der die Ausdrücke
\mathkor {} {f} {und} {g} {}
und das $\geq$ sinnvoll interpretiert werden können. Unter einer Lösung der Ungleichung versteht man ein
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das die Bedingung
\mavergleichskettedisp
{\vergleichskette
{f(a)
}
{ \geq} {g(a)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt. Unter der \stichwort {Lösungsmenge} {} zur Ungleichung versteht man die Menge aller Lösungen, also die Menge
\mathdisp {{ \left\{ a \in M \mid f(a) \geq g(a) \right\} }} { . }