Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 17

„If you don't know how to fix it, please stop breaking it“



Terme und Gleichungen

Unter einem (arithmetischen) „Term“ versteht man einen „zahlähnlichen“ Ausdruck, der sich aus „Zahlen“ und „Variablen“ mit Hilfe der Verknüpfungssymbole und (eventuell mit und oder daraus abgeleiteten Operationen wie Potenzen), mit weiteren Funktionssysmbolen (wie die Fakultät, Wurzel, abstrakte Funktionssymbole wie ) und mit Klammern „korrekt“ bilden lässt. Eine Variable ist typischerweise ein Buchstabe , in den man eine echte Zahl (zumeist aus einem fixierten Zahlenbereich) oder auch einen anderen Term einsetzen kann.[1] 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 (oder Ungleichung) stehen können. Beispielsweise sind

Terme. Dagegen sind

keine Terme.

Wichtig ist, dass man Terme nur dann als gleich ansieht, wenn es sich um dieselbe Zeichenreihe handelt. Das „Ausrechnen“ oder „Vereinfachen“ von Termen verändert den Term, aber nicht die dadurch gegebene Zahl. Beispielsweise sind und oder und verschiedene Terme. Gleichheit zwischen diesen beiden letzten Ausdrücken gilt nur bei einer bestimmten Interpretation, wenn man und als natürliche Zahlen oder als Elemente eines kommutativen Halbringes interpretiert (erste binomische Formel).

Eine wichtige Funktion von Termen ist ihr Auftreten in Gleichungen. Gleichungen sich durch das Vorkommen des Gleichheitszeichens „“ charakterisiert, wodurch eine Gleichung in zwei Hälften unterteilt wird,[2] 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 oder oder , die besagen, das zwei irgendwie gegebene Elemente einer Menge gleich sind. und 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 , 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 (die gewisse Bedingungen erfüllen) Gleichheit gilt. Beispiele dazu sind

oder

oder

Sie drücken eine Gesetzmäßigkeit aus, die unter bestimmten Bedingungen gilt, beispielsweise wenn Elemente eines kommutativen Halbringes sind oder wenn Kathetenlängen und 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 (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 .

3) Definitionsgleichungen

Das sind Gleichungen, durch die eine abkürzende Schreibweise für einen komplexeren Ausdruck eingeführt wird. Beispiele sind

Hierbei schreibt man häufig (gelesen: ist definitionsgemäß gleich) statt , wobei der Doppelpunkt auf der Seite des einzuführenden Ausdrucks steht.

4) Gleichungen als Bedingung

Damit sind Gleichungen wie

gemeint. In diesen kommen (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 Lösung ist ein Element aus der gegebenen Grundmenge (bzw. ein Tupel wie , falls es mehrere Variablen gibt), das die Eigenschaft besitzt, dass wenn man durch ersetzt, eine wahre Elementidentität entsteht. Die Lösungsmenge (oder Erfüllungsmenge) besteht aus allen Lösungen, sie kann leer sein, aus einem Element oder aus vielen Elementen bestehen. Bei Gleichungen wie , was manchmal auch als formuliert wird, ist das Lösen einer Gleichung einfach das Ausrechnen der einen Seite.

5) Funktionale Gleichungen

