【两直线垂直公式】在平面几何中，两条直线是否垂直是判断它们位置关系的重要依据之一。了解两直线垂直的条件和相关公式，有助于我们在解析几何、工程设计、计算机图形学等多个领域进行准确的计算和分析。
一、两直线垂直的定义
当两条直线相交成直角（90°）时，这两条直线称为互相垂直。在坐标平面上，若已知两条直线的斜率或方向向量，可以通过数学公式快速判断它们是否垂直。
二、两直线垂直的判定方法
方法一：利用斜率判断
设直线L₁的斜率为k₁，直线L₂的斜率为k₂。
如果两条直线垂直，则满足：
$$
k_1 \cdot k_2 = -1
$$
此公式适用于非垂直于坐标轴的直线。
方法二：利用方向向量判断
设直线L₁的方向向量为 v₁ = (a, b)，直线L₂的方向向量为 v₂ = (c, d)。
如果两条直线垂直，则它们的方向向量的点积为零：
$$
a \cdot c + b \cdot d = 0
$$
方法三：利用法向量判断
设直线L₁的法向量为 n₁ = (A, B)，直线L₂的法向量为 n₂ = (C, D)。
如果两条直线垂直，则它们的法向量也互相垂直，即：
$$
A \cdot C + B \cdot D = 0
$$
三、常见情况与公式总结
| 情况 | 直线形式 | 垂直条件 | 公式表达 |
| 斜率已知 | L₁: y = k₁x + b₁ L₂: y = k₂x + b₂ | k₁ × k₂ = -1 | $ k_1 \cdot k_2 = -1 $ |
| 方向向量已知 | L₁: 方向向量 v₁ = (a, b) L₂: 方向向量 v₂ = (c, d) | 点积为0 | $ a \cdot c + b \cdot d = 0 $ |
| 法向量已知 | L₁: 法向量 n₁ = (A, B) L₂: 法向量 n₂ = (C, D) | 点积为0 | $ A \cdot C + B \cdot D = 0 $ |
| 坐标轴平行 | L₁垂直于x轴（竖直） L₂垂直于y轴（水平） | 相互垂直 | 任意一条竖直线与水平线垂直 |
四、实际应用示例
例1：
直线L₁的方程为 y = 2x + 3，直线L₂的方程为 y = -1/2 x + 5。
判断这两条直线是否垂直。
解：
k₁ = 2，k₂ = -1/2
k₁ × k₂ = 2 × (-1/2) = -1 → 垂直
例2：
直线L₁的方向向量为 (3, 4)，直线L₂的方向向量为 (-4, 3)。
判断是否垂直。
解：
点积 = 3×(-4) + 4×3 = -12 + 12 = 0 → 垂直
五、小结
在判断两直线是否垂直时，可以采用以下三种主要方式：
- 利用斜率乘积为-1；
- 利用方向向量点积为0；
- 利用法向量点积为0。
掌握这些公式和方法，可以帮助我们更高效地解决几何问题，并在实际应用中做出准确判断。