勾股定理

给定一个直角三角形，直角边为 $a$、$b$，斜边为 $c$（斜边 $c$ 是最长边）：

            c
      ┌─────────┐
      │ \       │
    b │   \     │
      │     \   │
      │       \ │
      └─────────┘
      ┌───────┐
    a │       │
      └───────┘

以三条边分别作正方形，面积分别是 $a^2$、$b^2$、$c^2$。上节课我们看到：$a^2 + b^2 = c^2$。

现在，我们把它写成一条定理。

一个小提醒：这条定理只对直角三角形成立。普通三角形没有 $a^2+b^2=c^2$ 这种关系（它的三边满足另一套不等式，比如"两边之和大于第三边"）。所以使用勾股定理前，先确认"这是个直角三角形"。如果没说直角，就先用"两短边平方和是否等于最长边平方"去验证一下。

"勾股定理"这个名字来自古代中国。在古代，"勾"指直角三角形较短的那条直角边，"股"指较长的那条直角边，"弦"指斜边。所以"勾股定理"字面意思就是：勾² + 股² = 弦²。

西方常叫它"毕达哥拉斯定理"（Pythagorean theorem），因为古希腊的毕达哥拉斯学派研究了它。全世界都认可这是数学里最重要、最常用的定理之一。

值得一提的是，世界上许多文明——古巴比伦、古印度、古代中国——都独立发现了这个关系。中国古代的数学书《周髀算经》里就有"勾三股四弦五"的记载，比用字母写公式早了上千年。所以这是一条跨越文明、被反复验证的真理，不是某一个人的突发奇想。

也正因为它是"真理"，我们才能放心地拿它去解题、去测量、去建造。下一节课，我们就要见识它在现实问题中的威力。

当你以后在工地上看到工人用"拉绳、测距"确定直角，或在导航里看到距离计算，背后站着的，往往就是这条朴素又强大的定理。

我们不追求最复杂的证明，而看一个直观、好懂的思路：面积法。核心想法是——用两种不同的方式，计算同一块面积，它们必然相等，从而得到 $a^2+b^2=c^2$。

第一步：构造一个大正方形。

取一个边长为 $a+b$ 的大正方形。在它的四个角上，各放一个边长为 $a$、$b$ 的直角三角形（直角边分别贴着大正方形的边）。这样四个三角形中间，会空出一个小正方形。

边长为 a+b 的大正方形

  ┌─────────────────────┐
  │ \                 / │
  │   \   c² 区域   /   │    四个角各一个直角三角形
  │     \       /       │    中间空出边长为 c 的正方形
  │   /   \   /   \     │
  │ /       \       \   │
  │ \       /   \       │
  │   \   /       \   / │
  │     /   c² 区域 \   │
  │   /               \ │
  └─────────────────────┘

第二步：用两种方式算大正方形的面积。

方式一：大正方形边长 $a+b$，所以面积直接是

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

方式二：大正方形 = 四个直角三角形 + 中间的小正方形。

• 每个直角三角形面积 = $\frac{1}{2}ab$，四个共 $4 \times \frac{1}{2}ab = 2ab$；
• 中间小正方形，每条边正好是原直角三角形的斜边 $c$，面积 = $c^2$。

所以方式二得到面积 = $2ab + c^2$。

第三步：两种方式算的是同一个大正方形，必然相等：

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

两边都减去 $2ab$：

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

看，等式就这样"被逼出来"了。这就是面积法：不硬算边长，而是让同一块面积用两种方式表达，自然导出结论。

用勾股定理时，最容易犯的错是搞混哪条是斜边：

• 公式 $a^2+b^2=c^2$ 里，$c$ 永远是斜边（直角所对的边，最长）。
• 如果你已知的是两条直角边，就把它们放左边相加；如果你已知一条直角边和斜边，就用"减法"求另一条直角边（$b^2=c^2-a^2$）。

还有一个容易忘的点：结果可能带根号。比如直角边 $1$ 和 $1$，斜边是 $\sqrt{2}$，它不是整数，但完全正确。别因为"除不尽"就慌，根号是合法答案。

另外提醒：勾股定理是直角三角形专属。判断"是不是直角三角形"，可以用"两短边平方和 = 最长边平方"来检验（这正是上例的思路）。

这节课我们完成了三件事：

1. 把上节课的发现正式命名为勾股定理：$a^2 + b^2 = c^2$（$c$ 为斜边）；
2. 知道了它只对直角三角形成立，且 $c$ 必须是最长边；
3. 看懂了面积法证明：用两种方式算同一块大正方形面积，自然导出等式。

勾股定理是几何里最基础也最强大的工具之一。下一节课，我们就拿它去解决实际问题：已知两边求第三边、梯子靠墙有多高、两点之间最短路径怎么走。