Lösung von Zusatzaufgabe 5.2 P (SoSe 12)

Beweisen Sie: Ist O ein beliebiger Punkt einer Geraden g und A ein weiterer (von O verschiedener) Punkt dieser Geraden, so gilt für die Halbgeraden $\ OA^{+}$ und $\ OA^{-}$ :
a)$\ OA^{+} \cap \ OA^{-}=\{O\}$ und
b)$\ OA^{+} \cup \ OA^{-}=g$

a)$\ OA^{+} \cap \ OA^{-}=\{O\}$

$\ OA^{+}= \{P|(Zw) (O, P, A)\} \cup \{P|(Zw) (O, A, P)\} \cup \{O\} \cup \{A\}$
$\ OA^{-}= \{P|(Zw) (P, O, A)\} \cup \{O\}$
in der schnittmenge gibt es nur ein gemeinsames element: "o"

• es ist noch zu beweisen, dass keine weiteren Punkte außer O in der Schnittmenge liegen. Dies lässt sich am einfachsten indirekt beweisen.--Tutorin Anne 17:13, 27. Mai 2012 (CEST)

muss es noch bewiesen werden? wir wissen doch, dass alle drei zwischenrelationen disjunkt sind...--Studentin 17:58, 27. Mai 2012 (CEST)

• das ist richtig - dies kann für den Beweis auch genutzt werden. Trotzdem sollte man noch beweisen, dass jegliche Kombinationen nicht möglich sind. Diese muss man getrennt nennen und dann begründen, warum sie nicht möglich sind.

b)$\ OA^{+} \cup \ OA^{-}=g$

$\ OA^{+}= \{P|(Zw) (O, P, A)\} \cup \{P|(Zw) (O, A, P)\} \cup \{O\} \cup \{A\}$
$\ OA^{-}= \{P|(Zw) (P, O, A)\} \cup \{O\}$
in der vereinigungsmenge ist die gerade g, da in der vereinigungsmenge sowohl die punkte a und o, als auch alle punkte zw (a,o,p), zw (p,o,a), zw (o,p,a) enthalten sind.
--Studentin 16:35, 27. Mai 2012 (CEST)