rmula_14来表示两条直线的方向向量，那么上面垂直的充分必要条件就是两个方向向量正交的充分必要条件。这说明了垂直实际上是正交关系（在二维和三维空间）的一个特例。
空间几何中的垂直.三维空间中不仅有直线与直线的垂直，也有直线与平面、平面与平面的垂直。
垂线的作图.用尺规作一条过点P与直线AB相互垂直的直线，过程如下（见图二）：为证明直线PQ与直线AB垂直，使用三角形SSS全等定理证明三角形QPA'和QPB'全等以求得三角形OPA'和OPB'也