两条直线垂直，它们的斜率乘积等于-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。
