Lösung von Aufgabe 9.2 S: Unterschied zwischen den Versionen
(→Kopernikus / Just noch ein sailA) |
(→Kopernikus / Just noch ein sailA) |
||
Zeile 37: | Zeile 37: | ||
<br /> | <br /> | ||
==='''(b) Vorschlag 1''' === | ==='''(b) Vorschlag 1''' === | ||
+ | <br /> | ||
+ | Vor: <math>\angle ABC</math> ist rechter Winkel | ||
+ | <br /> | ||
+ | Beh.:<math>\left| \angle ABC \right| = 90</math> | ||
+ | <br /> | ||
+ | Direkter Beweis | ||
+ | <br /> | ||
{| class="wikitable " | {| class="wikitable " | ||
! Schritt | ! Schritt |
Version vom 25. Juni 2012, 17:06 Uhr
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: =
(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 +
=180 (2) gelten muss.
Da nach (1) gilt =
können wir (2) auch so schreiben:
+
=180
nach Rechnen in R folgt: =180
nach Rechnen in R folgt weiter: =90
nach (1) gilt außerdem:
=
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
Kopernikus / Just noch ein sailA
(a) Vorschlag 1
Wenn ein Winkel ein rechter ist, dann hat er das Maß 90.
(b) Vorschlag 1
Vor: ist rechter Winkel
Beh.:
Direkter Beweis
Schritt | Beweis | Begründung |
---|---|---|
1 | ![]() |
Vor. |
2 | ![]() |
1, Def. rechter Winkel |
3 | ![]() |
2,Axiom IV/7(Supplimentaxiom), Def. V/7 Supplimentärwinkel |
4 | ![]() |
2,3 |
5 | ![]() |
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)