Lösung von Aufgabe 9.1P (SoSe 13): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 29: Zeile 29:
 
|}
 
|}
 
--[[Benutzer:Regenschirm|Regenschirm]] 17:50, 25. Jun. 2013 (CEST)
 
--[[Benutzer:Regenschirm|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.--[[Benutzer:Tutorin Anne|Tutorin Anne]] 15:18, 26. Jun. 2013 (CEST)
+
Die Beweisidee und Schritte sind super. Es fehlen noch ein paar Striche und Klammern, damit der Beweis auch ganz richtig ist.--[[Benutzer:Tutorin Anne|Tutorin Anne]] 15:18, 26. Jun. 2013 (CEST)<br />
 +
**Darf man eigentlich <math>\overline{AP}</math>  schreiben? <math>P</math> ist doch ein Vertreter aller Punkte innerhalb der Halbgerade <math>\ AB^{+</math>  und diese ist ja unendlich.--[[Benutzer:Nolessonlearned|Nolessonlearned]] 14:08, 18. Jul. 2013 (CEST)<br />
  
 
<br />
 
<br />

Version vom 18. Juli 2013, 13:08 Uhr

Beweisen Sie die Halbgeradentreue der Geradenspiegelung. Nutzen Sie für den Beweis die Streckentreue der Geradenspiegelung und eine geeignete Definition des Begriffs Halbgerade.


Voraussetzung Sg mit A'= Sg (A) und B' = Sg (B) und P \in AB^{+}
Behauptung Sg (AB+) = A'B'^{+} d.h. P' \in A'B'^{+}



Beweisschritt Begründung
1 P \in AB^{+} Voraussetzung
2 P \in \  \  \overline{AB}   \cup  \{P|ZW (A,B,P)\} 1), Def Halbgerade
3 P \in \overline{A'B'} Streckentreue
4 P \in \overline{AB}  + \overline{BP} = \overline{AP} Def Zwischen
5 P \in \overline{A'B'}  + \overline{B'P'} = \overline{A'P'} Abstandserhaltung der Geradenspiegelung
6 P' \in \  \  \overline{A'B'}   \cup  \{P'|ZW (A',B',P')\} Def Zwischen 3), 5)
7 P' \in A'B'^{+} 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)

    • Darf man eigentlich \overline{AP} schreiben? P ist doch ein Vertreter aller Punkte innerhalb der Halbgerade Fehler beim Parsen(Syntaxfehler): \ AB^{+
 und diese ist ja unendlich.--Nolessonlearned 14:08, 18. Jul. 2013 (CEST)



Voraussetzung: \ A'B'^{+} =Sg( AB^{+} )\ mit\ A,B \in Ebene\ E

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)

  • Danke, habe die VSS geändert.--Nolessonlearned 21:01, 16. Jul. 2013 (CEST)

Behauptung: \ AB^{+}  \tilde {=} A'B'^{+}
--Nolessonlearned 18:39, 14. Jul. 2013 (CEST)

Beweisschritt Begründung
1) A'=Sg(A) Eigenschaft Sg
2) B'=Sg(B) Eigenschaft Sg
3) P'=Sg(P)\ mit\ P\in Ebene\ E Eigenschaft Sg
4) \ \overline{AB}  \tilde {=} \overline{A'B'} (1); (2); Voraussetzung; Streckentreue d. Sg
5) \ AB^{+} :=\overline{AB}\ \cup\ \left\{ {P|Zw(A,B,P)} \right\} (1); (2); (3); Voraussetzung; Def. Halbgerade
6) \ A'B'^{+} :=\overline{A'B'}\ \cup\ \left\{ {P'|Zw(A',B',P')} \right\} (4); (5); Voraussetzung; Def. Halbgerade; Eigenschaft Sg
7) \ AB^{+}  \tilde {=} A'B'^{+} (4); (5); (6)

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)

  • So könnte es passen.--Nolessonlearned 21:01, 16. Jul. 2013 (CEST)
    • Du kannst die Zwischenrelation nicht einfach ersetzen. Du benötigst die Umformungsschitte, die auch im Beweis darüber zu finden sind. Nur dass da ein paar Fehler in der Schreibweise sind. --Tutorin Anne 09:52, 17. Jul. 2013 (CEST)