Abstand, Anordnung, Strecke SoSe12: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Beweis von Satz II.2)
(Halbgeraden bzw. Strahlen)
 
(7 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 112: Zeile 112:
  
 
{| class="wikitable"  
 
{| class="wikitable"  
!Nr. !!Beweisschritt!!Begründung
+
!Nr. !!Beweisschritt!!Begründung!!Verbesserung
 
|-  
 
|-  
| 1) ||<math> \operatorname{Zw} (A, B, C) </math>  || Vor.
+
| 1) ||<math> \operatorname{Zw} (A, B, C) </math>  || Vor.||i.O.
 
|-  
 
|-  
 
| 2) ||<math> \left| AB \right| +\left| BC \left| = AC \right| </math>  
 
| 2) ||<math> \left| AB \right| +\left| BC \left| = AC \right| </math>  
|  1), Def. Zwischenrelation
+
|  1), Def. Zwischenrelation ||i.O.
 
|-  
 
|-  
| 3) ||<math>\operatorname{koll}(A, B, C)</math>    || 2), Axiom II/2
+
| 3) ||<math>\operatorname{koll}(A, B, C)</math>    || 2), Axiom II/2||Axiom II/3 (2. Teil)
 
|}
 
|}
 
--[[Benutzer:*osterhase*|*osterhase*]] 14:49, 1. Jun. 2012 (CEST)<br />
 
--[[Benutzer:*osterhase*|*osterhase*]] 14:49, 1. Jun. 2012 (CEST)<br />
Perfekt! --[[Benutzer:*m.g.*|*m.g.*]] 05:16, 3. Jun. 2012 (CEST)<br />Ich glaube, dass bei Beweisschritt 3) in der Begründung ein kleiner Flüchtigkeitsfehler unterlaufen ist und das Axiom II/3 (Dreiecksungleichung) gemeint war.--[[Benutzer:Nummero6|Tchu Tcha Tcha]] 12:38, 3. Jun. 2012 (CEST)
+
Perfekt! --[[Benutzer:*m.g.*|*m.g.*]] 05:16, 3. Jun. 2012 (CEST)<br />Ich glaube, dass bei Beweisschritt 3) in der Begründung ein kleiner Flüchtigkeitsfehler unterlaufen ist und das Axiom II/3 (Dreiecksungleichung) gemeint war.--[[Benutzer:Nummero6|Tchu Tcha Tcha]] 12:38, 3. Jun. 2012 (CEST)<br />
 +
@Tchu Tcha Tcha Sie haben natürlich recht. So ist das, manchmal liest man gerade das, was man lesen möchte. Ich habe es oben mal verbessert.
  
 
===== Satz II.3 =====
 
===== Satz II.3 =====
Zeile 136: Zeile 137:
 
[[Begriff der Strecke, verschiedene Definitionsversuche SoSe_12 ]]
 
[[Begriff der Strecke, verschiedene Definitionsversuche SoSe_12 ]]
 
==== Definition II.3: (Strecke, Endpunkte einer Strecke) ====
 
==== Definition II.3: (Strecke, Endpunkte einer Strecke) ====
::Es seien <math>\ A</math> und <math>\ B</math> zwei verschiedene Punkte. Die Menge aller Punkte, die zwischen den Punkten <math>A</math> und <math>B</math> liegen, heißt offene Strecke <math>\overline{AB}</math>. Die Vereinigungsmenge der offenen Strecke <math>\overline{AB}</math> mit der Menge, die aus den Punkten <math>A</math> und <math>B</math> besteht, heißt Strecke <math>\overline{AB}</math>. Die Punkte <math>A</math> und <math>B</math> heißen Endpunkte der Strecke <math>\overline{AB}</math>.
+
::Es seien <math>\ A</math> und <math>\ B</math> zwei verschiedene Punkte. Die Menge aller Punkte, die zwischen den Punkten <math>A</math> und <math>B</math> liegen, heißt offene Strecke <math>\overline{AB}</math>.
 +
:: Die Vereinigungsmenge der offenen Strecke <math>\overline{AB}</math> mit der Menge, die aus den Punkten <math>A</math> und <math>B</math> besteht, heißt Strecke <math>\overline{AB}</math>.
 +
