定义 平面内两条直线相交成直角（90°），则称这两条直线互相垂直。
从哪来 本节为高二解析几何起点，无前置知识点记录，直接基于平面几何中“垂直”的直观概念引入解析表达。
为什么 在解析几何中，我们需要用代数语言（斜率）来描述几何性质（垂直）。
原理推导：设直线 $l_1$ 的倾斜角为 $\alpha$，斜率 $k_1 = \tan\alpha$。若 $l_1 \perp l_2$，则 $l_2$ 的倾斜角 $\beta$ 满足 $\beta = \alpha + 90^\circ$ 或 $\beta = \alpha - 90^\circ$。
根据正切函数的诱导公式：
$k_2 = \tan\beta = \tan(\alpha \pm 90^\circ) = -\cot\alpha = -\frac{1}{\tan\alpha} = -\frac{1}{k_1}$。
因此，$k_1 \cdot k_2 = -1$。
注意：此推导前提是两条直线斜率都存在。若一条直线斜率不存在（垂直于x轴），另一条必须斜率为0（平行于x轴），此时也满足垂直，但乘积公式不适用。
【代数推导法】**
**适合学生
逻辑严密、擅长公式推导、喜欢“知其所以然”的学生。
步骤：
1. 复习倾斜角与斜率定义。
2. 画出两条互相垂直的直线，标出倾斜角 $\alpha$ 和 $\beta$。
3. 引导学生发现 $\beta = \alpha + 90^\circ$。
4. 利用三角函数诱导公式 $\tan(\alpha + 90^\circ) = -\cot\alpha$ 推导出 $k_1 k_2 = -1$。
5. 强调这是代数对几何性质的精确刻画。
【向量点积法】**
**适合学生
空间想象力强、对向量运算熟悉、为后续立体几何打基础的学生。
步骤：
1. 指出直线方向向量 $\vec{a}=(1, k_1)$，$\vec{b}=(1, k_2)$。
2. 回顾向量垂直的充要条件：数量积为0，即 $\vec{a} \cdot \vec{b} = 0$。
3. 计算：$1\times1 + k_1 \times k_2 = 0 \Rightarrow k_1 k_2 = -1$。
4. 指出当直线垂直于x轴时，方向向量为 $(0,1)$ 和 $(1,0)$，点积同样为0，统一了特殊情况。
【特殊值验证与分类讨论法】**
**适合学生
抽象思维稍弱、喜欢从具体例子归纳规律、容易混淆特殊情况的學生。
步骤：
1. 先给结论：若两直线斜率都存在且垂直，则 $k_1 k_2 = -1$。
2. 举反例/特例：直线 $x=1$ 和 $y=2$ 垂直，但 $x=1$ 无斜率，无法用乘积公式。
3. 总结口诀：“斜率都存在，乘积负一记心间；一横一竖也垂直，此时公式不能用。”
4. 强调解题时必须先判断斜率是否存在。