展开 两直线的方向向量垂直,则两直线垂直