::Die Punkte <math>A</math> und <math>B</math> heißen Endpunkte der Strecke <math>\overline{AB}</math>.
  
 
Die Definition(en) in formalerer Darstellung: Versuchen Sie zu ergänzen:<br />
 
Die Definition(en) in formalerer Darstellung: Versuchen Sie zu ergänzen:<br />
  
* offene Strecke <math>\overline{AB}:=\left{P|...\right}</math>
+
* offene Strecke <math>\overline{AB}:=\left{P|\operatorname{Zw} (A, P, B)\right}</math>}
* Strecke <math>\overline{AB}:=\left{P|...\right} \cup \left{...\right}</math>
+
* Strecke <math>\overline{AB}:=\left{P|\operatorname{Zw} (A, P, B)\right} \cup \left{A, B\right}</math>
 
+
--[[Benutzer:*osterhase*|*osterhase*]] 10:29, 4. Jun. 2012 (CEST) korrekt --[[Benutzer:*m.g.*|*m.g.*]] 08:50, 7. Jun. 2012 (CEST)
  
 
==== Definition II.4: (Länge einer Strecke)====
 
==== Definition II.4: (Länge einer Strecke)====
Zeile 159: Zeile 162:
  
 
===== Definition II.5: (Halbgerade, bzw. Strahl) =====
 
===== Definition II.5: (Halbgerade, bzw. Strahl) =====
:Definition (Halbgerade <math>AB^+</math>): (ergänzen Sie)
+
:Definition (Halbgerade <math>AB^+</math>):<math> \ AB^+ := \{P|\operatorname(Zw) (A, P, B) \vee \operatorname(Zw) (A, B, P)  \} \cup  \{A, B}</math>
 +
 
 +
--[[Benutzer:*m.g.*|*m.g.*]] 17:39, 30. Jun. 2013 (CEST)
  
 
<!--- Das, was hier drunter steht muss stehen bleiben, also oberhalb dieses Kommentars Änderungen einfügen --->
 
<!--- Das, was hier drunter steht muss stehen bleiben, also oberhalb dieses Kommentars Änderungen einfügen --->

Aktuelle Version vom 30. Juni 2013, 16:39 Uhr


Aus der Vorlesung vom 15.05.2012

Inhaltsverzeichnis

Strecken, intuitiv

Punkte, Geraden und Ebenen können wir in unserer Geometrie nicht definieren. Für Strecken wird uns das gelingen.

Eine intuitive Vorstellung von Strecken haben wir schon: Eine Strecke ist die kürzeste Verbindung zwischen zwei Punkten. Diese Vorstellung gilt es nun zu präzisieren.

Grundlegend dafür, um was für eine konkrete Strecke es sich jeweils handelt scheint die Angabe zweier Punkte zu sein (kürzeste Verbindung zweier Punkte).

Das Attribut kürzeste deutet auf das Messen von Längen hin. Das Messen von Längen wird dann auch der Knackpunkt bezüglich einer Definition des Begriffs der Strecke sein.

Längenmessung

Messen: Andere Länder andere Sitten

Rory, ein irischer Schüler, wechselt für ein Jahr an die IGH im Hasenleiser. Die Beibehaltung gewisser Gewohnheiten aus Irland könnte für Rory in Deutschland Probleme mit sich bringen: In Irland schmeckt das Guinness besser und vor allem wird es in der Maßeinheit Pint ausgeschenkt. Ein Pint ist etwas mehr als ein halber Liter: 0,56826125 l.

Rory ist ein sehr ordentlicher Schüler und hat sein Schullineal aus Irland mitgebracht. Zum Messen würde dieses in Deutschland allerdings nur dann etwas nützen, wenn es über eine zweite Skale in cm verfügen würde.

Die Idee der Längenmessung

Strecken werden bereits in Klasse 1 gemessen. Was ist das eigentlich, das Messen von Strecken. Wie würden Sie es den Schülern der Klassenstufen für die Sie ausgebildet werden erklären? Ergänzen Sie hier:

Der Abstand zweier Punkte

Die ersten beiden Abstandsaxiome

