平行线

平行线是位于同一平面内的直线；当它们向两个方向不断延伸时，永远不会相交。这一定义赋予平行直线关系以精确的几何条件——这些直线必须共面，在无限延伸下仍须彼此明确的，并且必须保持不相交，而不能只是看起来在有限的图形范围内没有交叉。在奥利弗·伯恩的呈现中，平行线因此属于一个视觉形式与形式推理紧密结合的体系。

定义与几何条件

平行线的定义出现在第一卷的定义部分，其中直线被视为基本几何对象，而图形被理解为位于同一平面内。平行线的决定性特征并不是暂时的间隔，而是在持续延长中的行为。一对直线之所以符合平行线的定义，是因为向两个方向延伸都不会使它们相遇，因此不相交是一种理想关系，而不是受书页限制的观察结果。

这一​​定义也将平行线置于初等几何的更广泛语言之中。直线可以通过延长或继续延伸而得到，而增加的长度就是延长部分或延长。平行直线关系正是依赖这一操作——只有把直线视为可以无限延长，几何学才能断言它们永远不会相交。因此，这一概念把简单的视觉形象与对无限延续的抽象要求结合起来。

公设、公理与证明

平行线是在演绎结构中引入的，而不是作为孤立的经验事实出现。公设规定，可以从任意一点向另一点作直线，也可以以任意点为圆心、以任意距离为半径作圆。相比之下，公理被表述为一般命题，其真理被认为是不言自明的，且不能通过论证加以确立。这些基础提供了获准的起点，后续关于直线和角的关系都可以从这些起点推理出来。

文本指出，公设的目的在于限定直尺和圆规的使用。在欧几里得平面几何学中，只有这两种工具获准使用。它们的操作属于作图，而由此得到的关于图形的论断则需要证明。问题要求完成某项操作，例如作一条直线或构造一个图形；解答说明如何使用获准的工具完成所要求的动作，而证明则证明所指示的过程确实能够达到要求的结果。因此，平行线处于作图、理想延伸与证明三者的交汇点。

平行公设及其阐释

平行公设通过两条直线与第三条直线相交时的行为来表述。如果同一侧的两个内角之和小于两个直角，那么这两条直线向该侧延长时将会相交。这一表述并不是直接以视觉上的分离来定义平行线；相反，它规定了直线无法保持平行并发生汇聚时所满足的角度条件。因此，平行直线关系与截线所形成的角的数量有关。

第一卷的阐释以几种等价形式重述了这一原则。两条彼此分离的直线不可能同时平行于同一条直线。如果一条直线与两条平行线中的一条相交，它也必然与另一条相交。这些表述把平行直线关系转化为一个必要关系网络——它规定直线如何分离，第三条直线如何截过它们，以及一条已断言的平行关系如何限制另一条关系。因此，这一概念虽通过不相交从否定方面加以定义，却通过施加于每一条穿过或伴随它的直线的后果，从正面得到确认。

同一部分还指出，所有直角都相等。这一公理为关于平行线的命题提供了稳定的角度标准。由于横截线构型是通过直角以及内角的比较来分析的，直角相等使几何推理能够从所画的排列过渡到一般结论。直线可以用彩色图示表示，但它们的数学地位建立在超越任何特定图像仍然有效的关系之上。

第一卷中的定理网络

第一卷中的若干命题发展了平行直线关系的后果。命题第二十七建立了判定两条直线平行的准则，而命题第二十九考察一条直线截过两条平行线的情形，并推出相应的角度后果。命题第三十继续这一序列，处理同一构型所产生的关系。这些命题并不是对定义的重复，而是把平行线的条件转化为由横截线形成的角的可证明性质。

这一结构体现了本书对定理和问题的区分。定理断言某一原则为真，并且必须从定义、公理、公设或已经独立确立的真理中推导出来。相反，问题提出一项操作，例如在给定条件下作一条直线或作一个圆；其解答涉及如何完成该操作，而其证明则确立这一构造能够成功。平行线参与这一体系的两面——它们既是其性质需要证明的理论对象，也是可以在特定条件下通过直尺作图实现的关系。

视觉表现与数学知识

奥利弗·伯恩对平行线的处理，使其置于关于几何学应如何传播的更广泛论述之中。他将普通的听觉或书面语言与几何图示区分开来——前者的词语和字母充当代表性符号，而后者并非只是符号，而是几何科学的材料。他把图示描述为在一种称为几何证明的推理过程中呈现其各部分的相对量。采用彩色符号、标志和图示，是因为据称它们能使推理过程更加精确，并使知识的获得更加迅速。

在这一方法中，附着于点和直线的字母是证明中使用的任意名称，而不同颜色的部分则可以通过相应的形状和颜色发挥名称的作用。因此，平行线不再只是一句需要记忆的话——它们彼此明确的的视觉排列可以直接在图示中追踪，同时各个命题确立这一排列意味着什么。本书声称，根据归于发明者以及其他采用该计划者的实验，这种传播方式能使人们在通常所需时间的不到三分之一内学会欧几里得《几何原本》文献，并使记忆保持得更加长久。

这一概念最终体现了本书更大的教育主张。由于无论教授一个人还是一百万人，视觉和听觉都能受到同样有力的作用，几何学被呈现为一门能够广泛向公众施教的学科。平行线提供了感知与演绎结合的特别清晰的例子——眼睛可以辨认两条不相交的直线，但只有定义、公设和证明才能确立其无限延伸所意味着的内容。在从彩色形式走向必然关系的过程中，平行线成为一种几何学的象征；这种几何学旨在“教人如何思考，而非思考什么”。