Quelltext der Seite Das Lot von einem Punkt auf eine Gerade

== Der Begriff des Lotes ==
Das können Sie selbst:
===== Definition IX.1: (Lot, Lotgerade, Lotfußpunkt) =====
:: Es sei <math>\ P</math> ein Punkt, der nicht zur Geraden <math>\ g</math> gehören möge. ...  

===== Definition IX.2: (Abstand eines Punktes zu einer Geraden) =====
:: Es sei <math>\ P</math> ein Punkt außerhalb von <math>\ g</math>. Der Abstand von <math>\ P</math> zu <math>\ g</math> ist ... .
== Existenz und Eindeutigkeit des Lotes ==
===== Satz XI.1: (Existenz und Eindeutigkeit des Lotes) =====
:: Zu jedem Punkt <math>\ P</math> außerhalb einer Geraden <math>\ g</math> gibt es genau ein Lot von <math>\ P</math> auf <math>\ g</math>.
===== Beweis der Exisatenz und Eindeutigkeit des Lotes: =====
[[Lösung von Aufgabe 12.4]]