Benutzer:Andreas: Unterschied zwischen den Versionen

Version vom 10. November 2011, 14:53 Uhr

Voraussetzung: Drehung D um Punkt Z mit dem Winkel $\beta$
Behauptung: |PQ|=|P'Q'|

Beweisschritt	Begründung
1) $\overline {ZP} \tilde = \overline {ZP'}$	folgt unmittelbar aus der Definition: (Drehung)
2) $\overline {ZQ} \tilde = \overline {ZQ'}$	folgt unmittelbar aus der Definition: (Drehung)
3) $\angle {PZP'} \tilde = \angle {QZQ'}$	folgt unmittelbar aus der Definition: (Drehung)
4) $\|\alpha'\|=\|\beta'\|+\|\alpha - \beta\|$ $\|\alpha'\|= \|\alpha\|$	rechnen in den reellen Zahlen, folgt aus Schritt 3, da $\beta = \angle {PZP'}$ und $\beta' = \angle {QZQ'}$
5) $\triangle {ZPQ} \tilde = \triangle {ZP'Q'}$	folgt aus den Schritten 1-4, sws
6) Fehler beim Parsen(Unbekannte Funktion „\til“): \overline {PQ} \tilöde = \overline {P'Q'}	folgt aus Schritt 5
7) $\|PQ\|=\|P'Q'\|$	folgt aus Schritt 6, q.e.d

--Andreas 14:22, 9. Nov. 2010 (UTC)

Voraussetzung: $\phi$ ist eine Bewegung, $\phi$ hat genau eine Fixpunkt Z
Behauptung: $\beta \cong \beta'$

Beweisschritt	Begründung
1. $P \ne P', Q \ne Q'$	folgt unmittelbar aus der Voraussetzung (genau ein Fixpunkt Z)
2. $\overline {ZP} \cong \overline {ZP'}$	folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend)
3. $\overline {ZQ} \cong \overline {ZQ'}$	folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend)
4. $\overline {PQ} \cong \overline {P'Q'}$	folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend)
5. $\triangle {ZPQ} \cong \triangle {ZP'Q'}$	sss, folgt aus den Schritten 2-4
6. $\alpha \cong \alpha'$ $\|\alpha\|= \|\alpha'\|$	folgt aus Schritt 5
7. $\|\beta'\|=\|\alpha'\|+\|\beta\|-\|\alpha\|$ $\|\beta'\|=\|\beta\|$ $\beta' \cong \beta$	rechnen in den reellen Zahlen, Schritt 6

--Andreas 15:13, 11. Nov. 2010 (UTC)

@@ Zeile 13: / Zeile 13: @@
 ! Begründung
 |-
-| 1) <math>\overline {ZP} \cong \overline {ZP'}</math>
+| 1) <math>\overline {ZP} \tilde = \overline {ZP'}</math>
 | folgt unmittelbar aus der Definition: (Drehung)
 |-
-| 2) <math>\overline {ZQ} \cong \overline {ZQ'}</math>
+| 2) <math>\overline {ZQ} \tilde = \overline {ZQ'}</math>
 | folgt unmittelbar aus der Definition: (Drehung)
 |-
-| 3) <math>\angle {PZP'} \cong \angle {QZQ'}</math>
+| 3) <math>\angle {PZP'} \tilde = \angle {QZQ'}</math>
 | folgt unmittelbar aus der Definition: (Drehung)
 |-
@@ Zeile 26: / Zeile 26: @@
 | rechnen in den reellen Zahlen, folgt aus Schritt 3, da <math>\beta = \angle {PZP'} </math> und <math> \beta' = \angle {QZQ'}</math>
 |-
-| 5) <math>\triangle {ZPQ} \cong \triangle {ZP'Q'}</math>
+| 5) <math>\triangle {ZPQ} \tilde = \triangle {ZP'Q'}</math>
 | folgt aus den Schritten 1-4, sws
 |-
-| 6) <math>\overline {PQ} \cong \overline {P'Q'}</math>
+| 6) <math>\overline {PQ} \tilöde = \overline {P'Q'}</math>
 | folgt aus Schritt 5
 |-