设两条直线的斜率为k1,k2,倾斜角为a,b
如果两条直线垂直,那么它们之间的夹角为90度
所以tan(a-b)=tan90=(tana-tanb)/(1+tanatanb)=无穷大
因为tana=k1,tanb=k2
所以1+tanatanb=1+k1k2=0
因此k1k1=-1