Lösung von Aufgabe 7.4
Aus Geometrie-Wiki
Version vom 7. Juli 2010, 14:14 Uhr von Schnirch (Diskussion | Beiträge)
Definieren noch einmal die Begriffe Halbgerade und . In diesen neuen Definitionen dürfen Sie die Zwischenrelation nicht explizit verwenden. Beweisen Sie dann, dass Ihre neuen Definitionen zur | Definition II.3 äquivalent sind.
Lösung
1a)
2a)
1b)
2b)
es ist die Mengengleichheit von 1a) und 1b) bzw. 2a) und 2b) zu zeigen.
Gezeigt werden kann dies, indem man zeigt, dass die in 1a) definierte Menge Teilmenge der in 1b) definierten Menge ist und die in 1b) definierte Menge Teilmenge der in 1a) definierten Menge ist.
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | |
Voraussetzung |
(II) | |
Def. Zw |
(III) | |
Def. Zw |
(IV) | zu betrachten ist noch: Punkt A ist in beiden Mengen vorhanden sowohl 1b) als auch 1a) schließt den Punkt mit ein. |
nach Definition der beiden Mengen nach Definition 1a) gilt: wenn dann: |
(V) | Menge aus Definition 1a) Menge aus Definition 1b) | (II), (III), (IV) |
(VI) | Voraussetzung | |
(VII) | ||
(VIII) | (VI), (VII), Definition Zw. | |
(IIX) | Menge aus Definition 1b) Menge aus Definition 1a) | (IV), (VIII) |
(IX) | Menge aus Definition 1b) = Menge aus Definition 1a) | (V), (IIX) |