Außenwinkelsatz

Der Außenwinkelsatz (englisch Exterior Angle Theorem) ist ein Lehrsatz der Geometrie, der besagt, dass jeder Außenwinkel eines Dreiecks so groß ist wie die beiden nicht anliegenden Innenwinkel zusammen. Er wurde erstmals im 3. Jh. v. Chr. als Satz 32 in Buch 1 der Elemente Euklids bewiesen.

Formulierung des Satzes

Innenwinkel α, β, γ und Außenwinkel α′, β′, γ′ eines Dreiecks in der euklidischen Ebene

Der Außenwinkelsatz der euklidischen Geometrie besagt, dass der Außenwinkel an einer Ecke eines Dreiecks stets gleich der Summe der Innenwinkel an den beiden anderen Ecken ist; beispielsweise ist in einem Dreieck die Summe der Innenwinkel an den Ecken und gleich dem Außenwinkel an der Ecke .

Beweis

Der Außenwinkelsatz ist eine einfache Folgerung aus dem Satz von der Winkelsumme, denn für die mit , und bezeichneten (Innen-)Winkel des gilt , und somit auch ; wie denn für den Außenwinkel an der Ecke gilt, dass er als Ergänzungswinkel zum Innenwinkel einen Betrag von hat. Womit man prompt den Außenwinkelsatz erhält:

Analog beweist man und .

Schwacher Außenwinkelsatz

Der schwache Außenwinkelsatz, auch als Satz vom Außenwinkel bezeichnet, sagt:

In Formeln:

Es folgt, dass jeder Innenwinkel stets strikt kleiner als jeder der beiden nichtanliegenden Außenwinkel ist.

Der schwache Außenwinkelsatz findet sich als Satz 16 in Buch 1 der Elemente Euklids.

Beziehung zwischen Außenwinkelsatz und schwachem Außenwinkelsatz

Der schwache Außenwinkelsatz folgt offensichtlich aus dem Außenwinkelsatz. Man kann ihn aber auch ohne Benutzung des Außenwinkelsatzes mittels Kosinussatz und Cauchy-Schwarz-Ungleichung beweisen und dann den Außenwinkelsatz unter Hinzunahme des Parallelenaxioms aus dem schwachen Außenwinkelsatz herleiten.

Aus dem Parallelenaxiom und dem schwachen Außenwinkelsatz folgt nämlich, dass die Innenwinkelsumme im Dreieck 180° beträgt, woraus sich dann mit dem oben angeführten Beweis der Außenwinkelsatz in seiner starken Form ergibt.

Folgerungen

Der Außenwinkelsatz – selbst in seiner ohne Annahme des Parallelenaxioms gültigen schwachen Form – zieht eine Reihe von Folgerungen nach sich, von denen die Folgenden oft genannt werden:

Aus dem (unter Annahme des Parallelenaxioms geltenden) Außenwinkelsatz ergibt sich, wenn man die übliche Winkelmessung in Grad zugrunde legt und zugleich für jeden Eckpunkt als Außenwinkel immer nur einen der beiden Nebenwinkel des zugehörigen Innenwinkels berücksichtigt, unmittelbar eine weitere Folgerung:

Diese Folgerung lässt sich noch verallgemeinern. Denn in der euklidischen Ebene hat die entsprechende Aussage darüber hinaus sogar Gültigkeit für alle konvexen Vielecke – unabhängig von der Anzahl der Eckpunkte:

Letzteres Resultat wird vereinzelt ebenfalls als Außenwinkelsatz bezeichnet.

Der Außenwinkelsatz in der absoluten Geometrie

Der Beweis des schwachen Außenwinkelsatzes beruht nicht auf dem Parallelenaxiom und er gehört damit zu den Sätzen der absoluten Elementargeometrie. (Als absolute Geometrie werden diejenigen Teile der euklidischen Geometrie bezeichnet, die das Parallelenaxiom nicht benötigen und die deshalb auch in nichteuklidischen Geometrien wie z. B. der hyperbolischen Geometrie gültig sind.)

In David Hilberts Grundlagen der Geometrie tritt der schwache Außenwinkelsatz als Satz vom Außenwinkel auf. Laut Hilbert ist er ein „fundamentaler Satz, der schon bei Euklid eine wichtige Rolle spielt und aus dem eine Reihe wichtiger Tatsachen folgt“.

