线线垂直判定定理公式全解：从几何直观到向量运算的深度剖析

1. 基本定义与公理

在立体几何中，两条直线的位置关系包括相交、平行和异面。其中，线线垂直是指两条直线所成的角为90°。特别地，异面直线也可以垂直。

线面垂直的性质定理是判定线线垂直最常用的工具：

“如果一条直线与一个平面垂直，那么这条直线与这个平面内的任意一条直线都垂直。”

用符号语言表示：若 l ⊥ α，且 m ⊂ α，则 l ⊥ m。

2. 三垂线定理及其逆定理

在处理斜线与平面内直线垂直的问题时，三垂线定理及其逆定理提供了极为便捷的判定途径，是线线垂直判定定理的重要补充。

• 三垂线定理：在平面内的一条直线，如果和这个平面的一条斜线的射影垂直，那么它也和这条斜线垂直。
• 逆定理：在平面内的一条直线，如果和这个平面的一条斜线垂直，那么它也和这条斜线在这个平面内的射影垂直。

记忆口诀：“平面一线斜一射，垂直关系互转化。”

3. 线面垂直的判定定理（逆向思考）

虽然主要讨论线线垂直，但很多时候我们需要先证明线面垂直。线面垂直判定定理指出：“如果一条直线与平面内的两条相交直线都垂直，则该直线与此平面垂直。”

公式表达：若 l ⊥ a, l ⊥ b, a ⊂ α, b ⊂ α, a ∩ b = P，则 l ⊥ α。

这一结论反过来，就能得到线面垂直性质定理，进而推出 l 与平面内无数条直线垂直。

例题1：正方体中的异面直线垂直

题目：在正方体 ABCD-A1B1C1D1 中，求证：A1C ⊥ BD。

解析（几何法）：

1. 连接 AC。因为 ABCD 是正方形，所以 AC ⊥ BD。
2. 因为 CC1 ⊥ 平面 ABCD，且 BD ⊂ 平面 ABCD，所以 CC1 ⊥ BD。
3. 因为 AC ∩ CC1 = C，所以 BD ⊥ 平面 A1C1CA（即平面 ACC1A1）。
4. 因为 A1C ⊂ 平面 ACC1A1，所以 BD ⊥ A1C。

解析（向量法）：

建立空间直角坐标系 D-xyz。设棱长为 1。

D(0,0,0), B(1,1,0), A1(1,0,1), C(0,1,0)。

向量 BD = (-1,-1,0) （注：此处应为 D-B 或 B-D，方向不影响垂直判断，取 D-B=(-1,-1,0) 错误，应为 B-D=(1,1,0) 或 D-B=(-1,-1,0)，让我们重新计算：D(0,0,0), B(1,1,0) -> 向量 DB=(1,1,0)。A1(1,0,1), C(0,1,0) -> 向量 A1C=(-1,1,-1)。

计算点积：1(-1) + 11 + 0(-1) = -1 + 1 + 0 = 0。

所以 DB ⊥ A1C，即 BD ⊥ A1C。证毕。

例题2：四棱锥中的线线垂直

题目：如图，四棱锥 P-ABCD 中，底面 ABCD 是矩形，PA ⊥ 底面 ABCD，E 是 PD 的中点。求证：PB ⊥ AC。

注意：此题若直接证 PB ⊥ AC 可能较难，通常题目会给出更多条件，如 AB=AD 或其他角度。假设题目为求证：若底面为正方形且 PA=AB，则... 让我们换一个更标准的例题。

修正例题：四棱锥 P-ABCD，PA ⊥ 底面 ABCD，ABCD 为矩形，AB=AP=1，AD=√2。求证：PB ⊥ AC。

解析：

建立坐标系 A-xyz。A(0,0,0), B(1,0,0), D(0,√2,0), P(0,0,1)。

C(1,√2,0)。

向量 PB = (1,0,-1)。

向量 AC = (1,√2,0)。

点积 PB · AC = 11 + 0√2 + (-1)0 = 1 ≠ 0。

结论：在此条件下 PB 不垂直 AC。这说明线线垂直需要特定条件。若题目改为求证 PB ⊥ AD？

向量 AD = (0,√2,0)。

PB · AD = 10 + 0√2 + (-1)0 = 0。所以 PB ⊥ AD。这是显然的，因为 AD ⊥ AB 且 AD ⊥ PA，所以 AD ⊥ 平面 PAB，故 AD ⊥ PB。

此例展示了向量法在验证垂直关系时的直接性。