Bewegungen (2010): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Injektivität)
(→‎Beweis von Satz 1.4:)
 
(37 dazwischenliegende Versionen von 6 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
 
== Der Begriff der Bewegung ==
 
== Der Begriff der Bewegung ==
 
=== Die Grundideen ===
 
=== Die Grundideen ===
−
====Starrheit====
+
====Starrheit und Kopieren====
−
====Kopieren====
+
<ggb_applet width="712" height="673"  version="3.2" ggbBase64="UEsDBBQACAAIAAuEUz0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3Vtdcts2EH5uToHhQ6fpxDTBH0mcWOnEdh4yTZvMOM1DXzIgCUmI+aMQkCMlkwP0FD1DLpJD9CRdAPwVJUe0nYksPZgCiJ/d79sFFmvo5LdlEqMrmnOWpWMDm5aBaBpmEUunY2MhJkcj47cnD06mNJvSICdokuUJEWPDMW1D1i/Ykwc/nfBZ9gGRWDV5w+iHsTEhMacG4vOckojPKBWterJYspiRfPUyeEdDwesXepDn6XwBs4h8AXVhEr1gvCweqwnnMRPn7IpFNEdxFo6NgQeiw7c3NBcsJPHYcC1dY48NG3utl1DlyLezLGcfs1TI5vXgE6hBiLOPFBCxZd3JsVL0hC7CmEWMpFIZJQc0QugDi8RsbAyhMZpRNp2BrIMh1qOFWZZHFysuaIKWf9M8g7l9WwK9KkojS5Y4yAUTeqqwapbUMPTqggoBtHBElrQGbJqzqFV4zk+zuK6aZywVZ2QuFrni1CmqLsRKTgBz5VLgp+k0pkUdaBHOaHgZZMsLDYKjh369mqsuSqBgepbFWY5y6OABvNPiGeinaiMlrVpZqo2lWhRjyEGr99i3VQv1DPRTtYpZqkUrNMel1tgqp2EcyQoJI5hipXxMAgrUGmiRMvGiLIAJXBaqYt3hz0USgA80jaAaE9/VmCfHa+ZzcknzlMbaSFLgdpEtOLqSxqjnUoJENGQJFPWLAhIi6foLBNC1EZ3mtBRce5AGTL21moa4Vn1yXAohZeAgayhgKQB9hNRFeqoAL5HfIiJkjXSDmCYUfEQoe0gXCc1ZWCHDDTkbTLEoJjrCpRGrdSJTLl86d9GpBh5ebzEZWBzmMwLfzMK1YrIC92/qqEb7I4uKmYt2PFbrRMLSQhiUkGWx2pGAZ/FC0IsQEExfZCERainU0hWejS3lldDHG6peK/B25cMTtqS1s21eT2r7FTMwk5RyrpxMNN2JpMCygh5Wijm8V2vCnMrR1ZRlazQHtZUrV0YClqUZ+SY3V2+X6+xY+0SOV5Hj3YAcxyrJ8d3vSo5U8vbkKCeuQP76ZZ2ZgWmPHDzyHGuIh743GnQBsyq8uo13Q0+bsQTcL7Ab+LtidzOLwdatbWY30vJQbl+6o7OVSQsPXc+xfdvDvu/CF28Ttfi2frc6YL9zsVPYDnZG1xtPY2P7gZ6nIqAK5qfGbWlQgU9FhLUjEXegYrGrc8nCkWXarmLhSPn0R91dtdIhX+0NfeA5PQx4bNMdaHTAWEd3B8/ZYcDjmK5dGg++O3TODwUdPNLoWKZ3h8bz7DDgwaZXoiOdrA86YZYkJI1QShKY6VUWr6ZZqlBhMgeAiCUXaESwXIgQsaXDIeJIy0LElQhqeBaibA2HqxhOr1h3IrpToDuFulMED29sFLtEIcIGqrQwJRnVwDvvXtuJbcDYZBZ7juLWwzfe3q3r7Y/TqSxVgpC70KY2UzhERkxbFLR+WTS+RP/98y/abMzXqLyrNeOuPVraXW1zqMzRMwdeN51wja70farbcH2oZ8k8ZiETlbXF0h2epwKO+FQdmbsn90tK5zJl8jJ9nZOUy9SZbtPICOzIUnCILMFq4Wua4Mug4MkZDD2//nj3l7PwIDmDpd4u13rb8ZufofY11xz4rmtVnz5ntj2jMDpICmEvwS3i/OLYgM3ByGp+bEWojHl8e9Sqv7eU0kOkFJyyonDoatIgZMWWu9dELec5SCLBK3BNDASVY+PTJ45+RWHGf/n65eEjJAucpbpw9Xb5+RH6dPQLf9isbnW4eruSbQDRR0j9gYDg82cDHXfMI2a8to1kd9vYkNbCW1Mym2LgsrbOxx/hbwP09Gcyz/jjAqYEdH5qtA8WXRXXkh3FCDc5dwxcpal8BPpx04NHbbqdXcQrAre+GYwOVqcdrE57YnW6Z1gdyRxGc33GCivHtIYtCHsewbrQnXWgO+sJ3dm+QSfzG629zS3trL0V3ha68w505z2hO98/6HAZpnttQ7Nvi9azDlrPeqL1bN/Qgr24ZWeWXWDnei3sBs53SJSUcKp0SVWwGx6tUidVwa0B3JJGsYs0SnOwoDlY2BwsqgoyvVKP3DvJYt9xkmVznBbfLE77XqmYhikfWIAq/+ve2aN0svlAEjSHy53M0mzYOWX2pr2ieXUKZ3B/mQwPl8kqdyP/U7jhoH9ImZvDZbGTvvH0kUlmb7bka+4xkfRwiZShYtsNSyKH7SPxqJnRaTR39prWTrD/mi4FLkL9n98vMvH4PKczmurvRjfSF9DBaPfeOeDb5cZMzyBf3QvmNGeT+n6zuh8LsQwvr9NqGxQkF69kQI8U0QPT0/HOsJ3W+DZedguvN0BOOGM06AOafU9Bw6Y7uhloTgu0izmjUxr3QMy5n4g55sj+JmDXHKX//rGXEdSlsfZ60t72rCJ26ZkZbB+czxmgloZ07eRM2sfc9cPw5PpD7Pp1v8n6ZT+gxrfx0LVHI+xjyxrubj2drPBO+gRan7CjybSfJtOt1xa/n+yRlp12ZJ/1k332A2SnzQxMsMWaWD892A/QI2zqEW3R410/Pd7drR7tyYIsiymp80iX65Pd9tpy33X95WTCqVA3q2WqT8Z1A3zd+lf+5qa8PdtYBMlcBauq9QUs+vmM6shtdzziPcSjSvjcBo/fM9jfc5quw3Hc/D2L+glX8Ru2J/8DUEsHCCc+mYPLBwAA9TYAAFBLAQIUABQACAAIAAuEUz0nPpmDywcAAPU2AAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAABQgAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
 +
 
 
===Abstraktion von den physikalischen Gegebenheiten===
 
===Abstraktion von den physikalischen Gegebenheiten===
 
Die Materie scheint schwer genug zu sein. Wir werden unsere Betrachtungen auf eine einzige Ebene ε einschränken.
 
Die Materie scheint schwer genug zu sein. Wir werden unsere Betrachtungen auf eine einzige Ebene ε einschränken.
Zeile 15: Zeile 16:
 
==== Definition ====
 
==== Definition ====
 
=====Definition 1.1: Bewegung=====
 
=====Definition 1.1: Bewegung=====
−
::Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, die ... (Ergänzen Sie).
+
::Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, die <u>abstandserhaltend ist</u>.
 +
 
 +
:: korrekt. wie könnte man noch formulieren? --[[Benutzer:*m.g.*|*m.g.*]] 16:09, 20. Okt. 2010 (UTC)
 +
:: Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, die die <u>Streckenlängen invariant</u> lässt.
 +
 
 +
:: Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, bei der die <u>Strecken gleich lang</u> sind.<!--Kann man hier auch kongruent sagen?-->
 +
 
 +
:: Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, bei der jede Originalstrecke gleichlang zu ihrer Bildstrecke ist.
 +
 
 +
:: Es sei <math>\phi</math> eine Abbildung der Ebene <math>\epsilon</math> auf sich selbst. <math>\phi</math> ist eine Bwegung, wenn <math>\forall A, B \in \epsilon : |AB| =|\phi(A) \phi(B)|</math> gilt.
  
 
Bemerkung: Der Begriff der Kongruenzabbildung ist synonym zum Bewegungsbegriff.
 
Bemerkung: Der Begriff der Kongruenzabbildung ist synonym zum Bewegungsbegriff.
 +
 
=== Eigenschaften von Bewegungen ===
 
=== Eigenschaften von Bewegungen ===
 
===== Satz 1.1: (Bijektivität von Bewegungen) =====
 
===== Satz 1.1: (Bijektivität von Bewegungen) =====
Zeile 40: Zeile 51:
  
 
===== Injektivität =====
 
===== Injektivität =====
 +
Alle unsere folgenden Bemerkungen beziehen sich auf ein und dieselbe Ebene <math>\epsilon</math>. Wir verzichten deshalb darauf, die Zugehörigkeit der im folgenden verwendeten Punkte zu <math>\epsilon</math> explizit zu betonen. Die gestrichenen Punktbezeichnungen mögen immer das Bild des Punktes mit der entsprechenden ungestrichenen Punktbezeichnung bezüglich der Bewegung <math>\beta</math> kennzeichnen.
 +
 +
zu zeigen:
 +
 +
 +
# Jeder Punkt <math>\ P'</math>  ist das Bild von maximal einem Punkt <math>\ P</math>.<br /><br />oder<br /><br />
 +
# Je zwei verschiedene Originalpunkte <math>\ P</math> und <math>\ Q</math> haben nicht dasselbe Bild.<br /><br />oder<br /><br />
 +
# <math>P \ne Q\Rightarrow  P' \ne Q'</math>
 +
 +
Wir entscheiden uns dafür, 3. zu zeigen.
 +
 +
Wir führen den Beweis indirekt. (Ergänzen Sie den Beweis!)
 +
 +
{| class="wikitable"
 +
|-
 +
|<u>Voraussetzung:</u>|| <math>P \ne Q</math>
 +
|-
 +
|<u>Behauptung:</u>||<math>  P' \ne Q'</math>
 +
|-
 +
|<u>Annahme:</u>||<math>\ P' = Q' </math>
 +
|}
 +
 +
 +
{| class="wikitable center"
 +
|- style="background: #DDFFDD;"
 +
! Nr.
 +
! Beweisschritt
 +
! Begründung
 +
|-
 +
| (I)
 +
| Der Abstand von <math>\ P'</math> zu <math>\ Q'</math> ist gleich 0.
 +
| Annahme + Abstandsaxiom (Axiom II.1)
 +
|-
 +
| (II)
 +
| Der Abstand von <math>\ P</math> zu <math>\ Q</math> ist größer als 0.
 +
| Voraussetzung + Abstandsaxiom
 +
|-
 +
| (III)
 +
| (I) und (II) widersprechen sich.
 +
| Definition Bewegung (als Abbildung der Ebene auf sich, mit invarianten Abständen von beliebigen Punktpaaren. )--[[Benutzer:Tja???|Tja???]] 17:37, 19. Okt. 2010 (UTC)
 +
|}
 +
 +
===== Satz 1.2: (Abgeschlossenheit der Nacheinanderausführung von Bewegungen) =====
 +
:: Die Nacheinanderausführung zweier Bewegungen ist eine Bewegung.
 +
===== Beweis von Satz 1.2 =====
 +
[[Lösung_von_Aufgabe_1.3_WS2010)]]
 +
 +
