相切状态
《几何原本》相切状态指平面几何学中的一种极限接触形式——图形彼此接触,但这种接触不会成为一个图形切穿另一个图形的相交。《欧几里得《几何原本》文献》为直线与圆精确规定了这一状态的操作性定义,将其扩展到两个圆之间的关系,随后又通过第三卷第十七命题定理把定义转化为作图问题。它的处理方式也体现了全书更大的方法——彩色引导人们注意图示,而不是依靠记忆,推理确立几何事实。
定义与几何条件
当一条直线与圆相接,并且即使延长该直线也不切割圆时,就称这条直线切圆。因此,相切状态取决于直线延长后发生的情况——仅有接触并不足够,除非继续延长仍使直线不穿过圆。这个定义通过规定接触后的非相交为决定性条件,区分了切线与割线。
同一状态也适用于圆与圆之间,但涉及的对象相应发生变化。当两个圆彼此接触但不互相切割时,就称它们彼此相切。在这两种情形中,相切状态都是通过一种受限的相遇来定义的——接触发生了,但与切割相联系的穿越并未发生。全书还规定,当从圆心向若干直线作出的垂线相等时,这些直线与圆心等距;这一关系把垂直距离置于用于理解圆相对于直线位置的测量之中。
从定义到作图
相切状态并未停留在文字区别上。第三卷第十七命题定理被提出为这样一个问题——从给定点向给定圆作切线。因此,该命题把读者的任务从辨认已经完成的接触,转变为在规定条件下制造这种接触。它在圆的相关论述中的位置,把抽象定义与获准的几何操作联系起来。
这一操作属于欧几里得作图受工具限制的世界。全书说明,在欧几里得几何学,也就是普通几何学中,直尺与圆规是唯一获准使用的工具,并且公设的目的就在于规定这种限制。因此,切线不是凭视觉判断作出的近似标记,而是由获准工具支配的作图结果,并随后通过证明加以确立。
这种操作与证明之间的关系,是全书区分问题与定理的一部分。问题呈现通过作图获得的结果,而定理呈现通过推理获得的结果。切线作图属于前一种、具有生成性的方面;周围的定义和证明则说明,为什么所作直线具有所要求的状态,而不只是看起来与圆相接。
图示与教学呈现
全书的彩色体系为相切状态提供了一套视觉词汇,但并不把颜色变成数学属性。在口头演示中,颜色可以让眼睛和耳朵在同一时刻获得指引;教师能够通过颜色指出某一部分,而全班也能立即看到相关的直线或角。与仅仅指称图上的字母相比,这种方法被呈现为更迅速、更可靠,因为该部分的形状和颜色能够同时被把握。
这种视觉上的即时性对于相切状态这样的关系尤其重要,因为接触与切割之间的差别可能取决于精确的边界条件。然而,全书坚持认为,颜色只是为各部分命名。数学意义上的直线被理解为只有长度而没有宽度,因而不可能具有颜色;同一平面上两种颜色的交界,只是帮助传达直线的概念。当正文谈到一条有颜色的直线时,读者应当理解为由有色交界所指示的几何直线,而不应把颜料视为该直线大小或位置的一部分。
这种教学论证超越了普通课堂便利。全书声称,彩色呈现比没有标记的句子更容易固定在心中,并把由视觉冲击产生的持久印象同迅速消逝的声音作对比。全书还指出,有形图示能够为盲人学习者提供教授几何学以及其他线性技艺和科学的媒介,而视觉体系则适应聋哑学习者的需要。因此,相切状态出现在这样一项计划之中——该计划把图示形式既视为一种通达工具,也视为证明的辅助。
数学意义
相切状态组织起接触与穿入之间的鲜明对比。切线与圆相接但不切割圆;相切的圆彼此接触但不互相切割。反复出现的否定条件赋予这一概念以精确性——这种状态并非仅由接近来定义,而是由不存在会产生相交的穿越来定义。这使相切状态成为一种边界关系,处于分离与切割之间。
它与关于垂线和圆的命题同时出现,也表明全书如何通过相互联系的作图来建立几何知识。相关材料包括这样一个问题——从给定点向给定的无限延长直线作一条垂直直线;随后又引入作切线的命题。垂直关系与相切状态并未被合并为同一种关系,但二者都展示了全书特有的运动方式——从给定图形和点出发,得到一条由严格条件确定的直线。
在这一框架中,相切状态不只是图示上的外观。彩色图形可以使接触立即显现,但定义、获准工具、作图和证明共同决定了这种接触的含义。因此,这一状态是全书核心教学主张的一个简洁例子——视觉集中应当服务于理性与证明,而不应取代它们。
