Lösung von Zusatzaufgabe 7.2P (SoSe 12)
Aus Geometrie-Wiki
Beweisen Sie: Jeder Winkel, der das Maß 90 hat ist ein rechter Winkel.
Vorauss.: alpha= 90° Behaupt.: alpha= rechter Winkel
1) (Nebenwinkel sind supplementär)
2) (1., Rechnen in R+)
3 (1., 2., Def.)
4 ) alpha = rechter Winkel (3., Def. rechter Winkel: Winkel, dessen Nebenwinkel das gleiche Winkelmaß hat)