Satz von Menelaos
<templatestyles src="Mehrere Bilder/styles.css" />
Der Satz von Menelaos, benannt nach dem griechischen Mathematiker Menelaos (Alexandria, etwa 100 n. Chr.), macht eine Aussage über Streckenverhältnisse, die beim Schnitt einer Geraden mit einem Dreieck entstehen.
Satz
Gegeben seien ein Dreieck <math>ABC</math> und eine Gerade, welche die Dreiecksseiten <math>[BC]</math>, <math>[CA]</math> und <math>[AB]</math> beziehungsweise ihre Verlängerungen in den Punkten <math>X</math>, <math>Y</math> und <math>Z</math> schneidet. Dann gilt:
- <math>TV(B,C,X) \cdot TV(C,A,Y) \cdot TV(A,B,Z) = -1</math>
Umgekehrt kann man aus der Richtigkeit dieser Beziehung folgern, dass die Punkte <math>X</math>, <math>Y</math> und <math>Z</math> auf einer Geraden liegen.
Hierbei ist <math>TV(U,V,W)</math> das Teilverhältnis von <math>U,V,W</math>, das für drei auf einer Geraden liegende Punkte <math>U,V,W</math> mit <math>U \neq V</math> definiert wird durch <math>W = U + TV(U,V,W) \cdot (V-W)</math>. Wenn <math>W</math> zwischen <math>U</math> und <math>V</math> liegt, ist dieses Teilverhältnis gleich <math>\overline{UW}/\overline{WV}</math>, andernfalls gleich <math>-\overline{UW}/\overline{WV}</math>.
Betrachtet man nur die Streckenlängen, so kann man die obige Gleichung auch in folgender Form schreiben:
- <math>\overline{AZ} \cdot \overline{BX} \cdot \overline{CY}
= \overline{AY} \cdot \overline{BZ} \cdot \overline{CX}</math>
Da die Orientierung hierbei verloren geht, ist diese Gleichung nicht ausreichend für eine Umkehrung des Satzes, vgl. Satz von Ceva.
Beweis
Der Satz von Menelaos lässt sich mit Hilfe des Strahlensatzes beweisen. Man betrachtet drei Lote von den Eckpunkten <math>A</math>, <math>B</math> und <math>C</math> auf die gegebene Gerade. Die Längen der Lotstrecken seien mit <math>a</math>, <math>b</math> und <math>c</math> bezeichnet.
Aus dem Strahlensatz erhält man folgende Verhältnisgleichungen:
- <math>\overline{AZ} : \overline{BZ} = a : b</math>
- <math>\overline{BX} : \overline{CX} = b : c</math>
- <math>\overline{CY} : \overline{AY} = c : a</math>
Multipliziert man diese drei Gleichungen miteinander, so ergibt sich
- <math>\frac{\overline{AZ} }{\overline{BZ}} \cdot \frac{\overline{BX}}{\overline{CX}} \cdot \frac{\overline{CY}}{\overline{AY}}
= \frac{a}{b} \cdot \frac{b}{c} \cdot \frac{c}{a} = \frac{a \cdot b \cdot c}{b \cdot c \cdot a} = 1</math>
und weiter (durch Multiplikation mit dem Nenner)
- <math>\overline{AZ} \cdot \overline{BX} \cdot \overline{CY} = \overline{AY} \cdot \overline{BZ} \cdot \overline{CX}</math>.
Anwendung
Der Satz von Menelaos liefert zusammen mit seiner Umkehrung ein Kriterium für kollineare Punkte. Eine Folgerung ist der Satz von Ceva.
Literatur
- Hans Schupp: Elementargeometrie. Schöningh, Paderborn 1977, ISBN 3-506-99189-2, S. 124 ff., S. 136 (Uni-Taschenbücher 669 Mathematik)
- Max Koecher, Aloys Krieg: Ebene Geometrie. 3. Auflage. Springer-Verlag, Berlin 2007, ISBN 978-3-540-49327-3, S. 78–81
- Branko Grunbaum, G. C. Shephard: Ceva, Menelaus, and the Area Principle. In: Mathematics Magazine, Band 68, Nr. 4, Okt. 1995, S. 254–268 (Modul:JSTOR * Modul:JSTOR:170: attempt to index field 'wikibase' (a nil value))
Weblinks
- Eric W. Weisstein: Menelaus’ Theorem. In: MathWorld (englisch).
- Menelaos’ Theorem ein animierter, geometrischer Beweis des Satzes von Menelaos (englisch)
- Paul Yiu: Euclidean Geometry Notes (PDF; 1012 kB) Skript, Florida Atlantic University, S. 87–102