设两条直线的倾斜角分别为a、b
tanatanb=-1
sinasinb/cosacosb=-1
sinasinb=-cosacosb
sinasinb+cosacosb=0
cos（a+b）=0
a+b=90°
两条直线相互垂直