Bewegungen (2012 13): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Beweis von Satz 1.2)
(→‎Injektivität)
 
(26 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
 +
<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FED7D7; align:left;">
 +
{|width=90%| style="background-color:#FED7D7; padding:1em"
 +
| valign="top" |
 +
 
== Der Begriff der Bewegung ==
 
== Der Begriff der Bewegung ==
 
=== Die Grundideen ===
 
=== Die Grundideen ===
Zeile 71: Zeile 75:
 
| (I)
 
| (I)
 
| <math> d(P,Q) > 0 </math>
 
| <math> d(P,Q) > 0 </math>
−
| ... </math>
+
| Vor., Def. Abstand, Abstandsaxiom--[[Benutzer:Beveggie|Beveggie]] 16:17, 10. Nov. 2012 (CET)
 
|-
 
|-
 
| (II)
 
| (II)
 
| <math> d(\beta(P), \beta(Q)) = 0 </math>
 
| <math> d(\beta(P), \beta(Q)) = 0 </math>
−
|... </math>
+
|Annahme, Abstandsaxiom --[[Benutzer:Beveggie|Beveggie]] 16:17, 10. Nov. 2012 (CET)
 
|-
 
|-
 
| (III)
 
| (III)
 
| (I) und (II) widersprechen sich.
 
| (I) und (II) widersprechen sich.
−
| ...
+
| (I), (II), Definition Bewegung --[[Benutzer:Gubbel|Gubbel]] 19:02, 1. Mai 2013 (CEST) --[[Benutzer:Beveggie|Beveggie]] 16:17, 10. Nov. 2012 (CET)
 
|}
 
|}
  
Zeile 85: Zeile 89:
 
:: Die Nacheinanderausführung zweier Bewegungen ist eine Bewegung.
 
:: Die Nacheinanderausführung zweier Bewegungen ist eine Bewegung.
 
===== Beweis von Satz 1.2 =====
 
===== Beweis von Satz 1.2 =====
−
Zunächst ist allgemein bekannt, dass die NAF zweier Abbildungen eine Abbildung ist (s. Algebra I). Es seien <math>\beta_1</math> und <math>\beta_2</math> zwei Bewegungen. <math>\beta_1</math> bildet die Ebene <math>\varepsilon</math>auf sich selbst ab. Hernach wird <math>\varepsilon</math> durch <math>\beta_2</math> wiederum auf sich selbst abgebildet. Ergo: <math>\begin{matrix}  & \beta_2 \beta_1 & \\ \varepsilon & \rightarrow & \varepsilon \end{matrix} </math>
+
Zunächst ist allgemein bekannt, dass die NAF zweier Abbildungen eine Abbildung ist (s. Algebra I). Es seien <math>\beta_1</math> und <math>\beta_2</math> zwei Bewegungen. <math>\beta_1</math> bildet die Ebene <math>\varepsilon</math>auf sich selbst ab. Hernach wird <math>\varepsilon</math> durch <math>\beta_2</math> wiederum auf sich selbst abgebildet. Ergo: <math>\begin{matrix}  & \beta_2 \beta_1 & \\ \varepsilon & \longrightarrow & \varepsilon \end{matrix} </math>.
 +
 
 +
Bleibt zu zeigen, dass die NAF zweier Bewegungen auch abstandserhaltend ist.
 +
 
 +
[[Bild:Abstandserhaltung_von_NAF.JPG|500px]]
 +
 
 +
--[[Benutzer:Jessy*|Jessy*]] 09:21, 16. Nov. 2012 (CET)
  
 
===== Satz 1.3: (Zwischenrelation als Invariante von Bewegungen) =====
 
===== Satz 1.3: (Zwischenrelation als Invariante von Bewegungen) =====
Zeile 91: Zeile 101:
  
 
===== Beweis von Satz 1.3 =====
 
===== Beweis von Satz 1.3 =====
−
siehe [[Lösung_von_Aufgabe_1.2_WS2011/12]]
+
 
 +
Es seien <math>\ A, B, C</math> drei paarweise verschiedene Punkte mit
 +
 
 +
(*) <math>\operatorname{Zw}(A, B, C)</math>.
 +
 
 +
zu zeigen:
 +
 
 +
