Jika suatu persamaan garis lurus Ax+By=C buktikan bahwa persamaan garis lurus yang tegak lurus dengan garis tersebut dan melalui titik (x1,y1) berbentuk Ax+By=A

Hubungan Antar Garis Lurus.

Ax + By = C
m₁ = -A / B

m₁ m₂ = -1
m₂ = -1 / m₁
      = -1 / (-A / B) = B / A

y - y₁ = m₂(x - x₁)
y - y₁ = B / A (x - x₁)
A(y - y₁) = B(x - x₁)
Ay - Ay₁ = Bx - Bx₁
Ay - Bx = -Bx₁ + Ay₁
Bx - Ay = Bx₁ - Ay₁
Tidak terbukti.