两条线互相垂直的条件