Der Außenwinkelsatz ist zum schwachen Außenwinkelsatz logisch äquivalent, wenn man zusätzlich zu den Axiomen der absoluten Geometrie auch das Parallelenaxiom verwendet. In der Literatur zur absoluten Geometrie wird teilweise auch der schwache Außenwinkelsatz als "Außenwinkelsatz" (oder auch "Erster Satz zum Außenwinkel") bezeichnet, der Außenwinkelsatz dann als "Starker Außenwinkelsatz" (oder auch "Zweiter Satz vom Außenwinkel").

Beim schwachen Außenwinkelsatz spielt der Größenvergleich zweier Winkel eine wesentliche Rolle. Gemäß Hilbert gilt grundsätzlich, dass je zwei Winkel entweder gleich, also kongruent, sind oder ungleich, wobei letzterenfalls von beiden einer strikt kleiner ist als der andere, welcher dann der strikt größere ist, oder umgekehrt. Dabei wird von gestreckten Winkeln und überstumpfen Winkeln abgesehen. Man erreicht unter diesen Rahmenbedingungen den Größenvergleich zweier Winkel mittels Antragen, wobei der eine Winkel an einen Schenkel des anderen im Scheitelpunkt angetragen wird in der Weise, dass sich das Innere des angetragenen Winkels mit dem Inneren des anderen in dem gemeinsamen Schenkel und noch weiteren Punkte überschneidet. Die Entscheidung hinsichtlich der Größenfrage richtet sich dann danach, ob der freie Schenkel des angetragenen Winkels ganz im Inneren des anderen Winkels liegt oder nicht. Der angetragene Winkel ist im ersten Falle der kleinere, im gegenteiligen Falle der größere. Lassen sich auf diesem Wege die Inneren beider Winkel sogar zur Deckung bringen, sind beide Winkel gleich; anderenfalls sind sie ungleich.

Der Außenwinkelsatz in nichteuklidischen Geometrien

Hyperbolische Geometrie

Wie in jeder auf den Axiomen Euklids (ohne Parallelenaxiom) beruhenden Geometrie gilt auch in der hyperbolischen Geometrie der schwache Außenwinkelsatz. Hingegen gilt der Außenwinkelsatz in seiner starken Form in der hyperbolischen Geometrie nicht, stattdessen hat man den sogenannten verschärften Außenwinkelsatz in der hyperbolischen Geometrie:

Dieser verschärfte Außenwinkelsatz wird auch Außenwinkelsatz der Lobatschewski-Geometrie genannt, da er auf dem Lobatschewskischen Parallelenaxiom beruht, welches der hyperbolischen Geometrie zugrunde liegt.

Elliptische Geometrie

In der elliptischen Geometrie gibt es keinen dem Außenwinkelsatz entsprechenden Satz. Allerdings lassen sich in der Kugelgeometrie für eulersche Kugeldreiecke manche der oben dargestellten Folgerungen ziehen wie etwa die oben angegebene Dreiecksungleichung.

Literatur

• Ilka Agricola, Thomas Friedrich: Elementargeometrie. Fachwissen für Studium und Mathematikunterricht. 4., überarbeitete Auflage. Springer Spektrum, Wiesbaden 2015, ISBN 978-3-658-06730-4, doi:10.1007/978-3-658-06731-1. 
• Hermann Athen, Jörn Bruhn (Hrsg.): Lexikon der Schulmathematik und angrenzender Gebiete. Band 1: A–E. Aulis Verlag Deubner, Köln 1977, ISBN 3-7614-0242-2, S. 404–405. 
• Richard L. Faber: Foundations of Euclidean and Non-Euclidean Geometry. (= Monographs and Textbooks in Pure and Applied Mathematics. Band 73). Marcel Dekker, New York / Basel 1983, ISBN 0-8247-1748-1 (ams.org). 
• Andreas Filler: Euklidische und nichteuklidische Geometrie (= Mathematische Texte. Band 7). BI-Wissenschaftsverlag, Mannheim u. a. 1993, ISBN 3-411-16371-2 (ams.org). 
• Gerhard Hessenberg, Justus Diller: Grundlagen der Geometrie. 2. Auflage. Walter de Gruyter Verlag, Berlin 1967. 
• David Hilbert: Grundlagen der Geometrie. Mit Supplementen von Paul Bernays (= Teubner-Studienbücher: Mathematik). 11. Auflage. Teubner Verlag, Stuttgart 1972, ISBN 3-519-12020-8 (ams.org). 
• Marvin Jay Greenberg: Euclidean and Non-Euclidean Geometries. Development and History. 3. Auflage. W. H. Freeman and Company, San Francisco 1993, ISBN 0-7167-2446-4 (ams.org). 
• Hanfried Lenz: Nichteuklidische Geometrie (= BI-Hochschultaschenbücher. 123/123a). Bibliographisches Institut, Mannheim 1967 (ams.org). 
• Arno Mitschka: Axiomatik in der Geometrie (= Studienbücher Mathematik. Band 7). Herder Verlag, Freiburg u. a. 1977, ISBN 3-451-16898-7 (Online). 
• Fritz Reinhardt, Heinrich Soeder (Hrsg.): dtv-Atlas zur Mathematik. Tafeln und Texte. 8. Auflage. Band I: Grundlagen, Algebra und Geometrie. Deutscher Taschenbuch Verlag, München 1990, ISBN 3-423-03007-0. 

