11.8
空间位置关系的证明
选择合适定理完成平行与垂直的规范证明。
本文章目录
01 · 出发点
把空间关系写成完整证明链
立体几何证明常由平面几何事实出发，经过线线关系，再利用判定定理提升为线面或面面关系。
规范证明不仅写结论，还要逐项说明定理所需条件。图形提供线索，逻辑链才真正保证结论。
02 · 概念
判定定理与性质定理的组织
判定定理通常把低层关系提升：线线平行推出线面平行，两条线线垂直推出线面垂直，平面内两条相交线分别平行于另一平面推出面面平行。
性质定理把已有空间关系转成可计算或可继续证明的线线关系。证明时应从已知出发选择能接近目标的中间命题，避免反用未证明结论。
03 · 方法
搭建立体几何证明
- 01
把待证结论改写成某个判定定理的结论，并列出需要补齐的全部前提。
- 02
从中点、平行四边形、全等、勾股或已知线面关系逐个建立这些前提。
- 03
按因果顺序书写理由，最后回看是否使用了待证结论、图形直观或缺失条件。
04 · 例题
把方法落到具体问题
四棱锥 P-ABCD 中，底面 ABCD 为平行四边形，M、N 分别为 PA、PD 的中点。证明平面 BMN∥平面 PBC 是否成立？若不成立，说明原因。
解
- 1
在三角形 PAD 中，MN∥AD；底面为平行四边形，所以 AD∥BC，从而 MN∥BC。
- 2
但 B 同时属于平面 BMN 与平面 PBC，两个平面有公共点 B，不可能互相平行（若不重合）。
- 3
在非退化四棱锥中 A 不在平面 PBC 内，所以直线 PA 与平面 PBC 只交于 P；M 是 PA 的中点且 M≠P，故 M 不在平面 PBC 内，两平面确实不重合。
05 · 辨析
容易忽略的条件与边界
回看
本节小结
- 空间证明要由定理条件构成因果链。
- 判定定理用于建立关系，性质定理用于推出后果。
- 反例和公共点检查能快速排除错误命题。