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

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 ${\displaystyle ABC}$ die Summe der Innenwinkel an den Ecken ${\displaystyle A}$ und ${\displaystyle B}$ gleich dem Außenwinkel an der Ecke ${\displaystyle C}$.

Beweis

Der Außenwinkelsatz ist eine einfache Folgerung aus dem Satz von der Winkelsumme, denn für die mit ${\displaystyle \alpha }$, ${\displaystyle \beta }$ und ${\displaystyle \gamma }$ bezeichneten (Innen-)Winkel des ${\displaystyle \triangle {ABC}}$ gilt ${\displaystyle \alpha +\beta +\gamma =180^{\circ }}$, und somit auch ${\displaystyle 180^{\circ }-\alpha =\beta +\gamma }$; wie denn für den Außenwinkel ${\displaystyle \alpha '}$ an der Ecke ${\displaystyle A}$ gilt, dass er als Ergänzungswinkel zum Innenwinkel ${\displaystyle \alpha }$ einen Betrag von ${\displaystyle 180^{\circ }-\alpha }$ hat. Womit man prompt den Außenwinkelsatz erhält:

${\displaystyle \alpha '=\beta +\gamma }$.

Analog beweist man ${\displaystyle \beta '=\alpha +\gamma }$ und ${\displaystyle \gamma '=\alpha +\beta }$.

Schwacher Außenwinkelsatz

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

Jeder Außenwinkel eines beliebigen Dreiecks ist stets strikt größer als jeder der beiden nichtanliegenden Innenwinkel.

In Formeln:

${\displaystyle \alpha '>\beta ,\alpha '>\gamma ,\beta '>\alpha ,\beta '>\gamma ,\gamma '>\alpha ,\gamma '>\beta }$.

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.

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:

1. In jedem Dreieck liegt der größeren Seite stets der größere Winkel gegenüber und umgekehrt dem größeren Winkel stets die größere Seite.
2. In jedem Dreieck ist die Summe der Längen zweier Seiten strikt größer als die Länge der dritten Seite. (Dreiecksungleichung)
3. Mindestens zwei der drei Innenwinkel eines beliebigen Dreiecks sind spitze Winkel.
4. Die Winkelsumme zweier Innenwinkel eines beliebigen Dreiecks ist stets kleiner als ein gestreckter Winkel.

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:

Die Summe der Außenwinkel eines Dreiecks beträgt ${\displaystyle 360^{\circ }}$.

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:

In der euklidischen Ebene beträgt die Summe der Außenwinkel eines konvexen Vielecks beliebiger Eckenzahl stets ${\displaystyle 360^{\circ }}$.

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

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. 1 2 3 D. Hilbert: Grundlagen der Geometrie. 1972, S. 24. 
4. 1 2 G. Hessenberg, J. Diller: Grundlagen der Geometrie. 1967, S. 44 ff. 
5. 1 2 A. Filler: Euklidische und nichteuklidische Geometrie. 1993, S. 105 ff. 
6. 1 2 3 H. Lenz: Nichteuklidische Geometrie. 1967, S. 65 ff. 
7. 1 2 3 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 ${\displaystyle |AZ|+|ZB|=|AB|}$, 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.