欧几里得公设

欧几里得公设是界定欧氏平面几何学实际基础的三项作图许可。它们并不陈述有待证明的定理；相反，它们赋予作图得以开始的基本操作——用直线连接两点、将有限直线无限延长，以及以任意选定的圆心和半径作圆。它们的决定性意义在于，将几何推理约束在一组少量而明确的理想操作之内。

定义与基础作用

这些公设出现在欧几里得《几何原本》文献的基础部分，位于定义之后、公理之前。这样的编排使它们区别于周围的两类材料。定义规定几何对象和关系的含义；公理陈述其真理被视为不言自明的一般命题；相比之下，公设要求把特定的几何操作承认为可能。由此形成的体系，并非从任意罗列的图形开始，而是从对可以绘制和生成之物的受控说明开始。

第一公设规定，可以从任意一点向任意另一点作直线。这项许可提供了最基本的连接操作。每当作图要求连接两个点时，该操作都不是作为经验发现引入，也不是作为需要证明的结果引入；它是几何实践中被承认的起点之一。

第二公设规定，可以把有限直线沿直线方向延长到任意长度。因此，一条线段并不受限于最初给出的部分。它可以在保持直线状态的同时被延长或继续作出。本书的术语还分别把增加的长度称为延长部分，使这项公设既成为作图许可，也成为后来命题所使用的精确语言的基础。

第三公设规定，可以以任意圆心、任意距离作圆。这是作直线和延长直线的圆形对应操作。它准许选定圆心和半径，使圆能够作为精确的作图工具，而不是近似图示。

工具与实践限制

这些公设明确把欧氏几何学的工具限制为直尺和圆规。宣布这一限制的目的，是标明获准的作图手段。图示可以呈现许多颜色、交点、角和图形，但其底层操作仍限于直尺和圆规。因此，这些公设把几何可能性的抽象理想转化为一套获准行动的规范。

这一限制也澄清了绘图行为与数学结论之间的差别。因为第一公设许可，所以可以在给定两点之间作直线；因为第二公设许可，所以可以延长有限直线；因为第三公设许可，所以可以作圆。但是，最终在所得图形之间确立的关系属于证明，并不会自动成为这些公设本身的内容。工具启动作图，而推理确立作图所实现的结果。

周围的定义强化了这一实践框架。直线在延伸或继续作出时可以被延长；半径是从圆心到圆周的一条直线；围成图形的直线是其边。这些术语为公设所提供的对象和操作命名。它们还使前六卷保持在共同的空间环境中——其中考察的直线被设定为处于同一平面内，因此获准的作图就是平面图形的作图。

从作图到证明

在全书的问题中，这些公设通过实际运用而清晰可见。第一命题被作为一个关于给定有限直线的问题提出，显示出体系如何立即从基础许可转向具体作图。后来有命题要求从给定点向给定的无限直线作垂线。这样的问题依赖于作直线、延长直线和作圆的能力，但其所要求的结果并不会仅仅因为执行了这些操作而得到保证。作图之后还必须进行证明，说明这一过程确实达到了要求的终点。

在转向关于直线和角的命题时，也出现了同样的模式。后来的定理考察一条直线立在另一条直线上；而定义说明，当直线相交时角如何形成，角的两边如何延长，以及由此形成的角如何彼此相对。公设提供操作，使相关直线和圆进入图示；定义识别这些对象；定理的推理则确立它们之间的关系。

这种分工是本书认识论的核心。问题提出某件事情应当被完成，例如在给定条件下作一条直线、作一个圆或构造一个图形。解答说明如何用直尺和圆规制作所要求的对象。证明则证明所指示的过程确实达到了要求的终点。定理之所以不同，是因为它断言某项原理为真，而这一原理必须从公理、定义或先前已经确立的真理中演绎出来。因此，公设位于空白纸面与已经证明的几何事实之间的构造门槛上。

与几何体系的关系

公设与叠合法、公理、定义和证明共同发挥作用，但不能与其中任何一项互相替代。叠合法是设想把一个量置于另一个量之上，使相应部分完全重合的过程。这一过程支持比较，但不是三项作图许可之一。同样，公理是被视为不言自明、不能通过证明确立的一般命题；而公设涉及特定几何操作的可能性。

由此形成的结构把通常绘图中经常混淆的三个问题区分开来。点、直线、圆或角是什么？由定义回答。使用获准的工具可以进行哪些操作？由公设回答。为什么一个构造出的图形具有所声称的关系或相等性？由证明回答，证明借助公理、定义和先前的结果。欧氏几何学的力量，就在于保持这些问题彼此有别，同时又使它们能够在每个命题中协同作用。

奥利弗·伯恩呈现中的意义

在奥利弗·伯恩的版本中，这些公设格外重要，因为本书把视觉编排视为数学教学的工具。彩色直线和角被用来使关系能够立即区分，但图示的视觉力量并不取代逻辑顺序。公设说明几何学有权构造何种直线和圆；随后，彩色图形使构造出的关系可以先供观察，而随附的推理再对其加以确认。

这种知觉与证明的结合，反映了本卷开头附近所阐述的教育目的。书中认为，视觉和听觉能够受到有力而即时的作用，作者并主张数学应当“教人如何思考，而非思考什么”。欧几里得公设以简洁形式体现了这一目标——它们并不规定一份需要记忆的结论清单，而是建立一个有限的操作领域，使结论能够由此生成、检验和证明。因此，几何学不再只是图形目录，也成为对严谨构造和有理必然性的训练。