Lösung von Aufgabe 5.5 (SoSe11): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 29: Zeile 29:
 
Voraussetzung: a, b, c sind paarweise verschiedene Geraden, <math>\ a \| b </math>, <math>\ b \| c </math> <br />
 
Voraussetzung: a, b, c sind paarweise verschiedene Geraden, <math>\ a \| b </math>, <math>\ b \| c </math> <br />
 
Behauptung: a ist nicht parralel zu c <br />
 
Behauptung: a ist nicht parralel zu c <br />
−
Annahme: sei B ε b und B ε c <br />
+
zu zeigen: b schneidet c, B ist Schnittpunkt der Geraden b und der Geraden c
−
zu zeigen: b = c  
+
 
<br />
 
<br />
 
{| class="wikitable"  
 
{| class="wikitable"  
Zeile 42: Zeile 41:
 
| (3) || <math>\ b \| c </math> || Vor.
 
| (3) || <math>\ b \| c </math> || Vor.
 
|-
 
|-
−
| (4) || B ε b || Annahme
+
| (4) || B ε b || Festlegung, Schnittpunkt b, c
 
|-
 
|-
−
| (5) || B ε c || Annahme
+
| (5) || B ε c || Festlegung, Schnittpunkt b, c
 
|-
 
|-
−
| (6) || b = c || Parallelaxiom, Wiederspruch zur Annahme, dass a, b, c paarweis verschiedene Geraden sind
+
| (6) || b nicht parallel zu c || Parallelaxiom, (4), (5), Wiederspruch zur Annahme, dass <math>\ b \| c </math>
 
|}
 
|}
  
Zeile 56: Zeile 55:
 
| Das hab ich geschrieben || das gefällt mir daran überhaupt nicht || so wäre es richtig
 
| Das hab ich geschrieben || das gefällt mir daran überhaupt nicht || so wäre es richtig
 
|-  
 
|-  
−
| zu zeigen: b = c || das kann irgendwie nicht sein, das weiß ich ja vorher noch nicht, dass ich das zeigen möchte oder? aus diesem grunde mus es eigentlich etwas anderes geben, was ich zeigen möchte ||  
+
| zu zeigen: b schneidet c, B ist Schnittpunkt der Geraden b und der Geraden c || das kann irgendwie nicht sein, weil das möchte ich eigentlich gar nicht zeigen. ich möchte vielmehr zeigen, dass a grad nicht parallel zu c ist, aber das ist ja meine Behauptung - irgendwie doppelt gemoppelt, oder? außerdem habe ich gar nicht gezeigt, dass b c schneidet ||  
 
|-
 
|-
−
| Annahme: sei B ε b und B ε c || ich glaube, das gehört da oben gar nicht hin, sondern erst in die Beweistabelle. Wenn ich das aber NUR in die Beweistabelle schreibe, dann kann ich ja gar nix in die Spalte der Begründung schreiben, außer dass ich das so festgelegt habe, weil ich so lustig bin und das für den weiteren Verlauf brauche - das scheint mir aber wenig professionell ||  
+
| "Festlegung, Schnittpunkt b, c" in Beweisschritt 4 und 5 || ich glaube, dass man das irgendwie anders schreiben sollte - das scheint mir aber wenig professionell ||  
 
|}
 
|}
 
Dankeschön --[[Benutzer:HecklF|Flo60]] 22:05, 7. Mai 2011 (CEST)
 
Dankeschön --[[Benutzer:HecklF|Flo60]] 22:05, 7. Mai 2011 (CEST)

Version vom 7. Mai 2011, 22:19 Uhr

Das Parallelenaxiom lautet wie folgt:
Zu jeder Geraden g und zu jedem nicht auf g liegenden Punkt A gibt es höchstens eine Gerade, die durch A verläuft und zu g parallel ist.
Nutzen Sie dieses Axiom, beim Lösen der folgenden Aufgabe:
Es seien a, b und c drei paarweise verschiedene Geraden in ein und derselben Ebene.
a) Beweisen Sie folgende Implikation durch einen Widerspruchsbeweis: \ a \| b \land b \| c \Rightarrow \ a \| c .
b) Welche Eigenschaft der Relation \| auf der Menge aller Geraden einer Ebene haben Sie hiermit gezeigt?

Ich mache mal einen Anfang:
Vor.: a, b und c sind drei paarweise versch. Geraden
Beh.: \ a \| b \land b \| c \Rightarrow \ a \| c .

Annahme: \ a \| b \land b \| c \Rightarrow a nicht parallel zu c

Beweisschritt Begründung
1) a,b,c sind 3 paarweise versch. Geraden Vor.
2) es existiert ein Pkt A, der nicht auf der Geraden liegt (welche Gerade ist hier gemeint?) Axiom I/0
3) durch A geht eine Gerade, die parallel zu a ist 2), Parallelenaxiom
4) eine weitere Gerade geht durch A und ist nicht parallel zu a (hm... ich verstehe die Beweisführung bzw. dieses Argument an dieser Stelle nicht und warum ist das ein Widerspruch zur Annahme? Vllt. wäre eine Skizze an dieser Stelle nicht schlecht.)--Tutor Andreas 13:42, 6. Mai 2011 (CEST) Def. Schnittpkt von Geraden
Widerspruch zur Vor.


Voraussetzung: a, b, c sind paarweise verschiedene Geraden, \ a \| b , \ b \| c
Behauptung: a ist nicht parralel zu c
zu zeigen: b schneidet c, B ist Schnittpunkt der Geraden b und der Geraden c

Nummer Beweisschritt Begründung
(1) a, b, c sind paarweise verschiedene Geraden Vor.
(2) \ a \| b Vor.
(3) \ b \| c Vor.
(4) B ε b Festlegung, Schnittpunkt b, c
(5) B ε c Festlegung, Schnittpunkt b, c
(6) b nicht parallel zu c Parallelaxiom, (4), (5), Wiederspruch zur Annahme, dass \ b \| c

somit wäre aus meiner sicht bewiesen, dass a auch parallel zu c ist. Falls dieser Beweis so stimmt: Wie gehe ich mit folgenden Punkten um:

Das hab ich geschrieben das gefällt mir daran überhaupt nicht so wäre es richtig
zu zeigen: b schneidet c, B ist Schnittpunkt der Geraden b und der Geraden c das kann irgendwie nicht sein, weil das möchte ich eigentlich gar nicht zeigen. ich möchte vielmehr zeigen, dass a grad nicht parallel zu c ist, aber das ist ja meine Behauptung - irgendwie doppelt gemoppelt, oder? außerdem habe ich gar nicht gezeigt, dass b c schneidet
"Festlegung, Schnittpunkt b, c" in Beweisschritt 4 und 5 ich glaube, dass man das irgendwie anders schreiben sollte - das scheint mir aber wenig professionell

Dankeschön --Flo60 22:05, 7. Mai 2011 (CEST)


b) Wenn eine Gerade a parallel zu einer Gerade b ist und eine Gerade b zu einer Geraden c pparallel ist, dann ist auch eine Gerade a zu einer Geraden c parallel. Durch das "und" wird deutlich, dass beide Teilaussagen wahr sein müssen, damit die Gesamtaussage wahr wird. --Flo 21 15:30, 5. Mai 2011 (CEST) Diese Eigenschaft, dass wenn a zu b und b zu c in Relation steht dann auch a zu c in Relation stehtnennt man Transitivität.Klemens 19:36, 5. Mai 2011 (CEST)

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufgabe_5.5_(SoSe11)&oldid=7060“