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