Drehungen als Geradenspiegelungen (2011/12): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
HecklF (Diskussion | Beiträge) (→Satz) |
HecklF (Diskussion | Beiträge) (→Satz) |
||
Zeile 7: | Zeile 7: | ||
<br /> | <br /> | ||
− | + | =Beweisteil I: <math>a \perp b \rightarrow (S_b \circ S_a = S_a \circ S_b)</math><br />= | |
<br /><br /> | <br /><br /> | ||
Um diesen Beweis führen zu können, müssen wir uns auf den Reduktionssatz rückbesinnen. Dieser zeigte uns an, dass jede Drehung die NAF zweier Geradenspiegelungen ist. Ferner konnten wir zeigen, dass es unendlich viele Geradenpaare gibt, die die Bewegung ausführen. | Um diesen Beweis führen zu können, müssen wir uns auf den Reduktionssatz rückbesinnen. Dieser zeigte uns an, dass jede Drehung die NAF zweier Geradenspiegelungen ist. Ferner konnten wir zeigen, dass es unendlich viele Geradenpaare gibt, die die Bewegung ausführen. | ||
<br /><br /> | <br /><br /> | ||
Seien A, B, C drei nichtkollineare Punkte und <math>S_b(S_a(A)) = A', \ S_b(S_a(B)) = B' \ und \ S_b(S_a(C)) = C'</math> | Seien A, B, C drei nichtkollineare Punkte und <math>S_b(S_a(A)) = A', \ S_b(S_a(B)) = B' \ und \ S_b(S_a(C)) = C'</math> | ||
− | <br /> | + | <br /><br /> |
Bleibt zu zeigen, dass <math>S_a(S_b(A)) = A', \ S_a(S_b(B)) = B' \ und \ S_a(S_b(C)) = C'</math>. | Bleibt zu zeigen, dass <math>S_a(S_b(A)) = A', \ S_a(S_b(B)) = B' \ und \ S_a(S_b(C)) = C'</math>. | ||
<br /><br /> | <br /><br /> |
Version vom 5. Dezember 2011, 00:25 Uhr
Beziehung zwischen "senkrecht" und Kommutativität
Satz
- Es seien und zwei Geradenspiegelungen, deren Spiegelgeraden und nicht identisch sind.
- Es gilt die folgende Äquivalenz:
- --Sternchen 11:27, 1. Dez. 2011 (CET)
Beweisteil I:
Um diesen Beweis führen zu können, müssen wir uns auf den Reduktionssatz rückbesinnen. Dieser zeigte uns an, dass jede Drehung die NAF zweier Geradenspiegelungen ist. Ferner konnten wir zeigen, dass es unendlich viele Geradenpaare gibt, die die Bewegung ausführen.
Seien A, B, C drei nichtkollineare Punkte und
Bleibt zu zeigen, dass .
Weil ich unendlich viele Geradenpaare habe, für die gilt, dass kann ich mit ein weiteres Paar aussuchen. Ein weiterer Aspekt muss jedoch berücksichtigt werden: Der Schnittwinkel der beiden Geraden muss immer identisch sein. Wenn nun a' so gelegt wird, dass a' = b ist und b' so gelegt wird, dass b' = a ist, dann sind wir fertig, da nun gilt, dass .
--Flo60 23:23, 4. Dez. 2011 (CET)
Beweisteil II: