Quelltext der Seite Lösungsidee Übung Heckl 06.06.2012 5.2 S

=Aufgabe 5.2=
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 />
<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==
[[Übung_Aufgaben_6_S (SoSe_12)]]

[[Kategorie: Einführung_S]]
[[Kategorie: WIKI-Übung-Heckl]]