Das Lot von einem Punkt auf eine Gerade WS 11/12

Der Begriff des Lotes

Definition IX.1: (Lot, Lotgerade, Lotfußpunkt)

Es sei $P$ ein Punkt, der nicht zur Geraden $g$ gehören möge. Ferner sei $L$ ein Punkt der zu $g$ gehören möge.

Die Strecke $\overline{PL}$ ist dann das Lot von $P$ auf $g$, wenn $PL\perp g$

$PL$ ist die Lotgerade und $L$ der Lotfußpunkt.--RicRic 20:31, 5. Jan. 2012 (CET)

Definition IX.2: (Abstand eines Punktes zu einer Geraden)

Es sei $P$ ein Punkt außerhalb von $g$. Der Abstand von $P$ zu $g$ ist ...

Existenz und Eindeutigkeit des Lotes

Satz IX.1: (Existenz und Eindeutigkeit des Lotes)

Zu jedem Punkt $P$ außerhalb einer Geraden $g$ gibt es genau ein Lot von $P$ auf $g$.

Beweis der Existenz und Eindeutigkeit des Lotes:

Übungsaufgabe