毕达哥拉斯怎么证明勾股定理？
从历史迷雾到逻辑严密的几何殿堂

欧几里得证法：公理化体系的巅峰

出现在《几何原本》第一卷命题 47 中。这是西方数学史上最著名的证明，也是大多数教科书采用的标准证明。欧几里得利用了相似三角形的性质。

1. 作图： 在直角三角形 ABC 各边上向外作正方形。过直角顶点 C 作斜边 AB 的垂线，延长交对边正方形于点 D。
2. 关键步骤： 证明两个长方形（BD 和 AD 对应的矩形）分别等于两个较小的正方形（BC 和 AC 对应的正方形）。
3. 逻辑链条： 利用全等三角形（SAS）证明三角形 ABD 与三角形 FBC 全等，从而得出面积相等关系。

此证明的核心在于面积守恒与相似比的运用。欧几里得没有直接计算面积，而是通过“等底等高”的原理，将正方形面积转化为矩形面积，最终累加得到斜边正方形的面积。这展示了毕达哥拉斯定理在公理体系下的严密性。

加菲尔德证法：总统的意外贡献

1876 年，美国第 20 任总统詹姆斯·加菲尔德（James A. Garfield）在参议院期间提出了一个巧妙的证明。他利用梯形面积公式完成了证明。

证明思路：

• 将两个全等的直角三角形拼成一个等腰梯形。
• 梯形的上底为 a，下底为 b，高为 a+b。
• 梯形面积 = ½(a+b)(a+b)。
• 同时，梯形面积也等于三个三角形面积之和：½ab + ½ab + ½c²。

联立两式：½(a+b)² = ab + ½c²，展开化简后同样得到 a² + b² = c²。这个证明简单明了，无需复杂的辅助线，常被用来作为课堂上的趣味补充。

毕达哥拉斯原始证法（推测）：利用相似与射影

虽然目前没有毕达哥拉斯亲笔手稿存世，但根据后世学者（如希罗多德、普罗克洛斯）的记载，毕达哥拉斯学派可能使用了基于相似三角形的原始证法，这与欧几里得的证明类似，但更加直观。

推测逻辑：

• 在直角三角形 ABC 中，作斜边上的高 CD。
• 根据相似三角形性质：△ABC ∽ △ACD ∽ △CBD。
• 利用对应边成比例：AC² = AD × AB，BC² = BD × AB。
• 相加得：AC² + BC² = AB(AD + BD) = AB²。

这种方法直接揭示了勾股定理与射影定理的内在联系，被认为是更接近毕达哥拉斯学派“万物皆数”思想的证明方式。

梅迪奇证法：动态的面积重排

这是一种非常直观的“拼图”证明法，类似于赵爽弦图，但构造方式不同。它将四个直角三角形重新排列，通过观察空白区域的形状变化来证明。

操作步骤：

1. 画一个大正方形，边长为 a+b。
2. 在内部放入四个直角三角形，使它们围成一个小正方形（边长为 c）。
3. 改变三角形的摆放位置，使它们围成两个小正方形（边长分别为 a 和 b）。

由于大正方形和四个三角形的总面积不变，因此剩余部分的面积必然相等，即 c² = a² + b²。这种方法常用于小学奥数教学，因为它极具视觉冲击力。