Lösung von Aufg. 14.5 (SoSe 11)

Beweisen Sie den starken Außenwinkelsatz.

Innenwinkelsatz für Dreiecke ist bewiesen (und Betragsstriche bei Winkelgrößen etc. sind nicht so wichtig).
Voraussetzung: Dreieck mit den schulüblichen Bezeichnungen
Behauptung: Jeder Außenwinkel ist so groß wie die Summe der nichtanliegenden Innenwinkel.
Beweis:
1. Hilfskonstruktion: Nebenwinkel eines Innenwinkels (nennen wir ihn $\delta$), o.B.d.A. sei es der Nebenwinkel von $\gamma$. Begründung: Dreieck hat automatisch Nebenwinkel (brauche ich diese Begründung?)
2. Es gilt: $180 = \alpha + \beta + \gamma$. Begründung: Innenwinkelsatz für Dreiecke.
3. Es gilt außerdem: $180 = \delta + \gamma$. Begründung: $\delta$ ist Nebenwinkel von $\gamma$ und Nebenwinkel sind nach dem Supplementaxiom supplementär, was heißt: ihre Summe beträgt 180.
4. Damit muss $\delta$ genauso groß sein wie $\alpha + \beta$. Begründung: Rechnen in $\mathbb{R}$.
Das könnte man jetzt noch an den anderen beiden Ecken durchexerzieren, aber dafür sollte o.B.d.A. reichen, weil ich ja eigentlich die Ecken benennen kann wie ich möchte und in meinem Beweis nie Bezug auf "längere Seite" o.ä. genommen haben. Richtig? Zu knapp? --WikiNutzer 22:29, 25. Jul. 2011 (CEST)