勾股定理

勾股定理指出，在直角三角形中，斜边上的正方形等于包含直角的两边上的正方形之和。它在本书中的决定性意义，在于把三条边之间的视觉关系转化为必然的几何真理——在最长边上构造的图形，可以由在两条较短边上构造的相应图形加以说明。因此，该定理连接了作图、测量与演绎，使直角三角形成为几何推理的核心工具。

陈述与几何意义

本书以明确的代数—几何语言给出这一关系——一边的正方形等于另外两边的正方形之和。在更完整的直角三角形定理陈述中，斜边上的正方形等于两边上的正方形之和。斜边被定义为直角所对的边，因此，该定理首先依赖于确定直角，然后把对边同构成直角的两边区别开来。

这种措辞描述的是面积，而不仅仅是长度。在每条边上都构造一个正方形，定理比较斜边上正方形的面积与另外两个正方形面积之和。因此，这一关系在证明完成之前，就已经能够在图形中显现出来。本书还通过颜色呈现同样的性质，把图示的各个部分表达为有色的量。颜色并不取代几何论证；它把相关区域区分开来，使人既能凭视觉也能凭推理追踪这一相等关系。

在几何体系中的位置

该定理属于一个从定义开始的形式体系。本书把点定义为没有部分的东西，并把前六卷的对象视为位于同一平面内。它把直角所对的边区别为斜边，并定义图形的周界、半径和各边，为关于三角形与正方形的命题提供所需的术语。

这些形式术语由公设和公理加以支持。公设中包括——允许从任意一点向任意另一点作直线；另一条公设允许以任意点为圆心、以从该圆心量取的任意距离作圆。公理被描述为一般性命题，其真理被认为是不言自明的，且无法通过证明确立。因此，勾股定理并不是孤立的观察——它的证明被呈现为从定义、被接受的出发点以及此前确立的真理中演绎出来的结果。

这一方法还对几何工作施加了材料上的规范。在欧几里得平面几何中，直尺和圆规是唯一获准使用的工具，而这一限制的陈述被确定为公设的目的。因此，直角三角形关系产生于能够在这些限制下完成的作图，而不是来自不受限制的数值程序。工具创造图形；证明确立图形必然具有的意义。

作图、证明与论证

本书明确区分问题与定理。问题提出要完成某件事情，例如在给定条件下作一条线、作一个圆，或构造一个图形。它的解答说明如何使用直尺和圆规制作所需对象，而其论证则证明所指示的过程确实达到了所要求的结果。

相较之下，定理断言某项原理的真理。该原理必须从公理和定义中，或从此前已经独立确立的真理中演绎出来，而论证就是展示这种演绎的行为。因此，勾股定理体现了本书更广泛的认识论——图示可以使这种关系变得易于理解，但只有几何推理的链条才能赋予它必然性。

较早的命题提供了这一证明所依赖的作图语法。本书包括以下问题——在给定的有限直线上构造等边三角形；从给定点向给定的无限直线作垂线；以及关于一条直线立于另一条直线之上的定理。这些程序确立了对等长、垂直关系和角的控制，而这些正是确定并操作直角图形所需要的。因此，勾股定理的结果是一个序列的顶点而非起点——它把先前的操作汇集为面积之间的一个关系。

逆定理与诊断用途

该定理与一个逆定理相配。逆定理不是从已知的直角出发，而是从正方形关系出发——当一边上的正方形等于另外两边上的正方形之和时，证明该边所对的角为直角。通常的定理从直角推出正方形相等；逆定理则从正方形相等推出直角。

这种反转把定理从一种描述变成了一项检验。直角保证面积相等，而面积相等即使在图形一开始并未预先知道具有这一事实的情况下，也能确立某个角为直角。本书记录了相关角为直角的结论，并以“证毕”结束论证，标志着该结果已经在演绎体系内完成。

逆定理还说明了为什么该定理的作用超出了计算未知边长。它提供了依据长度之间的关系辨认垂直关系的标准。在这方面，该定理及其逆定理构成了图形与证明之间的双向桥梁——角的信息产生度量上的相等，而度量上的相等又返回关于角的结论。

相似、比例与更广泛的意义

后来的几何学把直角三角形定理同相似的直线形联系起来。本书考察在直角三角形各边上描述的相似图形，因此，这一关系不再局限于三个彼此孤立的正方形。相似性允许以不同的尺度重现同一种形式，而比例推理则解释了当图形大小改变时，相应图形如何保持受控制的关系。

因此，该定理在本书中最深刻的重要性，在于视觉上的易理解性与演绎力量的结合。导言把几何学呈现为一种能够引发探究、提升心智并增强推理能力的学科；它还指出，几何学是算术、土地测量、测量术、工程学、航海学、力学、流体静力学、空气动力学、光学和物理天文学的基础。勾股定理体现了这一教育抱负。它从一个被精确定义的直角开始，使用直尺和圆规所许可的作图，把有色与无色的区域组织成一个相等关系，并最终得到一个命题——其逆定理能够辨认直角，而其后续关系又扩展到相似性。它的力量不仅在于给出一条数值规则，更在于证明了一个可见的构形如何能够通过证明转化为持久的知识。