欧氏几何

欧氏几何（Euclidean geometry）研究满足欧氏公理体系的点、直线、平面以及由它们构成的图形。其平行关系、距离和角度与通常的平面直线几何一致。现代最常用的模型是实数坐标空间配备标准内积；二维情形称为欧氏平面，三维情形称为欧氏空间。欧氏几何既可用不依赖坐标的综合方法研究，也可用坐标和代数计算研究。

“欧氏”不是“凭肉眼看起来平直”的同义词，而是对采用何种数学结构的说明。球面上的最短路径、城市街区的路程、网络上的最少边数，都可以研究距离，却不会自动满足欧氏平面的全部定理。确定模型之后，图形才有可检验的性质。

从作图经验到公理：哪些事实被当作出发点

在纸面上连接两个点、延长线段、画圆，看似只是操作，实际包含了有关对象存在性与唯一性的假设。通过两个不同点有唯一一条直线；给定圆心和正半径有一个圆；把同一个图形作刚体移动不会改变对应长度。这些经验需要整理成明确的出发点，才能说明后面的证明究竟依赖什么。

欧几里得《几何原本》把定义、公设、共同概念和命题分开组织。其第五公设涉及两条直线被另一条直线截出的一侧内角和小于两个直角时的相交行为。现代初等教材常采用等价的平行公理版本：给定一条直线和线外一点，恰有一条经过该点的直线不与原直线相交。等价性要在合适的其他几何公理背景下成立，不能把任何一句“平行线永不相交”都当成完整公理。

历史原典中的体系不等于现代逻辑意义下所有细节都已显式化。例如点在线段上的顺序、直线把平面分成两侧、某些交点存在性，都需要更精细的公理或说明。希尔伯特后来把关联、顺序、全等、平行和连续性等条件系统区分。这个发展不是否认古典证明的价值，而是把图形直觉中默用的前提写出来。《几何原本》第一卷；MacTutor：Hilbert

因此，一个几何证明至少要区分三种陈述：定义规定一个名称的含义；公理规定本体系接受什么关系；定理则需要从已接受的前提推出。把图上测出的角度称为证明，或把需要证明的结论偷偷包含在定义里，都会改变论证的性质。

坐标模型：点、向量与距离不是同一类对象

在欧氏平面模型中，一个点可由一对实数 $P = (x, y)$ 表示。两个点之差 $Q - P$ 是位移向量，它描述从一个点到另一个点的方向与大小。点作为位置，向量作为位移，在坐标记法上很相似，却承担不同角色；改变原点会改变点坐标，不改变实际位移。

标准内积与距离定义为 $u \cdot v = u_{1} v_{1} + u_{2} v_{2}, d (P, Q) = \sqrt{(Q - P) \cdot (Q - P)} .$ 非零向量之间的角度 $θ \in [0, π]$ 满足 $\cos θ = \frac{u \cdot v}{‖ u ‖ ‖ v ‖} .$ 零向量没有确定方向，因此上述角度公式不适用于它。正交对应内积为零，长度由内积确定，勾股定理在这个模型中表现为正交分量的平方和关系。

经过点 $P$ 、方向向量为非零 $v$ 的直线可写为 $P + t v$ ，其中 $t \in ℝ$ 。圆则由 $d (X, C) = r$ 定义， $C$ 为圆心、 $r > 0$ 为半径。参数方程提供了遍历对象的方法；隐式方程提供了判断某点是否属于对象的方法，两者常可互相转换。

坐标轴必须互相垂直、单位尺度必须一致，距离才具有上面的简单平方和形式。在斜坐标中仍能计算欧氏距离，但公式需要交叉项；在地图投影上直接计算经纬度差的平方和，也不等于已经计算真实地面距离。坐标是表达工具，实际几何结构不能仅凭数字排列推断。

平行公理怎样进入三角形内角和

设 $A B C$ 是一个非退化欧氏三角形。通过顶点 $A$ 作直线平行于 $B C$ 。利用平行线的内错角关系，顶点 $B$ 与 $C$ 处的内角，分别等于顶点 $A$ 旁边的两个角。这两个角与原来的 $∠ A$ 顺次组成一个平角，因此 $∠ A + ∠ B + ∠ C = 18 0^{\circ} .$ 证明的关键不是三角形画得多准确，而是可以作出具有适当性质的平行线，以及平行线的角关系。在通常的中性几何公理背景下，三角形内角和恰为两个直角与欧氏平行公理密切相联；删去平行假设后，不能默认这个角和公式继续成立。

有了角和结论，把一个简单凸 $n$ 边形从一个顶点分割成 $n - 2$ 个三角形，可得其内角和为 $(n - 2) 18 0^{\circ}$ 。这个推导把复杂对象分解为已经理解的基本对象，并说明为什么会出现减二。非凸简单多边形也可通过合适三角剖分得到同样公式，但从任意一个顶点直接连线未必全部留在内部，分割方法需要调整。

