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