===== Satz 1.3: (Zwischenrelation als Invariante von Bewegungen) =====
 +
::Die Zwischenrelation ist eine Invariante bei jeder Bewegung.
 +
 +
===== Beweis von Satz 1.3 =====
 +
siehe [[Lösung_von_Aufgabe_1.2_WS2010]]
 +
 +
=====Satz 1.4: (Geradentreue, Halgeradentreue, Streckentreue, Schnittpunkttreue bei Bewegungen) =====
 +
:: Für eine jede Bewegung <math>\ \beta</math> gilt:
 +
 +
::{| class="wikitable"
 +
|-
 +
| (a) || Das Bild einer Geraden ist eine Gerade.
 +
|-
 +
| (b) || Das Bild einer Halbgeraden <math>\ AP^+</math> ist eine Halgerade mit dem Anfagspunkt <math>\ \beta(A)</math>.
 +
|-
 +
| (c) || Das Bild einer Strecke <math>\overline{AB}</math> ist die Strecke <math>\overline{\beta(A)\beta(B)}</math>
 +
|-
 +
| (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.
 +
|}
 +
 +
===== Beweis von Satz 1.4: =====
 +
:: Die Beweise ergeben sich mehr oder weniger unmittelbar aus Satz 1.3.
 +
::Fühlen Sie sich frei zu üben.
 +
 +
a) Das Bild einer Geraden ist eine Gerade
 +
 +
