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 $\ P$ ein Punkt, der nicht zur Geraden $\ g$ gehören möge. ...

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 ... .