Lösung von Aufgabe 9.3 S

Satz:
Es sei $g$ eine Gerade der Ebene $E$. Ferner sei $P$ ein Punkt auf $g$. In der Ebene $E$ gibt es genau eine Gerade $s$, die durch $P$ geht und senkrecht auf $g$ steht.

Beweisen Sie den Satz.

Lösungsversuch Nummero6/Tchu Tcha Tcha:

Eindeutigkeitsbeweis..Beweisen durch Widerspruch!
Annahme: Es gibt 2 nicht identische Geraden, die durch den Punkt P gehen und g senkrecht schneiden.
Fortsetzung folgt...
Könnte man hier nicht einen Widerspruchsbeweis mit dem Winkelkonstruktionsaxiom führen?? Letztendlich wird dann gesagt, dass es ein Widerspruch zu diesem Axiom wäre, da es nur genau einen Strahl in der Halbebene gibt, der das Maß 90 hat..?!?
$\Rightarrow$ die 2 Geraden müssten identisch sein, also Widerspruch zur Annahme! Behauptung stimmt..

--Tchu Tcha Tcha 16:56, 20. Jun. 2012 (CEST)

Idee: (Wir sind in einer Ebene E)
Es gibt einen Punkt K, der nicht auf g liegt. Die Gerade s geht durch K und P. (Axiom I.1)
Also: g n s = {P}
Winkel gPs hat das Maß 90 (Es gibt rechte Winnkel, Axiom W.4 --> Alle vier Winkel um P haben das Maß 90)
--> Eindeutigkeit und Existenz bewiesen. (!?)
--RitterSport 19:50, 23. Jun. 2012 (CEST)