In der Mathematik besagt die Ungleichung von Weitzenböck, benannt nach Roland Weitzenböck, dass für ein Dreieck ABC mit den Seitenlängen ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ und seiner Fläche ${\displaystyle F}$ folgende Aussage gilt:

${\displaystyle a^{2}+b^{2}+c^{2}\geq 4{\sqrt {3}}\,F}$.

Gleichheit gilt genau dann, wenn das Dreieck gleichseitig ist. Die Ungleichung von Pedoe ist eine Verallgemeinerung der Ungleichung von Weitzenböck auf zwei Dreiecke. Eine Verschärfung der Ungleichung von Weitzenböck liefert die Ungleichung von Hadwiger-Finsler.

Geometrische Deutung und Beweis

Stellt man die Gleichung etwas um, so erhält man eine Darstellung, aus deren geometrischer Deutung sich ein einfacher geometrischer Beweis ergibt.

${\displaystyle {\frac {\sqrt {3}}{4}}a^{2}+{\frac {\sqrt {3}}{4}}b^{2}+{\frac {\sqrt {3}}{4}}c^{2}\geq 3F}$.

Hier steht auf der linken Seite der Ungleichung die Summe der Flächen der gleichseitigen Dreiecke die über den Seiten des Dreiecks ABC errichtet worden sind, diese ist also immer größer oder gleich der dreifachen Fläche des Dreiecks ABC.

${\displaystyle F_{a}+F_{b}+F_{c}\geq 3F}$.

Zerlegt man das Dreieck ABC nun an seinem Fermatpunkt P in drei Teildreiecke, so besitzt jedes dieser Teildreiecke einen ${\displaystyle 120^{\circ }}$-Winkel in P und passt dreimal in das anliegende gleichseitige Dreieck. Auf diese Weise hat man die dreifache Fläche des Dreiecks ABC innerhalb der gleichseitigen Dreiecke erzeugt, deren Flächensumme damit größer oder gleich sein muss. Diese Zerlegung des Dreiecks ABC ist aber nur möglich, wenn alle seine Innenwinkel kleiner als ${\displaystyle 120^{\circ }}$ sind. Ist dies nicht der Fall, so kann man aber das gesamte Dreieck dreimal innerhalb des gleichseitigen Dreiecks über der längsten Seite unterbringen, womit die Flächensumme aller gleichseitigen Dreieck erst recht größer ist.

Beweis mit der Formel von Heron

Mit Hilfe der Heronischen Formel für die Dreiecksflächen erhält man einen algebraischen Beweis:

${\displaystyle {\begin{aligned}F&{}={\frac {\sqrt {(a+b+c)(a+b-c)(b+c-a)(c+a-b)}}{4}}\\&{}={\frac {1}{4}}{\sqrt {2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})-(a^{4}+b^{4}+c^{4})}}.\end{aligned}}}$

Aus der Nichtnegativität von Quadraten folgt dann:

${\displaystyle {\begin{aligned}{}&(a^{2}-b^{2})^{2}+(b^{2}-c^{2})^{2}+(c^{2}-a^{2})^{2}\geq 0\\{}\iff &2(a^{4}+b^{4}+c^{4})-2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})\geq 0\\{}\iff &{\frac {4(a^{4}+b^{4}+c^{4})}{3}}\geq {\frac {4(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})}{3}}\\{}\iff &{\frac {(a^{4}+b^{4}+c^{4})+2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})}{3}}\geq 2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})-(a^{4}+b^{4}+c^{4})\\{}\iff &{\frac {(a^{2}+b^{2}+c^{2})^{2}}{3}}\geq (4F)^{2}\end{aligned}}}$

Daraus folgt unmittelbar die Behauptung, wenn man auf beiden Seiten die Quadratwurzel zieht. Aus der ersten Zeile ist auch zu erkennen, dass Gleichheit genau für ${\displaystyle a=b=c}$ auftritt, also für gleichseitige Dreiecke.

Geschichte

