两条线垂直公式：k1×k2=-1。

垂直，是指一条线与另一条线成直角，这两条直线互相垂直。通常用符号“⊥”表示。设有两个向量a和b，a⊥b的充要条件是a·b=0，即(x1x2+y1y2)=0。在数学中，向量（也称为欧几里得向量、几何向量、矢量），指具有大小（magnitude）和方向的量。它可以形象化地表示为带箭头的线段。箭头所指：代表向量的方向；线段长度：代表向量的大小