兩條直線垂直,它們的斜率乘積等於-1。設原來直線與x軸正軸夾角為t,斜率為tant則法線與x正軸夾角為90+t,斜率為tan(t+90)tant*tan(t+90)=-tanttan(180-90-t)=-tant*tan(90-t)=-tant*cott=-1得證
若兩條直線的斜率分別為m和n,則m與n的乘積等於一1。
但説成“兩直線相互垂直斜率乘積等於一1”是不準確的。因為互相垂直的兩條直線,可能其中一條直線的斜率不存在而另一條直線的斜率等於0,這樣的兩條直線,説它們斜率的乘積等於一1就不對了。只有斜率都存在且互相垂直的直線,其斜率乘積才等於一1。