第2讲 空间的点线面——三公理与三推论

从一个最朴素的问题开始

如果我问你：怎样确定一个平面？

你可能会说，「三个点确定一个平面」。但这个说法其实不够准确——如果三个点刚好在同一条直线上，那过这三个点的平面有无数个。

那准确的说法应该是什么？两条平行线能不能确定一个平面？一条直线和直线外一点呢？

这些问题，初中学平面几何的时候你可能从来没想过——因为平面几何默认我们就在一个平面上。但到了立体几何，空间里有无数个平面，我们得先搞清楚：平面是怎么确定的？

这一讲，我们就来学习立体几何的三块基石——三条公理和它们的三个推论。

示意图

基本概念：点、直线、平面

在正式讲公理之前，我们先把最基本的元素说清楚。

立体几何中有三个最基本的元素，它们是不加定义的原始概念：

• 点：没有大小，只有位置。用大写字母表示，如点 $A$、点 $B$
• 直线：没有粗细，向两端无限延伸。用小写字母或两个点表示，如直线 $l$、直线 $AB$
• 平面：没有厚薄，向四周无限延展。用希腊字母或三个点表示，如平面 $\alpha$、平面 $ABC$

这里特别要注意：平面是无限延展的。我们平时画的平行四边形只是平面的一部分，就像画直线的时候只画一段一样——平面没有边界。

用集合的语言来描述它们之间的关系：

• 点 $A$ 在直线 $l$ 上：$A \in l$
• 点 $A$ 在平面 $\alpha$ 内：$A \in \alpha$
• 直线 $l$ 在平面 $\alpha$ 内：$l \subset \alpha$
• 直线 $l$ 与直线 $m$ 交于点 $P$：$l \cap m = P$
• 平面 $\alpha$ 与平面 $\beta$ 交于直线 $l$：$\alpha \cap \beta = l$

用集合语言来写，比用自然语言说要简洁得多，也准确得多。

公理一：直线在平面内的判定

公理1：如果一条直线上的两点在一个平面内，那么这条直线就在这个平面内。

用符号语言写：

$$\text{若 } A \in l, B \in l, \text{ 且 } A \in \alpha, B \in \alpha, \text{ 则 } l \subset \alpha$$

这条公理看起来特别「废话」——这不就是显然的吗？

但数学里越是基础的东西，越需要明确说出来。公理1的作用是：判断一条直线是不是在某个平面内。

它的道理是什么呢？因为直线是直的、无限延伸的，平面也是平的、无限延展的。如果直线上有两个点「落在」平面上，那整条直线就都「贴」在平面上了——不可能中间翘起来，因为平面是平的。

举个生活中的例子：你把一根筷子放在桌面上，如果筷子的两端都碰到桌面，那整根筷子就都在桌面上了。这就是公理1。

公理1也可以反过来用： 如果一条直线不在平面内，那它和平面最多有几个公共点？答案是最多一个。因为如果有两个公共点，根据公理1，整条直线就都在平面里了。

公理二：平面的确定

公理2：过不在同一条直线上的三点，有且只有一个平面。

这条公理可以拆成两部分理解：

• 「有」——存在性：过不共线的三点，一定能找到一个平面
• 「只有一个」——唯一性：这样的平面是唯一的

用最通俗的话说就是：三个不共线的点，固定了唯一的一个平面。

为什么要强调「不在同一条直线上」？因为如果三个点在同一条直线上，那过这条直线的平面有无数个（就像一本书以书脊为轴可以翻开任意角度），所以确定不了唯一的平面。

公理2有三个非常重要的推论，它们都是从公理2推出来的，用途也很广：

推论1：经过一条直线和这条直线外一点，有且只有一个平面

怎么来的？在直线上任取两点，加上直线外那个点，一共三个不共线的点。根据公理2，这三个点确定唯一的一个平面。再根据公理1，整条直线都在这个平面里。所以推论1成立。

推论2：经过两条相交直线，有且只有一个平面

在两条直线上除了交点以外，各取一点，加上交点，一共三个不共线的点。剩下的和推论1一样。

推论3：经过两条平行直线，有且只有一个平面

根据平行线的定义，两条平行线在同一个平面内。在两条平行线上各取一点，加上另一条线上的某个点，三个不共线的点确定唯一平面。再由公理1，两条直线都在这个平面内。

这四个命题（公理2 + 三个推论）都是用来「确定平面」的，只是已知条件不同。 做题的时候，你有什么条件，就用哪个。

给你一个口诀：「三点定面、一线一点也定面、两交线定面、两平行线也定面」——四个条件，同一个结论。

公理三：平面的交线

公理3：如果两个不重合的平面有一个公共点，那么它们有且只有一条过该点的公共直线。

用符号语言写：