Voraussetzung: <math>AB</math> ist eine Gerade<br />
 +
Behauptung: <math>A'B'</math> ist das Bild von <math>AB</math>
 +
 +
{| class="wikitable"
 +
|+ Beweis<br />
 +
|- style="background: #DDFFDD;"
 +
! Beschreibung des Schrittes
 +
! Begründung der Korrektheit des Schrittes
 +
|-
 +
| (1) Es existiert ein Punkt P: Zw(A,P,B) und P liegt auf <math>AB</math> ||  Definition Zwischen
 +
|-
 +
| (2) <math>\ |AP| + |PB| = |AB|</math> || Definition Zwischen
 +
|-
 +
| (3)  <math>\ |AP| = |A'P'|</math>,<br /><math>\ |PB| = |P'B'|</math>,<br /><math>\ |AB| = |A'B'|</math>|| Definition Bewegung
 +
|-
 +
| (4)  <math>\ |A'P'| + |P'B'| = |A'B'|</math>|| (2) und (3)
 +
|-
 +
| (5)  Zw(A',P',B')|| (4) und Zwischenrelation
 +
|-
 +
| (6) <math>A'B'</math> ist das Bild von <math>AB</math> || (5)
 +
|}<br /> Stimmt dieser Beweis, den ich hier geschrieben habe?--[[Benutzer:Mirasol|Mirasol]] 14:03, 15. Nov. 2010 (UTC)
 +
Ich denke der Beweis ist nicht vollständig. Damit ist lediglich die STreckeninvarianz gezeigt, nicht aber die GEradeninvarianz. <br />
 +
Deshalb mein Vorschlag:--[[Benutzer:Tja???|Tja???]] 21:55, 28. Nov. 2010 (UTC)<br /><br />
 +
Voraussetzung: Bewegung <math> \beta</math>, Gerade g<br />
 +
Behauptung: <math> \beta (g) = h</math><br />
 +
{| class="wikitable"
 +
|+ Beweis<br />
 +
|- style="background: #DDFFDD;"
 +
! Beschreibung des Schrittes
 +
! Begründung der Korrektheit des Schrittes
 +
|-
 +
| (1) Es exisiteren zwei Punkte A und B auf g,die nicht identisch sind.  ||  Inzidenzaxiom I.0
 +
|-
 +
| (2) Es existieret eine Gerade h durch A' und B'. || (1) und Inzidenzaxiom I.1
 +
|-
 +
| (3) Es sei P ein beliebiger fester Punkt auf der Geraden g. Es gilt eine der drei Zwischenrelationen: Zw(P,A,B) oder Zw(A,P,B) oder Zw(A,B,P) || Abstandsaxiom 3 und koll(A,B,P)
 +
|-
 +
| (4)  Dann gilt genau die jeweilige Zwischenrelation Zw(P',A',B') oder Zw(A',P',B') oder Zw(A',B',P')|| (3)+ Satz 1.3
 +
|-
 +
| (5)  koll(A',B',P')|| (4) + Abstandsaxiom 3
 +
|-
 +
| (6) P' Element h || (5)
 +
|-
 +
| (7) <math> \beta (g) = h</math> || (6) +(4)
 +
|}
 +
Eventuell kann man schritt (5) und (6) auch weglassen ?
 +
 +
===== Satz 1.5: (Winkelgröße als Invariante bei Bewegungen)=====
 +
:: Für jede Bewegung <math>\ \beta</math> und jeden Winkel <math>\angle ASB</math> gilt:
 +
:: <math>| \angle ASB| = | \angle \beta(A) \beta(S) \beta(B)|</math>
 +
 +
=====Beweis von Satz 1.5:=====
 +
 +
Abstandserhaltung von <math>\ \beta</math>und der Kongruenzsatz SSS helfen bei der Führung des Beweises.
 +
  
−
<math>\forall x_1, x_2 \in X\colon\, (x_1 \ne x_2 \Rightarrow f(x_1) \ne f(x_2))</math>
+
[[Category:Elementargeometrie]]

Aktuelle Version vom 28. November 2010, 22:55 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, die abstandserhaltend ist.
korrekt. wie könnte man noch formulieren? --*m.g.* 16:09, 20. Okt. 2010 (UTC)
Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, die die Streckenlängen invariant lässt.
Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, bei der die Strecken gleich lang sind.
Eine Bewegung ist eine Abbildung der Ebene auf sich selbst, bei der jede Originalstrecke gleichlang zu ihrer Bildstrecke ist.
Es sei \phi eine Abbildung der Ebene \epsilon auf sich selbst. \phi ist eine Bwegung, wenn \forall A, B \in \epsilon : |AB| =|\phi(A) \phi(B)| gilt.

Bemerkung: Der Begriff der Kongruenzabbildung ist synonym zum Bewegungsbegriff.

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 \epsilon. Wir verzichten deshalb darauf, die Zugehörigkeit der im folgenden verwendeten Punkte zu \epsilon 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) Der Abstand von \ P' zu \ Q' ist gleich 0. Annahme + Abstandsaxiom (Axiom II.1)
(II) Der Abstand von \ P zu \ Q ist größer als 0. Voraussetzung + Abstandsaxiom
(III) (I) und (II) widersprechen sich. Definition Bewegung (als Abbildung der Ebene auf sich, mit invarianten Abständen von beliebigen Punktpaaren. )--Tja??? 17:37, 19. Okt. 2010 (UTC)
Satz 1.2: (Abgeschlossenheit der Nacheinanderausführung von Bewegungen)
Die Nacheinanderausführung zweier Bewegungen ist eine Bewegung.
Beweis von Satz 1.2

Lösung_von_Aufgabe_1.3_WS2010)

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

siehe Lösung_von_Aufgabe_1.2_WS2010

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.
Beweis von Satz 1.4:
Die Beweise ergeben sich mehr oder weniger unmittelbar aus Satz 1.3.
Fühlen Sie sich frei zu üben.

a) Das Bild einer Geraden ist eine Gerade

