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