Lösung von Aufgabe 9.2 S

Aus Geometrie-Wiki

Satz:
Jeder rechte Winkel hat das Maß 90.

a) Formulieren Sie mit "wenn...dann..."
b) Beweisen Sie den Satz.

a) "Wenn ein Winkel ein rechter Winkel ist, dann hat er das Maß 90."--Tchu Tcha Tcha 16:34, 20. Jun. 2012 (CEST)

b)
direkter Beweis:
Nach der Definition Rechter Winkel gilt: Wenn ein Winkel dieselbe Größe wie einer seiner Nebenwinkel hat, so ist er ein rechter Winkel.
also: Rechter Winkel, nur wenn gilt: |NW1| = |NW2| (1) // (NW1 steht hier für NebenWinkel1...)
Nach dem Supplementaxiom (IV.4) wissen wir: Nebenwinkel sind supplementär.
also können wir durch die Def. supplementär folgern, dass |NW1| + |NW2|=180 (2) gelten muss.

Da nach (1) gilt |NW1| = |NW2| können wir (2) auch so schreiben:
|NW1| + |NW1|=180
nach Rechnen in R folgt: 2|NW1|=180
nach Rechnen in R folgt weiter: |NW1|=90
nach (1) gilt außerdem: |NW1| = |NW2|
Jeder rechte Winkel muss das Maß 90 haben.
qed.
--Tchu Tcha Tcha 18:21, 20. Jun. 2012 (CEST) korrekter Beweis --*m.g.* 13:39, 23. Jun. 2012 (CEST) Wenn Sie die Idizes tief stellen wollen; Der Unterstrich hilft: NW_1 NW1

Kopernikus / Just noch ein sailA


(a) Vorschlag 1


Wenn ein Winkel ein rechter ist, dann hat er das Maß 90.

(b) Vorschlag 1


Vor: ABC ist rechter Winkel
Beh.:|ABC|=90
Direkter Beweis

Schritt Beweis Begründung
1 ABC ist rechter Winkel Vor.
2 CBD :|ABC|=|CBD| 1, Def. rechter Winkel
3 |ABC|+|CBD|=180 2,Axiom IV/7(Supplementaxiom), Def. V/7 Supplementärwinkel
4 |ABC|+|ABC|=|ABC|+|CBA|=180 2,3
5 |ABC|=90=|CBA| Rechnen in R
6 q.e.d 5, Vor.


--Kopernikus 17:00, 25. Jun. 2012 (CEST)
--Just noch ein sailA 17:00, 25. Jun. 2012 (CEST)

  • Der Beweis scheint mir bis auf weniges logisch. Warum wird |ABC|=90=|CBA| geschrieben? CBA ist doch genau der gleiche Winkel wie ABC...

Und bei solch einem Beweis wäre natürlich immer eine Skizze ganz gut, damit man den Beweis schneller nachvollziehen kann :) --Tutor Andreas 18:03, 1. Jul. 2012 (CEST)

Es sollte wohl bei Schritt (4) |ABC|+|ABC|=|ABC|+|CBD|=180 heißen..--Tchu Tcha Tcha 18:58, 1. Jul. 2012 (CEST)