Dreiecksungleichung - LinkFang.de





Dreiecksungleichung


Die Dreiecksungleichung ist in der Geometrie ein Satz, der besagt, dass eine Dreiecksseite höchstens so lang wie die Summe der beiden anderen Seiten ist. Das „höchstens“ schließt dabei den Sonderfall der Gleichheit ein. Die Dreiecksungleichung spielt auch in anderen Teilgebieten der Mathematik wie der Linearen Algebra oder der Funktionalanalysis eine wichtige Rolle.

Formen der Dreiecksungleichung

Dreiecksungleichung für Dreiecke

Nach der Dreiecksungleichung ist im Dreieck die Summe der Längen zweier Seiten a und b stets mindestens so groß wie die Länge der dritten Seite c. Das heißt formal:

[math]c \leq a + b[/math]

Man kann auch sagen, der Abstand von A nach B ist stets höchstens so groß wie der Abstand von A nach C und von C nach B zusammen, oder um es populär auszudrücken: „Der direkte Weg ist immer der kürzeste.“

Das Gleichheitszeichen gilt dabei nur, wenn das Dreieck entartet ist und a und b Teilstrecken von c sind.

Da aus Symmetriegründen auch [math] a \leq c + b[/math] gilt, folgt [math]a-b\leq c[/math], analog erhält man [math]b-a\leq c[/math], insgesamt also

[math]\left| a-b \right|\le c\le a+b[/math].

Die linke Ungleichung [math]\left| a-b \right|\le c[/math] wird gelegentlich auch als umgekehrte Dreiecksungleichung bezeichnet.

Die Dreiecksungleichung charakterisiert Abstands- und Betragsfunktionen. Sie wird daher als ein Axiom der abstrakten Abstandsfunktion in metrischen Räumen verwendet.

Dreiecksungleichung für reelle Zahlen

Für reelle Zahlen gilt: [math]|a+b| \le |a|{+}|b|.[/math]

Beweis

Weil beide Seiten der Ungleichung nicht negativ sind, ist Quadrieren eine Äquivalenzumformung:
[math] a^2{+}2ab{+}b^2\ \le\ a^2{+}2{|ab|}{+}b^2.[/math]
Durch Streichen identischer Terme gelangen wir zur äquivalenten Ungleichung
[math] 2ab \le 2|ab|.[/math]
Diese Ungleichung gilt, weil [math]x \le {|x|}[/math] für beliebige [math]x\in\R.[/math]

Umgekehrte Dreiecksungleichung

Wie beim Dreieck lässt sich auch eine umgekehrte Dreiecksungleichung herleiten:

Es gilt [math]|a+b|-|b| \le |a|.[/math] Einsetzen von [math]a := x +y,\ b:= -y[/math] gibt

[math]|x|-|y| \le |x+y|,[/math]

setzt man stattdessen [math]b:= -x[/math] so ergibt sich

[math]|y|-|x| \le |x+y|,[/math]

zusammen also (denn für beliebige reelle Zahlen [math]u[/math] und [math]c[/math] mit [math]u \leq c[/math] und [math]-u \leq c[/math] gilt auch [math]|u| \le c[/math])

[math]\Big||x|-|y|\Big| \le |x+y| \le |x|+|y|.[/math]

Ersetzt man [math]y[/math] durch [math]-y,[/math] so erhält man auch

[math]\Big||x|-|y|\Big| \le |x-y| \le |x|+|y|.[/math]

Insgesamt also

[math]\Big| |x|-|y|\Big| \le |x \pm y| \le |x|+|y|[/math] für alle [math]x,\,y\in\R.[/math]

Dreiecksungleichung für komplexe Zahlen

Für komplexe Zahlen gilt:

[math]|z_1+z_2| \le |z_1|{+}|z_2|.[/math]

Beweis