Die Ungleichung wurde erstmals am 1897 in der rumänischen Mathematik Zeitschrift Gazetei Matematice veröffentlicht. Dort wurde von Ion Ionescu, dem Herausgeber der Zeitschrift, die folgende Aufgabe (Problem 273) gestellt:

Eine Lösung der Aufgabe wurde von der Zeitschrift im darauffolgenden Jahr veröffentlicht. Unabhängig davon publizierte Roland Weitzenböck 1919 einen Artikel in der Mathematischen Zeitschrift mit dem Titel Über eine Ungleichung in der Dreiecksgeometrie. Dort stellte er die folgende Ungleichung zusammen mit mehreren Beweisen und Erweiterungen vor:

1961 wurde die Ungleichung für die zweite Aufgabe in der dritten Internationalen Mathematik-Olympiade in Veszprém (Ungarn) verwandt:

Literatur

• Claudi Alsina, Roger B. Nelsen: When Less is More: Visualizing Basic Inequalities. MAA, 2009, ISBN 978-0-88385-342-9, S. 84-86
• Claudi Alsina, Roger B. Nelsen: Geometric Proofs of the Weitzenböck and Hadwiger-Finsler Inequalities. In: Mathematics Magazine, Vol. 81, No. 3 (Jun., 2008), S. 216–219 (JSTOR:27643111)
• D. M. Batinetu-Giurgiu, Nicusor Minculete, Nevulai Stanciu: Some geometric inequalities of Ionescu-Weitzebböck type. In: International Journal of Geometry, Vol. 2 (2013), No. 1, April
• D. M. Batinetu-Giurgiu, Nevulai Stanciu: The inequality Ionescu – Weitzenböck. MateInfo.ro, April 2013, (mateinfo.ro)
• Daniel Pedoe: On Some Geometrical Inequalities. In: The Mathematical Gazette, Vol. 26, No. 272, Dezember 1942, S. 202–208 (JSTOR:3607041)
• Roland Weitzenböck: Über eine Ungleichung in der Dreiecksgeometrie. In: Mathematische Zeitschrift, Band 5, 1919, S. 137–146 (Digitalisat beim Göttinger Digitalisierungszentrum)
• Dragutin Svrtan, Darko Veljan: Non-Euclidean Versions of Some Classical Triangle Inequalities. In: Forum Geometricorum, Volume 12, 2012, S. 197–209; forumgeom.fau.edu (PDF)
• Mihaly Bencze, Nicusor Minculete, Ovidiu T. Pop: New inequalities for the triangle. In: Octogon Mathematical Magazine, Vol. 17, No. 1, April 2009, S. 70–89; uni-miskolc.hu (PDF; 200 KB)

Weblinks

• Weitzenböck’s Inequality auf cut-the-knot.org mit animierter Darstellung
• Eric W. Weisstein: Weitzenböck’s Inequality. In: MathWorld (englisch).

Einzelnachweise

1. ↑ Claudi Alsina, Roger B. Nelsen: Geometric Proofs of the Weitzenböck and Hadwiger-Finsler Inequalities. In: Mathematics Magazine, Vol. 81, No. 3, Juni 2008, S. 216–219 (JSTOR:27643111)
2. ↑ Originalpublikation: Gazeta Matematică, Vol. III (15 Septembrie 1897 – 15 August 1898), Nr. 2, Octombrie 1897, la pagina 52. Siehe dazu auch: D. M. Batinetu-Giurgiu, Nevulai Stanciu: Inegalitatea Ionescu – Weitzenböck. In: Gazeta Matematica-Seria B, º 118(1), 2013, S. 1-10; ssmr.ro (PDF; 281 KB)
3. ↑ Roland Weitzenböck: Über eine Ungleichung in der Dreiecksgeometrie. In: Mathematische Zeitschrift, Band 5, 1919, S. 137–146 (Digitalisat beim Göttinger Digitalisierungszentrum)
4. ↑ Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics. MAA 2010, ISBN 978-0-88385-348-1, S. 96–98 (Auszug (Google))