定义 在平面解析几何中，利用向量数量积为零或斜率乘积为负一，证明两条直线互相垂直的方法。
从哪来 该知识点建立在 6.2 切线的性质 与 7.3 与直线综合 之上。切线性质提供了垂直的几何直观模型，而与直线综合提供了处理直线方程及位置关系的代数工具。
为什么 垂直的本质是方向向量的正交。在直角坐标系中，若直线 $l_1$ 的方向向量为 $\vec{u_1}=(x_1, y_1)$，直线 $l_2$ 的方向向量为 $\vec{u_2}=(x_2, y_2)$，则 $l_1 \perp l_2 \iff \vec{u_1} \cdot \vec{u_2} = 0$，即 $x_1x_2 + y_1y_2 = 0$。
若使用斜率 $k_1, k_2$ 表示，当 $k_1 k_2 = -1$ 时，意味着两条直线的倾斜角 $\alpha_1, \alpha_2$ 满足 $\alpha_1 - \alpha_2 = \pm 90^\circ$，从而 $\tan \alpha_1 \tan \alpha_2 = \tan(\alpha_1)\tan(\alpha_2) = -1$。向量法涵盖了斜率不存在（垂直于x轴）的特殊情况，因此是更本质的判定依据。
适合：代数思维强，喜欢公式推导的学生**
**核心逻辑：斜率乘积法**
1. **前提
确认两直线斜率均存在且不为0。
2.
步骤：
* 求出直线 $l_1$ 的斜率 $k_1$。
* 求出直线 $l_2$ 的斜率 $k_2$。
* 计算 $k_1 \cdot k_2$。
* 若结果为 $-1$，则垂直。
3.
警示：必须首先检查分母是否为0（即斜率是否存在）。如果一条直线垂直于x轴（斜率不存在），另一条必须平行于x轴（斜率为0）才能垂直，此时不能用乘积法，需单独讨论。
适合：几何直观好，擅长向量运算的学生**
**核心逻辑：向量数量积法（推荐）**
1. **原理
垂直 $\iff$ 数量积为0。
2.
步骤：
* 找出直线 $l_1$ 上两点 $A, B$，写出向量 $\vec{AB} = (x_B-x_A, y_B-y_A)$。
* 找出直线 $l_2$ 上两点 $C, D$，写出向量 $\vec{CD} = (x_D-x_C, y_D-y_C)$。
* 计算 $\vec{AB} \cdot \vec{CD} = (x_B-x_A)(x_D-x_C) + (y_B-y_A)(y_D-y_C)$。
* 若结果为 $0$，则垂直。
3.
优势：无需讨论斜率是否存在，统一性强，计算量通常较小，不易出错。
适合：空间想象力强，喜欢几何变换的学生**
**核心逻辑：几何性质法**
1. **原理
利用圆的性质或对称性。
2.
步骤：
*
直径所对圆周角：若点 $P$ 在以 $AB$ 为直径的圆上，则 $PA \perp PB$。证明垂直可转化为证明点 $P$ 在特定圆上（即 $\vec{PA} \cdot \vec{PB} = 0$ 的几何意义）。
*
等腰三角形三线合一：若 $\triangle ABC$ 中 $AB=AC$，且 $D$ 为 $BC$ 中点，则 $AD \perp BC$。
3.
应用：在解析几何中，当坐标计算复杂时，若能识别出特殊的几何图形（如矩形、菱形、等腰三角形），可直接引用几何定理证明垂直，避免繁琐的坐标运算。