证明两条直线垂直时斜率相乘等于-1
在平面直角坐标系中，直线的斜率是一个重要的几何概念。当两条直线垂直时，它们的斜率之间有一个特定的关系：斜率相乘等于-1。以下是对这一性质的详细证明。
已知条件与定义
直线的斜率：对于一条不垂直于x轴的直线，其斜率 $k$ 是由该直线上任意两点 $(x_1, y_1)$ 和 $(x_2, y_2)$ 的坐标决定的，计算公式为 $k = \frac{y_2 - y_1}{x_2 - x_1}$。
两直线垂直：如果两条直线相交形成的四个角中有一个是直角（90度），则这两条直线互相垂直。
证明过程
设两条直线分别为 $L_1$ 和 $L_2$，其中 $L_1$ 的斜率为 $m$，$L_2$ 的斜率为 $n$。不失一般性，我们假设 $L_1$ 和 $L_2$ 在点 $P(x_0, y_0)$ 相交且形成直角。
选择特殊点：
- 在 $L_1$ 上选取一点 $A(x_1, y_1)$，使得 $A$ 不与 $P$ 重合。
- 在 $L_2$ 上选取一点 $B(x_2, y_2)$，使得 $B$ 不与 $P$ 重合。
计算斜率：
- 根据斜率的定义，$L_1$ 的斜率 $m = \frac{y_1 - y_0}{x_1 - x_0}$。
- 同理，$L_2$ 的斜率 $n = \frac{y_2 - y_0}{x_2 - x_0}$。
利用向量知识：
- 向量 $\overrightarrow{PA} = (x_1 - x_0, y_1 - y_0)$。
- 向量 $\overrightarrow{PB} = (x_2 - x_0, y_2 - y_0)$。
向量的点积性质：
- 因为 $L_1$ 和 $L_2$ 在 $P$ 点垂直，所以 $\overrightarrow{PA}$ 与 $\overrightarrow{PB}$ 垂直。
- 根据向量点积的性质，当两向量垂直时，它们的点积为零。即 $(\overrightarrow{PA} \cdot \overrightarrow{PB}) = 0$。
- 将向量坐标代入点积公式，得 $(x_1 - x_0)(x_2 - x_0) + (y_1 - y_0)(y_2 - y_0) = 0$。
结合斜率表达式：
- 代入 $m$ 和 $n$ 的表达式，化简上述方程。
- 通过代数运算，可以推导出 $mn = -1$。
结论
综上所述，我们证明了当两条直线垂直时，它们的斜率乘积等于-1。这一结论在解析几何中具有广泛的应用价值，可以帮助我们解决许多与直线相关的问题。
