圆的切线

圆的切线是由其与圆周之间精确的极限关系所定义的几何直线——它与圆相交，但延长后不切过圆。在欧几里得《几何原本》文献中，这一区分看似简单，却发展为一套相互联系的构造与证明。切线并不只是在圆旁画出的一条线；它是一种可以通过直尺与圆规所允许的操作、体系中的定义，以及涉及圆心、切点、角度和线段乘积的结果来确立其有效性的对象。

定义与几何边界

切线在第三卷关于圆的定义中被引入。当一条直线与圆相交，而延长后不切过圆时，这条直线就与圆相切。这个定义取决于直线延长后所发生的情况——仅有相交是不够的，因为割线也与圆相交，但随后会穿过圆并切过圆。因此，相切通过是否穿过圆标示了相交与切割之间的边界。相关定义指出，当两个圆相交但互不切过时，它们彼此相切；这就把同一区分从直线与圆的关系扩展到了圆与圆的关系。

这种表述使相切成为一种关系状态，而不是孤立的视觉外观。图形或许会暗示一条直线与圆周只有一个公共点，但形式上的检验关注的是直线延续的方向。直线在接触之后必须保持在圆外，而不能进入圆的内部。因此，该定义把视觉构形转化为一种能够通过几何推理加以考察的条件。

从一点作切线

在第三卷命题十七中，切线成为一项明确的构造；该命题要求从给定点向给定圆作切线。这个命题属于几何学的构造方面——题目要求完成某项操作，而解答必须说明如何使用直尺和圆规作出所需直线。随后证明承担另一项任务，即证明所指示的操作确实能够达到要求的结果。

这一构造意义重大，因为它把相切从定义转变为可以实现的几何关系。不能仅仅因为彩色图形看起来像是与圆周相切，就接受这条直线。它必须通过规定的工具作出，然后由证明予以确认。解答与证明之间的这种区分，体现了本书关于问题与定理的一般区别——问题提出一项操作，定理则陈述一种原理，并从定义、公设、公理或先前确立的真理中推导出它。

工具限制赋予构造以严谨的性质。直尺和圆规被确定为欧几里得平面几何中唯一允许使用的工具，而公设的部分作用正是宣示这一限制。因此，切线同时属于两个领域——它是图形中的理想直线，也是受控构造行为的结果。工具的实际运动必须服从图形的抽象条件。

接触与垂直关系

第三卷命题十八确立了相切的核心结构性质——如果一条直线与圆相切，那么从圆心向切点所作的直线垂直于切线。因此，直线与圆周相交的位置并不只是视觉上的接触点；它是半径与切线形成直角的点。

这一命题赋予切线一种精确的内在特征。半径确定圆心与圆周之间的关系，而垂直关系确定圆与切线彼此相对的位置。该命题还提供了一种通过另一种关系识别或证明相切的方法——一旦证明连接圆心与切点的半径垂直于该直线，圆的几何性质就决定了这条直线的特殊地位。

随后的命题十九发展了这一关系所蕴含的唯一性。如果一条直线与圆相切，那么从圆心向切点所作的直线垂直于它；相应证明论证，除了该半径之外，不存在另一条能够垂直于切线的直线。因此，相切确定了相关的垂直方向。切点并不是许多可以互相替代的位置之一——它确定了与切线成直角相交的半径。

这种证明结构体现了本书更大的认识论。定义说明切线是什么，而定理与证明则确立那些并非仅凭彩色图形中的排列就能看见的结果。叠合法被定义为设想把一个量置于另一个量之上，使每一部分都相互重合；公理则被呈现为其真理被视为自明、而非需要证明的一般命题。在这一框架内，切线的直角性质是推导出的几何事实，而不只是图形造成的印象。

切点处的角

切线还支配着一种角度关系。在第三卷命题二十一中，文本考察一条切线以及从切点作出的一条直线，后者切过圆。该直线与切线所成的角，等于弦在另一弓形内所对的角。因此，切线与圆的另一部分中由弦所对的角相联系。

这一结果把注意力从半径转向圆周，并从垂直关系转向角度对应。切点处切线的局部角度，由圆内另一处的构形加以度量。一条仅仅接触圆周的直线，成为辨认另一弓形内角度的参照。因此，相切在切点处相邻的直线与更广阔的圆形图形之间建立了桥梁。

该定理属于一系列使切线含义逐渐丰富的结果。首先，相切由不切过圆来定义；接着，从圆外一点作出切线；然后证明其半径垂直于切线；最后，把切线与弦所成的角同圆内的角联系起来。每一步都保留最初的边界条件，同时增加新的结果。这个概念通过一个关系网络变得清晰，而不是依靠单独的一条规则。

度量检验及其意义

第三卷命题三十七给出了一个逆向判据。如果从圆外一点作出两条直线，其中一条切过圆，另一条与圆相交；并且由整条割线与其外部线段所构成的矩形，等于与圆相交而不切过圆的那条直线的平方，那么后者就是圆的切线。随后，该命题要求从给定点作切线，并在证明中作出从圆心出发的直线。

在这里，相切通过两个量之间的相等来识别——一个是由割线及其外部线段构成的矩形，另一个是与圆相交而不切过圆的直线的平方。接触这一几何条件被转化为度量关系。最初似乎是位置问题的内容，转变成了相等问题；而这一相等关系反过来证明了该直线具有切线的地位。

这个逆定理尤其重要，因为它反转了推理方向。较早的结果从直线为切线这一事实出发，推向垂直关系或角度相等之类的性质。命题三十七则从一个数值或量的关系出发，得出该直线必为切线的结论。因此，相切既可以作为各种结果的来源，也可以作为依据独立确立的几何数据所得出的结论。

这一概念的决定性意义，正在于边界、构造与证明的结合。切线由拒绝切过圆来定义，通过直尺与圆规的实践得以实现，以半径与切线之间的直角为特征，与另一弓形内的角相联系，最后又由矩形与平方之间的关系加以确证。本书的彩色图形或许能够帮助心智探求真理，并使教学更为易懂，但切线的权威来自由定义、公设、公理、构造和证明组成的有序体系；正是这一体系把表面的接触转化为必然的几何关系。