勾股定理的欧几里得证明
《几何原本》勾股定理的欧几里得证明是《几何原本》文献第一卷的终结性定理。它指出，在直角三角形中，斜边上的正方形等于包含直角的两边上的正方形之和。该证明属于这样一个体系——图形不被视为自足的证据；构造提供可见的排列，而证明则说明为什么所要求的相等关系必然成立。
在几何体系中的位置
该证明建立在著作开篇确立的结构之上。《几何原本》文献首先区分定义、公设、公理与命题。命题是通过推理得到的结果；问题提出某件事应当完成，而定理则断言某项原理的真实性。因此，勾股定理的欧几里得证明是定理，而不是作图问题——它的决定性任务，是确立已经定义的量之间的关系。
这一基础性区分十分重要，因为该定理并不是从一个未经解释的数值公式出发。它在一个对象及其关系已经预先确定的平面几何体系中展开。文本将点定义为没有部分的对象，并把平行直线规定为同一平面内的直线——如果将它们向两个方向无限延长，它们永不相交。公设允许从任意一点向另一点作直线，并允许以任意一点为圆心、以任意距离为半径作圆。公理提供关于相等的一般原则，包括“与同一量相等的量彼此相等”这一欧几里得公理。因此，该定理的结论被呈现为一条链条的终点，而不是孤立的观察。
构造与获准使用的仪器
该论证通过构造使几何学发挥作用。著作说明，直尺和圆规是欧几里得平面几何中唯一获准使用的仪器，而说明这一限制正是公设的作用。在定理的图示中，分别在直角三角形的各边上作正方形。证据明确记录了在相关边上作正方形的指示，并将这一操作与较早确立正方形构造方法的命题联系起来。
这一程序赋予定理以独特的视觉形式。斜边被视为与直角相对的边，而两条直角边共同包含直角。在这三条边上，构造产生三个正方形，其面积可以通过图形内部的分割与关系进行比较。因此，图形并不只是装饰证明——它提供了一个空间场域，使相等的三角形、矩形与正方形得以被识别并相互联系。然而，图形形状在视觉上的重合不允许单独成立。构造必须由已经证明的命题加以论证。
这一方法还体现了著作对叠合法的说明，即设想一个量置于另一个量之上，使每一部分都完全重合的过程。无论相等关系是通过重合、分解，还是通过直线的排列而变得可见，证明都把几何量视为能够通过精确对应加以比较的对象。图像之所以成为推理工具，是因为其中每一部分都受到定义与公设的约束。
证明过程
定理从直角三角形及其三个相关正方形开始。核心断言是——斜边上的正方形等于两条直角边上的正方形之和。随后，证明借助所构造的正方形以及第一卷中较早得到的结果，将图形转化为一系列相等关系。证据记录了对各量的反复比较，其中包括一个量是另一个量的两倍这一陈述，以及随后关于同一关系能够在构造中相应部分得到展示的推论。
这种反复出现的结构十分重要。证明并不依靠从图形直接跳跃到结论，而是将大正方形分解为可辨认的组成部分，并把这些部分与较小的正方形联系起来。论证从所构造的图形推进到中间的相等关系，再从这些相等关系推进到所要求的和。每一次比较都缩短了眼睛所见与定理所断言之间的距离。最后的推论以这样的结论为标志——斜边上的正方形由两条直角边上的正方形的合并面积推出，随后加上传统的完成标志“证毕”。
在这一语境中，“相等”是一种几何关系，而不仅仅是数值同一。证明通过展示相关复合量由若干部分组成，而这些部分之间的对应关系已经得到保证，从而确立相等。因此，该定理体现了著作更广泛的做法——通过将复杂图形还原为定义、获准的构造、已经确立的命题，以及从一个相等关系过渡到另一个相等关系的公理规则，使其变得可以理解。
证明、感知与知识
证明的权威来自构造与证明之间的区分。问题的解答在于展示如何使用直尺和圆规制作所要求的对象；证明则在于证明所指示的过程确实达到了所要求的目的。勾股定理的欧几里得证明同时运用了这两个方面，但没有将它们混淆。正方形必须先被构造出来，随后还必须证明它们之间的关系。
这一分区别回答了著作中的一个核心认识论问题——为什么一个有色或经过精心排列的图示应当被视为数学，而不只是具有说服力的插图？图示使关系能够被感知，而公理与先前的命题则使这些关系成为必然。著作在其他地方论述，视觉与听觉能够被有力而即时地调动，并且视觉教学能够帮助人们学习如何思考，而不只是学习思考什么。勾股证明以精确的形式体现了这一教育理想。它向学习者提供一个可以审视的图形，同时也要求学习者跟随推理，将观察转化为知识。
因此，该证明把感官的清晰性与形式的严谨性结合起来。它的正方形可以立即被眼睛看到；但它们的相等关系却不能。只有当每一个构造与比较在几何体系中都拥有合法位置时，结论才会变得可靠。由此形成了几何证明的范式——直觉开启理解，而演绎完成理解。
意义与完成
勾股定理的欧几里得证明之所以具有决定性，是因为它把单个直角三角形的几何关系转化为关于三个正方形的一般规律。该定理的力量在于局部图形与普遍断言之间的关系——一旦构造与演绎得到确立，这一相等关系就不再依赖于某一幅图形偶然的大小或外观。
它位于第一卷接近结尾处，因此具有累积性的意义。定义规定了对象，公设授权了基本操作，公理提供了一般的相等规则，而较早的命题使所需的构造与比较成为可能。最后的“证毕”并不只是结束一次计算；它标志着论证链条已经抵达所陈述的终点。因此，勾股定理的欧几里得证明成为整个欧几里得方法的简明展示——使用直尺和圆规进行构造，组织所看到的内容，只援引已经确立的原理，并让结论作为图形的必然性显现出来。