Da alle Seiten nichtnegativ sind, ist Quadrieren eine Äquivalenzumformung und man erhält
[math] z_1\overline{z_1}{+}z_1\overline{z_2}{+}{\underbrace{\overline{z_1}z_2}_{=\overline{z_1\overline{z_2}}}}{+}z_2\overline{z_2}\ \le\ z_1\overline{z_1}{+}2{\underbrace{|z_1 z_2|}_{=|z_1\overline{z_2}|}}{+}z_2\overline{z_2}, [/math]
wobei der Überstrich komplexe Konjugation bedeutet. Streicht man identische Terme und setzt [math]z\mathrel{:=\,} z_1\overline{z_2},[/math] so bleibt
[math]z{+}\bar z \le 2{|z|}[/math]
zu zeigen. Mit [math]z = u{+}iv[/math] erhält man
[math](u{+}iv){+}(u{-}iv) = 2u \le 2\sqrt{u^2{+}v^2}[/math]
bzw.
[math]|u| \le \sqrt{u^2{+}v^2},[/math]
was wegen [math]0 \le v^2\ [/math] und der Monotonie der (reellen) Wurzelfunktion immer erfüllt ist.

Analog wie im reellen Fall folgt aus dieser Ungleichung auch

[math]\Big| |z_1|{-}|z_2|\Big| \le |z_1{\pm}z_2| \le |z_1|{+}|z_2|[/math] für alle [math]z_1,\,z_2\in\mathbb{C}.[/math]

Dreiecksungleichung von Betragsfunktionen für Körper

Zusammen mit anderen Forderungen wird eine Betragsfunktion für einen Körper [math]K[/math] auch durch die

Dreiecksungleichung [math]\varphi(x + y) \leq \varphi(x) + \varphi(y)[/math]

etabliert. Sie hat zu gelten für alle [math]x,y\in K.[/math] Sind alle Forderungen (s. Artikel Betragsfunktion) erfüllt, dann ist [math]\varphi[/math] eine Betragsfunktion für den Körper [math]K.[/math]

Ist [math]\varphi(n) \leq 1[/math] für alle ganzen [math]n:=\underbrace {1+\dots+1}_{n \text{-mal}}[/math], dann nennt man den Betrag nichtarchimedisch, andernfalls archimedisch.

Bei nichtarchimedischen Beträgen gilt die

verschärfte Dreiecksungleichung [math]\varphi(x + y)\leq\max(\varphi(x),\varphi(y)).[/math]

Sie macht den Betrag zu einem ultrametrischen. Umgekehrt ist jeder ultrametrische Betrag nichtarchimedisch.

Dreiecksungleichung für Summen und Integrale

Mehrmalige Anwendung der Dreiecksungleichung bzw. vollständige Induktion ergibt

[math]\left|\sum_{i=1}^n x_i\right| \leq \sum_{i=1}^n \left| x_i\right|[/math]

für reelle oder komplexe Zahlen [math]x_i\;[/math]. Diese Ungleichung gilt auch, wenn Integrale anstelle von Summen betrachtet werden:

Ist [math]f:I\to\Bbb{R}[/math], wobei [math]I=[a,b]\,[/math] ein Intervall ist, Riemann-integrierbar, dann gilt

[math]\left|\int_I f(x)\, dx\right|\le \int_I |f(x)|\, dx[/math].[1]

Dies gilt auch für komplexwertige Funktionen [math]f:I\to\Bbb{C}[/math], vgl.[2]. Dann existiert nämlich eine komplexe Zahl [math]\alpha\;[/math] so, dass

[math]\alpha\int_I f(x)\, dx=\left|\int_I f(x)\, dx\right|[/math] und [math]|\alpha|=1\;[/math].

Da

[math]\left|\int_I f(x)\, dx\right|=\alpha\int_I f(x)\, dx=\int_I \alpha\, f(x)\, dx=\int_I \operatorname{Re}(\alpha f(x))\, dx+i\,\int_I \operatorname{Im}(\alpha f(x))\,dx[/math]

reell ist, muss [math]\int_I \operatorname{Im}(\alpha f(x))\,dx[/math] gleich Null sein. Außerdem gilt

[math]\operatorname{Re}(\alpha f(x)) \leq |\alpha f(x)| = |f(x)|[/math],

insgesamt also

[math]\left|\int_I f(x)\, dx\right| =\int_I\operatorname{Re}(\alpha f(x))\, dx \le \int_I|f(x)|\, dx[/math].

Dreiecksungleichung für Vektoren

Für Vektoren gilt:

