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

Version vom 24. Januar 2012, 01:36 Uhr

Beweisen Sie: Wenn $\ P$ ein Punkt außerhalb der Geraden $\ g$ ist, dann gibt es eine Gerade $\ h$ , die durch $\ P$ geht und parellel zu $\ g$ ist.

Kann man, um diese Implikation zu beweisen, das Parallelnaxiom verwenden?

Mann kann es in der absoluten Geometrie beweisen. D.h. ohne Parallelaxiom. --RicRic 07:53, 23. Jan. 2012 (CET

Vor: P, g, P $\not\in$ g
Beh: P $\in$ h $\wedge$ $h\|| g$

Beweisschritt	Begründung
1) $\exists$ R, L : R,L $\in$ g	Axiom I.2
2) $\exists$ l: P, L $\in$ l $\wedge$ $\ l \perp \ g$ $\wedge$ $\ l \cap g$ = {L}	Ex. und Eind. Lot, (1)
3) $\exists$ Q: Q $\in$ gP⁺ $\wedge$ $Q \neq P$	Definition Halbebene
4) $\exists$ PA⁺: $\angle APL$ = 90 $\wedge$ PA⁺ Teilmenge von lQ⁺	Axiom IV.2, (2), (3)
5) $\angle APL$ $\tilde {=}$ $\angle RLP$	(2), (4)
6) $h\\|\| g$	(5), Umkehrung Wechselwinkelsatz
q.e.d.

--Adores 01:36, 24. Jan. 2012 (CET)

@@ Zeile 2: / Zeile 2: @@
 Kann man, um diese Implikation zu beweisen, das Parallelnaxiom verwenden?
-* Mann kann es in der absoluten Geometrie beweisen. D.h. ohne Parallelaxiom. --[[Benutzer:RicRic|RicRic]] 07:53, 23. Jan. 2012 (CET)
+* Mann kann es in der absoluten Geometrie beweisen. D.h. ohne Parallelaxiom. --[[Benutzer:RicRic|RicRic]] 07:53, 23. Jan. 2012 (CET
+<br />
+Vor: P, g, P <math>\not\in</math> g <br />
+Beh: P <math>\in</math> h <math>\wedge</math> <math>h\|| g</math>
+{| class="wikitable "
+! Beweisschritt
+! Begründung
+|-
+| 1) <math>\exists</math> R, L : R,L <math>\in</math> g
+| Axiom I.2
+|-
+| 2) <math>\exists</math> l: P, L <math>\in</math> l <math>\wedge</math> <math>\ l \perp \ g</math> <math>\wedge</math> <math>\ l \cap g</math> = {L}
+| Ex. und Eind. Lot, (1)
+|-
+| 3) <math>\exists</math> Q: Q <math>\in</math> gP<sup>+</sup> <math>\wedge</math> <math>Q \neq P</math>
+| Definition Halbebene
+|-
+| 4) <math>\exists</math> PA<sup>+</sup>: <math>\angle APL</math> = 90 <math>\wedge</math> PA<sup>+</sup> Teilmenge von lQ<sup>+</sup>
+| Axiom IV.2, (2), (3)
+|-
+| 5) <math>\angle APL</math> <math>\tilde {=}</math>  <math>\angle RLP</math>
+|(2), (4)
+|-
+| 6) <math>h\|| g</math>
+| (5), Umkehrung Wechselwinkelsatz
+|-
+| q.e.d.
+|
+|}
+--[[Benutzer:Adores|Adores]] 01:36, 24. Jan. 2012 (CET)
 [[Category:Einführung_Geometrie]]