叠合法

叠合是这样一种过程——设想将一个量置于另一个量之上，使双方的每一部分都完全重合。在欧几里得式推理中，这一行为把比较转化为重合——证明不只是断言两个图形相等，而是设想其中一个占据另一个的位置，并检验它们的相应部分能否在不产生矛盾的情况下彼此相合。

定义及其在几何学中的地位

叠合属于组织几何证明的术语体系。文本将点定义为没有部分的对象，将公设区别为获准的操作，将公理定义为不言自明的一般命题，并将命题定义为通过推理获得的结果。在这一结构中，叠合既不是公理，也不是定理。它是一种用于推理的过程，尤其用于必须通过图形或量可能发生的重合来考察几何相等状态的情形。

它的操作标准是精确性。两个量并不是仅凭外观、近似测量或文字描述加以比较；而是设想它们占据同一位置，使各部分彼此对应。因此，这一方法把视觉直觉同完全一致的要求联系起来，使重合成为几何相等状态的可见形式。

在三角形证明中的运用

最清楚的应用出现在关于相等三角形的几何证明中。可以设想将两个三角形彼此叠放，使相等的角或相等的边相互对应。如果一个相等角的顶点同另一个相应顶点重合，并使相邻两边重合，那么其余部分便由作图以及图形已经确立的条件决定其关系。

在一个这样的论证中，设想两个三角形位于相等线段的同一侧，并使相等的边共端。如果两个顶点不重合，就会导致两条直线围成一个空间这一不可能的结果；因此，其中一个三角形的顶点必定落在另一个三角形的顶点上。证明所使用的叠合不是随意的图示，而是一个有纪律的步骤序列——放置图形，使指定的相等部分对齐，检验可能的其他情形，并排除违背直线性质的排列。

这一过程使相应边和角的相等性从放置关系中显现出来。当相关部分重合时，其余各边以及与相等边相对的各角分别相等，两个三角形在各方面都相等。由此，叠合在已知条件与结论之间架起桥梁，把抽象的相等主张转化为精确贴合这一几何上可以理解的关系。

与作图和几何证明的关系

本书区分论证过程中对图形所作的改变与假设中包含的条件。画线、延长直线或作圆，是为了使原有图形适应证明或作图；由这些操作所施加的条件，被视为由作图而确定、不可争辩。叠合与这种作图纪律并行——它改变的是一个量在设想中的位置，却没有引入任意的数值测量或未经证明的物理实验。

这种区别很重要，因为问题和定理有着不同的目的。问题提出要完成某件事情，其解答说明如何用直尺和圆规作出所需的直线、圆或图形。定理断言一个原理的真实性，其几何证明则从定义、公设、公理或先前确立的结果中推导出这一真理。叠合主要服务于几何学的证明方面；在这一方面，问题不是如何画出图形，而是为什么所陈述的关系必然成立。

这一过程以本书惯用的宣告“证毕，即应当证明之事”告终。一旦设想中的重合导出了所要求的相等性，并且其他可能性已被证明为不可能，几何证明便达到了应当证明的目标。

视觉推理和彩色几何教学法

更广泛的著作把几何图示呈现为数学科学的材料，并把几何证明视为关于其中各部分相对数量的推理。它主张，彩色符号和图示比单独依靠文字、字母和无色图形，能使这种推理更加精确、更加迅速。在这一背景下，叠合具有尤其鲜明的视觉性质——证明取决于看清哪些部分意图重合，以及如果它们不重合会产生什么矛盾。

彩色体系以有区别的视觉部分取代任意的字母名称。根据导言，着色部分之所以能够自我命名，是因为它们的形状及相应颜色在几何证明中代表它们自身。文本声称，由此可以用通常所需时间的不到三分之一学会欧几里得《几何原本》文献，并且记忆能够保持得更加长久；这一说法以发明者及其他采用该方法者的实验为依据。

该方法还把视觉和听觉结合到口头教学中。对于一个班级而言，指出红色的角或蓝色的直线，被呈现为比用一串字母命名图形更加直接，因为所指的部分可以立即被看见。叠合也属于这种注意力经济——可以通过可见形状之间的关系指出重合，而口头说明则提供比较这些形状时所遵循的逻辑次序。

认识论意义

叠合处于感官呈现与形式证明之间的中间位置。眼睛提供一个量覆盖另一个量的图像，但结论并不单独建立在视觉印象之上。几何证明必须确立放置会产生什么结果，确定相关的相等关系，并排除违背几何原理的排列。因此，它的效力来自附着于这一设想操作之上的受控推理。

这一作用体现了本书更广泛的坚持——学生不应只是记忆几何证明。彩色指示被描述为比以字母为基础的指示更迅速、更确定，但其最终目的在于把注意力集中到理由、事实和证明上，而不是集中到文字背诵上。因此，叠合之所以有价值，并不是因为它用图像取代了几何证明，而是因为它赋予几何证明一个精确的空间模型——通过精确重合检验相等性，并把不可能性呈现为图形无法容纳连贯的其他可能。