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