“证毕”

“证毕”是几何证明的结尾公式——它是拉丁语“经证明应如此”的缩写，本文译为“这正是所要证明的”。它的决定性作用并非引入新的结果，而是标志着论证已经从既定命题，经由有效推理，完成了通向证明所要确立的结论的过程。

定义与含义

这一表达属于本书所呈现的欧几里得几何体系。文本区分定义、公设、公理、作图题、定理、推论、评注和引理，并为每一项在知识的产生与呈现中分配不同作用。定理断言某项原理的真理性，而证明则展示该原理如何从定义、公理、公设或已经独立确立的真理中推出。“证毕”指明的正是这一任务已经完成的时刻。

附带的释义“这正是所要证明的”使这一公式具有回顾性。它指回开头宣布的命题，而不是指向另一项操作。从这个意义上说，“证毕”是一道言语边界——它把证明链条与随后可能出现的解释性说明、推论或后续命题分隔开来。

在几何推理中的位置

这一公式的力量来自作图题与定理之间的区别。作图题要求完成某项操作，例如画一条线、作一个圆或构造一个图形；其解答说明如何使用获准的直尺和圆规完成所要求的构造，而其证明则证明所指示的过程确实达到了要求的结果。相比之下，定理断言一项原理，而其证明确立该断言的真理性。“证毕”最直接地封闭了这种从主张到证明的运动，尽管本书关于证明的更广泛论述也把证明同成功的构造联系起来。

这一体系从一些并非以同样方式加以证明的基础开始。定义说明几何对象是什么；公设授予获准的构造，包括连接两点作直线，以及以任意圆心和距离作圆；公理是一般性命题，其真理被视为自明的，不能通过证明加以确立。命题便从这些起点经由推理获得。因此，“证毕”所标志的不仅是一幅图已经完成，也标志着论证已经成功回到它着手确立的命题。

证明、构造与视觉证据

这一公式也阐明了本版本中可见图形与言语推理之间的关系。本书认为，几何图形是几何科学的材料，而几何科学的对象，是通过称为证明的推理展示这些图形各部分的相对量。在彩色体系中，图形中颜色不同的部分取代了许多任意的字母标记——它们的形状和颜色在证明中标识各个部分。证明被朗读时，红色的角、蓝色的线或黄色的线都能由眼睛立即定位，从而使文本到图形的指涉更快、更确切。

本书把这种视觉方法呈现为集中注意力的辅助，而不是证明的替代物。书中的例子通过颜色表达关系，包括如下论断——红角加上黄角再加上蓝角，等于两个黄角，因而等于两个直角；还包括如下论断——黄线的平方等于蓝线和红线的平方之和。在每一种情形中，颜色都使各部分易于辨认，但这种关系仍然属于完整表述的几何证明。因此，“证毕”标志的是推理已经完成，而不只是视觉识别发生的时刻。

修辞与教育功能

“证毕”是证明这一更大修辞体系中的一种简洁言语行为。它并不依靠独立计算或诉诸权威来进行说服；它的力量取决于此前的论证。一旦定义、获准的构造、公理和中间命题完成了各自的作用，这一公式便公开宣告既定目标已经实现。它把一连串操作和推论转化为一个可辨认的完整单元。

这种封闭性对于一本将通常的文字与字母式阐述同彩色图形进行对照的书尤其重要。作者坚持认为，彩色符号和图形能使推理更加精确，并使达到结论的过程更加迅速；作者声称，欧几里得《几何原本》文献可以用通常所需时间不到三分之一的时间学会，并且记忆能够更长久地保留所得结果。书中所说的教育优势来自同时作用于视觉与听觉，同时拒绝让学生仅仅把证明背诵下来——理性、事实和证明应当铭刻于理解之中。“证毕”为这种训练提供了一个可见的终点，表明理解应当在完整证明中达到终结，而不应停留于回忆一个没有依据的公式。

作为结尾公式的意义

因此，在欧几里得式的论述中，“证毕”既谦逊又具有结构性。它不增添新的定义，不发挥公理的作用，本身也不是推论或引理。相反，它确认刚刚发生之事的性质——一个命题已经得到证明。它的出现使著作的逻辑清晰可见，为每个证明赋予正式结尾，并把已经确立的结论同评注或进一步推论区分开来。

这一表达也体现了本书关于数学教育的更大构想。本书把证明定义为对某一拟议过程达到其要求结果的确证，并把几何知识视为从接受的基础向经过推理的结果有纪律地推进的过程。“证毕”正是置于这一推进过程之上的简短言语印记。在一种旨在使关系对眼睛立即可见、同时保留证明权威的彩色几何中，这一公式宣告——这种直接性已经通过证明转化为确定性。