ax + by = c
ax + by - c = 0
man teilt jetzt noch durch die Länge des Normalenvektors
(ax + by - c) / √(a^2 + b^2) = 0
Dieses ist jetzt auch gleichzeitig die Abstandsformel der Geraden.
d = (ax + by - c) / √(a^2 + b^2)
Eigentlich steht im Zähler der Betrag. Das kann man aber missachten, wenn man den Abstand als gerichteten Abstand betrachtet und dementsprechend den Abstand d auf 1 oder -1 setzen kann.