Lösung von Aufgabe 9.1P (SoSe 13)
Beweisen Sie die Halbgeradentreue der Geradenspiegelung. Nutzen Sie für den Beweis die Streckentreue der Geradenspiegelung und eine geeignete Definition des Begriffs Halbgerade.
Voraussetzung | ![]() ![]() ![]() ![]() |
Behauptung | ![]() ![]() |
Beweisschritt | Begründung |
---|---|
1 ![]() |
Voraussetzung |
2 ![]() |
1), Def Halbgerade |
3 ![]() |
Streckentreue |
4 ![]() |
Def Zwischen |
5 ![]() |
Abstandserhaltung der Geradenspiegelung |
6 ![]() |
Def Zwischen 3), 5) |
7 ![]() |
Def Halbgerade 6) |
--Regenschirm 17:50, 25. Jun. 2013 (CEST) Die Beweisidee und Schritte sind super. Es fehlen noch ein paar Striche und Klammern, damit der Beweis auch ganz richtig ist.--Tutorin Anne 15:18, 26. Jun. 2013 (CEST)
Voraussetzung:
AB+ ≔ {P | Zw(A,P,B) ∨ Zw(A,B,P)} ∪ {A,B}
mit A ≠ B, A,B ∈ Ebene E
A͞B := {P | Zw(A,P,B)} ∪ {A,B}
mit A ≠ B, A,B ∈ Ebene E
--Nolessonlearned 18:39, 14. Jul. 2013 (CEST)
Definitionen gehören nicht in die Voraussetzung, sondern nur die "Mitspieler". Es ist sinnvoll sich die Definitionen am Rand zu notieren und in den Begründungsschritten dann Def. ... zu schreiben, wenn man sie verwendet hat. In seltenen Fällen v.a. dann wenn es mehrere Definitionen eines Begriffs gibt, kann man die Definition dann in der Begründung auch explizit nennen. --Tutorin Anne 11:47, 16. Jul. 2013 (CEST)
Behauptung: AB+ ≌ A'B'+
--Nolessonlearned 18:39, 14. Jul. 2013 (CEST)
Beweisschritt | Begründung | |
---|---|---|
1) | B'= Sg(B) | Eigenschaft d. GS |
2) | A'= Sg(A) | Eigenschaft d. GS |
3) | ![]() |
(1); (2); Voraussetzung; Streckentreue d. GS |
4) | ![]() |
Voraussetzung; Def. Halbgerade |
5) | ![]() |
(1); (2); (3); Voraussetzung; Def. Halbgerade; Streckentreue d. GS |
6) | Fehler beim Parsen(Syntaxfehler): \\ AB^{+}\ \tilde {=} \ A'B'^{+} | (4); (5);
q.e.d. |
--Nolessonlearned 18:57, 14. Jul. 2013 (CEST)
Schritt 6 kannst du nicht aus 4) und 5) herleiten, da eine Halbgerade ja noch aus weiteren Punkten besteht, die nicht auf der STrecke liegen. Diese könnten ja nicht aufeinander abgebildet werden. --Tutorin Anne 11:47, 16. Jul. 2013 (CEST)