两条直线都和同一条直线垂直，那么这两条直线也互相垂直。