设两条直线的倾斜角分别为a、b
tanatanb=-1
sinasinb/cosacosb=-1
sinasinb=-cosacosb
sinasinb+cosacosb=0
cos（a+b）=0
a+b=90°
两条直线相互垂直
证明:如果两条直线斜率乘积等于-1,那么它们互相垂直
设两条直线的倾斜角分别为a、b
tanatanb=-1
sinasinb/cosacosb=-1
sinasinb=-cosacosb
sinasinb+cosacosb=0
cos（a+b）=0
a+b=90°
两条直线相互垂直