角和结论还参与很多更进一步的证明，例如勾股拼图中中央四边形为何是正方形。概念间的依赖关系由此可见：证明不是一堆孤立技巧，而是后一个论证把前一个结果作为可靠的步骤。要避免循环论证，就必须知道哪些结果已被独立建立。

两个完整构造：等边三角形与垂直平分线

在给定线段上构造等边三角形

给定不同点 $A, B$ ，分别以它们为圆心、以 $A B$ 为半径画圆。取两个圆的一个交点 $C$ ，则按圆的定义有 $A C = A B$ 与 $B C = A B$ ，所以三边相等。这是《几何原本》第一卷命题一的基本构造思路。

在坐标模型中可以完整验证交点确实存在。经平移旋转，把端点设为 $A = (0, 0)$ 、 $B = (s, 0)$ ，其中 $s > 0$ 。两圆的方程是 $x^{2} + y^{2} = s^{2}$ 和 $(x - s)^{2} + y^{2} = s^{2}$ 。相减得 $x = s / 2$ ，再代回得 $y = \pm \sqrt{3} s / 2$ 。两种符号对应线段两侧的两个等边三角形。构造图像、等长理由与交点存在性在这里分别得到说明。

到两个端点等距的全部点

取 $A = (- a, 0)$ 、 $B = (a, 0)$ ，其中 $a > 0$ 。点 $P = (x, y)$ 满足 $P A = P B$ 当且仅当 $(x + a)^{2} + y^{2} = (x - a)^{2} + y^{2} .$ 化简得 $4 a x = 0$ ，因此 $x = 0$ 。这条直线经过中点，且垂直于线段 $A B$ ，正是垂直平分线。反向代入也成立，故不是只找到了某些等距点，而是找到了全部等距点。

这一点集描述可以用于定位。例如平面上某设施要求距两个站点同样远，它的位置应落在相应垂直平分线上；若还要求距第三个不共线站点同样远，则需要与另一条垂直平分线相交，得到三角形外心。数学模型只表达等距条件，不会自动处理地形、道路或可建区域等现实限制。

保持什么，决定哪一种图形被视为相同

平移、旋转和反射都保持欧氏距离，称为等距变换。在坐标中，常写为 $X \mapsto Q X + t$ ，其中 $Q^{𝖳} Q = I$ 、 $t$ 为固定向量。验证距离保持只需计算 $‖ Q (P - Q_{0}) ‖^{2} = (P - Q_{0})^{𝖳} Q^{𝖳} Q (P - Q_{0}) = ‖ P - Q_{0} ‖^{2} .$ 这里用 $Q_{0}$ 表示一个点，以免与变换矩阵 $Q$ 混淆。点名和矩阵名在同一公式中区分清楚，也是避免符号误读的一部分。

两个图形若可通过等距变换重合，称为全等。若还允许统一比例伸缩，则得到相似关系；对应角保持不变，长度按同一比例变化，面积按比例平方变化。相似保留形状比例，却不保留实际大小，所以不能把两个相似三角形的对应边直接判为相等。

若允许一般可逆线性变换，平行关系仍保持，但角度和长度通常改变。一个圆可以变成椭圆。若进一步只要求存在双向连续的对应，长度、角度乃至直线性都不再必须保留，研究就转向拓扑等价。欧氏几何、仿射观点和拓扑观点关注不同的不变量；它们并非精确与粗糙的简单排序，而是服务于不同问题。

坐标法也不意味着几何对象依赖某套坐标。把同一三角形旋转后，其坐标改变，三边长度和内角不变。识别这种“不随表示改变而改变”的量，能把复杂算式重新还原成几何陈述。在圆锥曲线中，消去交叉项就是换一组更合适的坐标来描述同一条曲线。

欧氏结论在哪些边界失效

球面上把大圆弧作为局部测地线，可以构造一个顶点在北极、另外两个顶点在赤道且经度相差九十度的三角形。它的三个内角都为直角，内角和为二百七十度。这不是对欧氏定理的反例，因为其边不是欧氏平面中的直线段，空间结构已经改变；它是说明假设重要性的对照模型。

在平面中定义 $d_{1} (P, Q) = | x_{P} - x_{Q} | + | y_{P} - y_{Q} |$ ，仍得到一个合法距离，但它的单位“圆”是菱形。沿不同方向的长度关系与欧氏模型不同，通常的旋转也不全保持这个距离。把“满足距离公理”与“具有欧氏内积结构”混为一谈，就会把错误公式带入新的空间。

退化配置也要单独处理。三个共线点不能构成通常意义下的非退化三角形；零长度线段不能提供方向；三维中两条不相交直线还可能异面，并不一定平行。许多从平面经验得到的说法在维数改变后必须补充“共面”条件。准确的百科定义应把这些条件放在结论附近，而非留到失败时再解释。

