在什么情况下,两条直线互相垂直