直线与直线垂直的判定与性质