Axiom II.1: (Abstandsaxiom)
Zu je zwei Punkten \ A und \ B gibt es eine eindeutig bestimmte nicht negative reelle Zahl \ d mit d=0:\Longleftrightarrow A=B.
Definition II.1: (Abstand)
Der Abstand zweier Punkte \ A und \ B ist die Zahl, die nach dem Abstandsaxiom den Punkten \ A und \ B zugeordnet werden kann.
Schreibweise: d = \left| AB \right|.

Axiom II.2:
Für zwei beliebige Punkte \ A und \ B gilt \left| AB \right| = \left| BA \right|.

Die Dreiecksungleichung

Schüler entdecken die Dreiecksungleichung

Dreieckskonstruktionen sind seit jeher fester Bestandteil des Geometrieunterrichts in der Schule. Neben solchen allgemeinen Zielen wie Erziehung zur Exaktheit und Sauberkeit bei Konstruktionen, geht es bei diesen Aufgaben auch darum, dass die Schüler die Gesetzmäßigkeiten ihrer Umwelt durch eigene Tätigkeit selbst erfahren.

Die einfachsten Dreieckskonstruktionen sind die, bei denen die Längen der drei Seiten eines Dreiecks gegeben sind. In der Sprache der Abstände: Alle drei Abstände die die Eckpunkte des Dreiecks zueinander haben sind gegeben.

Abstände sind nach dem Abstandsaxiom reelle Zahlen. (Maßeinheiten wie m und cm sind in der „reinen“ Mathematik irrelevant.)


Der Lehrer, der Konstruktionsaufgaben auf das eigentliche Generieren einer Zeichnung durch die Schüler reduziert, verschenkt eine Reihe von Potenzen hinsichtlich verschiedenster Ziele des Mathematikunterrichts. Stellvertretend sei in diesem Zusammenhang das Begründen genannt.

Aus didaktischer Sicht werden Konstruktionsaufgaben zu einem bestimmten Problemkreis erst dann vollständig, wenn die Schüler sich sowohl mit Aufgaben mit mehreren Lösungsmöglichkeiten als auch mit unlösbaren Aufgaben auseinandersetzen müssen.

Experimentieren Sie mit dem folgenden Geogebraapplet und klassifizireren Sie die Typen von Konstruktionsaufgaben, die sich für Dreieckskonstruktionen nach SSS ergeben:

Das Axiom der Dreiecksungleichung

Axiom II/3: (Dreiecksungleichung)
Für drei beliebige Punkte \ A, B und \ C gilt: \left|AB \right|+ \left| BC \right| \geq \left| AC \right|.
Falls \operatorname{koll} \left( ABC \right), dann ist eine der folgenden Gleichungen erfüllt:
\left| AB \right| + \left| BC \right| = \left| AC \right|
\left| AC \right| + \left| CB \right| = \left| AB \right|
\left| BA \right| + \left| AC \right| = \left| BC \right|
Ist umgekehrt eine dieser drei Gleichungen erfüllt, so sind \ A, \ B und \ C kollinear.
Übung zum Axiom
Welchen Teil des Axioms demonstriert das folgende Applet?

Definitionen und Sätze

Definition II.2: (Zwischenrelation)
Ein Punkt \ B liegt zwischen zwei Punkten \ A und \ C, wenn gilt:
  •  \left| AB \right| + \left| BC \right| = \left| AC \right| und
  • \ A, \ B und \ C sind paarweise verschieden.
Schreibweise:  \operatorname{Zw} \left( A, B, C \right)

Unmittelbar einsichtig sind die folgenden beiden Sätze:

Satz II.1
Aus  \operatorname{Zw} \left( A, B, C \right) folgt  \operatorname{Zw} \left( C, B, A \right) .
Beweis von Satz II.1
Beweis: trivial (Der Leser überzeuge sich davon.)


Nr. Beweisschritt Begründung
1) \operatorname{Zw} (A, B, C) Vor.
2) \left| AB \right| +\left| BC \right| =\left| AC \right| 1), Def. Zwischenrelation
3) \left| BC \right| +\left| AB \right| =\left| AC \right| 2), Kommutativgesetz
4) \left| CB \right| +\left| BA \right| =\left| CA \right| 3), Axiom II/2
5) \operatorname(Zw) (C, B, A) 4), Def. Zwischenrelation

