In der Mathematik ist eine Gleichung eine symbolische Formel, in der die Gleichheit zweier Werte oder Terme behauptet wird. Wesentlicher formaler Bestandteil jeder Gleichung ist das Gleichheitszeichen.

Einteilung der Gleichungen

---

Gleichungen werden in der Mathematik in vielen unterschiedlichen Zusammenhängen verwendet; dementsprechend gibt es viele verschiedene Möglichkeiten, die Gleichungen nach unterschiedlichen Gesichtspunkten einzuteilen. Die jeweiligen Einteilungen sind zu einem großen Teil unabhängig voneinander, eine Gleichung kann in mehrere dieser Gruppen fallen. So ist es beispielsweise durchaus sinnvoll, von einem System linearer partieller Differentialgleichungen zu sprechen.

Einteilung nach Gültigkeit

Formal hat eine Gleichung die Gestalt $T\_1=T\_2$ mit zwei Termen $T\_1,\; T\_2$. Gleichungen sind mathematische Aussagen, sind also entweder wahr (z. B. 1=1) oder falsch (1=2). Wenn allerdings zumindest einer der Terme $T\_1,\; T\_2$ von Variablen abhängig ist, liegt nur eine Aussageform vor; ob die Gleichung wahr oder falsch ist, hängt dann von den konkreten eingesetzten Werten der Variablen ab.

Identitäten (Identitätsgleichung)

Gleichungen können allgemeingültig sein, also durch Einsetzen aller Variablen aus einer gegebenen Grundmenge oder zumindest aus einer vorher definierten Teilmenge davon wahr sein. Die Allgemeingültigkeit kann entweder aus anderen Axiomen bewiesen werden oder selber als Axiom vorausgesetzt werden.

Beispiele sind

• Der Satz des Pythagoras: $a^2+b^2=c^2\; \backslash ,\backslash !$: wahr für rechtwinklige Dreiecke, falls c die dem rechten Winkel gegenüberliegende Seite bezeichnet.
• Das Assoziativgesetz: $(a+b)+c=a+(b+c)\; \backslash ,\backslash !$: wahr für alle natürlichen Zahlen $a,b,c$ (Beweis durch vollständige Induktion); wahr für alle Gruppen (als Axiom).
• Die binomischen Formeln: $(a+b)^2=a^2+2ab+b^2\; \backslash ,\backslash !$: wahr für alle reellen Zahlen $a,b$.
• Die eulersche Identität: $e^\{i\; \backslash varphi\}\; =\; \backslash cos\backslash left(\backslash varphi\; \backslash right)\; +\; i\; \backslash sin\backslash left(\; \backslash varphi\backslash right)$: wahr für alle reellen $\backslash varphi$.

In diesem Zusammenhang spricht man manchmal von einer Identität, einem Satz oder einem Gesetz.

Bestimmungsgleichungen

Ist eine Gleichung nicht allgemeingültig, so gibt es gewisse Werte aus der Grundmenge, für die die Gleichung eine wahre Aussage liefert, und gewisse Werte, für die die Gleichung eine falsche Aussage liefert. Häufig besteht eine Aufgabenstellung darin, alle Elemente der Grundmenge zu bestimmen, für die die Gleichung eine wahre Aussage liefert. Diesen Vorgang bezeichnet man als lösen der Gleichung. Zur Unterscheidung von Identitäten werden solche Gleichungen manchmal als Bestimmungsgleichungen bezeichnet. Die Menge an Werten der Variablen, für die die Gleichung wahr ist, bezeichnet man als Lösungsmenge der Gleichung. Wenn es sich bei der Lösungsmenge um eine leere Menge handelt, so bezeichnet man die Gleichung als unerfüllbar oder als unlösbar. Ob eine Gleichung lösbar ist oder nicht hängt auch von der betrachteten Grundmenge ab.

Beispiele:

