Ungleichung von Erdös-Mordell

Ungleichung von Erdös und Mordell:
$d_{A}+d_{B}+d_{C}\geq 2(d_{a}+d_{b}+d_{c})$

Die Ungleichung von Erdös-Mordell, manchmal auch als Satz von Erdös-Mordell bezeichnet, ist eine Aussage über die Abstände eines Punktes in einem Dreieck von dessen Ecken und Seiten. Sie besagt, dass die Summe der Abstände von den Ecken mindestens doppelt so groß ist wie die Summe der Abstände von den Seiten.

Ungleichung

Für einen Punkt $P$ im Inneren eines Dreiecks $\triangle ABC$ gilt die folgende Ungleichung:

$|PA|+|PB|+|PC|\geq 2(|PF_{a}|+|PF_{b}|+|PF_{c}|)$.

Hierbei sind $F_{a},F_{b},F_{c}$ die Fußpunkte der Lote vom Punkt $P$ auf die (verlängerten) Dreiecksseiten.

Gleichheit tritt nur auf, wenn es sich um ein gleichseitiges Dreieck handelt und $P$ dessen Schwerpunkt ist.

Verallgemeinerungen und verwandte Aussagen

Die Ungleichung von Erdös-Mordell lässt sich auf konvexe Polygone verallgemeinern. Für ein konvexes Polygon mit Eckpunkten $A_{1},A_{2},\ldots ,A_{n}$ und einem Punkt $P$ in seinem Inneren bezeichne $F_{1},F_{2},\ldots ,F_{n}$ die Fußpunkte der Lote von $P$ auf die (verlängerten) Polygonseiten $A_{1}A_{2},\ldots ,A_{n-1}A_{n},A_{n}A_{1}$. Es gilt dann die folgende Ungleichung:

$\sum _{k=1}^{n}|PA_{k}|\geq \sec \left({\frac {\pi }{n}}\right)\sum _{k=1}^{n}|PF_{k}|$.

Hierbei bezeichnet $\sec$ die Sekansfunktion und im Fall $n=3$ erhält man wegen $\sec \left({\tfrac {\pi }{3}}\right)=2$ genau die Ungleichung von Erdös-Mordell.

Für den Tetraeder lässt sich eine räumliche Variante der Ungleichung von Erdös-Mordell formulieren. Für einen Tetraeder $ABCD$ bei dem der Mittelpunkt seiner Umkugel sich innerhalb des Tetraeders befindet, bezeichne $P$ einen weiteren inneren Punkt des Tetraedes und $F_{ABC},F_{ABD},F_{ADC},F_{DBC}$ die Fußpunkte der Lote von $P$ auf die Flächen des Tetraeders beziehungsweise auf die Ebenen in denen diese Flächen eingebettet sind. Es gilt dann die folgende Ungleichung:

$|PA|+|PB|+|PC|+|PD|\geq 2{\sqrt {2}}(|PF_{ABC}|+|PF_{ABD}|+|PF_{ADC}|+|PF_{DBC}|)$

Geschichte

Die Ungleichung wurde 1935 von Paul Erdős als Problem 3740 im American Mathematical Monthly beschrieben und ein erster Beweis wurde von Louis Mordell im selben Jahr in einer ungarischen Zeitschrift veröffentlicht. David Francis Barrow fand einen zweiten Beweis, der zudem eine Verschärfung der Ungleichung liefert (Ungleichung von Barrow). Beide Beweise verwenden trigonometrische Funktionen und wurden 1937 zusammen im American Mathematical Monthly veröffentlicht. Weitere einfachere elementargeometrische Beweise stammen unter anderem von D. K. Kazarinoff (1957), Leon Bankoff (1958) und Claudi Alsina/Roger B. Nelsen (2007).

Eine entsprechende Ungleichung für Vierecke wurde 1958 von A. Florian bewiesen. Die Verallgemeinerung auf konvexe Polygone wurde zunächst 1961 von László Fejes Tóth vermutet und dann von Hans-Christof Lenhard im gleichen Jahr bewiesen.

Literatur

• Wolfgang Zeuge: Nützliche und schöne Geometrie: Eine etwas andere Einführung in die Euklidische Geometrie. Springer, 2018, ISBN 9783658228330, S. 95-96
• Alexander Ostermann, Gerhard Wanner: Geometry by its History. Springer, 2012, ISBN 9783642291630, S. 222-224
• Claudi Alsina, Roger B. Nelsen: A Visual Proof of the Erdos-Mordell Inequality. In: Forum Geometricorum, Band 7, 2007, S. 99–102.
• Vilmos Komornik: A Short Proof of the Erdős-Mordell Theorem. In: The American Mathematical Monthly, Band 104, Nr. 1 (Jan., 1997), S. 57–60 (JSTOR 2974824)
• Jian Liu: Refinements of the Erdös-Mordell inequality, Barrow’s inequality, and Oppenheim’s inequality. In: Journal of Inequalities and Applications, 2016, doi:10.1186/s13660-015-0947-2
• Paul Erdös, L. J. Mordell, David F. Barrow: 3740. In: The American Mathematical Monthly, Band 44, Nr. 4 (April, 1937), S. 252–254 (JSTOR 2300713)

Weblinks

• Erdös-Mordell Inequality auf cut-the-knot.org
• Eric W. Weisstein: Erdos-Mordell Theorem. In: MathWorld (englisch).