几何证明

几何证明是本书呈现几何学时所采用的核心推理实践。它把图形和操作转化为经过论证的数学知识——构造提出能够完成什么，而证明则确立所提出的操作确实达到了要求的目的。因此，这一方法把视觉形式与演绎必然性结合起来，在保留欧几里得几何古典结构的同时，重新安排其论证依据，使人能够更迅速、更清晰地理解。

定义与功能

几何图示被视为不只是单纯的说明性符号。书中把图示描述为几何科学的材料，其目的在于通过称为几何证明的推理，展示各部分之间的相对量。早期教学通常依赖文字、字母以及黑色或无色图示；本书则采用彩色符号、标记和图示，因为它们能使推理更加精确，并使理解过程更为迅速。颜色并不取代证明。它标示图形中相互对应的部分，使这些部分的形式直接参与论证，而不再依赖任意指定的字母名称。

构造与证明之间的区别是明确的。构造通过画线、作角或作圆来改变原有图形，使图形适应论证或问题的解答。如果一个角被作成等于给定的角，那么这两个角因构造而相等；由这些改变引入的条件，被视为与假设中所包含的条件同样无可争辩。随后，证明确立完整的过程达到了要求的结论。证明的权威并不只在于改变后图形的外观，而在于一条链条——它把每一个允许的操作同一个已经确立的原理连接起来。

论证的基础

本书把证明置于数学基础的层级之中。定义从基本实体和关系开始，其中包括点；公设则说明可以假定进行的操作。一条公设规定，可以从任意一点向任意另一点画直线；另一条公设规定，可以以任意点为圆心、以从该圆心量取的任意距离作圆。相比之下，公理是一般性命题，其真理被认为是不言自明的，不能通过证明来确立。因此，证明并非从一无所有开始，而是从定义、获准的构造以及被接受的一般真理出发。

作图工具的限制为这一体系划定了实践边界。在欧几里得几何或初等几何中，直尺和圆规是仅有的获准工具，而公设的目的正是宣布这一限制。因此，理想图形并不是借助任何方便的机械装置产生的。它必须通过几何体系授权的操作形成，随后才能对由此产生的关系进行推理。获准的行动与经过证明的结果之间的区别，使构造不致与验证混淆。

问题、定理与辅助步骤

本书把命题分为两类——问题和定理。问题提出要完成某件事情，例如按照给定条件画一条线、作一个圆或构造一个图形。问题的解答说明如何用直尺和圆规产生所要求的对象。随后进行的证明则确立所指示的过程确实达到了要求的目的。因此，问题类似于公设，而公设则是其解答已经被假定的问题。

定理断言某项原理的真实性。这项原理必须从公理和定义中，或者从此前已经独立确立的其他真理中推导出来；展示这一推导正是定理的目的。因此，定理在形式上类似于公理，但在地位上有所不同——公理无需证明即可获准，而定理则通过把自身同基础连接起来的证明取得权威。

这一体系还承认若干中间形式的推理。推论是直接从某个命题中推导出的推断，因此无需重建完整论证即可得出相应结果。附注是对某个命题所作的说明或观察，但其中不包含重要到足以称为推论的推断。引理则是仅仅为了确立另一个更重要的命题而引入的命题。这些区别表明，几何证明并不是一个没有差别的单一行为；它包含辅助步骤、直接后果、解释性说明和从属结果，而每一项在证明的结构中都有确定位置。

视觉证据与教学

本书的教育改革针对的是向学习者呈现这一结构时所遇到的困难。它批评这样的教学——形式和严密性的工具被如此夸张地展示，以至于几乎掩盖了学科本身的真实内容。无休止的重复并不能增加精确性，却可能使证明变得复杂而晦涩，隐藏证据的递进次序，并把原本旨在强化推理能力的学科，降低为一种乏味的记忆练习。针对这种失败，本书提出了一种有力诉诸视觉的方法，并把视觉描述为外部感官中最敏锐、最全面的一种。

这种视觉重点使证明拥有双重渠道。文字和字母仍然是推理的一部分，但图示中带颜色的部分可以通过自身的形状和相应的颜色得到辨认。其宣称的优点并不只是装饰性的清晰——据称，依据发明者以及其他采用该计划者进行的实验，《几何原本》文献可以用通常所需时间不到三分之一的时间学会，并且能够获得更持久的记忆。这个主张把彩色几何呈现为证明传递方式的改变，使感知能够支持原本必须单独由语言承载的推理次序。

收束与意义

通常的结尾公式“证毕”，是拉丁语“经证明应如此”的缩写。它位于论证末尾，标志着所提出的结论已经同获准的前提和操作连接起来。在本书更广阔的教育理想中，这一收束并非空洞的仪式。它代表了两者之间的差别——一方面是看见某个图形已经形成，另一方面是知道为什么该图形满足所陈述的条件。

因此，几何证明把本书的古典传统同其视觉教学法结合起来。定义、公设、公理、构造和命题提供逻辑次序；直尺和圆规定操作的合法手段；颜色与图示形式使这些关系更直接地被察觉。其结果是一种兼具严谨性和可教性的几何观念——证明要求理由依次展开，从而训练心智；而可见的图形则使这一连续次序始终呈现在眼前，而不是被埋藏在文字形式之下。