直线与直线垂直的定义、判定定理、性质定理