平面与平面垂直的性质定理
从基础定义到高考压轴题突破，全方位解析空间几何中“面面垂直”向“线面垂直”转化的核心逻辑与实战技巧。
定理核心解析
1.1 定理表述
如果两个平面互相垂直，那么在一个平面内垂直于它们交线的直线垂直于另一个平面。
结论： a ⊥ β
1.2 逻辑解读
该定理是解决立体几何中线面垂直证明问题的关键工具。它建立了面面垂直与线面垂直之间的联系。在实际解题中，当题目给出两个平面垂直的条件时，我们应立刻联想到寻找交线，并在其中一个平面内作交线的垂线，从而推导出这条垂线垂直于另一个平面。
1.3 定理的作用
- ⚡ 作垂线：在几何体内部构造高或垂线，是求解体积、距离的基础。
- ⚡ 证垂直：由面面垂直推导线面垂直，进而推导线线垂直。
- ⚡ 建系：为建立空间直角坐标系提供天然的z轴（垂线）和x,y轴（交线及垂线）。
证明思路与几何直观
传统几何证明思路
要证明直线 a ⊥ 平面 β，根据线面垂直的判定定理，我们需要在平面 β 内找到两条相交直线与 a 垂直。
- 由已知 a ⊥ l，我们已经有了一条。
- 需要在平面 β 内找另一条直线 b，使得 a ⊥ b。
- 利用二面角的定义：平面 α ⊥ 平面 β，意味着二面角 α-l-β 的平面角为 90°。
- 在平面 β 内过垂足作直线 b ⊥ l。根据二面角定义，a 与 b 的夹角即为二面角的平面角，故 a ⊥ b。
- 因为 a ⊥ l 且 a ⊥ b，l ∩ b = O，所以 a ⊥ β。
向量法视角
设平面 α 的法向量为 n₁，平面 β 的法向量为 n₂。
因为 α ⊥ β，所以 n₁ · n₂ = 0。
交线 l 的方向向量 v 垂直于 n₁ 和 n₂。
直线 a 在平面 α 内且 a ⊥ l，说明直线 a 的方向向量 u 与 v 垂直。在平面 α 内，垂直于交线的向量必然平行于法向量 n₁。
但这似乎不对？让我们修正一下：
实际上，若 a ⊂ α 且 a ⊥ l，则 a 的方向向量 u 必须垂直于交线方向 v。同时，由于面面垂直的性质，平面 α 内垂直于交线的直线，其方向向量恰好平行于平面 β 的法向量 n₂（注意：这里取决于坐标系的建立，通常性质定理告诉我们这条线就是另一个面的垂线方向）。
更严谨地说：性质定理保证了我们可以找到一条线，其方向向量就是另一个平面的法向量。
直观模型：书本与桌面
想象一本打开的书立放在桌面上。
- 桌面代表平面 β。
- 书页代表平面 α。
- 书脊代表交线 l。
- 书页上画一条垂直于书脊的线 a。
当你把书立起来（α ⊥ β）时，书页上那条垂直于书脊的线 a，必然垂直指向桌面（即垂直于平面 β）。这就是最直观的性质定理体现。
考点演进与典型应用
掌握性质定理的关键在于识别题目中的“垂直结构”。以下是不同难度层级的应用示例：
题目通常直接给出两个平面垂直，要求证明某条直线垂直于另一个平面。
| 已知条件 | 操作 | 结论 |
|---|---|---|
| 正方体 ABCD-A₁B₁C₁D₁ 中，平面 ACC₁A₁ ⊥ 平面 BDD₁B₁ | 在平面 ACC₁A₁ 内作 AO ⊥ 交线 OO₁ | AO ⊥ 平面 BDD₁B₁ |
| 矩形 ABCD 沿对角线 BD 折起，使平面 ABD ⊥ 平面 BCD | 在平面 ABD 内作 AE ⊥ BD | AE ⊥ 平面 BCD |
利用性质定理作高，将空间距离问题转化为平面几何问题。
示例：在四面体 P-ABC 中，平面 PAC ⊥ 平面 ABC，△ABC 为等边三角形，PA=PC。求点 P 到平面 ABC 的距离。
解析：取 AC 中点 O，连接 PO。因为 PA=PC，所以 PO ⊥ AC。又因为平面 PAC ⊥ 平面 ABC，且交线为 AC，根据性质定理，PO ⊥ 平面 ABC。因此 PO 的长度即为所求距离。
在立体几何压轴题中，性质定理常用于建立空间直角坐标系。
策略：当题目给出侧面与底面垂直时，优先在侧面内作底面垂线，以垂足为原点，交线为x轴，垂线为z轴，建立坐标系，从而将几何证明转化为向量运算。
避坑指南：常见误区
高频问答 (FAQ)
判定定理是“由线面垂直推导面面垂直”（若一个平面经过另一个平面的一条垂线，则这两个平面互相垂直）；而性质定理是“由面面垂直推导线面垂直”（若两个平面互相垂直，则在一个平面内垂直于它们交线的直线垂直于另一个平面）。简记为：判定是‘线面→面面’，性质是‘面面→线面’。
如果直线在平面内但不垂直于交线，它只与另一个平面斜交；如果直线垂直于交线但不在平面内，它可能与另一个平面平行或异面。只有同时满足‘在平面内’和‘垂直于交线’这两个条件，才能确保该直线垂直于另一个平面。
当两个平面垂直时，可以在其中一个平面内作交线的垂线，这条垂线即为另一个平面的垂线。通过构建直角三角形或利用三垂线定理及其逆定理，可以将空间角转化为平面角进行计算。
通常出现在立体几何解答题的第一问（证明题）和第二问（计算题，如求体积、距离、角度）。特别是在证明线面垂直和建立空间直角坐标系时，该定理是得分的关键点。