点"p"("x"0, "y"0)と、"ax" + "by" + "c" ＝0で与えられる直線を考える。また、点"q"("x"1, "y"1)を直線上の任意の点とし、ベクトルn("a", "b")を点"q"を始点とする法線ベクトルとする。