(**) <math>\operatorname{Zw}(A', B', C')</math>
 +
 
 +
Wir übersetzen zunächst (*):
 +
 
 +
<math>\ |AB| + |BC| = |AC|</math>
 +
 
 +
entsprechend (**) haben wir zu zeigen, dass <math>\ |A'B'| + |B'C'| = |A'C'|</math> gilt.
 +
 
 +
Den Rest können Sie alleine ... .
 +
 
 +
[[Bild:Invarianz_der_Zw-Relation.JPG|500px]]
 +
 
 +
--[[Benutzer:Jessy*|Jessy*]] 09:46, 7. Nov. 2012 (CET)
  
 
=====Satz 1.4: (Geradentreue, Halgeradentreue, Streckentreue, Schnittpunkttreue bei Bewegungen) =====
 
=====Satz 1.4: (Geradentreue, Halgeradentreue, Streckentreue, Schnittpunkttreue bei Bewegungen) =====
Zeile 105: Zeile 134:
 
|-
 
|-
 
| (d) || Falls zwei Geraden, Strecken, Halbgeraden oder zwei verschiedene dieser Figuren einen Punkt <math>\ P</math> gemeinsam haben, so haben die Bildfiguren den Punkt <math>\ \beta(P)</math> gemeinsam.
 
| (d) || Falls zwei Geraden, Strecken, Halbgeraden oder zwei verschiedene dieser Figuren einen Punkt <math>\ P</math> gemeinsam haben, so haben die Bildfiguren den Punkt <math>\ \beta(P)</math> gemeinsam.
 +
|-
 +
| (e) || Jede Halbebene mit einer Randgeraden g auf eine Halbebene mit der Randgeraden β(g).
 +
|-
 +
| (f) || Das Innere eines beliebigen Winkels wird auf das Innere des zugehörigen Bildwinkels abgebildet.
 
|}
 
|}
  
Zeile 111: Zeile 144:
 
::Fühlen Sie sich frei zu üben.
 
::Fühlen Sie sich frei zu üben.
  
−
a) Das Bild einer Geraden ist eine Gerade
+
'''Beweis von (a)'''
  
−
Voraussetzung: <math>AB</math> ist eine Gerade<br />
+
[[Bild:G_auf_g.JPG|700px]]
−
Behauptung: <math>A'B'</math> ist das Bild von <math>AB</math>
+
  
−
Ich möchte den "Beweis" führen für die Strecke (also für (c)), da daraus sowohl Halbgerade und Gerade direkt ableitbar sind:
+
'''Beweis von (b)'''
−
<br />
+
 
−
<br />
+
[[Bild: AP%2B_auf_AP%2B.JPG|700px]]
−
Voraussetzung: Strecke <math>\overline{AB}</math> sowie eine Bewegung <math>\beta</math> <br />
+
 
−
Behauptung: <math>\overline{AB} \tilde {=} \overline{A'B'} </math> <br />
+
'''Beweis von (c)'''
−
<br />
+
 
