两直线垂直且斜率存在时则斜率之积为-1,即k1×k2=-1。
通用公式是A1A2+B1B2=0
2、两直线一般式垂直公式的证明:
设直线l1:A1x+B1y+C1=0,直线l2:A2x+B2y+C2=0
(必要性)∵l1⊥l2 ∴k1×k2=-1
∵k1=-B1/A1, k2=-B2/A2
∴(-B1/A1)(B2/A2)=-1 ∴(B1B2)/(A1A2)=-1直线垂直公式:若其中一条方程是ax+by+c=0,则它的垂线方程为bx-ay+c'=0;若其中一条的方程y=kx+b,则它的垂线为y=(-1/k)x+b'。