现实测量则有另外一类边界：有限精度的数据不能严格证明两线平行或两角相等。几何模型可以给出精确命题，观测只能在误差范围内支持某种模型。例如三边测量近似满足勾股关系，最多支持“与直角相容”的判断，不能从有限小数推出无误差的直角。数学建模需要同时管理模型假设与测量误差。

全等判定为什么需要足够的信息

三角形三边给定时，若满足严格三角形不等式，就能在欧氏平面中确定一个全等类型；镜像绘制的两个三角形仍全等，因为反射也保持距离。给定两边及其夹角同样足够，这对应边角边判定。夹角之所以重要，是因为它直接控制两条已知线段的相对方向，而不是任意一个远处角度。

若给定两边以及其中一边所对的角，通常可能出现两个不同三角形。设已知一个锐角，沿该角的一条射线放置一个端点，再以另一条已知边长画圆；圆与另一射线可能有两个可行交点。两个交点分别给出不同的第三边长度，所以“知道两边和一个角”不是一个不带条件的全等判据。描述已知数据在图形中的相对位置，是定理陈述的一部分。

三角形不等式也有几何意义。任意两边长度之和大于第三边，表示绕经第三个顶点的折线比直接线段更长。若等号成立，三个点共线，面积为零；若和更小，则不存在这样的欧氏三角形。算法在根据三边画图或计算面积前，先验证这些关系，可以把“输入不合法”与“绘图程序出错”区分开。

面积还提供一种不依赖朝向的检查。在坐标中，三角形 $A, B, C$ 的面积为 $\frac{1}{2} | det (B - A, C - A) |$ 。行列式为零恰对应两个位移线性相关，也就是三点共线。反射改变带符号行列式的符号，但绝对面积不变；统一放大使面积按比例平方变化。由此可同时看见代数计算、退化条件和变换不变量之间的联系。

三维中的距离最短问题往往通过正交投影降到平面。点到平面的距离是沿法向方向的分量长度；任何斜着走向平面的线段都还带有切向分量，根据勾股分解不可能更短。这个理由说明“垂直段最短”不是一条只凭图形记忆的规则，而是欧氏正交结构的后果。换用其他距离或约束路径后，最短路线未必仍如此。

历史：欧几里得的整理与后来的基础重建

欧几里得约在公元前 300 年前后活动于亚历山大里亚，《几何原本》系统组织了此前已经发展起来的几何与数论知识。现存材料不足以把书中每个命题都归为他个人首次发现；他的历史地位与系统化、演绎组织和文本传播密切相关。MacTutor：Euclid

对平行公设的研究在十九世纪促成非欧几何的发展，改变了人们把欧氏几何视为唯一可能几何的观念。希尔伯特的《几何基础》初版于 1899 年，推动了公理之间关系的精确分析。MacTutor：Hilbert 从这条历史线索看，欧氏几何并非被新理论废弃，而是被更清楚地辨认为具有特定公理和适用范围的数学体系。

English overview

Euclidean geometry studies points, lines, planes, and figures within a Euclidean axiom system. Its familiar coordinate model is real affine space equipped with the standard inner product. Points represent positions, vectors represent displacements, and the inner product determines lengths and angles. Choosing coordinates describes the geometry without making geometric facts dependent on that choice.

The parallel postulate is a structural assumption, not merely a statement that parallel lines do not meet. In an appropriate background of geometric axioms, it supports the familiar angle-sum theorem for triangles. Constructions also require existence arguments: drawing two circles in a sketch does not, by itself, justify an intersection.

Congruence is associated with distance-preserving transformations, while similarity also allows a uniform change of scale. More general affine maps preserve parallelism but may change angles, and topological equivalence preserves still different properties. These distinctions explain why a circle may become an ellipse under one kind of transformation without being congruent to it. Spherical triangles, non-Euclidean metrics, degenerate configurations, and measurement uncertainty mark important boundaries of elementary formulas. Historically, Euclid organized an influential deductive system; later developments, including Hilbert's axiomatization, clarified assumptions that earlier geometric reasoning often left implicit.

编者评注（AI 辅助）

本站将本条目定位为几何阅读的入口，重点不是罗列所有定理，而是说明定义、公理、模型和证明各自承担什么工作。等边三角形与垂直平分线的构造把图形直觉落实为可核查论证，变换部分则说明什么性质应当保持。这样的安排有助于随后阅读勾股、圆锥与拓扑条目，避免把换坐标、改变度量和改变空间混作同一件事。这是教学组织判断，不是新的几何命题。

参考资料与知识联系

Euclid，Elements，Book I，David E. Joyce 编注：定义、公设与初等构造。
MacTutor，University of St Andrews：Euclid、David Hilbert。用于核对人物背景与《几何基础》出版年代。
前置：集合；相关：勾股定理、向量空间、圆锥曲线；进一步比较：拓扑空间、环面。