Lösung von Aufg. 7.2 (WS 11/12): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 3: Zeile 3:
 
'''Voraussetzung''': Gerade g,  Punkt P:  P <math> \notin</math> g  <br />
 
'''Voraussetzung''': Gerade g,  Punkt P:  P <math> \notin</math> g  <br />
  
'''Behauptung''':  <math> \exists!</math> Ebene E: g <math>\in</math> E <math>\wedge</math> P <math>\in</math> E <br />
+
'''Behauptung''':  <math> \exists!</math> Ebene E: g <math>\subseteq</math> E <math>\wedge</math> P <math>\in</math> E <br />
  
 
'''Beweis:''' <br />
 
'''Beweis:''' <br />

Version vom 28. November 2011, 17:26 Uhr

Es sei \ g eine Gerade und \ P ein Punkt, der nicht zu \ g gehört. Beweisen Sie mittels der Axiome der Inzidenz: Es gibt genau eine Ebene \ \epsilon, die sowohl alle Punkte von \ g als auch den Punkt \ P enthält.

Voraussetzung: Gerade g, Punkt P: P  \notin g

Behauptung:  \exists! Ebene E: g \subseteq E \wedge P \in E

Beweis:

1) P  \notin g Vor.
2) \exists R, Q \in g, R\neq Q Axiom I/2
3) nkoll(P, Q, R) Axiom I/3, 1), 2)
4)  \exists! E: (P, Q, R)\in E Axiom I/4, 3)
5) P  \in E \wedge g \subseteq E 4)
q.e.d. --Wookie 14:16, 28. Nov. 2011 (CET)