半圆所对角为直角

证明半圆所对角为直角是欧几里得《几何原本》第三卷命题三十一的决定性结论——当一点位于半圆周上，并将该点与直径的两个端点相连时，该点处的角为直角。这个命题并非作为关于所绘圆的经验观察提出，而是作为一个定理提出，其确定性来自定义、公设、作图与证明。它的重要性在于使半圆成为垂直关系的可靠来源——曲线图形通过其圆心、圆周、直径与弦之间的关系，产生一个固定的直角。

定理及其三种情形

文本在确定主要情形之前，先给出更广泛的分类。在圆中，半圆所对角为直角；大于半圆的弓形所对角为锐角；小于半圆的弓形所对角为钝角。因此，三种情形由圆所截取部分的大小联系起来。半圆是一个边界条件，在此处角恰好等于两个直角的一半；而较大和较小的弓形则分别使角小于和大于直角的度量。

第一幅图以最清晰的形式给出命题——半圆所对角被标为直角。第二幅图处理大于半圆的弓形，并将其所对角确定为锐角。第三幅图处理小于半圆的弓形，并将其所对角确定为钝角。这种安排使直角既不是孤立的图示奇观，也不是需要记忆的规则；它是由弧或弓形控制的系统变化中的中间状态。

作图与证明

证明通过欧几里得平面几何的标准操作展开。相关图形由连接各点所作的直线，以及圆内的各种关系构成。随附的作图涉及相等的长度，包括两个半径或相应线段相等，随后援引两个直角的一半为直角这一结果。当各组成角被证明合成为这一准确的度量时，结论便随之得出。

这一过程体现了问题与定理之间的区别。问题要求完成某件事，例如作出一条直线或描述一个圆，而其解答必须说明允许使用的工具如何完成该作图。定理则断言一个原理，其真理必须从定义、公设、公理或已经确立的命题中推导出来。欧几里得《几何原本》第三卷命题三十一依赖于这种累积起来的结构——图形提供可见的关系，但证明把这些关系转化为必然性。

这一证明也属于一个受限的工具世界。文本明确指出，直尺和圆规是欧几里得几何或平面几何中唯一允许使用的工具。直尺提供图形中所用的直线连接，而圆规支撑圆以及论证所依赖的等距关系。然而，工具本身并不能证明直角。工具使构形成为可能；定义、公理和先前的命题则确立了该构形为什么会产生所述结果。

视觉形式与几何意义

本书把点定义为没有部分的东西，并把前六卷中的所有直线视为位于同一平面内。在这个理想平面中，圆并不只是彩色图像，而是一个受控的几何对象。半径是从圆心作到圆周的线段，而围成图形的线是其边。这些定义为半圆定理提供了精确的词汇——角由在圆周上一点相交的边形成，而直径与半径则组织起证明中所使用的相等长度。

本书还把叠合法解释为这样一种过程——可以设想将一个量置于另一个量之上，使每一部分彼此重合。这一思想属于本书关于几何相等与比较的更大论述。在半圆证明中，可见的重合与相等线段有助于把图形转化为可证明的关系。因此，直角并不是仅仅从彩色图形的外观中推断出来的。外观引发认识；叠合法、相等与演绎则确保结论成立。

与作图几何的关系

将这一书中的作图问题放在一起考察，定理的实际力量便更加清楚。欧几里得从在给定有限直线上构造等边三角形这一问题开始，后来论述从给定点向给定无限直线作垂线，并将此类操作同证明几何原理的定理区别开来。半圆的结果连接了这两种工作方式。它是一个关于角的定理，但也通过圆提供了一种可靠的几何机制，用来产生或辨认垂直关系。

这种联系与公设相一致。一条公设允许从任意一点向任意另一点作直线，另一条公设允许以任意一点为圆心、以从该圆心量取的任意距离作圆。这些许可确立了可能作图的范围。随后，定理表明某一种特定作图具有必然的角度性质。因此，半圆不只是所绘圆周的一半——它还是一种结构性工具，通过它，直线操作能够揭示直角。

在欧几里得体系中的意义

这一命题浓缩了欧几里得推理的若干基本习惯。它从一个理想构形开始，按照弓形的大小区分情形，运用已经确立的相等关系与角关系，最后得出一个不依赖图形具体尺度的结论。它的力量来自这样一个事实——只要重现规定的构形，同一关系便始终成立。

这一结果还体现了周围文本赋予几何学的教育目的。几何学被呈现为教人如何思考，而不仅仅是教人思考什么的手段。半圆定理以缩影形式体现了这一目的——学习者需要从可见的排列转向一连串理由，区分眼睛所提示的内容与证明所确立的内容。直角之所以令人难忘，是因为它在视觉上清晰；但只有当作图与证明明确说明其必然性时，它才成为数学知识。