Lösung von Aufgabe 13.2: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) (→Versuch 1) |
|||
Zeile 48: | Zeile 48: | ||
Kommentar --[[Benutzer:*m.g.*|*m.g.*]] 07:07, 19. Jul. 2010 (UTC): Ich bin mal ganz pingelig. EP sagt aus, dass es durch einen nicht zu <math>g</math> gehörenden Punkt <math>P</math> höchstens eine Gerade <math>h</math> geben kann, die zu <math>g</math> parallel ist. Kann man Schritt (I) wirklich mit EP begründen? Wo kommt EP zum Tragen? | Kommentar --[[Benutzer:*m.g.*|*m.g.*]] 07:07, 19. Jul. 2010 (UTC): Ich bin mal ganz pingelig. EP sagt aus, dass es durch einen nicht zu <math>g</math> gehörenden Punkt <math>P</math> höchstens eine Gerade <math>h</math> geben kann, die zu <math>g</math> parallel ist. Kann man Schritt (I) wirklich mit EP begründen? Wo kommt EP zum Tragen? | ||
+ | <br /> Über diesen Zusammenhang (die Frage: wozu das EP) haben wir in einer Lerngruppe schon einige Male gesprochen. Ein Vorschlag: das EP braucht man für die EINDEUTIGKEIT von Parallelen - die kann man ohne EP nicht beweisen. Die EXISTENZ von Parallelen kann man allerdings ohne das EP beweisen, das wurde via Umkehrung des Stufenwinkelsatzes bewiesen. | ||
+ | <br />Was hat das mit der Fragestellung zu tun? Wenn man im ersten Schritt behauptet: "es existiert eine Parallele", so kann das mit der Umkehrung des Stufenwinkelsatzes belegt werden. Man müsste sagen: es existiert eine und zwar höchstens eine Parallele und das wird durch die Umkehrung des Stufenwinkelsatzes und das EP bewiesen. Stimmt das so? --[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 08:13, 20. Jul. 2010 (UTC) |
Version vom 20. Juli 2010, 10:13 Uhr
Satz XII.4: (Innenwinkelsatz für Dreiecke)
- Es sei
ein Dreieck mit den Innenwinkeln
,
und
.
Es gilt.
- Es sei
Versuch 1
VSS: Dreieck , mit Innenwinkel
,
und
Beh:
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | ![]() |
(Euklidisches Parallelenaxiom) |
(II) | ![]() ![]() |
(I), (Def. Stufenwinkel) |
(III) | ![]() ![]() |
(I), (Def. Stufenwinkel) |
(IV) | ![]() ![]() |
(I), (Def. Scheitelwinkel) |
(V) | ![]() ![]() |
(I), (II), (III), (Stufenwinkelsatz) |
(VI) | ![]() |
(I), (IV), (Scheitelwinkelsatz) |
(VII) | ![]() |
(Def. Nebenwinkel), (Supplementaxiom) |
(VIII) | ![]() |
(VII), (V), (VI) |
-> Beh. wahr qed
--Löwenzahn 18:07, 16. Jul. 2010 (UTC)
Kommentar --*m.g.* 07:07, 19. Jul. 2010 (UTC): Ich bin mal ganz pingelig. EP sagt aus, dass es durch einen nicht zu gehörenden Punkt
höchstens eine Gerade
geben kann, die zu
parallel ist. Kann man Schritt (I) wirklich mit EP begründen? Wo kommt EP zum Tragen?
Über diesen Zusammenhang (die Frage: wozu das EP) haben wir in einer Lerngruppe schon einige Male gesprochen. Ein Vorschlag: das EP braucht man für die EINDEUTIGKEIT von Parallelen - die kann man ohne EP nicht beweisen. Die EXISTENZ von Parallelen kann man allerdings ohne das EP beweisen, das wurde via Umkehrung des Stufenwinkelsatzes bewiesen.
Was hat das mit der Fragestellung zu tun? Wenn man im ersten Schritt behauptet: "es existiert eine Parallele", so kann das mit der Umkehrung des Stufenwinkelsatzes belegt werden. Man müsste sagen: es existiert eine und zwar höchstens eine Parallele und das wird durch die Umkehrung des Stufenwinkelsatzes und das EP bewiesen. Stimmt das so? --Heinzvaneugen 08:13, 20. Jul. 2010 (UTC)