Lösung von Aufg. 11.03 SoSe 13: Unterschied zwischen den Versionen

Version vom 18. Juli 2013, 23:43 Uhr

Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt auf eine Gerade.

EXISTENZ
	Beweisschritt	Begründung
(I)	Konstruiere einen Punkt N auf g. Fall 1: Falls $P1N \perp g$ , dann ist $\overline{P1N}$ unser Lot. Fall 2: $P1N \not\perp g$ , dann weiter mit (II)	Konstruktion, (Gerade ist Menge von Punkten)
(II)	Antragen von $\alpha1: \alpha1 \tilde= \alpha2$	Konstruktion, Winkelkonstruktionsaxiom
(III)	Antragen von $\|NP\|1: \|NP1\| \tilde=\ \|NP2\|$	Konstruktion, Axiom vom Lineal
(IV)	Antragen von $\|NL\| \tilde=\ \|NL\|$	trivial
(V)	$\overline{LNP1} \tilde=\ \overline{LNP2}$	(II), (III), (IV), SWS
(VI)	$\angle NLP1 \tilde=\ \angle NLP2$	beides rechte Winkel --> $\overline{PN}$ ist Lot auf g.

@@ Zeile 23: / Zeile 23: @@
 |-
 ! style="background: #FFDDDD;"|(II)
-| Antragen von <math>\alpha1: \alpha1 \cong \alpha2</math>
+| Antragen von <math>\alpha1: \alpha1 \tilde= \alpha2</math>
 | Konstruktion, Winkelkonstruktionsaxiom
 |-
 ! style="background: #FFDDDD;"|(III)
-| Antragen von <math>|NP|1: |NP1| \cong\ |NP2|</math>
+| Antragen von <math>|NP|1: |NP1| \tilde=\ |NP2|</math>
 | Konstruktion, Axiom vom Lineal
 |-
 ! style="background: #FFDDDD;"|(IV)
-| Antragen von <math>|NL| \cong\ |NL|</math>
+| Antragen von <math>|NL| \tilde=\ |NL|</math>
 | trivial
 |-
 ! style="background: #FFDDDD;"|(V)
-| <math>\overline{LNP1} \cong\ \overline{LNP2}</math>
+| <math>\overline{LNP1} \tilde=\ \overline{LNP2}</math>
 | (II), (III), (IV), SWS
 |-
 ! style="background: #FFDDDD;"|(VI)
-| <math>\angle NLP1 \cong\ \angle NLP2</math>
+| <math>\angle NLP1 \tilde=\ \angle NLP2</math>
 | beides rechte Winkel  --> <math>\overline{PN}</math> ist Lot auf g.
 |}