Eine Gleichung der Form nennt man auch Funktionsgleichung. Dabei steht für einen komplexen Term, in dem die Variable vorkommt (funktionaler Ausdruck). Man kann sie als eine Definitionsgleichung auffassen, insofern eine abkürzende Schreibweise für den komplexen Term ist, aber auch als Bedingungsgleichung, insofern nach den Paaren gesucht wird, die diese Gleichung erfüllen. Bei dieser Interpretation ist die Lösungsmenge einfach der Graph der Funktion . 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 wird gemäß der Funktionsvorschrift die variable Größe berechnet. Zwischen physikalischen oder sonstigen Größen kann beispielsweise ein linearer (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 oder für gewisse Elemente vorgibt, so erhält man Bedingungsgleichungen in einer (nämlich der nicht fixierten) Variablen. Wenn man für ein bestimmtes Element vorgibt, so ist die Bestimmung des zugehörigen einfach das Ausrechnen von . Wenn hingegen für ein bestimmtes Element vorgegeben wird, so ist die Suche nach allen mit der Eigenschaft oft schwierig.

Manche Gleichungen wie die zuletzt genannten Funktionsgleichungen kann man in mehrfacher Weise auffassen. So kann man die Gleichung

als Gesetzmäßigkeit in einem rechtwinkligen Dreieck auffassen (bei richtiger Interpretation der einzelnen Variablen) oder als Aufgabenstellung, alle Tripel 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 (im Sinne von , nicht im Sinne von ) führt. Eine quadratische Gleichung wie führt typischerweise zu einer Lösungsbeschreibung wie oder , also zu einer Alternation von Gleichungen (die Durchnummerierung ist nur dann nötig, wenn man das „oder“ weglässt und wenn man eine Auflistung der Lösungen haben möchte). Die Konjunktion von Gleichungen führt zu einem Gleichungssystem, beispielsweise einem linearen Gleichungssystem, bei dem man nach den Zahltupeln sucht, die sämtliche beteiligten Gleichungen simultan erfüllen.



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 (oder Unbekannten oder Unbestimmten) versteht man einen Ausdruck der Form

wobei sowohl als auch mathematische Ausdrücke (Terme) bezeichnen, in denen in einer mehr oder weniger komplexen Form vorkommt (als Extremfall erlauben wir die Situation, wo nicht explizit von abhängt). In einer solchen Situation besteht die Aufgabe darin, die Lösungen oder die Lösung für zu finden, also diejenigen Zahlen (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[3], , , , . Wenn man von Gleichungen in einer Variablen (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 (der Gleichung), sondern Parameter, die man sich als konkret fixiert denken sollte. Eine solche Gleichung heißt auch eine Gleichungsform, erst durch die wirkliche Fixierung der Parameter als Zahlen entsteht eine echte Gleichung. Beispielsweise ist eine additive Gleichung eine Gleichung der Form

und eine lineare Gleichung ist eine Gleichung der Form . Eine normierte quadratische Gleichung hat die Form . Hier sind (bzw. ) Parameter, die die Gleichung festlegen, wofür dann die Lösung gesucht wird.

Wir sagen, dass zwei Gleichungen lösungsäquivalent (oder lösungsgleich) sind, wenn sie sich auf die gleiche Variablenmenge beziehen und ihre Lösungsmengen übereinstimmen.

Bemerkung  

Wenn eine Gleichung der Form

vorliegt, wobei ein Term ist, in dem die Variable nicht vorkommt, so sagt man, dass in der Gleichung isoliert (oder aufgelöst[4]) vorliegt. Hierbei kann eventuell ein komplizierter Ausdruck sein, und so besteht die Aufgabe im Allgemeinen darin, den Ausdruck zu vereinfachen. Wenn beispielsweise

vorliegt, so führt dies auf die vereinfachte und nicht weiter zu vereinfachende Gleichung

die man dann als Lösung betrachtet. Grundsätzlich versteht man unter der Lösung (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.


Bemerkung  

Eine Gleichung der Form

mit Ausdrücken und , in denen die Variable vorkommt, ist lösungsäquivalent zur Gleichung

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

mit einem Ausdruck in der Variablen beschränken. Allerdings muss diese Umstellung nicht unbedingt eine Vereinfachung sein.



Beispiel  

Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen, d.h. man hat nur die Nachfolgerabbildung mit ihren charakteristischen Eigenschaften zur Verfügung. Damit kann man für jedes feste die Nachfolgergleichung

formulieren. Dies ist eine Bedingungsgleichung, man sucht nach derjenigen Zahl , dessen Nachfolger die Zahl ist. Bei besitzt diese Gleichung eine eindeutige Lösung, nämlich den Vorgänger von , der aufgrund der Injektivität der Nachfolgerabbildung und dem Induktionsaxiom eindeutig bestimmt ist (siehe Aufgabe 7.10). Hingegen besitzt die Gleichung

keine Lösung, da die kein Nachfolger einer natürlichen Zahl ist.



Beispiel  

Wir arbeiten über den natürlichen Zahlen und betrachten die Gleichung

mit der Unbestimmten . Gesucht ist also nach derjenigen Zahl, die zu hinzuaddiert die Zahl ergibt. Diese Gleichung besitzt die einzige Lösung

Dies sind zwei Aussagen! Einerseits wird behauptet, dass eine Lösung ist und andererseits, dass es außer der keine weitere Lösung gibt. Das Erste kann man einfach durch Einsetzen und Nachrechnen überprüfen, es ist ja in der Tat

Dass es keine weitere Lösung gibt, ergibt sich einfach aus der Abziehregel. Wenn eine weitere Lösung der Gleichung ist,[5] so liegt die Gleichungskette

vor, die Abziehregel sichert dann

Dieses Argument kann man auch dann durchführen, wenn man die eine Lösung noch gar nicht kennt: Aus der Gleichung[6]

folgt eben

Betrachten wir allgemein eine Gleichung (eine additive Gleichung oder Additionsgleichung) der Form

mit fixierten natürlichen Zahlen . Zwar sind hier ebenso wie Buchstaben, die für natürliche Zahlen stehen, doch ist die Funktion jeweils eine andere. Die Zahlen stellen jeweils fixierte natürliche Zahlen dar, die somit die Gleichung (als Parameter) festlegen, für die dann die zu bestimmende Unbekannte ist. Wenn also vorliegt, so denke man nicht an die Menge aller Dreiertupel derart, dass die Gleichheit vorliegt (was ebenfalls eine sinnvolle mathematische Aufgabe ist), sondern an eine Gleichung in , die durch die Zahlen als Parameter bestimmt ist.

Das Lösungsverhalten über einer Gleichung der Form

hängt vom Größenverhältnis zwischen und ab. Bei gibt es keine Lösung, da wegen

die linke Seite stets (für jedes ) größer als die rechte Seite ist.

Bei hingegen gibt es wie im zuerst genannten Beispiel genau eine Lösung. Die Voraussetzung

bedeutet ja, dass man von aus durch sukzessives Nachfolgerbilden zu gelangt. Diese Definition ist nach Lemma 10.5 äquivalent dazu, dass es überhaupt ein mit gibt. Die eindeutige Lösung ist dann gerade diejenige Zahl, die angibt, wie oft man den Nachfolger von nehmen muss, um zu zu gelangen. Also ist die Differenz[7]

die eindeutig bestimmte Lösung der Gleichung

bei .


Bemerkung  

Spezifische Bezeichnungen für spezielle Gleichungen orientieren sich an den in der Gleichung vorkommenden mathematischen Strukturen, nicht am Lösungsverfahren. Eine quadratische Gleichung

heißt quadratische Gleichung, weil in ihr der komplizierteste Ausdruck das Quadrat ist. Sie heißen nicht „Quadratwurzelgleichungen“, obwohl zur Bestimmung ihrer Lösung Quadratwurzeln gezogen werden. Entsprechend nennen wir

eine Additionsgleichung, obwohl man die Lösung durch Subtraktion findet, und

eine Nachfolgergleichung, obwohl die Lösung der Vorgänger von ist.



Umformungen

Eine wichtige Methode, Gleichungen zu lösen, besteht darin, sie umzuformen, indem man in der Gleichung beidseitig die gleiche Rechenoperation durchführt.


Satz  

Es sei

eine Gleichung in der Variablen über einem gegebenen Zahlenbereich . Es sei

eine Abbildung. Dann gelten die folgenden Eigenschaften.

  1. Wenn eine Lösung der Gleichung ist, so ist auch eine Lösung der umgeformten Gleichung
  2. Wenn injektiv ist, so ist genau dann eine Lösung der Gleichung, wenn eine Lösung der umgeformten Gleichung

    ist.

Beweis  

  1. Wenn

    ist, so ist auch

    da ja eine Abbildung wohldefiniert auf den Elementen ist, und nicht irgendwie von der Darstellung des Elementes abhängt.

  2. Dies ist eine unmittelbare Anwendung der Injektivität von .


Wichtige elementare Anwendungen dieses Prinzips sind, dass man zu einer Gleichung (über den natürlichen, ganzen, reellen Zahlen) beidseitig eine natürliche Zahl hinzuaddieren oder beidseitig mit einer von 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 Äquivalenzumformungen. Bei einer nicht injektiven Abbildung liefert die umgeformte Gleichung nur eine notwendige Bedingung für eine Lösung der ursprünglichen Gleichung.


Beispiel  

Auf die Gleichung

kann man beidseitig die Addition (die bijektiv ist) loslassen und erhält die umgeformte Gleichung

Vereinfachungen führen auf die Lösung


Bemerkung  

Es sei eine Gleichung der Form

gegeben. Wir betrachten Gleichungsumformungen, die nicht auf einer injektiven Abbildung beruhen. Als Extremfall betrachten wir die Multiplikation mit , die ja aufgrund der Annullationsregel alles auf abbildet und somit hochgradig nicht injektiv ist. Die umgeformte Gleichung ist

also einfach

Diese Gleichung wird natürlich von jedem 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

über. Über den natürlichen Zahlen ist das Quadrieren eine injektive Abbildung, aber nicht auf den ganzen Zahlen. Die Gleichung

hat offenbar die einzige Lösung

dagegen hat die quadrierte Gleichung

die beiden Lösungen

Ein wichtiges Leitmotiv für Zahlenbereichserweiterungen ist es, dass eine bestimmte Art von Gleichungen, die bisher (in einem bestimmten Zahlenbereich) nur unter ganz bestimmten Bedingungen eine Lösung besitzt, stets eine Lösung besitzt. Dieses Motiv wird beim Übergang von nach , von nach und von nach auftreten.



Ungleichungen

Bei einer Ungleichung handelt es sich um einen Ausdruck der Form

wobei und Ausdrücke in der einen Variablen sind. Statt Ungleichung ist eigentlich die Bezeichnung Abschätzung besser. Wie eine Gleichung bezieht sich eine solche Ungleichung auf eine Grundmenge , typischerweise ein Zahlenbereich mit einer Ordnung, in der die Ausdrücke und und das sinnvoll interpretiert werden können. Unter einer Lösung der Ungleichung versteht man ein , das die Bedingung

erfüllt. Unter der Lösungsmenge zur Ungleichung versteht man die Menge aller Lösungen, also die Menge



Fußnoten
  1. Laufvariablen kann man nicht durch andere Terme ersetzen, nur durch eine andere Laufvariable umbenennen. Eine Laufvariable kommt beispielsweise im Term vor, hier ist eine Laufvariable und eine echte Variable. Andererseits bezeichnet der Buchstabe die Kreiszahl und ist keine Variable.
  2. Eine Gleichungskette wie ist einfach eine abkürzende Schreibweise für die drei Einzelgleichungen , .
  3. bezeichnet im Folgenden die Nachfolgerabbildung, gesucht ist also nach dem Vorgänger.
  4. Dieser Sprachgebrauch ist nicht unproblematisch, da zur Lösung das Vereinfachen gehört. Allerdings ist dieser Vereinfachungsschritt häufig unproblematisch.
  5. Hier ist also ein bestimmtes Element der Grundmenge, das die Gleichung erfüllt, keine neue Variable der Gleichung.
  6. Dies ist keine neue Gleichung mit zwei Variablen, sondern eine Elementgleichung in .
  7. Es ist typisch, dass Gleichungen zu neuen Begriffen führen.


<< | Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)