--*osterhase* 15:07, 1. Jun. 2012 (CEST)
Perfekt! --*m.g.* 05:51, 3. Jun. 2012 (CEST)

Satz II.2:
Aus  \operatorname{Zw} \left( A, B, C \right) folgt  \operatorname{koll} \left( A, B, C \right) .
Beweis von Satz II.2
Beweis: trivial (Der Leser überzeuge sich davon.)
Nr. Beweisschritt Begründung Verbesserung
1)  \operatorname{Zw} (A, B, C) Vor. i.O.
2) Fehler beim Parsen(Syntaxfehler): \left| AB \right| +\left| BC \left| = AC \right| 1), Def. Zwischenrelation i.O.
3) \operatorname{koll}(A, B, C) 2), Axiom II/2 Axiom II/3 (2. Teil)

--*osterhase* 14:49, 1. Jun. 2012 (CEST)
Perfekt! --*m.g.* 05:16, 3. Jun. 2012 (CEST)
Ich glaube, dass bei Beweisschritt 3) in der Begründung ein kleiner Flüchtigkeitsfehler unterlaufen ist und das Axiom II/3 (Dreiecksungleichung) gemeint war.--Tchu Tcha Tcha 12:38, 3. Jun. 2012 (CEST)
@Tchu Tcha Tcha Sie haben natürlich recht. So ist das, manchmal liest man gerade das, was man lesen möchte. Ich habe es oben mal verbessert.

Satz II.3
Es sei  \operatorname{koll} \left( A, B, C \right) mit \ A, B, C sind paarweise verschieden.
Dann gilt genau eine der Zwischenrelationen, d.h. entweder  \operatorname{Zw} \left( A, B, C \right) oder  \operatorname{Zw} \left( A, C, B \right) oder  \operatorname{Zw} \left( B, A, C \right) .
Beweis von Satz II.3:

Übungsaufgabe 5.1

Der Begriff der Strecke

Wo sind die Definitionsversuche?

Wir haben dem Ringen um die Definitionen eine eigene Datei spendiert:

Begriff der Strecke, verschiedene Definitionsversuche SoSe_12

Definition II.3: (Strecke, Endpunkte einer Strecke)

Es seien \ A und \ B zwei verschiedene Punkte. Die Menge aller Punkte, die zwischen den Punkten A und B liegen, heißt offene Strecke \overline{AB}.
Die Vereinigungsmenge der offenen Strecke \overline{AB} mit der Menge, die aus den Punkten A und B besteht, heißt Strecke \overline{AB}.
Die Punkte A und B heißen Endpunkte der Strecke \overline{AB}.

Die Definition(en) in formalerer Darstellung: Versuchen Sie zu ergänzen:

  • offene Strecke Fehler beim Parsen(Syntaxfehler): \overline{AB}:=\left{P|\operatorname{Zw} (A, P, B)\right}

}

  • Strecke Fehler beim Parsen(Syntaxfehler): \overline{AB}:=\left{P|\operatorname{Zw} (A, P, B)\right} \cup \left{A, B\right}

--*osterhase* 10:29, 4. Jun. 2012 (CEST) korrekt --*m.g.* 08:50, 7. Jun. 2012 (CEST)

Definition II.4: (Länge einer Strecke)

Unter der Länge der Strecke \overline{AB} versteht man den Abstand, den ihre Endpunkte A und B zueinander haben.
Kurzschreibweise: \left| \overline{AB} \right|

Die Definition in formalerer Schreibweise:(Ergänzen Sie selbst)

  • \left| \overline{AB} \right| :=

Halbgeraden bzw. Strahlen

So ist es gemeint

Hinweis: Klicken Sie auf das Symbol rechts oben (neu laden), damit alles richtig angezeigt wird.
Manipulieren Sie dann erst P und dann B und A.


Definition II.5: (Halbgerade, bzw. Strahl)
Definition (Halbgerade AB^+):Fehler beim Parsen(Syntaxfehler): \ AB^+ := \{P|\operatorname(Zw) (A, P, B) \vee \operatorname(Zw) (A, B, P) \} \cup \{A, B}


--*m.g.* 17:39, 30. Jun. 2013 (CEST)