Das Lot von einem Punkt auf eine Gerade: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (→Satz XI.1: (Existenz und Eindeutigkeit des Lotes)) |
TimoRR (Diskussion | Beiträge) (→Beweis der Existenz und Eindeutigkeit des Lotes:) |
||
Zeile 15: | Zeile 15: | ||
===== Beweis der Existenz und Eindeutigkeit des Lotes: ===== | ===== Beweis der Existenz und Eindeutigkeit des Lotes: ===== | ||
[[Lösung von Aufgabe 12.4]] | [[Lösung von Aufgabe 12.4]] | ||
+ | |||
+ | [[Bild:Lot.png|500px]] | ||
+ | |||
+ | {| class="wikitable center" | ||
+ | |+ bla | ||
+ | |- style="background: #DDFFDD;" | ||
+ | ! | ||
+ | ! Beweisschritt | ||
+ | ! Begründung | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(I) | ||
+ | | Konstruiere einen Punkt N auf g.<br />Fall 1: Falls <math>P1N \perp g</math>, dann ist <math>\overline{P1N}</math> unser Lot.<br />Fall 2: <math>P1N \not\perp g</math>, dann weiter mit (II) | ||
+ | | Konstruktion, (Gerade ist Menge von Punkten) | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(II) | ||
+ | | Antragen von <math>\alpha1: \alpha1 \cong \alpha2</math> | ||
+ | | Konstruktion, Winkelkonstruktionsaxiom | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(III) | ||
+ | | Antragen von <math>|NP|1: |NP1| \cong\ |NP2|</math> | ||
+ | | Konstruktion, Axiom vom Lineal | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(IV) | ||
+ | | Antragen von <math>|NL| \cong\ |NL|</math> | ||
+ | | trivial | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(V) | ||
+ | | <math>\overline{LNP1} \cong\ \overline{LNP2}</math> | ||
+ | | (II), (III), (IV), SWS | ||
+ | |- | ||
+ | ! style="background: #FFDDDD;"|(VI) | ||
+ | | <math>\angle NLP1 \cong\ \angle NLP2</math> | ||
+ | | beides rechte Winkel --> <math>\overline{PN}</math> ist Lot auf g. | ||
+ | |} |
Version vom 18. Juli 2010, 21:00 Uhr
Inhaltsverzeichnis |
Der Begriff des Lotes
Definition IX.1: (Lot, Lotgerade, Lotfußpunkt)
- Es sei ein Punkt, der nicht zur Geraden gehören möge. ...
- ...Die Gerade , die senkrecht auf steht und durch den Punkt geht heißt Lotgerade von auf . Der Schnittpunkt von mit , heißt Lotfußpunkt des Lotes von auf . Unter dem Lot von auf , versteht man die Strecke . --Löwenzahn 16:01, 9. Jul. 2010 (UTC)
- Es sei ein Punkt, der nicht zur Geraden gehören möge. ...
Definition IX.2: (Abstand eines Punktes zu einer Geraden)
- Es sei ein Punkt außerhalb von . Der Abstand von zu ist ...
- ... die Länge der Lotes von auf . --Löwenzahn 16:06, 9. Jul. 2010 (UTC)
Existenz und Eindeutigkeit des Lotes
Satz IX.1: (Existenz und Eindeutigkeit des Lotes)
- Zu jedem Punkt außerhalb einer Geraden gibt es genau ein Lot von auf .
Beweis der Existenz und Eindeutigkeit des Lotes:
Beweisschritt | Begründung | |
---|---|---|
(I) | Konstruiere einen Punkt N auf g. Fall 1: Falls , dann ist unser Lot. Fall 2: , dann weiter mit (II) |
Konstruktion, (Gerade ist Menge von Punkten) |
(II) | Antragen von | Konstruktion, Winkelkonstruktionsaxiom |
(III) | Antragen von | Konstruktion, Axiom vom Lineal |
(IV) | Antragen von | trivial |
(V) | (II), (III), (IV), SWS | |
(VI) | beides rechte Winkel --> ist Lot auf g. |