Weblinks

• Andreas Filler: Euklidische und nichteuklidische Geometrie. (PDF; 1,5 MB) HU Berlin
• Michael Gieding: Auszug aus einem Skript. PH Heidelberg

Einzelnachweise und Anmerkungen

1. Agricola-Friedrich (op.cit.), Satz 7, S. 10.
2. Agricola-Friedrich (op.cit.), Satz 8, S. 11.
3. D. Hilbert: Grundlagen der Geometrie. 1972, S. 24. 
4. G. Hessenberg, J. Diller: Grundlagen der Geometrie. 1967, S. 44 ff. 
5. A. Filler: Euklidische und nichteuklidische Geometrie. 1993, S. 105 ff. 
6. H. Lenz: Nichteuklidische Geometrie. 1967, S. 65 ff. 
7. A. Mitschka: Axiomatik in der Geometrie. 1977, S. 115 ff. 
8. Zu beachten ist, dass hier eine scharfe Ungleichung formuliert wird, welche den Gleichheitsfall ausschließt. Dagegen ist die in der Theorie der metrischen und pseudometrischen Räume ausgesprochene - verwandte! - Dreiecksungleichung eine unscharfe Ungleichung, bei der der Gleichheitsfall zugelassen wird.
9. Über die einfache Dreiecksungleichung hinaus gilt sogar (vgl. Hessenberg-Diller, S. 46): Für drei Punkte A, B, Z impliziert die Gleichung , dass Z auf der Strecke [AB] und damit zwischen A und B liegt. Daraus ergibt sich das (nach Leibniz benannte) Leibnizsche Minimalprinzip: Der kürzeste Streckenzug, der zwei Punkte verbindet, ist die durch die beiden Punkte definierte Strecke.
10. Lexikon der Schulmathematik ... Band 1, S. 85. ; die Schreibung ist hier „Außenwinkel-Satz“.
11. M. J. Greenberg: Euclidean and Non-Euclidean Geometries. 1993, S. 118 ff. 
12. M. J. Greenberg: Euclidean and Non-Euclidean Geometries. 1993, S. 98 ff. 
13. R. L. Faber: Foundations of Euclidean and Non-Euclidean Geometry. 1983, S. 113 ff. 
14. Der Satz heißt bei Mitschka exakt der „erste Satz vom Außenwinkel im Dreieck“ (S. 115), was jedoch als eine in sich unstimmige Formulierung wirkt und zudem nicht der Benennung der später folgenden Verschärfung (S. 129) entspricht, bei der Mitschka den Zusatz „im Dreieck“ fortlässt.
15. A. Mitschka: Axiomatik in der Geometrie. 1977, S. 129. 
16. D. Hilbert: Grundlagen der Geometrie. 1972, S. 13–22. 
17. A. Filler: Euklidische und nichteuklidische Geometrie. 1993, S. 168. 
18. A. Filler: Euklidische und nichteuklidische Geometrie. 1993, S. 166–168. 
19. M. J. Greenberg: Euclidean and Non-Euclidean Geometries. 1993, S. 90,120. 
20. A. Filler: Euklidische und nichteuklidische Geometrie. 1993, S. 15 ff.