<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="de">
	<id>https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Ungleichung</id>
	<title>Ungleichung - Versionsgeschichte</title>
	<link rel="self" type="application/atom+xml" href="https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Ungleichung"/>
	<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Ungleichung&amp;action=history"/>
	<updated>2026-06-23T20:55:05Z</updated>
	<subtitle>Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie</subtitle>
	<generator>MediaWiki 1.43.8</generator>
	<entry>
		<id>https://wiki-de.moshellshocker.dns64.de/index.php?title=Ungleichung&amp;diff=33497&amp;oldid=prev</id>
		<title>imported&gt;TaxonKatBot: Bot: Kategorie:Mathematischer Grundbegriff entfernt: laut Diskussion</title>
		<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Ungleichung&amp;diff=33497&amp;oldid=prev"/>
		<updated>2026-02-17T06:07:23Z</updated>

		<summary type="html">&lt;p&gt;Bot: &lt;a href=&quot;/index.php?title=Kategorie:Mathematischer_Grundbegriff&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Kategorie:Mathematischer Grundbegriff (Seite nicht vorhanden)&quot;&gt;Kategorie:Mathematischer Grundbegriff&lt;/a&gt; entfernt: laut &lt;a href=&quot;/index.php?title=Wikipedia:WikiProjekt_Kategorien/Diskussionen/2025/Dezember/10&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Wikipedia:WikiProjekt Kategorien/Diskussionen/2025/Dezember/10 (Seite nicht vorhanden)&quot;&gt;Diskussion&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Neue Seite&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Eine &amp;#039;&amp;#039;&amp;#039;Ungleichung&amp;#039;&amp;#039;&amp;#039; ist ein Gegenstand der [[Mathematik]], mit dem [[Vergleich (Zahlen)|Größenvergleiche]] formuliert und untersucht werden können. Jede Ungleichung besteht aus zwei [[Term]]en, die durch eines der [[Vergleichszeichen]] &amp;lt;math&amp;gt;&amp;lt;&amp;lt;/math&amp;gt; ([[Kleinerzeichen]]), &amp;lt;math&amp;gt;\leq&amp;lt;/math&amp;gt; (Kleinergleichzeichen), &amp;lt;math&amp;gt;\geq&amp;lt;/math&amp;gt; (Größergleichzeichen) oder &amp;lt;math&amp;gt;&amp;gt;&amp;lt;/math&amp;gt; ([[Größerzeichen]]) verbunden sind. Oft spricht man anstatt von einer Ungleichung auch von einer &amp;#039;&amp;#039;&amp;#039;Abschätzung&amp;#039;&amp;#039;&amp;#039;, wenn man mit Hilfe einer Ungleichung das Wachstum eines komplexen Terms durch einen einfacheren Term kontrolliert.&lt;br /&gt;
