# Winkelsumme

Mit der (Innen-)Winkelsumme einer ebenen geometrischen Figur ist meistens die Summe aller Innenwinkel der Figur gemeint.

## Winkelsumme in der euklidischen Geometrie

Für ein nicht-überschlagendes Polygon in der euklidischen Ebene ist seine Winkelsumme durch die Formel
    $(n\cdot 180^{\circ })-360^{\circ }=(n-2)\cdot 180^{\circ }$
gegeben, wobei $n$ für die Zahl der Ecken des Polygons steht.

### Beispiele

Aus der Formel ergeben sich für die Werte der Winkelsummen für Drei-, Vier- und Fünfecke:
* für Dreiecke ($n=3$): $(n-2)\cdot 180^{\circ }=(3-2)\cdot 180^{\circ }=180^{\circ }$
* für Vierecke ($n=4$): $(n-2)\cdot 180^{\circ }=(4-2)\cdot 180^{\circ }=360^{\circ }$
* für Fünfecke ($n=5$): $(n-2)\cdot 180^{\circ }=(5-2)\cdot 180^{\circ }=540^{\circ }$
Für nicht notwendig regelmäßige Fünfsterne gilt:
* Die Summe der Innenwinkel an den Spitzen eines allgemeinen Fünfsterns beträgt 180°.
    Geometrischer Beweis
    Man betrachtet die Parallelenpaare gleicher Farbe, wendet jeweils die Sätze über Winkel an parallelen Geraden an und setzt die fünf Winkel zu einem gestreckten Winkel der Weite 180° wie abgebildet zusammen.
    Algebraischer Beweis
    Das Dreieck $BDF$ hat die Innenwinkelsumme:
       $\epsilon +\beta +\phi _{2}=180^{\circ }$ (1)
    Das Viereck $ACDE$ hat die Innenwinkelsumme:
       $\alpha +\gamma +\phi _{1}+\phi _{2}+\phi _{3}+\delta =360^{\circ }$ (2)
    Nach Addition jeweils beider Seiten der Gleichungen (1) und (2) erhält man die Gleichung:
       $\epsilon +\beta +\phi _{2}+\alpha +\gamma +\phi _{1}+\phi _{2}+\phi _{3}+\delta =180^{\circ }+360^{\circ }$ (3)
    $(\phi _{1},\phi _{2})$ und $(\phi _{2},\phi _{3})$ sind Nebenwinkelpaare mit:
       $\phi _{1}+\phi _{2}+\phi _{2}+\phi _{3}=360^{\circ }$ (4)
    Nach Subtraktion jeweils beider Seiten der Gleichung (4) von der Gleichung (3) erhält man die Gleichung:
       $\epsilon +\beta +\alpha +\gamma +\delta =180^{\circ }$

### Herleitung der Formel
#### Dreiecke

Dass die Summe der Innenwinkel im Dreieck 180° ist, folgt aus den Axiomen der euklidischen Geometrie (siehe Grafik). Die Winkelsumme im Dreieck ist als Lehrsatz mit Beweis in den Elementen des Euklid überliefert, der Mathematikhistoriker Thomas Heath hält es aber für möglich, dass sie bereits Thales von Milet bekannt war, wie es auch Moritz Cantor annahm.

#### Allgemein

Man kann ein konvexes $n$-Eck mit Hilfe eines Punktes im Innern in $n$ Teildreiecke teilen, die dann insgesamt eine Winkelsumme von $n\cdot 180^{\circ }$ haben. Allerdings muss man hiervon noch den Vollwinkel um diesen Punkt abziehen, also
    $n\cdot 180^{\circ }-360^{\circ }=n\cdot 180^{\circ }-2\cdot 180^{\circ }=\mathbf {(n-2)\cdot 180^{\circ }} .$
Alternativ kann man sagen, dass von einer Ecke aus $(n-3)$ Diagonalen ausgehen, die das Polygon in $(n-2)$ Teildreiecke teilen, deren Winkelsumme also $(n-2)\cdot 180^{\circ }$ ist. Damit ist die Formel gezeigt.
Für ein nicht-konvexes Polygon funktioniert dieser Ansatz allerdings nicht.
Für ein nicht-überschlagenes n-Eck (einfaches Polygon) ist es aber dennoch immer möglich, es so in n-2 Dreiecke aufzuteilen, dass deren gesamte Winkelsumme der Summe der Innenwinkel des Polygons entspricht. Denn jedes nicht-überschlagene n-Eck lässt sich in Dreiecke zerlegen (siehe erstes Bild). Solch eine Zerlegung besteht immer aus n-2 Dreiecken. Jeder Innenwinkel ist also entweder ein Dreieckswinkel oder Summe von solchen. Summiert man alle Innenwinkel auf, tritt jeder Dreieckswinkel genau einmal auf. Also gilt auch hier die obige Formel.

## Winkelsumme in der nichteuklidischen Geometrie

In einer nichteuklidischen Ebene mit positiver Krümmung, beispielsweise auf der Oberfläche einer Kugel, beträgt die Winkelsumme stets mehr als die angegebenen Werte. Je größer das Polygon, desto größer ist im Allgemeinen die Abweichung. Beispiel: Auf der Erde hat das Dreieck, das vom Äquator, vom Nullmeridian und vom 90. Längengrad gebildet wird, die Winkelsumme 270°.
In einer nichteuklidischen Ebene mit negativer Krümmung, zum Beispiel auf einer Sattelfläche, beträgt die Winkelsumme stets weniger als die angegebenen Werte. Sie kann sogar Werte annehmen, die beliebig nahe bei 0 liegen.