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