加菲尔德勾股定理证法：美国总统的数学智慧

为什么选择梯形？

大多数传统的勾股定理证明，如赵爽弦图或欧几里得《几何原本》中的证明，往往依赖于正方形的分割或相似三角形的性质。而加菲尔德的证法独辟蹊径，他构造了一个由三个三角形组成的直角梯形。这种构造方式巧妙地将代数运算（平方和）与几何图形（梯形面积）结合在一起，使得证明过程既直观又具有代数的美感。

该证法的核心在于利用“整体面积等于部分面积之和”的原理。通过计算整个梯形的面积，以及内部三个三角形面积的总和，建立等式，最终推导出 a² + b² = c² 的结论。

第一步：构造图形

取两个全等的直角三角形，设它们的直角边长分别为 a 和 b（其中 a < b），斜边长为 c。将这两个三角形如图放置，使得第一个三角形的直角边 b 与第二个三角形的直角边 a 在一条直线上，且两个三角形的斜边互相垂直。然后，连接两个三角形的另外两个顶点，形成一个等腰直角三角形，其腰长为 c。

此时，这三个三角形共同组成了一个直角梯形。梯形的上底为 a，下底为 b，高为 a + b。

第二步：计算梯形面积

根据梯形面积公式：
S_梯形 = 1/2 × (上底 + 下底) × 高
代入数值可得：
S_梯形 = 1/2 × (a + b) × (a + b) = 1/2 (a + b)²

第三步：计算内部三角形面积之和

梯形内部包含三个三角形：
1. 两个全等的直角三角形，每个面积为 1/2 ab。
2. 一个等腰直角三角形，腰长为 c，面积为 1/2 c²。

因此，三个三角形的总面积为：
S_总 = 1/2 ab + 1/2 ab + 1/2 c² = ab + 1/2 c²

第四步：建立等式并化简

由于梯形的面积等于内部三个三角形面积之和，因此：
1/2 (a + b)² = ab + 1/2 c²

两边同时乘以 2，得：
(a + b)² = 2ab + c²

展开左边：
a² + 2ab + b² = 2ab + c²

两边同时减去 2ab：
a² + b² = c²

证毕！