[math]\left| \vec{a} + \vec{b} \right| \le \left| \vec{a} \right| + \left| \vec{b} \right|[/math].

Die Gültigkeit dieser Beziehung sieht man durch Quadrieren

[math]\left| \vec{a} + \vec{b} \right|^2 = \left\langle \vec{a} + \vec{b}, \vec{a} + \vec{b}\right\rangle = \left| \vec{a} \right|^2+ 2 \left\langle\vec{a},\vec{b}\right\rangle+\left|\vec{b} \right|^2 \le \left| \vec{a} \right|^2+ 2 \left|\vec{a}\right| \left|\vec{b}\right|+\left|\vec{b} \right|^2 = \left(\left| \vec{a} \right| + \left| \vec{b} \right|\right)^2[/math],

unter Anwendung der Cauchy-Schwarzschen Ungleichung:

[math]\langle \vec{a}, \vec{b}\rangle \le \left| \vec{a}\right|\cdot\left|\vec{b}\right|[/math].

Auch hier folgt wie im reellen Fall

[math]\Big|\left| \vec{a} \right| - \left| \vec{b} \right| \,\,\Big|\le\left| \vec{a} \pm \vec{b} \right| \le \left| \vec{a} \right| + \left| \vec{b} \right|[/math]

sowie

[math]\left|\sum_{i=1}^{n} \vec{a_i}\right| \leq \sum_{i=1}^{n}\left|\vec{a_i}\right|. [/math]

Dreiecksungleichung für sphärische Dreiecke

In sphärischen Dreiecken gilt die Dreiecksungleichung im Allgemeinen nicht.

Sie gilt jedoch, wenn man sich auf eulersche Dreiecke beschränkt, also solche, in denen jede Seite kürzer als ein halber Großkreis ist.

In nebenstehender Abbildung gilt zwar

[math]\left|a - b\right| \le c_1 \le a + b,[/math]

jedoch ist [math]c_2 \gt a+b[/math].

Dreiecksungleichung für normierte Räume

In einem normierten Raum [math]\left(X,\|{\cdot}\|\right)[/math] wird die Dreiecksungleichung in der Form

[math]\|x+y\|\leq \|x\|+\|y\|[/math]

als eine der Eigenschaften gefordert, die die Norm für alle [math]x,y\in X\;[/math]erfüllen muss. Insbesondere folgt auch hier

[math]\Big|\|x\|-\|y\|\Big| \le \|x\pm y\|\leq \|x\|+\|y\|[/math]

sowie

[math]\left\|\sum_{i=1}^n x_i\right\| \leq \sum_{i=1}^{n}\|x_i\|[/math] für alle [math]x_i\in X\;[/math].

Im Spezialfall der Lp-Räume wird die Dreiecksungleichung Minkowski-Ungleichung genannt und mittels der Hölderschen Ungleichung bewiesen.

Dreiecksungleichung für metrische Räume

In einem metrischen Raum [math]\left(X,d\right)[/math] wird als Axiom für die abstrakte Abstandsfunktion verlangt, dass die Dreiecksungleichung in der Form

[math]d(x,y)\leq d(x,z) + d (z,y)[/math]

für alle [math]x,y,z \in X[/math] erfüllt ist. In jedem metrischen Raum gilt also per Definition die Dreiecksungleichung. Daraus lässt sich ableiten, dass in einem metrischen Raum auch die umgekehrte Dreiecksungleichung

[math]\left| d(x,z) - d (z,y)\right|\leq d(x,y)[/math]

für alle [math]x,y,z \in X[/math] gilt. Außerdem gilt für beliebige [math]x_i \in X\;[/math] die Ungleichung

[math]d(x_0,x_n)\leq \sum_{i=1}^n d(x_{i-1},x_i)[/math].

Einzelnachweise

  1. Harro Heuser: Lehrbuch der Analysis, Teil 1. 8. Auflage. B. G. Teubner, Stuttgart 1990, ISBN 3-519-12231-6. Satz 85.1
  2. Walter Rudin: Real and Complex Analysis. MacGraw-Hill 1986, ISBN 0-07-100276-6. Theorem 1.33

Siehe auch


Kategorien: Ungleichung | Dreiecksgeometrie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Dreiecksungleichung (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.