勾股定理的拼图证明

勾股定理

直角三角形两条直角边 a、b 和斜边 c 满足：

$$a^2 + b^2 = c^2$$

中国古代叫”勾股定理”或”商高定理”（公元前 11 世纪商高对周公说），西方叫毕达哥拉斯定理（公元前 6 世纪）。

拼图证明：一图胜千言

考虑一个边长为 (a + b) 的大正方形。它的面积是固定的：

$$S = (a + b)^2$$

第一种装法：把 4 个一样的直角三角形（直角边 a、b）放在大正方形里，留下两块空白：一块是 a × a 的小正方形，另一块是 b × b 的小正方形。

$$S = 4 \cdot \frac{ab}{2} + a^2 + b^2 = 2ab + a^2 + b^2$$

第二种装法：把 4 个同样的三角形换个位置，沿四条边铺开，每个三角形的斜边 c 在内侧。留下的空白是一个倾斜的 c × c 正方形：

$$S = 4 \cdot \frac{ab}{2} + c^2 = 2ab + c^2$$

两次面积必然相等：

$$2ab + a^2 + b^2 = 2ab + c^2$$

消掉 2ab：

$$a^2 + b^2 = c^2$$

证毕。整个证明不用一行公式都能看懂 —— 就靠”装法不同，面积一样”。

为什么这个证明这么好

数学有几百种证明勾股定理的方法（一本叫《The Pythagorean Proposition》的书收录了 371 种），但拼图证明有独特优点：

1. 直观：不需要任何代数操作
2. 不依赖坐标：欧几里得式的”形状即真理”
3. 可以摆给小孩看：用四片直角三角形纸片就能演示
4. 强调”面积守恒”：把抽象的代数等式翻译成”东西没多没少”

试一试

调整 a 和 b 的滑块，观察：

• a²、b²、c² 数值同步更新
• 始终满足 a² + b² = c²
• 取 a=3、b=4 → c=5（最有名的”勾三股四弦五”）
• 取 a=5、b=12 → c=13（另一组著名整数解）

满足 a² + b² = c² 的正整数三元组叫毕达哥拉斯三元组：(3,4,5), (5,12,13), (8,15,17), (7,24,25), (20,21,29)…… 古巴比伦泥板（公元前 1800 年）已经列出过几十组。

历史趣事

• 周公时代（商高）：用 3-4-5 直角三角形量地、做风水
• 古埃及：用 12 节绳子结成 3-4-5 直角，造金字塔的方角
• 欧几里得《原本》：第一卷命题 47，给出一个相对复杂的证明
• 加菲尔德总统：1876 年（当国会议员时）发明过一个用梯形面积的证明
• 爱因斯坦：12 岁时独立发现一个用相似三角形的证明

推广到三维

3D 空间里的”勾股定理”：

$$d = \sqrt{x^2 + y^2 + z^2}$$

到 n 维就是一般的欧氏距离公式。所有这些都是同一个勾股定理的延伸。

进一步推广，余弦定理告诉我们非直角三角形：

$$c^2 = a^2 + b^2 - 2ab\cos C$$

当 C = 90°，cos C = 0，回到 a² + b² = c²。

勾股定理是整个欧几里得几何最基础的等式 —— 没有它，三角学、解析几何、复数、向量空间统统都建不起来。