平分角

平分角是欧几里得第一卷命题9所प्रस्तुत的构造。其决定性意义在于，它把一项视觉几何任务——将给定的直线角分成两个相等的部分——转化为一系列受控的、获准使用的作图工具操作，随后通过证明说明所要求的相等确实已经实现。

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

该构造被确定为平分给定直线角的问题。按照本书的术语，问题要求完成某件事情——可以是在规定条件下作出一条直线、作出一个圆，或构造一个图形。其解答必须说明如何使用直尺和圆规获得所要求的结果；其证明随后必须证明所指示的过程确实达到了所要求的终点。

这一构造属于由欧几里得的定义、公设和公理所引入的形式体系。点被定义为没有部分的东西，而开篇的公设允许从任意一点向另一点作直线，并以任意圆心和从该圆心量取的任意距离作圆。公理提供关于相等的一般原则，平分角构造的证明依赖这些基础，而不是仅仅依赖完成后的图形外观。

工具与构造

在欧几里得几何或平面几何中，唯一获准使用的工具是直尺和圆规。这一限制并非偶然——公设确立了可以进行的操作，而问题必须通过这些操作解决，不能借助未经许可的测量器具。因此，平分角体现了构造一个图形与仅仅估计其大小之间的差别。

这一过程从给定的直线角开始。利用较早命题中的一个构造，作出与该角相关的必要等长元素，随后经过构造的点再作一条直线。现存证据将开端行动确定为“平分给定直线角”，并记录了在最终证明之前使用前一构造的情况。圆规提供相等的距离，直尺则提供连接所得各点的直线。

相等的证明

证明并不把看似位于中央的直线视为不证自明的角平分线。相反，它比较由该构造产生的两个三角形。所记录的推理表明，相应的边因构造而相等，且另有一条边为两个三角形所共有。较早的命题随后给出两个三角形相等的结论，而它们相应角的相等则产生了原角所要求的分割。

从操作转向证明是至关重要的。图中的彩色部分或字母部分可能使这些关系容易辨认，但证明解释了这些关系为何成立。本书把叠合法定义为设想将一个量置于另一个量之上，使每一部分都完全重合；本命题中的三角形比较使用了同样的重合与相等这一基本观念。图形提示结果，而证明使结果在几何学上有效。

视觉与概念意义

这一命题也说明了本书更为广泛的教学方法。它主张，几何图形是几何科学的材料，而几何科学的对象在于通过推理展示这些图形各部分的相对数量。在彩色几何教学法中，不同颜色的部分可以取代任意字母，充当识别标志——它们的形状及相应的颜色使各部分在证明过程中自行表明其身份。这种视觉上的精确性被呈现为使推理更加准确、学习更加迅速的方法，而不是推理的替代品。

因此，平分角处于感知、构造和演绎的交汇点。眼睛辨认出两个表面上相等的区域；圆规作出相等的长度；直尺组织构造过程；而关于所得三角形的定理，则确立了仅凭眼睛无法验证的相等。该命题的最终力量就在于这种转化——把一个简单的视觉分割转化为一种可重复且可证明的几何学行为。