定理的核心定义与表述
在立体几何的学习中，面与面垂直的性质定理是连接“面面关系”与“线面关系”的桥梁。理解这一定理，对于解决空间向量、几何证明以及实际工程中的垂直结构分析至关重要。
定理内容
两个平面垂直，则一个平面内垂直于它们交线的直线垂直于另一个平面。
符号语言表述
| 语言类型 | 表述内容 |
|---|---|
| 文字语言 | 若平面 α ⊥ 平面 β，且 α ∩ β = l，直线 a ⊂ α，a ⊥ l，则 a ⊥ β。 |
| 图形语言 | （想象两个互相垂直的墙面，地面为β，墙面为α，交线为l。在墙面α上画一条垂直于地面交界线l的竖直线a，这条线a必然垂直于地面β。） |
| 逻辑关系 | 面面垂直 ⟹ 线面垂直（这是性质定理的核心功能：降维打击） |
定理解读
该定理揭示了面面垂直的一种重要性质。它告诉我们，当两个平面互相垂直时，我们可以在其中一个平面内找到大量的直线，这些直线都垂直于另一个平面。具体来说，只要直线满足两个条件：① 在其中一个平面内；② 垂直于交线，那么这条直线就垂直于另一个平面。
这一性质是证明线面垂直的重要工具，特别是在已知面面垂直的条件下，通过作垂线来构建空间直角坐标系或寻找高线。
定理的证明逻辑
理解证明过程有助于记忆定理。我们采用“定义法”结合“线面垂直判定定理”来进行推导。
证明思路分析
要证明直线 a ⊥ 平面 β，根据线面垂直的判定定理，我们需要在平面 β 内找到两条相交直线，使得直线 a 都垂直于它们。
已知条件中，我们已经知道 a ⊥ l（l 是交线，显然在平面 β 内）。因此，我们只需要在平面 β 内再找一条与 l 相交的直线 b，使得 a ⊥ b 即可。
如何找到这条直线 b 并证明 a ⊥ b 呢？我们需要利用二面角的平面角定义。
详细证明步骤
已知：平面 α ⊥ 平面 β，α ∩ β = l，直线 a ⊂ α，a ⊥ l。
求证：a ⊥ β。
证明：
1. 在平面 β 内，过直线 a 与平面 β 的交点 P（即 a ∩ l = P）作直线 b ⊥ l。
2. 因为 α ⊥ β，α ∩ β = l，且 a ⊥ l，b ⊥ l，根据二面角的平面角的定义，∠(a, b) 即为二面角 α-l-β 的平面角。
3. 因为平面 α ⊥ 平面 β，所以二面角 α-l-β 的度数为 90°。
4. 因此，a ⊥ b。
5. 现在我们有：a ⊥ l，a ⊥ b，且 l ∩ b = P，l ⊂ β，b ⊂ β。
6. 根据线面垂直的判定定理（一条直线与平面内两条相交直线都垂直，则该直线与此平面垂直），可得 a ⊥ β。
证毕。
关键点拨
- ⚡ 辅助线的作用：在平面 β 内作 b ⊥ l 是解题的关键，它将面面垂直的问题转化为线线垂直的问题。
- ⚙️ 二面角的应用：利用二面角为 90° 这一性质，直接得出两条垂线 a 和 b 互相垂直。
- 📐 判定定理的回归：最终还是要回归到线面垂直的判定定理上，必须强调“相交”二字。
典型例题与实战应用
掌握定理后，我们需要通过具体的几何图形来应用它。以下是两类典型的应用场景。
案例一：四棱锥中的垂直证明
题目：如图，在四棱锥 P-ABCD 中，平面 PAD ⊥ 平面 ABCD，△PAD 是等边三角形，底面 ABCD 是矩形，AD = 2AB = 2。
问题：求证：AB ⊥ 平面 PAD。
解析：
因为 ABCD 是矩形，所以 AB ⊥ AD。
又因为平面 PAD ⊥ 平面 ABCD，且平面 PAD ∩ 平面 ABCD = AD，AB ⊂ 平面 ABCD。
根据面与面垂直的性质定理（在一个平面内垂直于交线的直线垂直于另一个平面），可得 AB ⊥ 平面 PAD。
案例二：求点到平面的距离
题目：已知平面 α ⊥ 平面 β，交线为 l。点 A 在平面 α 内，点 A 到 l 的距离为 3，求点 A 到平面 β 的距离。
解析：
过点 A 在平面 α 内作 AO ⊥ l 于点 O。
根据面与面垂直的性质定理，因为 α ⊥ β，α ∩ β = l，AO ⊂ α，AO ⊥ l，所以 AO ⊥ β。
因此，线段 AO 的长度即为点 A 到平面 β 的距离。
答案：3。
易错点警示
很多同学看到面面垂直，就认为任意一条垂直于交线的直线都垂直于另一个平面。切记，这条直线必须在其中一个平面内。如果直线在平面外，即使它垂直于交线，也不一定垂直于另一个平面。
判定定理是“线面垂直 ⟹ 面面垂直”，性质定理是“面面垂直 ⟹ 线面垂直”。做题时要先看清已知条件是什么，再决定使用哪个定理。例如，已知面面垂直，求线面垂直，首选性质定理。
在使用定理时，准确找到两个平面的交线是第一步。如果交线找错，后续的垂直关系推导将全部错误。建议在图中标出交线，并明确标注垂直符号。
常见疑问解答 (FAQ)
判定定理是“由线线垂直推导线面垂直，再推导面面垂直”（通常指一个平面过另一平面的垂线）；性质定理是“已知面面垂直，推导线面垂直”（即在一个平面内垂直于交线的直线必垂直于另一个平面）。简记为：‘知面面，推线面’。
如果直线不在垂直于交线的平面内，即使它垂直于交线，它也不一定垂直于另一个平面。该定理的使用前提是直线必须位于两个垂直平面中的某一个内部。例如，空间中一条斜线与交线垂直，但它不垂直于任何一个平面。
可以记忆口诀：“面面垂直，交线作垂，线面垂直”。意思是：当两个平面垂直时，在其中一个平面内作交线的垂线，这条直线就垂直于另一个平面。
非常重要。它是立体几何解答题中证明线面垂直、计算点到平面距离、建立空间直角坐标系的基础。每年高考几乎都会在解答题的第一问或第二问中考察面面垂直的性质。