Orthogonalität von Geraden

Zwei Geraden g₁ und g₂ sind orthogonal (senkrecht) zueinander genau dann, wenn das Produkt ihrer
Steigungen  -1 ergibt:

m₁ · m₂ = - 1

(Die Darstellung ist leicht verzerrt, daher erscheint der rechte Winkel auch etwas verzerrt.)
Bei obigen Geraden ist offensichtlich das Produkt der Steigungen - 1 [Rechnung: (-4) · 0,25 = -1]