公式为：A1A2+B1B2=0。直线一般式方程适用于所有的二维空间直线。它的基本形式是Ax+By+C=0（A，B不全为零），适合在计算机领域直线相关计算中用来描述直线。
两直线垂直（斜率存在，且不为0）的充要条件：两直线的斜率乘积为-1；Ax+By+C=0，斜率为-A/B。两直线A1x+B1y+C1=0和A2x+B2y+C2=0垂直的充要条件：A1A2+B1B2=0（此式对于斜率不存在或等于0也成立）。
三维空间两直线垂直的公式:公式为：a⊥b的充要条件是a·b=0，即(x1x2+y1y2)=0 。 在数学中，向量（也称为欧几里得向量、几何向量、矢量），指具有大小（magnitude）和方向的量。它可以形象化地表示为带箭头的线段。
