平行公设

平行公设是支配同一平面内直线行为的核心规则。在《几何原本》文献所呈现的体系中，它规定——当两条直线与第三条直线相交，并且在同一侧形成内角，且这两个内角的和小于两个直角时，如果将这两条直线充分延长，它们最终将在该侧相交。它的重要性在于把局部的角条件转化为关于直线未来相交的整体结论。

形式表述及其在体系中的位置

这条规则作为第十二公理出现在公理之中，位于“所有直角都相等”的表述之后。因此，它属于几何学的基础层，而不是通过几何证明建立起来的后续命题。其周边框架区分定义、公设、公理、问题和定理——定义规定所讨论的对象，公设许可可以进行的构造，公理陈述无需几何证明即可接受的一般真理，定理则从已经确立的内容中推出结论。平行公设在这一结构中作为已接受的原则发挥作用，后续推理可以据此展开。

它所涉及的语言包括三条直线、两个内角，以及这些角小于两个直角所在的一侧。其条件并不只是说两条主要直线在最初画出时彼此分离。必须把它们视为不断延长的直线。由此，公设把直线看作长度可以增加的对象，而延长部分仍属于同一几何操作。直线最终相交，是它们角度排列的结果，而不是方向发生改变的结果。

等价表述

随附的阐释把第十二公理改写为三个较短的形式。第一种表述说，两条彼此发散的直线不可能同时平行于同一条直线。这一定式为平行直线关系规定了限制——彼此分离的两条直线不可能各自与同一条直线保持平行关系。因此，平行直线关系并不是一种无限制的相似关系，不可能在相同条件下由许多彼此发散的直线共同拥有。

第二种表述指出，如果一条直线与两条平行直线中的一条相交，它也必然与另一条相交。这里，公设通过截线的行为得到表达。一条直线不能穿过一对平行直线中的一条，同时无限期地避开另一条。这一表述把原先的角条件转化为关于相交的结论，并使平行直线关系可以通过第三条直线加以检验。

第三种表述给出人们熟悉的唯一性原则——过给定点只能作一条平行于给定直线的直线。这个版本把公设直接同构造联系起来。它确定了一个点、一条指定直线，以及过该点唯一允许作出的平行线，因此，这条规则不仅支配已有直线将如何行动，也支配在规定条件下能够构造什么。

与定义和构造的关系

平行公设依赖于几何学体系更广泛的词汇。平行直线被定义为位于同一平面内、如果沿两个方向不断延长便永不相交的直线。这个定义描述不相交的永久状态，而第十二公理处理直线将要相交时的角度条件。二者结合起来，把平行直线同仅仅在有限图形范围内看似不相交的直线区分开来。

该著作还坚持认为，直尺和圆规是欧几里得几何或平面几何中唯一允许使用的工具。这一限制为公设提供了实践背景。几何构造可以画出并延长直线，但结果的有效性并不依赖图形的视觉外观。问题提出要用直尺和圆规完成某件事；解答说明如何完成；几何证明则证明所示过程能够达到要求的终点。平行公设属于使这类证明成为可能的原则，而构造本身仍受允许使用的工具约束。

这种区分把实际绘图同数学确定性分开。图形可以暗示两条直线将会相交或保持分离，但公设提供了经授权的逻辑联系，把它们的角度排列同其延长后的行为联系起来。同一门使用视觉图形的几何学，也要求通过定义、公理和几何证明来确立图形能够证明什么。

对几何推理的后果

公设把平行直线关系确立为一种受控制的关系，而不是松散的视觉印象。它的三个改写形式依次提出越来越具有操作性的后果——发散的直线不能共同平行于同一条直线；相交直线必须截过一对平行直线中的两条；过一个点只能作一条平行于给定直线的直线。每种表述都保留同一项根本限制，同时把观察角度从方向转向相交，再转向构造。

这一推进还显示，基础几何学如何把一个抽象前提转化为若干可操作规则。最初的表述使用内角和延长直线的语言；阐释则把它转化为能够指导证明和构造的断言。因此，这条公理具有双重功能。它是体系基础上被接受的条件，也是组织直线、角和点之间关系的反复使用的工具。

周边文字把几何学呈现为对图形性质的阐述和说明。图形并不被当作孤立的图画——它们的边、顶点、角和延长线被置于共同平面内，并通过精确的定义彼此联系。平行公设贡献了一条决定性规则，使这些关系能够得到证明。它说明，为什么角度排列的局部差异能够决定直线最终是否相交，也说明为什么过一点作平行线是唯一的，而不是任意的。

在欧几里得方法中的意义

平行公设之所以重要，是因为它标志着体系所假设的内容与体系所证明的内容之间的边界。定理必须从定义、公理或先前已经确立的真理中演绎出来，而公设本身则作为体系起点的一部分被授予。因此，它的权威具有方法论性质——当直线、角和延长线按照规定方式排列时，它告诉读者可以得出哪一类结论。

它同平行直线的定义以及关于几何证明的说明并列呈现，使这一结构格外清晰。这条规则并不是作为关于图形的装饰性观察而提出的。它是一个精确前提，支持从构造过渡到证明，从直线的可见排列过渡到该排列所必然产生的后果。从这个意义上说，平行公设既是关于平面几何学的陈述，也是公理化推理本身的范例——一个简洁而界限明确的假设，被反复改写为等价形式，并用于使图形的行为在逻辑上具有确定性。