平面的基本概念,平面的定义和公理

题图来自Unsplash，基于CC0协议

导读

平面是几何学中一个基础而重要的概念，它可以被定义为无限延展、无厚度且表面处处平直的二维图景。想象一块无限大的、光滑的平板，或是一个冰面上的溜冰场，无论从任何角度看，其表面都没有弯曲或起伏即可理解平面。

几何学的核心公理深深定义了平面的基本特性。首先，它公理化地规定平面是“平”的，所有点都满足这种平直性，这使得我们可以进行度量和计算。其次，公理允许我们在平面内部进行无限的双向延伸，即可通过平面上任意两点画出且仅能画出一条直线，并使其完全包含于该平面内。这就是所谓的“两点确定一条直线”原则在平面背景下的体现。最后，平面公设涉及垂直关系，表明在任意两个不同的平面交界（相交）的地方，可以找到一个特定的方向，使得两个平面在这个方向上呈现垂直关系，即一个平面垂直于另一个平面。

在平面几何中，基于这些基础定义，涌现出许多基本定理，这些定理揭示了平面世界的更深层次逻辑与结构：

• 平行线的传递性： 著名的平行公理（或皮亚诺公理的一部分，在欧几里得几何中表现为平行公设）是平面几何的核心基石之一。其具体内容是：在同一平面内，过直线外一点，有且仅有一条直线与已知直线平行。由此衍生出平行线基本性质，包括平行线被第三条直线所截，同位角相等、内错角相等、同旁内角互补等基本命题，这些性质赋予了测量平行线或许是距离与比例的可能。
• 垂直定理： 在平面几何中，定义了垂直关系：如果两条直线相交成四个角，并且其中有一个角是直角（90度），则这两条直线互相垂直。基于此定义，可以推导出：垂直于同一直线的两条直线也互相平行，以及测量距离的重要方法，如垂线段最短等。
• 定理：相交于同一点的三条直线，与第四点的关系。 例如，如果点O在平面α上，且点A、B、C也在该平面上，则所有与O、A、B、C构成的线段或形成的角都严格地遵循平面的性质。这保证了基于点、线、角的基本假设和构造，其结果必然是来自平面。

平面与直线之间的位置关系，是解析几何和空间想象的基础，它定义了它们之间相对空间几何配置：

• 直线位于平面内： 直线L的上的所有点都满足平面α的定义，则称直线L位于平面α上。（L⊆α）
• 直线不在平面内且相交： 直线L上至少有一个点属于平面α，且其延长线之后越过平面边界，则直线L与平面α交于唯一一点。（L⊥α 或交于一点）
• 平面外的一点与平面的关系： 如果一个点不同于平面上的所有点，则称该点在平面外。连接平面外一点与平面内任意一点的线段或直线将具有特定的几何行为。
• 平行关系： 在同一平面内，若两条直线没有公共交点，则称这两条直线平行。

平面的表示方法和符号是几何书写与交流的基本工具。在几何绘图或符号化语境中：

• 通常用一个希腊字母，如 α、β、γ，来代表一个特定的平面。
• 也可以用三个点（不在同一直线上）、或一条直线及其外一点、或两条相交直线来标示一个平面，并用符号 或平面ABC 等来表示。
• 平面与直线、平面与平面之间的，分别为 ⊥、∩、//等符号，构成了几何符号体系的重要部分。

在欧几里得几何这个公理体系构建的框架下，平面被赋予了一系列根本性的性质，这些性质是几何学发展的基石：

• 无厚两面性： 平面被视为一个无任何体积厚度的几何对象，这使人附加其上定义点与线，而不引入不必要的复杂维度。
• 平行公设的本质： 这是欧几里得区分其学派从更早的非欧体系的核心特征。过已知直线外一点，有且只有一条直线与已知直线平行，并由此保证了测量假设与相似图形，其概念构建的安全可靠。
• 唯一性与分离性： 任意两点唯一确定一条直线，而两条相交于一点的直线，在平面上唯一且有序地划分空间。
• 距离与角度可度量性： 平面内点与点、点与线、线与线之间的距离、角度，可以利用平面性质进行唯一可靠的定义与计算。

平面，虽看来简单，实则包含了几何学最根本的决定因素，其概念、定义、公设、定理和性质共同构成了我们理解更为复杂几何体与空间的基础。从计算机图形学的2D界面到物理学中桌面参考系和微分几何里作为先修结构，平面无处不在地支撑着现代科学与工程的逻辑。