Voraussetzung: AB ist eine Gerade
Behauptung: A'B' ist das Bild von AB

Beweis
Beschreibung des Schrittes Begründung der Korrektheit des Schrittes
(1) Es existiert ein Punkt P: Zw(A,P,B) und P liegt auf AB Definition Zwischen
(2) \ |AP| + |PB| = |AB| Definition Zwischen
(3) \ |AP| = |A'P'|,
\ |PB| = |P'B'|,
\ |AB| = |A'B'|		 Definition Bewegung
(4) \ |A'P'| + |P'B'| = |A'B'| (2) und (3)
(5) Zw(A',P',B') (4) und Zwischenrelation
(6) A'B' ist das Bild von AB (5)

Stimmt dieser Beweis, den ich hier geschrieben habe?--Mirasol 14:03, 15. Nov. 2010 (UTC)

Ich denke der Beweis ist nicht vollständig. Damit ist lediglich die STreckeninvarianz gezeigt, nicht aber die GEradeninvarianz.
Deshalb mein Vorschlag:--Tja??? 21:55, 28. Nov. 2010 (UTC)

Voraussetzung: Bewegung \beta, Gerade g
Behauptung: \beta (g) = h

Beweis
Beschreibung des Schrittes Begründung der Korrektheit des Schrittes
(1) Es exisiteren zwei Punkte A und B auf g,die nicht identisch sind. Inzidenzaxiom I.0
(2) Es existieret eine Gerade h durch A' und B'. (1) und Inzidenzaxiom I.1
(3) Es sei P ein beliebiger fester Punkt auf der Geraden g. Es gilt eine der drei Zwischenrelationen: Zw(P,A,B) oder Zw(A,P,B) oder Zw(A,B,P) Abstandsaxiom 3 und koll(A,B,P)
(4) Dann gilt genau die jeweilige Zwischenrelation Zw(P',A',B') oder Zw(A',P',B') oder Zw(A',B',P') (3)+ Satz 1.3
(5) koll(A',B',P') (4) + Abstandsaxiom 3
(6) P' Element h (5)
(7) \beta (g) = h (6) +(4)

Eventuell kann man schritt (5) und (6) auch weglassen ?

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.

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