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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(table+)
(Beweisschritte zu Ergänzen)
Zeile 100: Zeile 100:
 
[[Kategorie: Einführung_P]]<br />
 
[[Kategorie: Einführung_P]]<br />
 
<br />
 
<br />
<br />
+
==Beweis von Nolessonlearnd==
 
'''Voraussetzung''': <math>f\ ||\ h\ mit\ f,h\ \in\ \ E</math><br />--[[Benutzer:Nolessonlearned|Nolessonlearned]] 20:43, 15. Jul. 2013 (CEST)
 
'''Voraussetzung''': <math>f\ ||\ h\ mit\ f,h\ \in\ \ E</math><br />--[[Benutzer:Nolessonlearned|Nolessonlearned]] 20:43, 15. Jul. 2013 (CEST)
 
<br />
 
<br />

Version vom 16. Juli 2013, 12:43 Uhr

  1. Was versteht man unter der Parallelentreue einer Geradenspiegelung?
  2. Beweisen Sie die Parallelentreue einer Geradenspiegelung.

Tipp: Im Wiki nachlesen und den Beweis dann indirekt führen.--Tutorin Anne 18:21, 26. Jun. 2013 (CEST)

Inhaltsverzeichnis

Beweis von Blumenkind

  • Zwei Geraden sind parallentreu, wenn bei der Geradenspiegelung zueinander parallelen Geraden p1 und p2 ebensfalls zueinader parallel abgebilder werden. Kurz formuliert:

--> p1 II p2 --> p1` II p2 ` wobei Sg (P1)= P1` und Sg(P2)=P2`


  • Beweisdurchführung
  • Vor.: p1 II p2, Sg (P1)= P1` und Sg(P2)=P2`
  • Beh.: p1`II p2`


1. Sg (p1)= p1` und Sg(p2`) Voraussetzung

2. p1 II p2 Voraussetzung

3.


--> HILFE!!!! ICH KOMM NICHT MEHR WEITER. IRGENDWIE BIN ICH DURCHEINANDER GEKOMMEN. WAS MACHE ICH FALSCH?--Blumenkind 18:51, 4. Jul. 2013 (CEST)BLUMENKIND 18:50, 4.Juli

Probier es mal, wie Anne schon oben angemerkt hat, über einen indirekten Beweis. Wie muss also die Annahme lauten?--TobiWan 12:28, 5. Jul. 2013 (CEST)

  • Voraussetzung und Behauptung sind richtig.
  • Das ist leider kein Beweis, da nur, weil Geraden auf Geraden abgebildet werden, diese nicht unbedingt parallel sind.
  • Tipp: Gehe indirekt vor, indem du annimmst dass P1 und p2 einen Schnittpunkt haben.--Tutorin Anne 14:22, 8. Jul. 2013 (CEST)

Beweis von Regenschirm

Voraussetzung \ g\|| h \wedge A\in  h
Behauptung Sg (g\|| h) = g\||h'
Annahme Sg (g\||h) = \ g \cap h'


Nr. Beweisschritt Begründung
1 Sg (g) = g Voraussetzung, Def. Geradenspiegelung
2 Sg (h) = h' Voraussetzung, Def. Geradenspiegelung
3 Sg (g\||h) = \ g \cap h' Annahme
4 \ g \cap h' \ S\in h'  \wedge S\in  g 1) 2) 3)
5 Sg (S) = S' 4) Def. Geradenspiegelung
6 S'\in h'  \wedge S'\in  g 2) 5)
7 \ g \cap h = {s'} 6)
8 Widerspruch, Annahme ist zu verwerfen, Behauptung stimmt 7)


--Regenschirm 22:30, 11. Jul. 2013 (CEST)

Die Beweisidee ist absolut richtig, so wie auch die Abfolge der Schritte und die meisten Begründungen (manche sind nicht komplett). Die formale Schreibweise ist aber ziemlich verdreht und so nicht richtig. Zudem scheinen mir manchmal ' zu fehlen.--Tutorin Anne 16:47, 12. Jul. 2013 (CEST)

  • \ g \cap h kann als "schneidet" gelesen werden. Das ist trotzdem eine Mengenoperation "Schnittmenge von g und h" und kann deshalb auch eine leere Menge sein. Deshalb bitte immer dazu schreiben, ob der Schnitt leer ist oder eben nicht.
  • Tendenziell nutzen ganz viele die Definition von Geradenspiegelung (und anderen Spiegelungen) für so ziemlich alles. Da steht aber fast nichts drin! Was überhaupt?

Ich schreibe den Beweis hier nochmal. Die Schritte sind noch zu begründen: --Tutorin Anne 16:47, 12. Jul. 2013 (CEST)

Beweisschritte zu Ergänzen

Voraussetzung a II b, S_g (a) = a' und S_g (b)=b'
Behauptung a' II b'
Annahme a' II b'


Nr. Beweisschritt Begründung
1 a' \cap b' = {S'} Annahme
2 S = S_g (S') 1) Def. Geradenspiegelung
3 S \in a und S \in  b 1) 2)
4 a \cap b = {S} 3)
5 a' II b' a II b 4)
6 Widerspruch zur Voraussetzung 5) Voraussetzung


Müsste bei Schritt 5) nicht a II b stehen?--Regenschirm 19:00, 14. Jul. 2013 (CEST)

  • Denke Regenschirm, so ist es! Danke auch fürs Ergänzen.
  • Die Begründungen für Schritt 3, 4 und 5 sollten noch zusätzlich durch Definitionen oder Eigenschaften ergänzt werden.--Tutorin Anne 10:00, 15. Jul. 2013 (CEST)


Beweis von Nolessonlearnd

Voraussetzung: f\ ||\ h\ mit\ f,h\ \in\ \ E
--Nolessonlearned 20:43, 15. Jul. 2013 (CEST)
Behauptung: f'\ ||\ h'
--Nolessonlearned 20:43, 15. Jul. 2013 (CEST)
Annahme: \ f' \cap\ h'\ =\ \left\{ {S} \right\}
--Nolessonlearned 20:43, 15. Jul. 2013 (CEST)

Beweisschritt Begründung
1) \ f\ \cap\ \ h\ =\ \left\{ {leer} \right\} Voraussetzung
2) f'\ =\ Sg(f) Eigenschaft von Sg
3) h'\ =\ Sg(h) Eigenschaft von Sg
4) \ f\ \cap\ \ f'\ =\ \left\{ {leer} \right\} (2); Geradentreue von Sg
5) \ h\ \cap\ \ h'\ =\ \left\{ {leer} \right\} (3); Geradentreue von Sg
6) \ f'\ \cap\ \ h'\ =\ \left\{ {leer} \right\} (4); (5);

Widerspruch zur Annahme. Annahme ist zu verwerfen. Behauptung stimmt. q.e.d.

--Nolessonlearned 20:43, 15. Jul. 2013 (CEST)