• Die Gleichung $x^2=2$ ist unlösbar als Gleichung über die natürlichen Zahlen und besitzt die Lösungsmenge $\backslash lbrace\; \backslash sqrt\{2\},\; -\; \backslash sqrt\{2\}\; \backslash rbrace$ als Gleichung über die reellen Zahlen.
• Die Gleichung $x^2=\; -2$ ist unlösbar als Gleichung über die natürlichen und reellen Zahlen und besitzt die Lösungsmenge $\backslash lbrace\; \backslash sqrt\{2\}i,\; -\backslash sqrt\{2\}i\; \backslash rbrace$ als Gleichung über den komplexen Zahlen.

Bei der Lösung einer Gleichung ist auch zu beachten, dass die Lösung nicht nur aus der Grundmenge sein muss, sondern dass die in der Gleichung auftretenden Terme für die Lösung auch definiert sein müssen. In diesem Zusammenhang wird manchmal von der Definitionsmenge der Gleichung $T\_1(x)=T\_2(x)$ gesprochen, die dann als Durchschnittsmenge der Definitionsmengen der Terme $T\_1(x)$ und $T\_2(x)$ bestimmt werden kann.

Beispiel:

Die Gleichung

$\backslash frac\{x\}\{x-1\}=\backslash frac\{x+2\}\{x\}+\backslash frac\{1\}\{x(x-1)\}$

ist für $x\backslash in\backslash R$ zu lösen.

Für $x=0$ und $x=1$ ist die Gleichung nicht definiert; die Definitionsmenge ist also $\backslash R\backslash backslash\; \backslash lbrace0,1\backslash rbrace$. Multiplizieren beider Seiten mit $x(x-1)$ liefert die Gleichung

$x^2=x^2+2x-x-2+1\backslash !$ bzw.

$x=1\backslash !$.

$x=1$ ist aber nicht in der Definitionsmenge der Gleichung; die Gleichung hat also gar keine Lösung. Tatsächlich war auch die Multiplikation mit $x(x-1)$ keine Äquivalenzumformung, da dieses Produkt für $x=1$ Null ergibt, und Multiplikation mit Null eben keine Äquivalenzumformung ist.

Bei Bestimmungsgleichungen treten öfters Variablen auf, die nicht gesucht sind, sondern als bekannt vorausgesetzt werden. Solche Variablen werden als Parameter bezeichnet.

Beispiel:

Die Lösungsformel für die quadratische Gleichung

$x^2+px+q=0\; \backslash ,\backslash !$

lautet bei gegebenen Parametern $p,\; q$

$x\_\{1,2\}=-\backslash frac\{p\}\{2\}\backslash pm\; \backslash sqrt\{\backslash frac\{p^2\}\{4\}-q\}$.

Setzt man eine dieser beiden Lösungen in die Gleichung ein, so verwandelt sich die Gleichung in eine Identität, wird also für (fast) beliebige Wahl von $p$ und $q$ zur wahren Aussage. Fast beliebig deswegen, weil unter Umständen im Nachhinein die erlaubte Menge der Parameter eingeschränkt werden muss; falls für die quadratische Gleichung nur reelle Lösungen gesucht werden sollen, müssen beispielsweise die Parameter auf eingeschränkt werden.

Definitionen

Gleichungen können auch verwendet werden, um ein neues Symbol zu definieren. In diesem Fall wird das zu definierende Symbol links geschrieben, und das Gleichheitszeichen oft durch := ersetzt oder über das Gleichheitszeichen "def" geschrieben.

Beispiel: Definition der Ableitung einer Funktion:

