垂直关系

《几何原本》

垂直关系是两条直线相交并形成相等邻角直角时所具有的关系。这个定义同时赋予该关系以可见的构形和逻辑检验——当一条直线立在另一条直线上,使相邻的角相等时,每个角都是直角,两条直线便称为互相垂直。因此,垂直关系所指的不仅是相交,而是由相等关系和直角这一特殊状态所支配的相交。

定义与几何条件

本书将直角与更广义的平面角类别区分开来。平面直线角由两条相交但不在同一直线上的直线的倾斜形成。当这种相交产生相等的邻角时,便出现垂直关系。因此,这种关系具有相互性——每条直线都称为垂直于另一条直线,而两个相等的角都被归类为直角。

这个定义使相等成为决定性条件。本页并不把垂直关系视为近似的视觉印象,也不把任何看似十字的相交都视为垂直。邻角相等提供了识别图形的标准,也使该陈述能够进入证明。因此,这种关系把空间外观与证明联系起来——图示呈现直线的相交,而推理则确立相交处的角为何具有所要求的相等关系。

构造、工具与证明

垂直关系属于一种受限构造支配的几何学。直尺和圆规被确定为欧几里得朴素几何中唯一允许使用的工具,而对这种限制的陈述则被呈现为公设的目的。在这一框架中,垂线并非徒手任意画出;它通过获得认可的几何操作产生,随后作为命题得到论证。

本书的编排把垂线构造列入早期的实践问题。其中一个问题涉及平分一条给定直线,另一个问题要求从给定点作一条垂直于给定无限直线的直线。这些步骤展示了该关系如何实际运作。垂线可以作为受控构造的结果获得,而相应的定理则确立所作直线与其形成的角之间的关系。这里,问题与定理的区别十分重要——问题要求作出一个图形,而定理则陈述并证明一个几何结果。

本书更广泛的视觉方法强化了制作与认识之间的联系。书中主张,彩色符号和图示能够使图形的各个部分比任意字母更迅速地自行显现。提及一条彩色直线或一个彩色角,意在立即引导学习者注意相关部分,而不是要求学习者追踪一串字母名称并在头脑中重新构造图形。对于垂直关系而言,这一点很重要,因为在证明进行期间,两条直线及其邻角必须始终处于可供检视的状态。

圆几何中的垂直关系

在关于圆的命题中,这种关系尤其重要。在从一点向给定圆作切线的构造中,从圆心连到切点的直线被证明与切线构成垂直关系。这个结果使垂直关系成为相切的结构性标志——直线与圆的接触并不只是由视觉上的接近来描述,而是由半径与切线在相交点处形成的直角关系来确定。

周围的圆命题将这一结果发展为一个链条。前一个定理讨论从一点作切线的构造,后一个定理则陈述——如果一条直线与圆相切,那么从圆心作到切点的直线垂直于该切线。因此,切线与半径形成一组配对构形。圆提供圆心和切点;垂直关系则提供解释二者关系的精确几何条件。

这一圆的应用也揭示了本书推理的方向。构造首先向学习者提供直线与圆的具体排列。随后,定理把这种排列转化为必然关系。因此,垂直关系既是操作上的成果,也是解释性的结论——它可以通过允许使用的工具构造出来,也可以说明切线为何具有其特定形式。

视觉教学法与数学精确性

本书对垂直关系的处理,无法与其反对把演示变成枯燥记忆练习的教学主张分开。导言指出,过多的形式和无休止的重复会遮蔽证据的次序,使学习者看不清主题,并使几何学退化为记忆训练。书中提出的替代方案是一种诉诸视觉、同时保留证明推理的彩色体系。

这种方法并不声称颜色本身属于数学直线、角或量。数学直线被定义为没有宽度的长度,因此不可能真正具有颜色。颜色只是图示某一部分的方便名称。当颜色的交接代表一条直线时,学习者应当理解几何直线,而不应把颜料误认为理想对象的属性。这一限定保留了物质图示与其使之可见的数学关系之间的区别。

同一体系还意在协调口头解释与视觉注意。在课堂上,提及一个彩色角或一条彩色直线,可以让所有学习者立即定位相关部分;如果只通过数个字母命名图形,可能就必须追踪这些字母并在头脑中排列它们,从而造成混乱和时间损失。相同的颜色也可以标示被断言为相等的部分,为学习者提供必须在整个推理过程中保持可见的资料的视觉呈现。因此,垂直关系体现了本书的核心教学抱负——使严格的关系立即可见,同时不以外观取代证明。

在几何体系中的意义

垂直关系是一种基础关系,因为它连接定义、构造、相等关系与应用。它为直角赋予精确含义,组织涉及直线平分与作立的早期问题,并在圆几何中以切线和连接切点的半径之间的特征性关系再次出现。

它的重要性也超出单个命题的范围。本书把几何学呈现为测量、丈量、工程、航海、力学、流体静力学、气体静力学、光学和物理天文学的基础。在这些领域中,确立并辨认直线与角之间的精确关系,比单凭视觉猜测更为有力。因此,垂线既是印刷图示中的基本图形,也是本书更大理想的范例——通过形式使事实变得可感,通过推理使事实得到确立,并能够反复构造和使用。

相关故事流