1、两直线垂直且斜率存在时则斜率之积为-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

∴b1b2=-a1a2 ∴a1a2+b1b2=0

（充分性）∵a1a2+b1b2=0 ∴b1b2=-a1a2

∴（b1b2）(1/a1a2)=-1 ∴(b1/a1)(b2/a2)=-1

∴(-b1/a1)(-b2/a2)=-1 ∵k1=-b1/a1, k2=-b2/a2

∴k1×k2=-1∴l1⊥l2