勾股定理的多种证法：从几何直观到代数推导

《几何原本》中的面积法

欧几里得在《几何原本》第一卷命题47中给出的证明，被誉为“几何学的基石”。该方法利用相似三角形和矩形面积的性质。

证明概要：

• 过直角顶点C作斜边AB的垂线，交AB于D，交外接圆于E。
• 利用相似三角形 △ADC ∽ △ACB，得出 AC² = AD × AB。
• 利用相似三角形 △CDB ∽ △ACB，得出 BC² = BD × AB。
• 两式相加：AC² + BC² = AB(AD + BD) = AB × AB = AB²。

这一证明展示了比例线段在几何证明中的强大威力，是后世解析几何的雏形。

美国第20任总统的梯形证法

詹姆斯·加菲尔德（James A. Garfield）在1876年《新英格兰教育杂志》上发表了一种巧妙的证法，被称为“总统证法”。

证明概要：

• 构造一个等腰梯形，上底为a，下底为b，高为(a+b)。
• 梯形面积公式：S = 1/2 (a+b)(a+b)。
• 另一方面，梯形由三个直角三角形组成：两个全等的直角三角形（边长a,b,c）和一个等腰直角三角形（边长c,c,c√2/2? 不，是顶角为90度的等腰直角三角形，腰长为c）。
• 实际上，是将两个直角三角形拼在一起，使斜边成一直线？不，是将两个全等直角三角形如图放置，使它们的一条直角边共线，另一条直角边平行。
• 更准确的描述：构造一个直角梯形，上底a，下底b，高a+b。内部包含三个三角形：两个直角边为a,b的三角形，和一个腰为c的等腰直角三角形。
• 面积等式：1/2(a+b)² = 1/2ab + 1/2ab + 1/2c²。
• 化简得：a² + 2ab + b² = 2ab + c² ⇒ a² + b² = c²。

相似三角形法：代数的介入

这是现代教科书中最常见的证明方法，它依赖于射影定理。

在Rt△ABC中，∠C=90°，CD⊥AB于D。

• 由 △ACD ∽ △ABC 得：AC/AB = AD/AC ⇒ AC² = AB·AD
• 由 △CBD ∽ △ABC 得：BC/AB = BD/BC ⇒ BC² = AB·BD
• 两式相加：AC² + BC² = AB(AD + BD) = AB²

此方法简洁明了，体现了降维打击的思想，将边长关系转化为线段比例关系。