$$\text{若 } P \in \alpha, P \in \beta, \text{ 且 } \alpha \neq \beta, \text{ 则 } \alpha \cap \beta = l, \text{ 且 } P \in l$$

这条公理告诉我们两件事：

1. 两个平面如果有公共点，就一定有一条公共直线（不可能只有一个公共点）
2. 这条公共直线是唯一的，而且所有公共点都在这条直线上

为什么两个平面相交一定是一条直线，而不是一个点？因为平面是无限延展的——如果两个平面碰在一起有了一个公共点，那沿着各个方向延展过去，就会碰出一整条交线来。

生活中的例子：墙面和地面相交，交线是墙角的那条线；书页和书脊所在的平面相交，交线是书脊那条线。

公理3的主要用途有两个：

• 证明两个平面相交（只要找到一个公共点，就知道它们一定交于一条直线）
• 证明某个点在某条直线上（如果这个点是两个平面的公共点，而那条直线是两个平面的交线，那么点就在交线上）

第二个用途在立体几何证明题里特别常用——证明三点共线、三线共点，经常就是用公理3来做的。

深入理解

三条公理讲完了，看起来都很简单。但真正理解它们，需要注意几个细节：

细节一：公理是不能证明的

你可能会觉得这三条公理都太简单了，为什么要专门拿出来讲？

因为它们是公理——公理是数学大厦的地基，是我们默认承认的基本事实，不需要证明，也没法证明（没有更基础的东西可以用来证明它们了）。所有其他的定理，都是从这几条公理推出来的。

欧几里得的《几何原本》就是这样：先列几条公理，然后从公理出发，一步一步推导出几百条定理。整个立体几何的逻辑体系，也是建立在这三条公理之上的。

细节二：「有且只有一个」的两层含义

数学里说「有且只有一个」（也叫「唯一存在」），一定要分成两层来理解：

• 「有」= 存在：至少有一个
• 「只有一个」= 唯一：最多有一个

两层合起来，才是「恰好一个」。

证明题里，如果让你证明「有且只有一个」，你必须分别证明存在性和唯一性，缺一个都不行。

细节三：平面的延展性容易被忽略

很多同学学立体几何容易犯的一个错误，就是把平面看成了「有限的平行四边形」。

比如画两个平面相交的时候，你只画了两个平行四边形，交线只画了一小段——但你心里要清楚，这两个平面都是无限延展的，交线也是一条无限长的直线。

再比如，一条直线和一个平面相交，你可能只看到直线穿过平行四边形的一个顶点——但实际上，直线和平面的交点就是那么一个点，不管你画的平行四边形多大。

画图是有限的，但概念是无限的。画图只是示意图，关键是脑子里要有空间想象。

细节四：三个推论的使用场景

很多同学知道三个推论，但做题的时候不知道什么时候用哪个。这里给你总结一下：

• 已知一条直线和线外一点 → 用推论1（最常见）
• 已知两条直线相交 → 用推论2
• 已知两条直线平行 → 用推论3
• 已知三个点的位置 → 直接用公理2

本质上它们都是公理2的变形，选最方便的用就行。

在高中数学体系里的位置

三公理三推论是立体几何的入门内容，难度不大，但地位极其重要——它们是整个立体几何的逻辑基础。

思想延伸： 从平面几何到立体几何，不是简单地把平面中的结论搬过来就行。有些结论在平面和空间中都成立（如平行公理），有些只在平面中成立（如「垂直于同一直线的两直线平行」）。判断一个结论在空间中成不成立，最终都要回到公理和定义上来。 这就是「公理化思想」——所有结论都从最基本的几条公理出发，逻辑严谨、滴水不漏。

运算练兵场： 这一讲几乎没有计算，全是概念和推理。但它训练的是符号语言和逻辑表达能力——把文字语言翻译成符号语言，再用符号语言写证明过程。这种能力是做立体几何证明题的基本功。

综合题常客： 三公理本身很少单独出大题，但它们是所有证明题的「隐形前提」。证明线面平行、面面垂直，每一步都要用到公理和定理。尤其是公理3，在证明三点共线、三线共点的问题里经常出现，属于「看起来简单但容易忘」的考点。

思考与拓展

1. 为什么照相机的三脚架能稳定地放在地上？用两条腿行不行？四条腿呢？（用公理2来解释）
2. 一条直线和直线外的三个点，最多能确定几个平面？最少呢？
3. 两个平面可以把空间分成几部分？三个平面呢？（有几种不同的情况）
4. 你能尝试用公理2证明推论2吗？（提示：在两条相交直线上除交点外各取一点）

一句话总结

三条公理是立体几何的地基——公理1管直线在不在平面里，公理2管平面怎么确定，公理3管两个平面怎么相交；所有立体几何的证明，最终都要回到这三条公理上来。