三角形内角和证明
《几何原本》三角形内角和证明是欧几里得《几何原本》第一卷中的核心定理。它把一个可见的三角形图形转化为必然结论——无论三角形的具体形状如何，其三个内角之和都等于两个直角。该证明展示了欧几里得几何学如何结合作图、既有命题与演绎论证，而不是仅仅依赖图形的外观。
命题与设定
直接的设定始于将三角形的一边延长。由这一延长线，外角便与两个不相邻的内角建立关系。随后，定理提出更强的总体结论：“每个三角形的三个内角合在一起等于两个直角。”其适用范围是普遍的。结论涉及每一个三角形，而不只是图中所画的实例，因为论证依赖于此前已经确立的一般几何关系。
这一结果属于一个由定义、公设、公理、作图题和定理组织起来的体系。定义确立所讨论几何对象的含义；公设授予允许进行的作图，包括连接两点作直线；公理提供被视为自明而接受的一般真理；命题则是通过推理得到的结果。在这一体系中，内角和命题不是孤立的观察，而是一条定理；它的确定性来自其在更大演绎秩序中的位置。
作图与演绎过程
决定性的作图通过指令“过该点／作平行线”引入。这意味着经过选定的点，作一条与三角形相应边平行的直线。平行线的作图在原三角形之外建立了一个平角框架，使三角形的各角能够同新直线形成的角进行比较。
随后，证明援引了关于平行线的一条先前命题。由于所作直线与三角形的一边平行，截线所形成的角便与三角形的两个远端内角相等，或处于相关关系之中。因此，由延长边形成的外角可以分解为这两个不相邻的内角。文本通过所引用的先前命题记录了这一联系，随后合并由此得到的角相等关系。
最后一步使用一条公理——相关各角之和等于组成一条直线的角，文本通过“+ Km*. = ^^（公理2）”确认了这一相等关系。这样，作图便把三角形的三个角转化为两个直角的等价形式。证明以“证毕”结束，标志着论证完成。
方法与几何仪器
这一论证展示了作图题与定理之间的区别。作图题要求完成某项操作，例如作一条直线或构造一个图形；其解答说明如何使用允许的仪器完成所要求的操作。相反，定理断言某项原则为真，其证明则从定义、公设、公理或先前确立的真理推出该原则。三角形内角和结果使用了作图，但作图服务于定理的证明，而不是构成该定理的最终目标。
欧几里得平面几何学只允许使用直尺和圆规作为仪器。这一限制与公设相关——可以从一点向另一点作直线，也可以以任意一点为圆心、以任意距离为半径作圆。在这一证明中，关键操作是经过一点作平行线，而所得角关系的有效性则由先前的几何学提供。因此，实际或图示的作图行为，与“所作直线具有所要求的平行性质”这一逻辑断言，是彼此不同的。
这一证明也属于一种视觉传统；在其中，叠合法被理解为把一个量置于另一个量之上，使相应部分重合。尽管内角和论证并未被呈现为直接的叠合法证明，但精确对应的同一理想支配着它——角并不是依据近似的视觉大小来判断，而是通过既定的几何恒等关系建立联系。
在欧几里得体系中的意义
该定理使三角形成为平面几何学中的稳定单位。一旦确定其三个内角之和为两个直角，后续推理便可以比较未知角，确立外角关系，分析特殊三角形，并把角的结构同平行直线关系和垂直关系联系起来。这一结论还揭示了欧几里得命题之间的相互依存——该结果依赖于平行线定理和关于相等关系的一般公理，而后来的结果又可以反过来把内角和作为已经确立的事实加以使用。
它的力量在于多样性与不变性之间的对比。三角形的边长和各个角的大小可以不同，但总和始终不变。图形提供了能够看见这些关系的具体场域；定义识别对象，作图使相关比较成为可能，而演绎则把这种比较转化为必然性。因此，该定理成为欧几里得理想的简洁展示——几何知识通过受控操作以及从明确基础出发的推理而产生。