$f\text{'}(x\_0)\; :=\; \backslash lim\_\{x\; \backslash to\; x\_0\}\; \backslash frac\{f(x)\; -\; f(x\_0)\}\{x\; -\; x\_0\}$

Im Gegensatz zu Identitäten sind Definitionen keine Aussagen; sie sind also weder wahr noch falsch, sondern nur mehr oder weniger zweckmäßig.

Einteilung nach Anzahl der Gleichungen und Unbekannten

Häufig werden mehrere Gleichungen betrachtet, die gleichzeitig erfüllt sein müssen und von mehreren Variablen abhängig sind. Man spricht dann von einem Gleichungssystem in einer bestimmten Anzahl von Variablen.

Beispiel:

$x+y+z=5$

$2x-z=13$

ist ein Gleichungssystem von zwei Gleichungen mit 3 Unbekannten ($x,y,z$)

Die Zählung der Gleichungen und Unbekannten kann aber je nach Zusammenhang unterschiedlich aufgefasst werden. Fasst man beispielsweise sowohl die Gleichungen als auch die Unbekannten zu Tupeln zusammen, so lässt sich jedes Gleichungssystem auch als eine einzige Gleichung für eine einzige Unbekannte auffassen. So wird beispielsweise obiges Gleichungssystem zur Gleichung

$\backslash begin\{pmatrix\}x+y+z\; \backslash \backslash \; 2x-z\backslash end\{pmatrix\}=\backslash begin\{pmatrix\}5\backslash \backslash \; 13\backslash end\{pmatrix\}$

für das Tupel

$\backslash mathbf\{x\}=\backslash begin\{pmatrix\}x\; \backslash \backslash \; y\backslash \backslash z\backslash end\{pmatrix\}$.

Insbesondere in der Linearen Algebra werden Gleichungssysteme auf diese Art zusammengefasst.

Eine Faustregel besagt, dass man gleich viele Gleichungen wie Unbekannte benötigt, damit ein Gleichungssystem eindeutig lösbar ist. Das ist aber tatsächlich nur eine Faustregel; bis zu einem gewissen Grad gilt sie wegen des Implicit_function_theorem für reelle Gleichungen für reelle Unbekannte; bei Diophantischen Gleichungen hingegen werden üblicherweise weniger Gleichungen als Unbekannte betrachtet.

Einteilung nach der rechten Seite der Gleichung

Für einige Formen der rechten Seite der Gleichung haben sich bestimmte Namen eingebürgert:

• Bei einer Gleichung der Form $T(x)=0$ heißt die Lösung $x$ Nullstelle Gleichung.
• Eine Gleichung der Form $T(x)=x$ heißt Fixpunktgleichung. Für Gleichungen dieser Form gibt es diverse Fixed-point theorem wie beispielsweise den Fixpunktsatz von Banach, den Fixed point theorems in infinite-dimensional spaces oder den Brouwer fixed point theorem, die genaueres über die Lösungen solcher Gleichungen aussagen.
• Eine Gleichung der Form $T(x)=\backslash lambda\; x$, wobei $\backslash lambda$ und $x\backslash neq\; 0$ gemeinsam gesucht werden, heißt Eigenwertproblem.

Einteilung nach (Nicht)Linearität

Lineare Gleichungen

Eine Gleichung der Form

$T\backslash left(x\backslash right)=a$

heißt linear, wenn der Term $a$ unabhängig von $x$ und der Term $T(x)$ linear in $x$ ist, also

$T\backslash left(\backslash lambda\; x\; +\; \backslash mu\; y\backslash right)=\backslash lambda\; T\backslash left(\; x\; \backslash right)\; +\; \backslash mu\; T\backslash left(\; y\backslash right)$

für reelle oder komplexe Zahlen $\backslash lambda,\; \backslash mu$ gilt. Sinnvollerweise müssen die passenden Operationen definiert sein, es ist also notwendig, dass $T(x)$ und $a$ aus einer Gruppe $(G,+)$ sind, und die Lösung $x$ aus der gleichen oder einer anderen Gruppe $(X,+)$ gesucht wird. Die Gleichung $T(x)=a$, wird dabei als inhomogene Gleichung bezeichnet; $T(x)=0$ ist die dazugehörige homogene Gleichung.

Lineare Gleichungen sind normalerweise wesentlich einfacher zu lösen als nichtlineare. So gilt für lineare Gleichungen, egal ob es sich beispielsweise um lineare Diophantische Gleichungen, lineare Differenzengleichungen oder gewöhnliche lineare Differentialgleichungen handelt, die sehr simple, aber mächtige Aussage, dass die allgemeine Lösung der inhomogenen Gleichungen die Summe einer partikulären Lösung der inhomogenen Gleichung plus der allgemeinen Lösung der homogenen Gleichungen ist.

Formal bedeutet dies: ist $x\_0$ eine beliebige ("partikuläre") Lösung der inhomogenen Gleichung, also

$T\backslash left(x\_0\backslash right)=a$

eine $x$ beliebige ("allgemeine") Lösung der homogenen Gleichung, also

$T\backslash left(x\backslash right)=0$,

so löst wegen der Linearität auch die "allgemeine" Lösung $x\_0\; +\; x$ die inhomogene Gleichung:

$T\backslash left(x\_0+x\backslash right)=T\backslash left(x\_0\backslash right)+T\backslash left(x\backslash right)=a+0=a$.

Umgekehrt ist jede Lösung $x\_1$ der inhomogenen Gleichung so darstellbar, also $x\_1=x\_0\; +\; x$, wobei $x$ die homogene Gleichung löst, denn

$T\backslash left(x\backslash right)=T\backslash left(-x\_0+x\_1\backslash right)=-T\backslash left(x\_0\backslash right)+T\backslash left(x\_1\backslash right)=-a+a=0$.

Wegen der Linearität ist zumindest $x=0$ eine Lösung der homogenen Gleichung. Hat die homogene Gleichung also eine eindeutige Lösung, so hat auch die inhomogene Gleichung höchstens eine Lösung. Eine verwandte, aber wesentlich tiefer gehende Aussage in der Funktionalanalysis ist die Fredholmsche Alternative.

Nichtlineare Gleichungen

Nichtlineare Gleichungen werden nach der Art der Nichtlinearität unterschieden. Ist die Nichtlinearität beispielsweise ein Polynom, so spricht man von algebraischen Gleichungen:

• Beispiel: Quadratische Gleichung $ax^2+bx+c=0\backslash ,\backslash !$
• Beispiel: Kubische Gleichung $ax^3+bx^2+cx+d=0\backslash ,\backslash !$
• Beispiel: Biquadratische Gleichung $ax^4+bx^2+c=0\backslash ,\backslash !$
• weiteres Beispiel unter Gleichung fünften Grades

Treten die Unbekannten in einem trigonometrischen Term auf, so spricht man von Goniometrischen Gleichungen. Dabei ist darauf zu achten, ob die Lösungsmenge der Gleichung auf das ein bestimmtes Intervall (z.B. $0\; \backslash leq\; x\; \backslash leq\; 2\backslash pi\; \backslash !$ oder $0^\{\backslash circ\}\; \backslash leq\; \backslash alpha\; \backslash leq\; 360^\{\backslash circ\}\; \backslash !$) beschränkt ist, da sich ansonsten die Lösung beispielsweise periodisch wiederholt und mit einer ganzzahlingen Variable $k\; \backslash !$ parameterisiert werden muss.

• Beispiel: $I\; =\; (0,2\backslash pi);\; \backslash !$ $\backslash sin(x)\; =\; 0\; \backslash Rightarrow\; x\; =\; \backslash pi\backslash ,\; \backslash !$
• Beispiel: $\backslash sin\; x\; =\; \backslash cos\; x$
  • Zunächst ist $\backslash cos\; x\backslash not=0$, denn andernfalls wäre $\backslash sin\; x=\backslash cos\; x=0$, aber das ist wegen $\backslash sin^2x+\backslash cos^2x=1$ unmöglich.
  • Also sind die folgenden Gleichungen äquivalent:

    $\backslash sin\; x=\backslash cos\; x\backslash iff\backslash frac\{\backslash sin\; x\}\{\backslash cos\; x\}\; =\; 1\; \backslash iff\; \backslash tan\; x\; =\; 1.$

  • Die letzte Gleichung gilt nun genau für die $x$, die sich als

    $x\; =\; \backslash frac\{\backslash pi\}\{4\}\; +\; \backslash pi\; k$

    mit einer ganzen Zahl $k$ schreiben lassen (siehe Tangens).

Einteilung nach den gesuchten Unbekannten

Algebraische Gleichung

Um Gleichungen, bei denen eine reelle Zahl gesucht wird, beispielsweise von Differentialgleichungen zu unterscheiden, wird manchmal ebenfalls die Bezeichnung algebraische Gleichung verwendet, wobei diese Bezeichnung dann aber nicht auf ein Polynom eingeschränkt ist.

Diophantische Gleichung

Sucht man lediglich ganzzahlige Lösungen, so spricht man von einer Diophantischen Gleichung.

Differenzengleichung

Ist die Unbekannte eine Folge, so spricht man von einer Differenzengleichung.

Gleichungen für Funktionen

=Funktionalgleichungen

= Ist die Unbekannte der Gleichung eine Funktion, die ohne Ableitung auftritt, so spricht man von einer Funktionalgleichung.

=Differentialgleichungen

= Wird in der Gleichung eine Funktion gesucht, die mit Ableitung auftritt, so spricht man von einer Differentialgleichung. Differentialgleichungen treten bei der Modellierung von naturwissenschaftlichen Problemen (Physik, Chemie, Biologie) sehr häufig auf. Die höchste auftretende Ableitung wird dabei Ordnung der Differentialgleichung genannt.

Gewöhnliche Differentialgleichungen

---

Treten in der Gleichung nur Ableitungen nach einer einzigen Variablen auf, so spricht man von gewöhnlichen Differentialgleichungen

• Beispiel: gewöhnliche DGL 1. Ordnung $y\text{'}\; =\; y\; \backslash ,\; \backslash !$, mit der allgemeinen Lösung $y(x)\; =\; Ce^x\backslash ,\; \backslash !$
• Beispiel: gewöhnliche DGL 2. Ordnung $y\text{'}\text{'}\; +\; y\; =\; 0\; \backslash ,\; \backslash !$, mit der allgemeinen Lösung $y(x)\; =\; A\backslash cos(x)\; +\; B\backslash sin(x)\backslash ,\; \backslash !$
• Beispiel: gewöhnliche DGL 2. Ordnung $x^2y\text{'}\text{'}\; +\; xy\text{'}\; =\; a\; \backslash ,\; \backslash !$, mit der allgemeinen Lösung $y(x)\; =\; a\backslash frac\{\backslash ln^2(x)\}\{2\}\; +\; C\_1\backslash ln(x)\; +\; C\_2$

Partielle Differentialgleichungen

---

Treten in der Gleichung partielle Ableitungen nach mehreren Variablen auf, so spricht man von partiellen Differentialgleichungen.

• Beispiel (einfachster Fall der Schrödingergleichung): partielle DGL 2. Ordnung $\backslash frac\{\backslash partial^2\backslash psi\}\{\backslash partial\; x^2\}\; =\; a\backslash frac\{\backslash partial\; \backslash psi\}\{\backslash partial\; t\}$ bzw. $\backslash psi\_\{xx\}\; =\; a\backslash psi\_t$, mit der allgemeinen Lösung: $\backslash psi(x,t)\; =\; \backslash mathrm\; e^\{-\backslash frac\{\backslash lambda^2\; t\}\{a\}\}\; \backslash left(\; A\backslash sin(\backslash lambda\; x)\; +\; B\backslash cos(\backslash lambda\; x)\; \backslash right)$

Algebro-Differentialgleichungen

---

Treten sowohl algebraische als auch Differentialgleichungen gemeinsam auf, so spricht man von Algebro-Differentialgleichungen.

=Integralgleichungen

= Tritt die gesuchte Funktion in einem Integral auf, so spricht man von einer Integralgleichung.

Gleichungsketten

---

Befinden sich in einer Zeile mehrere Gleichheitszeichen, so spricht man von einer Gleichungskette. In einer Gleichungskette sind alle durch Gleichheitszeichen getrennten Ausdrücke vom Wert her gleich. Dabei ist jeder dieser Ausdrücke als Ganzes zu betrachten. Die Gleichungskette
17+3=20:2=10+7=17 ist also falsch, weil sie in Einzelgleichungen zerlegt zu falschen Aussagen führt (17+3 ist nicht gleich 20:2 u.s.w.). Richtig ist dagegen
17+3=18+2=21-1=40:2.

Gleichungsketten sind insbesondere wegen der Transitivität der Gleichheitsrelation sinnvoll interpretierbar.

Gleichungsketten treten oft auch gemeinsam mit Ungleichungen in diversen Abschätzungen auf, so gilt beispielsweise für $n\backslash ge\; 3$

$2n^2\; =n^2+n^2\backslash ge\; n^2+3n\; >\; n^2+2n+1=(n+1)^2$.

Lösen von Gleichungen

---

Analytische Lösung

Soweit es möglich ist, versucht man, die Lösungen einer Gleichung exakt zu bestimmen. Wichtigstes Hilfsmittel dabei ist die Äquivalenzumformung, bei der eine Gleichung schrittweise in andere äquivalente Gleichungen (die also die selbe Lösungsmenge haben) umgeformt wird, bis man eine Gleichung erhält, deren Lösung einfach bestimmt werden kann.

Numerische Lösung

Viele Gleichungen, insbesondere aus naturwissenschaftlichen Anwendungen, können nicht analytisch gelöst werden. In diesem Fall versucht man, am Computer eine näherungsweise numerische Lösung zu berechnen. Solche Verfahren werden in der numerischen Mathematik behandelt. Viele algebraische oder Differential-Gleichungen lassen sich approximativ lösen, indem die in der Gleichung auftretenden nichtlinearen Funktionen durch ihre Ableitungen (falls diese existieren!) linear angenähert werden, und dann das daraus entstehende lineare Gleichungsssystem gelöst wird, was zum Newton-Verfahren führt. Für andere Problemklassen, etwa bei der Lösung von Gleichungen in unendlich-dimensionalen Räumen, wird die Lösung in geeignet gewählten endlich-dimensionalen Unterräumen gesucht (sogenannte Galerkin-Approximation).

Qualitative Analyse

Wenn eine Gleichung nicht analytisch gelöst werden kann, ist es oft dennoch möglich, mathematische Aussagen über die Lösung zu treffen. Insbesondere interessieren Fragestellungen der Art, ob eine Lösung überhaupt existiert, ob sie eindeutig ist, und ob die Lösung stetig von den Parametern der Gleichung abhängt. Eine qualitative Analyse ist auch bzw. gerade bei einer numerischen Lösung der Gleichung wichtig, damit sichergestellt ist, dass die numerische Lösung tatsächlich eine näherungsweise Lösung der Gleichung liefert und nicht irgendwelche sinnlosen Zahlen. Jacques Salomon Hadamard hat in diesem Zusammenhang den Begriff korrekt gestelltes Problem geprägt.

Verwandte Begriffe

---

Ungleichungen

Im Gegensatz zu Gleichungen wird bei Ungleichungen keine Aussage über Gleichheit zweier Terme, sondern über deren relative Größe oder Ordnung gemacht.

Optimierungsaufgaben

Optimierungsaufgaben können als eine Verallgemeinerung von Gleichungen aufgefasst werden, indem nicht die Gleichheit zweier Terme gefordert wird, sondern beispielsweise, dass deren Differenz minimal wird. Insbesondere bei der Suche nach numerischen Lösungen ergeben sich viele Überschneidungen von Optimierungsaufgaben und Gleichungen.

Einheitenbehaftete Gleichungen

Die praktische Anwendung von Gleichungen in der Physik und im Ingenieurswesen erfordert das Mitführen von Einheiten. Das kann zu inkonsitenten fehlerträchigen Zahlenwertgleichungen führen. Die Prüfung auf Einheitenkonsistenz kann aber auch ein effizientes Hilfsmittel zur Plausibilitätsprüfung von Herleitungen sein.

Siehe auch: Lösen von Gleichungen · Wichtige Gleichungen der Physik

Weblinks

---

• The World of mathematical equations. Umfangreiche englische Seite.

Logik | Algebra | Analysis

معادلة | সমীকরণ | Equació | Rovnice | Ligning | Equation | Ekvacio | Ecuación | معادله | Yhtälö | Équation | משוואה | Egyenlet | Equaciono | Equazione | 方程式 | 방정식 | Vergelijking (wiskunde) | Likning | Ligning | Równanie (matematyka) | Equação | Ecuaţie | Уравнение | Equation | Rovnica (matematika) | Ekvation | Denklem | Рівняння | Phương trình | 方程