−
Sei P ein beliebiger Punkt auf |AB|, sodass gilt: <math>\operatorname(Zw) (A, P, B)</math> <br />
+
[[Bild:Strecke_auf_Strecke.JPG|700px]]
−
Nach Satz 1.4 bleiben die Abstände dieser Punkte nach einer Bewegung erhalten. Es gilt: <math>\operatorname(Zw) (A, P, B) =  \operatorname(Zw) (A', P', B')</math><br />
+
 
−
Nach Definition Zwischenrelation gilt nun: <math>\overline{AB} \tilde {=} \overline{A'B'}</math>  --[[Benutzer:HecklF|Flo60]] 22:31, 26. Okt. 2011 (CEST)
+
'''Beweis von (d)'''
 +
 
 +
[[Bild:Schnittpunkttreue.JPG|800px]]
 +
 
 +
Die anderen Beweise zur Schnittpunkttreue müssten analog verlaufen...
 +
--[[Benutzer:Jessy*|Jessy*]] 09:36, 16. Nov. 2012 (CET)
  
 
===== Satz 1.5: (Winkelgröße als Invariante bei Bewegungen)=====
 
===== Satz 1.5: (Winkelgröße als Invariante bei Bewegungen)=====
Zeile 136: Zeile 173:
 
Voraussetzung: <math>\angle ASB</math>, Bewegung <math>\beta</math>, <math>\angle \beta(A)\beta(S) \beta(B)</math> <br />
 
Voraussetzung: <math>\angle ASB</math>, Bewegung <math>\beta</math>, <math>\angle \beta(A)\beta(S) \beta(B)</math> <br />
 
Behauptung: <math>\angle ASB</math> = <math>\angle \beta(A)\beta(S) \beta(B)</math> <br />
 
Behauptung: <math>\angle ASB</math> = <math>\angle \beta(A)\beta(S) \beta(B)</math> <br />
−
<br /> Direkte Beweisführung <br /><br />
 
−
Wir nehmen an, ASB ist ein Dreieck. Nach der Definition von Bewegung und der Voraussetzung entsteht mit <math> \beta(A)\beta(S) \beta(B)</math> ein Dreieck, dessen Seiten jeweils gleich lang sind, wie diejenigen des ursprünglichen Dreiecks ABC. Nach dem Kongruenzsatz SSS sind nun beide Dreiecke kongruent. Demnach ist nach der Definition von Kongruenz auch jeder Winkel des ursprünglichen gleich den Winkeln des Bildes dieses Dreiecks.
 
−
<br />
 
−
--[[Benutzer:HecklF|Flo60]] 12:59, 20. Okt. 2011 (CEST)
 
  
−
[[Category:Elementargeometrie]]
+
[[Bild:Winkeltreue.JPG|600px]]
 +
 
 +
--[[Benutzer:Jessy*|Jessy*]] 09:48, 16. Nov. 2012 (CET)<br /><br />
 +
=====Satz 1.6:=====
 +
Jede Bewegung ist durch ein Dreieck <math>\bar{ABC}</math> und dessen Bild <math>\bar{A'B'C'}</math> eindeutig bestimmt.<br /><br />
 +
=====Beweis von Satz 1.6:=====
 +
[[Bild:Satz_1.6.JPG|700px]]<br /><br />
 +
--[[Benutzer:Jessy*|Jessy*]] 09:22, 12. Dez. 2012 (CET)<br /><br />
 +
<!--- Was hier drunter steht muss stehen bleiben --->
 +
|}
 +
</div>
 +
 
 +
[[Kategorie: Elementargeometrie]]

Aktuelle Version vom 1. Mai 2013, 19:02 Uhr

Inhaltsverzeichnis

Der Begriff der Bewegung

Die Grundideen

Starrheit und Kopieren

Abstraktion von den physikalischen Gegebenheiten

Die Materie scheint schwer genug zu sein. Wir werden unsere Betrachtungen auf eine einzige Ebene ε einschränken.

Die Lochschablone ist nichts anderes als das Modell unserer Ebene. Leider muss jedes physikalische Modell, mit dem der Schüler auch noch konkret handelnd tätig werden soll, flächenmäßig beschränkt sein.Für den mathematischen Bewegungsbegriff abstrahieren wir von dieser Beschränktheit. Das ist uns eigentlich schon länger klar, soll an dieser Stelle jedoch noch einmal besonders hervorgehoben und betont werden.

Hinter der Idee des Kopierens steckt nichts anderes als der mathematische Abbildungsbegriff. Jedem Original wird ein Bild zugeordnet.

Der Definitionsbereich für unsere Abbildungen ist die gesamte Ebene. Ihr Bild ist sie selbst. Jeder Punkt der Ebene ε wird auf genau einen Punkt der Ebene ε abgebildet. Aus mathematischer Sicht ist es egal, ob unser Ebenenmodell aus Plastik oder Glas ist. Aus Gummi dürfte es allerdings nicht sein, denn Gummimatten sind mit Sicherheit nicht starr. Die Starrheit bedeutet nichts weiter, als dass zwei Originalpunkte denselben Abstand haben wie ihre Bildpunkte.

Der Begriff der Bewegung

Definition

Definition 1.1: Bewegung
Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, bei der Streckenlängen erhalten bleiben.

Eigenschaften von Bewegungen

Satz 1.1: (Bijektivität von Bewegungen)
Jede Bewegung ist eine Bijektion.

Beweis von Satz 1.1

Vorüberlegungen

Es sei \ \beta eine Bewegung, die die Ebene \epsilon auf sich selbst abbildet.

Wir haben zu zeigen, dass \ \beta ein Bijektion ist.
Hierzu haben wir zu zeigen, dass die Abbildung \ \beta

und

ist.

Surjektivität

Die Surjektivität ergibt sich entsprechend der Definition 1.1 (Abbildung auf)

Injektivität

Alle unsere folgenden Bemerkungen beziehen sich auf ein und dieselbe Ebene \varepsilon. Wir verzichten deshalb darauf, die Zugehörigkeit der im folgenden verwendeten Punkte zu \varepsilon explizit zu betonen. Die gestrichenen Punktbezeichnungen mögen immer das Bild des Punktes mit der entsprechenden ungestrichenen Punktbezeichnung bezüglich der Bewegung \beta kennzeichnen.

zu zeigen:


  1. Jeder Punkt \ P' ist das Bild von maximal einem Punkt \ P.

    oder

  2. Je zwei verschiedene Originalpunkte \ P und \ Q haben nicht dasselbe Bild.

    oder

  3. P \ne Q\Rightarrow P' \ne Q'

Wir entscheiden uns dafür, 3. zu zeigen.

Wir führen den Beweis indirekt. (Ergänzen Sie den Beweis!)

Voraussetzung: P \ne Q
Behauptung: P' \ne Q'
Annahme: \ P' = Q'


Nr. Beweisschritt Begründung
(I) d(P,Q) > 0 Vor., Def. Abstand, Abstandsaxiom--Beveggie 16:17, 10. Nov. 2012 (CET)
(II) d(\beta(P), \beta(Q)) = 0 Annahme, Abstandsaxiom --Beveggie 16:17, 10. Nov. 2012 (CET)
(III) (I) und (II) widersprechen sich. (I), (II), Definition Bewegung --Gubbel 19:02, 1. Mai 2013 (CEST) --Beveggie 16:17, 10. Nov. 2012 (CET)
Satz 1.2: (Abgeschlossenheit der Nacheinanderausführung von Bewegungen)
Die Nacheinanderausführung zweier Bewegungen ist eine Bewegung.
Beweis von Satz 1.2

Zunächst ist allgemein bekannt, dass die NAF zweier Abbildungen eine Abbildung ist (s. Algebra I). Es seien \beta_1 und \beta_2 zwei Bewegungen. \beta_1 bildet die Ebene \varepsilonauf sich selbst ab. Hernach wird \varepsilon durch \beta_2 wiederum auf sich selbst abgebildet. Ergo: \begin{matrix} & \beta_2 \beta_1 & \\ \varepsilon & \longrightarrow & \varepsilon \end{matrix} .

Bleibt zu zeigen, dass die NAF zweier Bewegungen auch abstandserhaltend ist.

Abstandserhaltung von NAF.JPG

--Jessy* 09:21, 16. Nov. 2012 (CET)

Satz 1.3: (Zwischenrelation als Invariante von Bewegungen)
Die Zwischenrelation ist eine Invariante bei jeder Bewegung.
Beweis von Satz 1.3

Es seien \ A, B, C drei paarweise verschiedene Punkte mit

(*) \operatorname{Zw}(A, B, C).

zu zeigen:

(**) \operatorname{Zw}(A', B', C')

Wir übersetzen zunächst (*):

\ |AB| + |BC| = |AC|

entsprechend (**) haben wir zu zeigen, dass \ |A'B'| + |B'C'| = |A'C'| gilt.

Den Rest können Sie alleine ... .

Invarianz der Zw-Relation.JPG

--Jessy* 09:46, 7. Nov. 2012 (CET)

Satz 1.4: (Geradentreue, Halgeradentreue, Streckentreue, Schnittpunkttreue bei Bewegungen)
Für eine jede Bewegung \ \beta gilt:
(a) Das Bild einer Geraden ist eine Gerade.
(b) Das Bild einer Halbgeraden \ AP^+ ist eine Halgerade mit dem Anfagspunkt \ \beta(A).
(c) Das Bild einer Strecke \overline{AB} ist die Strecke \overline{\beta(A)\beta(B)}
(d) Falls zwei Geraden, Strecken, Halbgeraden oder zwei verschiedene dieser Figuren einen Punkt \ P gemeinsam haben, so haben die Bildfiguren den Punkt \ \beta(P) gemeinsam.
(e) Jede Halbebene mit einer Randgeraden g auf eine Halbebene mit der Randgeraden β(g).
(f) Das Innere eines beliebigen Winkels wird auf das Innere des zugehörigen Bildwinkels abgebildet.
Beweis von Satz 1.4:
Die Beweise ergeben sich mehr oder weniger unmittelbar aus Satz 1.3.
Fühlen Sie sich frei zu üben.

Beweis von (a)

G auf g.JPG

Beweis von (b)

AP+ auf AP+.JPG

Beweis von (c)

Strecke auf Strecke.JPG

Beweis von (d)

Schnittpunkttreue.JPG

Die anderen Beweise zur Schnittpunkttreue müssten analog verlaufen... --Jessy* 09:36, 16. Nov. 2012 (CET)

Satz 1.5: (Winkelgröße als Invariante bei Bewegungen)
Für jede Bewegung \ \beta und jeden Winkel \angle ASB gilt:
| \angle ASB| = | \angle \beta(A) \beta(S) \beta(B)|
Beweis von Satz 1.5:

Abstandserhaltung von \ \betaund der Kongruenzsatz SSS helfen bei der Führung des Beweises.
Voraussetzung: \angle ASB, Bewegung \beta, \angle \beta(A)\beta(S) \beta(B)
Behauptung: \angle ASB = \angle \beta(A)\beta(S) \beta(B)

Winkeltreue.JPG

--Jessy* 09:48, 16. Nov. 2012 (CET)

Satz 1.6:

Jede Bewegung ist durch ein Dreieck \bar{ABC} und dessen Bild \bar{A'B'C'} eindeutig bestimmt.

Beweis von Satz 1.6:

Satz 1.6.JPG

--Jessy* 09:22, 12. Dez. 2012 (CET)

Von „http://geometrie.zum.de/index.php?title=Bewegungen_(2012_13)&oldid=22685“