Lösung von Aufgabe 13.2: Unterschied zwischen den Versionen
Zeile 14: | Zeile 14: | ||
|- | |- | ||
! style="background: #FFDDDD;"|(I) | ! style="background: #FFDDDD;"|(I) | ||
− | | <math> \exist d: C \in d, | + | | <math> \exist d: C \in d, d\|AB </math> |
| (Euklidisches Parallelenaxiom) | | (Euklidisches Parallelenaxiom) | ||
|- | |- | ||
! style="background: #FFDDDD;"|(II) | ! style="background: #FFDDDD;"|(II) | ||
− | | <math> \beta </math> und <math> \beta | + | | <math> \beta \ </math> und <math> \beta' \ </math> sind Stufenwinkel |
| (I), (Def. Stufenwinkel) | | (I), (Def. Stufenwinkel) | ||
|- | |- | ||
! style="background: #FFDDDD;"|(III) | ! style="background: #FFDDDD;"|(III) | ||
− | | <math> \alpha </math> und <math> \alpha | + | | <math> \alpha \ </math> und <math> \alpha' \ </math> sind Stufenwinkel |
| (I), (Def. Stufenwinkel) | | (I), (Def. Stufenwinkel) | ||
|- | |- | ||
! style="background: #FFDDDD;"|(IV) | ! style="background: #FFDDDD;"|(IV) | ||
− | | <math> \gamma </math> und <math> \gamma | + | | <math> \gamma \ </math> und <math> \gamma' \ </math> sind Scheitelwinkel |
| (I), (Def. Scheitelwinkel) | | (I), (Def. Scheitelwinkel) | ||
|- | |- | ||
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? | + | <br />Vorschlag--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 08:13, 20. Jul. 2010 (UTC): Ü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? |
Version vom 20. Juli 2010, 10:17 Uhr
Satz XII.4: (Innenwinkelsatz für Dreiecke)
- Es sei ein Dreieck mit den Innenwinkeln , und .
Es gilt .
- Es sei ein Dreieck mit den Innenwinkeln , und .
Versuch 1
VSS: Dreieck , mit Innenwinkel , und
Beh:
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | (Euklidisches Parallelenaxiom) | |
(II) | und sind Stufenwinkel | (I), (Def. Stufenwinkel) |
(III) | und sind Stufenwinkel | (I), (Def. Stufenwinkel) |
(IV) | und sind Scheitelwinkel | (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?
Vorschlag--Heinzvaneugen 08:13, 20. Jul. 2010 (UTC): Ü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?