求圆心

《几何原本》

求圆心在欧几里得第三卷命题一中被呈现为一项典型作图——对已绘图形进行的简单操作,转化为关于唯一性的几何证明。其关键步骤是在给定圆内作一条弦并将其平分;平分点位于垂直平分线上,证明则确立圆心必在该线上。因此,这一作图把一个不可见的定义性点转化为可以复原的几何对象。

作图与背景

命题从一个已知圆开始,但圆心尚未确定。规定的操作是在圆内作任意一条直线并将其平分。弦的平分点随后被用作作图中的关键参照点。措辞强调,该程序适用于任何这样的圆内直线,而不依赖某条特意选取的弦。

这一操作属于欧几里得平面几何的受限实践。直尺和圆规是唯一获准使用的工具;公设授权作出连接两点的直线,并以任意圆心和任意半径作圆。因此,求圆心并非源于测量或视觉估计,而是源于由该体系形式性承诺所支配的、获准进行的作图行为。

唯一性证明

要得出平分的弦确定圆心这一结论,不能只依靠图中呈现出的对称外观。论证考察一个可能的另一交会点,并为导出矛盾而假定该点是圆心。证明随后表明,这一假定的点无法满足圆心所必需的条件。依照同样的推理,任何不在相关垂直平分线上的其他点,都不可能是圆心。

矛盾赋予这一作图以说服力。平分的弦并不只是提示圆心所在;它把圆心限制在一条确定的直线上,而排除每一个不合适的点,则确立圆心就是由该弦的垂直平分线所确定的点。因此,最终结论同时具有构造性和证明性——这一操作产生所需的位置,而证明说明了为什么结果不能由另一个位置替代。

定义与方法

这一操作依赖于周围几何学中确立的若干区分。点被定义为没有部分的东西;直线被视为基本的几何对象;叠合法则提供了一种观念方式,即把一个量置于另一个量之上,使相应部分相互重合。这些基础把证明中的理想对象,与页面上用来表示它们的标记区分开来。

文本还区分了问题与定理。问题要求完成某件事情,例如作一条直线或构造一个图形;问题的解答说明如何使用直尺和圆规完成所要求的操作。随后,证明确立所指出的过程确实能够达到所要求的结果。求圆心完全遵循这一模式——平分是构造性的解答,而排除每一个竞争性的圆心则是证明。

视觉传达与意义

这一作图还体现了该书彩色几何的更广泛方法。作者认为,当色彩同时作用于眼睛、口头讲解同时作用于耳朵时,口头证明便获得重要优势。指出一条彩色直线或某个彩色部分,被呈现为比要求学习者在图上追踪传统字母名称更迅速、更确定的方式。在这样的作图中,弦、弦的平分以及包含圆心的直线,因而可以作为可见的关系加以区分,而不必作为抽象的标签序列留存。

与此同时,这一方法旨在防止几何学变成死记硬背的言语表演。文本坚持认为,推理、事实和证明应当铭刻于理解之中。求圆心以简洁形式体现了这一目标——可见的操作提供起点,形式化定义和公设规范该操作,而证明则把由此产生的图形转化为知识。圆心不是根据圆的外观猜出的;它是通过作图找到的,并通过证明得到确立。