平行直线关系

《几何原本》

平行直线关系是同一平面内直线之间的一种关系——即使沿两个方向不断延长,它们也始终不会相交。在这种平面几何学的呈现中,这一定义成为视觉识别与演绎纪律的交汇点——彩色图示使直线能够立即区分,而定义、公设、公理和命题则决定了关于这些直线哪些结论可以合法地推出。

定义与几何条件

平行直线关系始于严格的空间条件。平行直线必须位于同一平面内,其决定性特征是——无论向哪个方向无限延长,都不会因此彼此接触。因此,这一关系所涉及的不只是图中暂时可见的间隔。两条直线在页面所表示的部分可能看起来彼此分离,但只有在继续延长永远不会使它们相交这一更强条件下,才算平行。

这一定义也将平行直线关系置于本书关于几何对象的一般论述之中。前六卷讨论平面图形,其中所考察的直线都被假定处于同一平面内。一条直线可以通过延伸或延长而继续作出,而所作出的部分就是通过这种延伸所得到的附加长度。因此,平行直线关系依赖于一种理想操作——判断直线时,不仅依据有限的绘图部分,还要依据若将两条直线无限延长会发生什么。

这一关系还与本书关于图形和量的论述相联系。几何学解释图形的性质,而图示中使用的颜色对直线、角或量本身没有数学影响。颜色的作用仅仅是命名和识别某一部分。因此,在课堂上,红线和蓝线可能很容易区分,但它们呈红色或蓝色并不会产生、改变或证明平行直线关系。这一数学关系属于理想直线以及关于它们所陈述的条件。

平行公设及其等价形式

平行公设提供了处理这一关系的形式框架。在各项公设中,文本承认——可以从任意一点向任意另一点作直线;有限直线可以不断作成一条直线;并且可以以任意点为圆心、以从该圆心量取的任意距离作圆。这些许可建立了平面几何学的作图环境,在其中可以通过获准的操作作出、延长并比较直线。

第十二条公理,即平行公设,通过若干等价表述呈现。第一种表述指出,两条彼此分离的直线不可能同时平行于同一条直线。这把平行直线关系表达为一种排他性关系——一旦两条直线彼此分离,它们就不可能分别继续与第三条直线保持相同的平行关系。

第二种表述指出,如果一条直线与两条平行直线中的一条相交,那么它必定也与另一条相交。因此,一条截线不可能只截过一个真正平行对中的成员。这一命题把以永不相交为基础的、看似否定性的平行直线定义,转化为一种涉及相交的积极检验——截线一旦到达其中一条直线,就必然到达另一条直线。

第三种表述指出,过给定点只能作出一条平行于给定直线的直线。这赋予平行直线关系以唯一性条件。过一个指定点,几何学不允许存在无限多个彼此不同、却都与给定直线保持同一平行关系的直线。三种表述合在一起,将平行直线关系描述为延长条件下的不相交、支配截线的关系,以及过一点的唯一作图。

作图、证明与工具的作用

平行直线关系属于一种有意限制合法工具的几何学。在欧几里得的平面几何学中,唯一允许使用的工具是直尺和圆规,而公设的目的就是宣布这一限制。直尺能够作出并延长直线;圆规则提供圆的作图,而许多几何程序都依赖于这些作图。然而,关于直线平行的最终断言,并不等同于机械地画出两道表面上相同的线条。作图提供图形,而推理确立关系。

本书区分命题与支撑命题的假设。公理是一般性的命题,其真理被视为自明的,不能通过证明建立。相比之下,命题是通过推理过程获得的结果,其中包括问题和定理。平行直线关系反复往返于这两个层次之间——其一般条件通过公设陈述,而具体作图和定理则为特定图形推导出后果。

第一卷的编排清楚地发展了这一体系。它以在给定有限直线上作等边三角形的问题开篇,继续讨论涉及垂线的作图,随后达到关于平行直线的定理。后面的一条定理明确以两条平行直线被一条直线截过所得的结果为标题。另一条定理指出,截线同侧的内角等于两个直角。这些阶段表明,主题如何从获准的绘图操作推进到由截线产生的角之间的关系。

因此,这一逻辑是作图性的,却不只是实用性的。图示可以展示两条平行直线,但定理关注的是这种关系所必然产生的后果。截线形成相应的内部区域,而角的条件则为潜在的平行直线关系提供可测量的表达。这样,本书把一种空间条件转化为一连串可以证明的性质。

颜色、感知与几何学的可及性

对平行直线关系的处理与本书的彩色教学法不可分割。在口头演示中,颜色使眼睛和耳朵能够同时得到指引。教师不必只通过一组字母来指认某一部分,而可以说红角或蓝线,相关元素便能立即被全班看见。因此,当两条直线和相交直线在视觉上有所区别时,平行直线关系就更容易被追踪。

这一论述并不只是说颜色装饰数学。有人认为,包括图画、剪裁图和图示在内的彩色表达,比没有任何区别特征的句子更容易固定在心中。视觉标记有助于在证明从图形的一部分转移到另一部分时保持某条直线的身份。这对于关于平行直线关系的论证尤其重要,因为一条截线可能产生若干个角,而读者必须维持每一部分与整个构形之间的关系。

这一方法还声称具有更广泛的教育覆盖面。有人将可触摸图示描述为向盲人学习者教授几何学及其他线性艺术和科学的唯一媒介,同时也把可见的体系说成适合聋哑学习者的需要。这一主张赋予彩色图形和可触摸图形超越便利性的作用——它们被提议作为扩大几何推理可及性的工具。与此同时,文本谨慎地限定了视觉体系的含义。数学直线是无宽度的长度,不可能真正具有颜色;同一平面上两种颜色的交界,只是提供了数学直线的一种有用观念。当本书谈到黑线、红线或蓝线时,读者应当理解为所命名的几何部分,而不应将颜色误认为数学性质。

在几何体系中的意义

平行直线关系是使平面几何学的结构显现出来的关系之一。定义确立一种理想条件,公设赋予它公理权威,等价表述揭示其逻辑范围,而第一卷的定理则把它转化为涉及相交和角的后果。因此,它既是几何学的一个主题,也是几何学运作方式的展示——视觉图形促成识别,获准工具支持作图,而证明则把绘出的构形转化为必然知识。

这一关系也体现了本书更大的教育目的。本书的彩色图示旨在防止学生只把证明背诵下来。通过引导注意每一部分的实际形状和颜色,这一方法力求使理由、事实和证明印入理解之中。平行直线关系尤其适合这一目的,因为其定义性事实不能由短暂的视觉一瞥穷尽。必须把直线设想为不断延长,并通过证明的结构追踪它们的性质。

平行直线关系的最终意义,在于视觉所见与演绎所确立之物之间的张力。图示使直线彼此有别并且易于接近,但颜色不会使它们平行;有限的分离不能证明它们永远不会相交;工具能够画出图形,却不能提供其全部真理。只有当视觉呈现、几何作图和公理化推理汇聚在一起时,平行直线关系才真正得到确立。

相关故事流