&lt;br /&gt;
Sind &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; zwei Terme, dann ist &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; eine Ungleichung.&amp;lt;ref&amp;gt;{{Literatur |Autor=Jürgen Tietze |Titel=Terme, Gleichungen, Ungleichungen: Rechenregeln begründen, Fehlerfallen vermeiden |Auflage=2., überarb. Aufl. 2015 |Ort=Wiesbaden |Datum=2015 |ISBN=978-3-658-06193-7 |Seiten=127 |Online= |Abruf=}}&amp;lt;/ref&amp;gt; Man spricht „&amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; kleiner (als) &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt;“. Wie bei einer [[Gleichung]] heißt &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; die &amp;#039;&amp;#039;linke Seite&amp;#039;&amp;#039; und &amp;lt;math&amp;gt;{T_2}&amp;lt;/math&amp;gt; die &amp;#039;&amp;#039;rechte Seite&amp;#039;&amp;#039; der Ungleichung.&amp;lt;ref&amp;gt;{{Literatur |Hrsg=Guido Walz |Titel=Ungleichung |Sammelwerk=Lexikon der Mathematik |Auflage=1 |Verlag=Spektrum Akademischer Verlag |Ort=Mannheim/Heidelberg |Datum=2000 |ISBN=978-3-8274-0439-8}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Die in den beiden Termen auftretenden [[Zielmenge|Werte]] sind meist [[reelle Zahl]]en. Die durch das Vergleichszeichen angesprochene [[Ordnungsrelation]] bezieht sich dann auf die [[Vergleich (Zahlen)|natürliche Anordnung]] der reellen Zahlen.&lt;br /&gt;
&lt;br /&gt;
== Formen von Ungleichungen ==&lt;br /&gt;
Folgende fünf Formen von Ungleichungen sind möglich:&lt;br /&gt;
&lt;br /&gt;
: (1) &amp;lt;math&amp;gt;{T_1} &amp;lt; {T_2}&amp;lt;/math&amp;gt; (&amp;lt;math&amp;gt;{T_1}&amp;lt;/math&amp;gt; kleiner &amp;lt;math&amp;gt; {T_2}&amp;lt;/math&amp;gt;)&lt;br /&gt;
: (2) &amp;lt;math&amp;gt;{T_1} \le {T_2}&amp;lt;/math&amp;gt; (&amp;lt;math&amp;gt;{T_1}&amp;lt;/math&amp;gt; kleiner oder gleich &amp;lt;math&amp;gt; {T_2}&amp;lt;/math&amp;gt;)&lt;br /&gt;
: (3) &amp;lt;math&amp;gt;{T_1} &amp;gt;  {T_2}&amp;lt;/math&amp;gt; (&amp;lt;math&amp;gt;{T_1}&amp;lt;/math&amp;gt; größer &amp;lt;math&amp;gt; {T_2}&amp;lt;/math&amp;gt;)&lt;br /&gt;
: (4) &amp;lt;math&amp;gt;{T_1} \ge {T_2}&amp;lt;/math&amp;gt; (&amp;lt;math&amp;gt;{T_1}&amp;lt;/math&amp;gt; größer oder gleich &amp;lt;math&amp;gt; {T_2}&amp;lt;/math&amp;gt;)&lt;br /&gt;
: (5) &amp;lt;math&amp;gt;{T_1} \neq  {T_2}&amp;lt;/math&amp;gt;  (&amp;lt;math&amp;gt;{T_1}&amp;lt;/math&amp;gt; ungleich &amp;lt;math&amp;gt; {T_2}&amp;lt;/math&amp;gt;)&lt;br /&gt;
&lt;br /&gt;
Die Form (5) entsteht durch [[Negation]] einer Gleichung. Sie wird daher in der Mathematik in der Regel nicht eigens thematisiert.&lt;br /&gt;
&lt;br /&gt;
Ungleichungen sind [[Aussageform]]en. Die auf den beiden Seiten einer Ungleichung vorkommenden [[Funktion (Mathematik)|funktionalen]] Terme beinhalten in der Regel [[Variable (Mathematik)|Variablen]], welche stellvertretend für [[Element (Mathematik)|Elemente]] aus dem [[Definitionsbereich]] der jeweiligen Terme stehen. Werden diese Variablen durch feste Elemente der jeweiligen Definitionsbereiche ersetzt (&amp;#039;&amp;#039;Einsetzen&amp;#039;&amp;#039;), so entstehen [[Aussage]]n, welche entweder wahr oder falsch sind.&lt;br /&gt;
&lt;br /&gt;
== Umformung von Ungleichungen ==&lt;br /&gt;
Ähnlich wie bei Gleichungen ist es auch bei Ungleichungen möglich, diese in [[Äquivalenzumformung|äquivalente Ungleichungen]] umzuformen. Äquivalente Ungleichungen haben die gleichen Lösungsmengen, daher ist das Umformen von Ungleichungen wichtig zum Lösen von Ungleichungen, worauf der hierauf folgende Abschnitt eingehen wird.&amp;lt;ref&amp;gt;{{Literatur |Hrsg=Guido Walz |Titel=Rechnen mit Ungleichungen |Sammelwerk=Lexikon der Mathematik |Auflage=1 |Verlag=Spektrum Akademischer Verlag |Ort=Mannheim/Heidelberg |Datum=2000 |ISBN=978-3-8274-0439-8}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Im Folgenden werden wichtige Regeln zu äquivalenten Ungleichungen für die Vergleichszeichen &amp;lt;math&amp;gt;&amp;lt;&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;&amp;gt;&amp;lt;/math&amp;gt; und für Terme im [[Körper der reellen Zahlen]] dargestellt. Diese Äquivalenzumformungsregeln gelten analog auch für die Vergleichszeichen &amp;lt;math&amp;gt;\leq&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;\geq&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;\neq&amp;lt;/math&amp;gt;. Zudem werden weitere Regeln zu nicht äquivalenten Umformungen von Ungleichungen angeboten, die man oft in der [[Analysis]] – etwa bei Konvergenzbeweisen mittels [[Epsilontik]] – benötigt.&amp;lt;ref&amp;gt;Viele dieser Regeln lassen sich auf das Rechnen mit Ungleichungen in [[Angeordnete Gruppe|angeordneten Gruppen]] übertragen.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Umkehrbarkeit ===&lt;br /&gt;
Ungleichungen können umgekehrt werden:&lt;br /&gt;
: &amp;lt;math&amp;gt;({T_1}\le{}{T_2})\Leftrightarrow ({T_2}\ge{}{T_1})\,.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Monotoniegesetze im Zusammenhang mit den Grundrechenarten ===&lt;br /&gt;
==== Addition und Subtraktion ====&lt;br /&gt;
[[Datei:Translation invariance of less-than-relation.svg|mini|Invarianz der Kleiner-Relation bei der Addition mit einer Zahl auf beiden Seiten der Ungleichung]]&lt;br /&gt;
Für beliebige reellwertige Terme &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;T_3&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_4&amp;lt;/math&amp;gt; gilt:&lt;br /&gt;
&lt;br /&gt;
* Es ist &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; genau dann, wenn &amp;lt;math&amp;gt;T_1+T_3 &amp;lt; T_2+T_3&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Es ist &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; genau dann, wenn &amp;lt;math&amp;gt;T_1-T_3 &amp;lt; T_2-T_3&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Es dürfen also auf beiden Seiten einer Ungleichung die gleichen Terme addiert oder subtrahiert werden, ohne dass sich die Lösungsmenge der Ungleichung ändert. Beispielsweise vereinfacht sich die Ungleichung &amp;lt;math&amp;gt;5x &amp;lt; 4x + 7&amp;lt;/math&amp;gt; durch Subtraktion des Terms &amp;lt;math&amp;gt;4x&amp;lt;/math&amp;gt; auf beiden Seiten zu der äquivalenten Ungleichung &amp;lt;math&amp;gt;x &amp;lt; 7&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Darüber hinaus gelten in Bezug auf die Addition auch noch weitere Regeln:&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 &amp;lt; T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1 + T_3 &amp;lt; T_2 + T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 \leq T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 &amp;lt; T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1 + T_3 &amp;lt; T_2 + T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 \leq T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1 + T_3 &amp;lt; T_2 + T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 \leq T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 \leq T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1 + T_3 \leq T_2 + T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
==== Multiplikation und Division ====&lt;br /&gt;
[[Datei:Invariance of less-than-relation by multiplication with positive number.svg|mini|Regel &amp;lt;math&amp;gt;a &amp;gt; 0 \land x &amp;lt; y \Rightarrow ax &amp;lt; ay&amp;lt;/math&amp;gt;]]&lt;br /&gt;
[[Datei:Inversion of less-than-relation by multiplication with negative number.svg|mini|Regel &amp;lt;math&amp;gt;a &amp;lt; 0 \land x &amp;lt; y \Rightarrow ax &amp;gt; ay&amp;lt;/math&amp;gt;]]&lt;br /&gt;
Für beliebige Terme &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3&amp;lt;/math&amp;gt; gilt:&lt;br /&gt;
&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1&amp;lt;T_2&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;-T_1 &amp;gt; -T_2&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;0&amp;lt;T_1&amp;lt;T_2&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;0 &amp;lt; 1/T_2 &amp;lt; 1/T_1 &amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_3 &amp;gt; 0&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_1&amp;lt;T_2&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1 T_3 &amp;lt; T_2 T_3&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_1/T_3 &amp;lt; T_2/T_3&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_3 &amp;lt; 0&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_1&amp;lt;T_2&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1 T_3 &amp;gt; T_2 T_3&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_1 / T_3 &amp;gt; T_2/T_3&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Hier gilt demnach folgende Merkregel:&lt;br /&gt;
&lt;br /&gt;
:&amp;#039;&amp;#039;Bei [[Punktrechnung]] mit einer reellen Zahl &amp;gt; 0 bleiben die Vergleichszeichen erhalten, während sie sich bei Punktrechnung mit einer reellen Zahl &amp;lt; 0 umkehren.&amp;#039;&amp;#039;&lt;br /&gt;
&lt;br /&gt;
So sind zum Beispiel die Ungleichungen &amp;lt;math&amp;gt;-3x &amp;lt; 12&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;x &amp;gt; -4&amp;lt;/math&amp;gt; äquivalent, wie man mit Hilfe von Division durch &amp;lt;math&amp;gt;-3&amp;lt;/math&amp;gt; erkennt.&lt;br /&gt;
&lt;br /&gt;
Darüber hinaus gelten in Bezug auf die Multiplikation innerhalb der [[Gruppe (Mathematik)|Gruppe]] &amp;lt;math&amp;gt;(\R^{&amp;gt;0}, \cdot)&amp;lt;/math&amp;gt; der [[Positive Zahl|positiven reellen Zahlen]] auch noch weitere Regeln:&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 &amp;lt; T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1  T_3 &amp;lt; T_2  T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 \leq T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 &amp;lt; T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1  T_3 &amp;lt; T_2  T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 \leq T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1  T_3 &amp;lt; T_2  T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
* Aus &amp;lt;math&amp;gt;T_1 \leq T_2&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;T_3 \leq T_4&amp;lt;/math&amp;gt; folgt &amp;lt;math&amp;gt;T_1  T_3 \leq T_2  T_4&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
=== Anwenden einer Funktion ===&lt;br /&gt;
Durch Anwenden einer [[Streng monotone Funktion|streng monotonen Funktion]] auf beide Seiten einer Ungleichung erhält man wieder eine Ungleichung mit derselben Lösungsmenge wie die Ausgangs-Ungleichung.&lt;br /&gt;
&lt;br /&gt;
Ähnlich wie bei den Monotoniegesetzen allerdings muss auch hier unter Umständen das Vergleichszeichen gedreht werden. Wendet man nämlich eine streng monoton &amp;#039;&amp;#039;wachsende&amp;#039;&amp;#039; Funktion auf beide Seiten an, ändert sich das Vergleichszeichen dadurch nicht, wohl aber, wenn man eine streng monoton &amp;#039;&amp;#039;fallende&amp;#039;&amp;#039; Funktion benutzt: In diesem Fall muss das Vergleichszeichen &amp;lt;math&amp;gt;&amp;lt;&amp;lt;/math&amp;gt; dann durch das entsprechend umgekehrte Zeichen &amp;lt;math&amp;gt;&amp;gt;&amp;lt;/math&amp;gt; ersetzt werden, analog das Vergleichszeichen &amp;lt;math&amp;gt;\leq&amp;lt;/math&amp;gt; durch das &amp;lt;math&amp;gt;\geq&amp;lt;/math&amp;gt;-Zeichen und umgekehrt.&lt;br /&gt;
&lt;br /&gt;
==== Beispiele ====&lt;br /&gt;
Der [[Natürlicher Logarithmus|natürliche Logarithmus]] &amp;lt;math&amp;gt;\ln&amp;lt;/math&amp;gt; und die Wurzelfunktion &amp;lt;math&amp;gt;\surd&amp;lt;/math&amp;gt; sind streng monoton &amp;#039;&amp;#039;wachsende&amp;#039;&amp;#039; Funktionen und können daher, ohne dass man dabei die Vergleichszeichen drehen müsste, zur Umformung von Ungleichungen verwendet werden. Seien &amp;lt;math&amp;gt;T_1, T_2&amp;lt;/math&amp;gt; zwei Terme, gilt dann dementsprechend zum Beispiel&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;0 &amp;lt; T_1 &amp;lt; T_2 \Leftrightarrow \ln(T_1) &amp;lt; \ln(T_2) \Leftrightarrow \sqrt{T_1} &amp;lt; \sqrt{T_2}\,.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Vorsicht dagegen ist geboten, wenn es sich um [[Exponentialfunktion]]en handelt, die je nach ihrer Basis &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; streng monoton steigend, aber auch fallend sein können:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;0 &amp;lt; T_1 &amp;lt; T_2 \Leftrightarrow a^{T_1} &amp;lt; a^{T_2} \quad \mathtt{f\ddot ur \ a &amp;gt; 1, \ aber:} \quad a^{T_1} &amp;gt; a^{T_2} \quad \mathtt{f\ddot ur \ a &amp;lt; 1} .&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Gleiches gilt für den Logarithmus zu einer beliebigen Basis &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt;:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;0 &amp;lt; T_1 &amp;lt; T_2 \Leftrightarrow \log_a(T_1) &amp;lt; \log_a(T_2) \quad \mathtt{f\ddot ur \ a &amp;gt; 1, \ aber:} \quad \log_a(T_1) &amp;gt; \log_a(T_2) \quad \mathtt{f\ddot ur \ a &amp;lt; 1} .&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Zum Beispiel:&lt;br /&gt;
:&amp;lt;math&amp;gt;0 &amp;lt; 0{,}8^n \leq 0{,}05 \quad \mathtt{aber:} \quad n \, \geq \, \log_{{0,8}}(0{,}05) \quad \mathtt{bzw.} \quad n \, \geq \, \frac{\ln(0{,}05)}{\ln(0{,}8)}&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\log_{{0{,}8}}(0{,}05)\approx13{,}43;\quad n\geq13{,}43&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Lösen von Ungleichungen ==&lt;br /&gt;
{{Hauptartikel|Lösen von Ungleichungen}}&lt;br /&gt;
&lt;br /&gt;
Eine Frage beim Umgang mit Ungleichungen ist – ähnlich wie bei der [[Lösung (Mathematik)|Lösung]] von [[Gleichung]]en – die Frage nach der [[Lösungsmenge]] der Ungleichung. Hier ist die Frage zu beantworten, ob und wenn ja welche Elemente der Definitionsbereiche beim Einsetzen in die beiden Terme eine wahre oder falsche Aussage liefern. Eine wichtige Technik zum Finden der Lösungsmenge ist das Umformen der Ungleichung in eine einfachere Form.&lt;br /&gt;
&lt;br /&gt;
== Abschätzungen ==&lt;br /&gt;
Häufig ist nicht die Bestimmung einer Lösungsmenge einer Ungleichung von Interesse, sondern es kann auch von Interesse sein, einen Term zusammen mit seiner Definitionsmenge durch einen anderen Term mit der gleichen Definitionsmenge abzuschätzen. Eine Ungleichung &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; nennt man dann auch eine Abschätzung und sagt, man habe &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; nach oben durch &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; und umgekehrt &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; nach unten durch &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; abgeschätzt. Eine Abschätzung &amp;lt;math&amp;gt;T_1 &amp;lt; T_2&amp;lt;/math&amp;gt; von &amp;lt;math&amp;gt;T_1&amp;lt;/math&amp;gt; nach oben wird „vergröbert“, indem man „&amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; vergrößert“, das heißt, indem man &amp;lt;math&amp;gt;T_2&amp;lt;/math&amp;gt; durch eine Zahl &amp;lt;math&amp;gt;T_3 &amp;gt; T_2&amp;lt;/math&amp;gt; ersetzt; nach dem [[Transitivitätsgesetz]] gilt dann auch die Abschätzung &amp;lt;math&amp;gt;T_1 &amp;lt; T_3&amp;lt;/math&amp;gt;. Bei der Untersuchung von [[Grenzwert (Folge)|Grenzwerten]] kann man beispielsweise komplizierte Ausdrücke so vergrößern, dass man leichter sehen kann, dass der Grenzwert des Ausgangsterms unter einer [[Obere Schranke|Schranke]] bleibt.&amp;lt;ref&amp;gt;{{Literatur |Autor=Steffen Goebbels, Stefan Ritter |Titel=Mathematik verstehen und anwenden – von den Grundlagen bis zu Fourier-Reihen und Laplace-Transformation |Verlag=Springer-Verlag |Datum=2018-04-26 |ISBN=978-3-662-57394-5 |Seiten=68 |Online=https://books.google.de/books?id=sppYDwAAQBAJ&amp;amp;pg=PA68&amp;amp;dq=absch%C3%A4tzung+ungleichung&amp;amp;hl=de&amp;amp;newbks=1&amp;amp;newbks_redir=0&amp;amp;sa=X&amp;amp;ved=2ahUKEwiynvTrzPn5AhWKiv0HHZWpD3EQ6AF6BAgUEAI#v=onepage&amp;amp;q=absch%C3%A4tzung%20ungleichung&amp;amp;f=false |Abruf=2022-09-04}}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{Literatur |Autor=Harro Heuser |Titel=Lehrbuch der Analysis Teil 1. Mit 811 Aufgaben, zum Teil mit Lösungen |Auflage=17., aktualisierte Aufl |Ort=Wiesbaden |Datum=2009 |ISBN=978-3-8348-0777-9 |Seiten=45 |Online= |Abruf=}}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{Literatur |Autor=Wladyslaw Sojka |Titel=Einführung in die Analysis |Verlag=BoD – Books on Demand |Datum=2001-09 |ISBN=978-3-8311-2303-2 |Seiten=56 |Online=https://books.google.de/books?id=Xh90rZFlsAsC&amp;amp;pg=PA56&amp;amp;dq=Obere+Absch%C3%A4tzung+untere+Absch%C3%A4tzung+definition&amp;amp;hl=de&amp;amp;newbks=1&amp;amp;newbks_redir=0&amp;amp;sa=X&amp;amp;ved=2ahUKEwjy8vL0svn5AhWxQvEDHQSVC7IQ6AF6BAghEAI#v=onepage&amp;amp;q=Obere%20Absch%C3%A4tzung%20untere%20Absch%C3%A4tzung%20definition&amp;amp;f=false |Abruf=2022-09-04}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Bekannte Ungleichungen ==&lt;br /&gt;
In allen mathematischen Teilgebieten gibt es [[Satz (Mathematik)|Sätze]] zur Gültigkeit von Ungleichungen. Das heißt, gewisse mathematische Aussagen sichern unter bestimmten Umständen die Richtigkeit einer vorgegebenen Ungleichung für eine gewisse Definitionsmenge. Im Folgenden werden einige wichtige Ungleichungen kurz erwähnt.&lt;br /&gt;
&lt;br /&gt;
=== Dreiecksungleichung ===&lt;br /&gt;
{{Hauptartikel|Dreiecksungleichung}}&lt;br /&gt;
&lt;br /&gt;
Nach der Dreiecksungleichung ist im [[Dreieck]] die Summe der Längen zweier Seiten &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; stets mindestens so groß wie die Länge der dritten Seite &amp;lt;math&amp;gt;c&amp;lt;/math&amp;gt;. Das heißt formal &amp;lt;math&amp;gt;c \leq a + b&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Diese Ungleichung kann für viele mathematische Objekte verallgemeinert werden. Beispielsweise ist die Ungleichung&lt;br /&gt;
:&amp;lt;math&amp;gt;|a+b| \le |a|+|b|&amp;lt;/math&amp;gt;&lt;br /&gt;
für die [[Betragsfunktion]] eine Verallgemeinerung der zuvor genannten Ungleichung und gilt für alle reellen Zahlen. Sie trägt ebenfalls den Namen Dreiecksungleichung. Diese Ungleichung kann auch für Betrag [[Komplexe Zahl|komplexer Zahlen]] oder für [[Integralrechnung|Integrale]] verallgemeinert werden (siehe [[Minkowski-Ungleichung]]).&lt;br /&gt;
&lt;br /&gt;
=== Cauchy-Schwarz-Ungleichung ===&lt;br /&gt;
{{Hauptartikel|Cauchy-Schwarzsche Ungleichung}}&lt;br /&gt;
&lt;br /&gt;
Sei &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; [[Prähilbertraum]] also ein [[Vektorraum]] mit [[Skalarprodukt]] &amp;lt;math&amp;gt;\langle \cdot,\cdot \rangle&amp;lt;/math&amp;gt; und seien &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;y&amp;lt;/math&amp;gt; Elemente aus &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;, dann gilt immer die Ungleichung&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;|\langle x,y \rangle|^2 \leq \langle x, x\rangle \cdot \langle y,y\rangle \,.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Gleichheit gilt genau dann, wenn &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;y&amp;lt;/math&amp;gt; [[linear abhängig]] sind. Vektorräume mit Skalarprodukt treten in vielen mathematischen Teilgebieten auf. Daher ist die [[Cauchy-Schwarzsche Ungleichung|Cauchy-Schwarz-Ungleichung]] auch in vielen Teildisziplinen der Mathematik von Bedeutung, beispielsweise wird sie in der [[Lineare Algebra|linearen Algebra]], der [[Integralrechnung|Integrationstheorie]] und in der [[Wahrscheinlichkeitstheorie]] verwendet.&lt;br /&gt;
&lt;br /&gt;
== Erweiterung des Begriffes ==&lt;br /&gt;
Bis jetzt wurden in diesem Artikel nur Ungleichungen betrachtet, deren Terme Werte in den reellen Zahlen annehmen. Der Ungleichungsbegriff wird gelegentlich – jedoch &amp;#039;&amp;#039;nicht&amp;#039;&amp;#039; einheitlich – zum Beispiel auf [[komplexe Zahlen]], [[Vektor]]en oder [[Matrix (Mathematik)|Matrizen]] erweitert. Um Ungleichungen für diese Objekte betrachten zu können, müssen zuerst die vier Vergleichszeichen &amp;lt;, ≤, &amp;gt; und ≥ – im Folgenden auch Relationen genannt – für diese Objekte definiert werden.&lt;br /&gt;
&lt;br /&gt;
=== Komplexe Zahlen ===&lt;br /&gt;
Die Menge der [[Komplexe Zahl|komplexen Zahlen]] &amp;lt;math&amp;gt;\mathbb{C}&amp;lt;/math&amp;gt; ist zusammen mit der üblichen Addition und Multiplikation ein [[Körper (Algebra)|Körper]], jedoch ist es nicht möglich eine Relation ≤ so zu wählen, dass &amp;lt;math&amp;gt;(\mathbb{C},+,\times,\le)&amp;lt;/math&amp;gt; zu einem [[Geordneter Körper|geordneten Körper]] wird. Das heißt, es ist nicht möglich, dass eine Relation auf &amp;lt;math&amp;gt;(\mathbb{C},+,\times,\le)&amp;lt;/math&amp;gt; sowohl das [[Trichotomie]]-, das Transitivitäts- und das Monotoniegesetz erfüllt. Jedoch wird manchmal eine Relation, die durch&lt;br /&gt;
:&amp;lt;math&amp;gt;x &amp;lt; y :\Leftrightarrow \operatorname{Re}(x) &amp;lt; \operatorname{Re}(y) \lor \left(\operatorname{Re}(x) = \operatorname{Re}(y) \land \operatorname{Im}(x) &amp;lt; \operatorname{Im}(y)\right)&amp;lt;/math&amp;gt;&lt;br /&gt;
definiert ist, betrachtet. Hierbei bezeichnen &amp;lt;math&amp;gt;x,y&amp;lt;/math&amp;gt; komplexe Zahlen und &amp;lt;math&amp;gt;\operatorname{Re}&amp;lt;/math&amp;gt; den [[Realteil]] beziehungsweise &amp;lt;math&amp;gt;\operatorname{Im}&amp;lt;/math&amp;gt; den [[Imaginärteil]] einer komplexen Zahl. Diese Definition der Relation erfüllt das Trichotomie- und das Transitivitätsgesetz.&amp;lt;ref&amp;gt;Tobias Hemmert: &amp;#039;&amp;#039;Komplexe Zahlen: Konstruktion aus den reellen Zahlen, Darstellung und Anwendung in der Physik&amp;#039;&amp;#039;. 1. Auflage, 2010, ISBN 978-3-656-00717-3, Seite 7.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Spaltenvektoren ===&lt;br /&gt;
&lt;br /&gt;
Auch für [[Spaltenvektor]]en ist es möglich Relationen zu definieren. Seien &amp;lt;math&amp;gt;x,y\in\mathbb{R}^n&amp;lt;/math&amp;gt; zwei Spaltenvektoren mit &amp;lt;math&amp;gt;x = (x_1,x_2,\ldots,x_n)^T&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;y = (y_1,y_2,\ldots,y_n)^T&amp;lt;/math&amp;gt; wobei &amp;lt;math&amp;gt;x_i&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;y_i&amp;lt;/math&amp;gt; reelle Zahlen sind. Relationen auf &amp;lt;math&amp;gt;\R^n&amp;lt;/math&amp;gt; kann man dann beispielsweise durch&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;x &amp;lt; y :\Leftrightarrow i=1,\ldots,n:\ x_i &amp;lt; y_i&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
und durch&lt;br /&gt;
:&amp;lt;math&amp;gt;x \leq y :\Leftrightarrow i=1,\ldots,n:\ x_i \leq y_i&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
definieren. Analog kann man auch die Relationen ≥ und &amp;gt; erklären. Hier ist es allerdings nicht möglich, alle Elemente miteinander zu vergleichen. Beispielsweise kann keines der vier Vergleichszeichen ein Verhältnis zwischen den Elementen &amp;lt;math&amp;gt;x := (2,5)^T&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;y := (3,4)^T&amp;lt;/math&amp;gt; beschreiben.&lt;br /&gt;
&lt;br /&gt;
=== Weitere Beispiele ===&lt;br /&gt;
* Ist &amp;lt;math&amp;gt;A\in\R^{n \times n}&amp;lt;/math&amp;gt;, so definiert man &amp;lt;math&amp;gt;A&amp;gt;0&amp;lt;/math&amp;gt; genau dann, wenn &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt; [[Definitheit|positiv definit]] ist. Sind &amp;lt;math&amp;gt;A,B\in\R^{n \times n}&amp;lt;/math&amp;gt;, so gilt &amp;lt;math&amp;gt;A&amp;gt;B&amp;lt;/math&amp;gt; genau dann, wenn &amp;lt;math&amp;gt;A-B&amp;gt;0&amp;lt;/math&amp;gt;. Ähnlich können auch &amp;lt;math&amp;gt;&amp;lt;&amp;lt;/math&amp;gt; oder &amp;lt;math&amp;gt;\le,\ge&amp;lt;/math&amp;gt; (semidefinit) definiert werden.&lt;br /&gt;
* Sei &amp;lt;math&amp;gt;(E,\|\cdot\|)&amp;lt;/math&amp;gt; ein reeller [[Banachraum]] und &amp;lt;math&amp;gt;K\subseteq E&amp;lt;/math&amp;gt; ein [[Kegel (Geometrie)|Kegel]]. Sind &amp;lt;math&amp;gt;x,y\in E&amp;lt;/math&amp;gt;, so gilt &amp;lt;math&amp;gt;x\le y&amp;lt;/math&amp;gt; genau dann, wenn &amp;lt;math&amp;gt;y-x\in K&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
== Geschichte ==&lt;br /&gt;
Schon in der [[Antike]] waren Ungleichungen geometrischer Natur bekannt. In Euklids [[Die Elemente|Elementen]] werden die [[Dreiecksungleichung]], die Ungleichung vom arithmetischen und [[Geometrisches Mittel|geometrischen Mittel]] für den zweidimensionalen Fall und die [[isoperimetrische Ungleichung]] angegeben. Strenge Beweise zogen sich aber bis ins 19. und 20. Jahrhundert hin. Die Art und Weise, wie [[Archimedes]] eine Näherung für die [[Kreiszahl]] berechnete, zeigt, dass die Griechen ein Verständnis dafür hatten, wie man mit Ungleichungen umgeht. Danach gab es lange Zeit keine größeren Fortschritte mehr, ehe [[Isaac Newton|Newton]] seine [[Newtonsche Ungleichungen|nach ihm benannten Ungleichungen]] im 17. Jahrhundert entdeckte, die in einer [[Maclaurin-Ungleichung|ähnlichen Form]] seinem Zeitgenossen [[Colin Maclaurin]] bekannt waren. Mit dem Aufkommen der [[Analysis]] kam ein großer Aufschwung in die Forschung der Ungleichungen auf, weshalb die meisten Ungleichungen nach Mathematikern nach dem 17. Jahrhundert benannt sind.&amp;lt;ref&amp;gt;A. M. Fink: &amp;#039;&amp;#039;An essay on the history of inequalities&amp;#039;&amp;#039; in: &amp;#039;&amp;#039;Journal of Mathematical Analysis and Applications&amp;#039;&amp;#039;, Band 249, S. 120 ff.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Seit dem 20. Jahrhundert gibt es auch das Interesse, das Gebiet der Ungleichungen selbst zu erforschen. Die Mathematiker [[Godfrey Harold Hardy|G. H. Hardy]], [[John Edensor Littlewood|J. E. Littlewood]] und [[George Polya|G. Pólya]] veröffentlichten mit dem 1934 erschienenen Buch &amp;#039;&amp;#039;Inequalities&amp;#039;&amp;#039; eine erste systematische Sammlung der Ungleichungen mit Angaben des Entdeckers.&amp;lt;ref&amp;gt;{{Literatur&lt;br /&gt;
   |Autor=[[Godfrey Harold Hardy|G. H. Hardy]], [[John Edensor Littlewood|J. E. Littlewood]], [[George Polya|G. Pólya]]&lt;br /&gt;
   |Titel=Inequalities&lt;br /&gt;
   |TitelErg=Reprint (of the 2. edition 1952)&lt;br /&gt;
   |Verlag=[[Cambridge University Press]]&lt;br /&gt;
   |Ort=Cambridge&lt;br /&gt;
   |Datum=1964}}&amp;lt;/ref&amp;gt; Eines der umfangreichsten Werke ist das von [[Dragoslav Mitrinović]], der in mehreren Büchern versuchte, alle damals bekannten Ungleichungen zu sammeln.&lt;br /&gt;
&lt;br /&gt;
== Siehe auch ==&lt;br /&gt;
* [[Ungleichung von Guha]]&lt;br /&gt;
* [[Ungleichung von Hilbert]]&lt;br /&gt;
* [[Ungleichung von Mulholland]]&lt;br /&gt;
* [[Ungleichung von Popoviciu]]&lt;br /&gt;
* [[Wallissche Ungleichungen]]&lt;br /&gt;
&lt;br /&gt;
== Literatur ==&lt;br /&gt;
* {{Literatur&lt;br /&gt;
   |Autor=[[Edwin F. Beckenbach]], [[Richard Bellman]]&lt;br /&gt;
   |Titel=Inequalities&lt;br /&gt;
   |Reihe=Ergebnisse der Mathematik und ihrer Grenzgebiete&lt;br /&gt;
   |BandReihe=30&lt;br /&gt;
   |Auflage=4.&lt;br /&gt;
   |Verlag=[[Springer Science+Business Media|Springer Verlag]]&lt;br /&gt;
   |Ort=Berlin, Heidelberg, New York, Tokyo&lt;br /&gt;
   |Datum=1983&lt;br /&gt;
   |ISBN=3-540-03283-5}}&lt;br /&gt;
* {{Literatur&lt;br /&gt;
   |Hrsg=Walter Gellert, [[Herbert Kästner]], Siegfried Neuber&lt;br /&gt;
   |Titel=Fachlexikon ABC Mathematik&lt;br /&gt;
   |Verlag=Verlag Harri Deutsch&lt;br /&gt;
   |Ort=Thun und Frankfurt/Main&lt;br /&gt;
   |Datum=1978&lt;br /&gt;
   |ISBN=3-87144-336-0}}&lt;br /&gt;
* {{Literatur&lt;br /&gt;
   |Autor=[[Godfrey Harold Hardy|G. H. Hardy]], [[John Edensor Littlewood|J. E. Littlewood]], [[George Polya|G. Pólya]]&lt;br /&gt;
   |Titel=Inequalities&lt;br /&gt;
   |TitelErg=Reprint (of the 2. edition 1952)&lt;br /&gt;
   |Verlag=[[Cambridge University Press]]&lt;br /&gt;
   |Ort=Cambridge&lt;br /&gt;
   |Datum=1964}}&lt;br /&gt;
* {{Literatur&lt;br /&gt;
   |Autor=[[Harro Heuser]]&lt;br /&gt;
   |Titel=Lehrbuch der Analysis&lt;br /&gt;
   |TitelErg=Teil 1&lt;br /&gt;
   |Auflage=17.&lt;br /&gt;
   |Verlag=[[Springer Vieweg|Vieweg+Teubner Verlag]]&lt;br /&gt;
   |Ort=Wiesbaden&lt;br /&gt;
   |Datum=2009&lt;br /&gt;
   |ISBN=978-3-8348-0777-9&lt;br /&gt;
   |Online=[http://www.ams.org/mathscinet/search/publdoc.html?arg3=&amp;amp;co4=AND&amp;amp;co5=AND&amp;amp;co6=AND&amp;amp;co7=AND&amp;amp;dr=all&amp;amp;pg4=AUCN&amp;amp;pg5=TI&amp;amp;pg6=AUCN&amp;amp;pg7=ALLF&amp;amp;pg8=ET&amp;amp;review_format=html&amp;amp;s4=Heuser&amp;amp;s5=Analysis&amp;amp;s6=&amp;amp;s7=&amp;amp;s8=All&amp;amp;sort=Newest&amp;amp;vfpref=html&amp;amp;yearRangeFirst=&amp;amp;yearRangeSecond=&amp;amp;yrop=eq&amp;amp;r=2&amp;amp;mx-pid=2502662 MR2502662]}}&lt;br /&gt;
* * {{Literatur&lt;br /&gt;
   |Autor=[[Dragoslav Mitrinović|D. S. Mitrinović]]&lt;br /&gt;
   |Titel=Analytic Inequalities&lt;br /&gt;
   |TitelErg=In cooperation with [[Petar Vasić|P. M. Vasić]]&lt;br /&gt;
   |Reihe=Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete&lt;br /&gt;
   |BandReihe=165&lt;br /&gt;
   |Verlag=[[Springer Science%2BBusiness Media|Springer Verlag]]&lt;br /&gt;
   |Ort=Berlin, Heidelberg, New York &lt;br /&gt;
   |Datum=1970&lt;br /&gt;
   |ISBN=978-3-642-99972-7&lt;br /&gt;
   |DOI=10.1007/978-3-642-99970-3&lt;br /&gt;
   |Online=[https://zbmath.org/0199.38101  --&amp;gt; zbMATH Open]}}&lt;br /&gt;
&lt;br /&gt;
∞== Einzelnachweise und Fußnoten ==&lt;br /&gt;
&amp;lt;references /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Kategorie:Ungleichung| ]]&lt;/div&gt;</summary>
		<author><name>imported&gt;TaxonKatBot</name></author>
	</entry>
</feed>