Lösungsidee Übung Heckl 06.06.2012 5.2 S: Unterschied zwischen den Versionen
HecklF (Diskussion | Beiträge) (→Zurück zur Übungsseite) |
HecklF (Diskussion | Beiträge) (→Aufgabe 5.2) |
||
| Zeile 1: | Zeile 1: | ||
| − | + | =Aufgabe 5.2= | |
Diese Aufgabe war letzte Woche noch zu schwer- sorry dafür. Versuchen Sie es diese Woche nochmal.<br /> | Diese Aufgabe war letzte Woche noch zu schwer- sorry dafür. Versuchen Sie es diese Woche nochmal.<br /> | ||
Zeigen Sie, dass für drei paarweise verschiedene Punkte <math>\ A, B</math> und <math>\ C</math> gilt:<br /> | Zeigen Sie, dass für drei paarweise verschiedene Punkte <math>\ A, B</math> und <math>\ C</math> gilt:<br /> | ||
<math>\operatorname Zw (A, B, C) </math> <math>\Rightarrow </math> <math>\overline{AB} </math> <math> \subset</math> <math>\overline{AC} </math> | <math>\operatorname Zw (A, B, C) </math> <math>\Rightarrow </math> <math>\overline{AB} </math> <math> \subset</math> <math>\overline{AC} </math> | ||
| + | |||
| + | ==Zunächst eine Skizze== | ||
| + | [[Datei: 06062012_5_2_skizze.JPG | 900px]] | ||
| + | <br /><br /> | ||
| + | Nachdem wir uns die Voraussetzung und die Behauptung angeschrieben hatten, machten wir uns anhand dieser Skizze (Definition der beiden Strecken) klar, warum wir drei Fälle unterscheiden müssen. F1,F2 und F3 stehen dabei für die drei Fälle 1-3. | ||
| + | |||
| + | ==Der Beweis== | ||
| + | ===Schritt 1=== | ||
| + | Voraussetzung, Behauptung und Fall 1 mit 2.<br /><br /> | ||
| + | [[Datei: 06062012_5_2_1.JPG | 900px]] | ||
| + | |||
| + | ===Schritt 2=== | ||
| + | Fall 3 ist etwas aufwendiger: Wir führen auf zwei potentielle Zwischenrelationsmöglichkeiten zurück! Wenn wir in Schritt (1) bereits von einem Strahl <math>\ AB^{+}</math> ausgehen, fällt es uns noch einfacher - das geht wegen <math>\operatorname(Zw) (A, B, C) \ und \operatorname(Zw) (A, X, B)</math> in der Voraussetzung. | ||
| + | <br /> | ||
| + | <br /> | ||
| + | [[Datei: 06062012_5_2_2.JPG | 900px]] | ||
| + | |||
| + | ===Schritt 3=== | ||
| + | Wir zeigen in einem Widerspruchsbeweis, dass <math>\operatorname(Zw) (A, C, X)</math> nicht sein kann und führen dies zum Widerspruch. | ||
| + | <br /><br /> | ||
| + | [[Datei: 06062012_5_2_3.JPG | 900px]] | ||
| + | |||
| + | ===Schritt 4=== | ||
| + | Wir lagern Teilbeweis II nochmals aus - aus Gründen der Übersichtlichkeit. Dadurch, dass wir gezeigt haben, dass <math>|AB| < |BC|</math> gilt, haben wir automatisch auch gezeigt, dass <math>\overline{AB} \ c \ \overline{AC} </math> ECHTE Teilmenge ist. | ||
| + | <br /><br /> | ||
| + | [[Datei: 06062012_5_2_4.JPG | 900px]] | ||
| + | <br /><br /> | ||
| + | --[[Benutzer:HecklF|Flo60]] 20:16, 6. Jun. 2012 (CEST) | ||
==Zurück zur Übungsseite== | ==Zurück zur Übungsseite== | ||
Aktuelle Version vom 6. Juni 2012, 20:16 Uhr
Inhaltsverzeichnis |
Aufgabe 5.2
Diese Aufgabe war letzte Woche noch zu schwer- sorry dafür. Versuchen Sie es diese Woche nochmal.
Zeigen Sie, dass für drei paarweise verschiedene Punkte 
und 
gilt:
Zunächst eine Skizze
Nachdem wir uns die Voraussetzung und die Behauptung angeschrieben hatten, machten wir uns anhand dieser Skizze (Definition der beiden Strecken) klar, warum wir drei Fälle unterscheiden müssen. F1,F2 und F3 stehen dabei für die drei Fälle 1-3.
Der Beweis
Schritt 1
Voraussetzung, Behauptung und Fall 1 mit 2.
Schritt 2
Fall 3 ist etwas aufwendiger: Wir führen auf zwei potentielle Zwischenrelationsmöglichkeiten zurück! Wenn wir in Schritt (1) bereits von einem Strahl 
ausgehen, fällt es uns noch einfacher - das geht wegen 
in der Voraussetzung.
Schritt 3
Wir zeigen in einem Widerspruchsbeweis, dass 
nicht sein kann und führen dies zum Widerspruch.
Schritt 4
Wir lagern Teilbeweis II nochmals aus - aus Gründen der Übersichtlichkeit. Dadurch, dass wir gezeigt haben, dass 
gilt, haben wir automatisch auch gezeigt, dass 
ECHTE Teilmenge ist.
--Flo60 20:16, 6. Jun. 2012 (CEST)
