勾股数——常见勾股数组与求法

勾股数是指满足 $a^2 + b^2 = c^2$ 的三个正整数 $(a,b,c)$。通俗地说，这三个数是直角三角形三边的整数边长，其中 $c$ 是斜边。最经典的例子是 $(3,4,5)$，因为 $3^2 + 4^2 = 5^2$。

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

只有当三个值都是正整数时，才能使用这个概念。很多直角三角形都满足勾股定理，但只有一部分的边长全是整数。

常见的勾股数

这些组合出现得很频繁，值得一眼认出来：

• $(3,4,5)$
• $(5,12,13)$
• $(8,15,17)$
• $(7,24,25)$

它们的倍数也同样成立。比如，把 $(3,4,5)$ 每个数都乘以 $2$，就得到 $(6,8,10)$，并且

$$6^2 + 8^2 = 36 + 64 = 100 = 10^2$$

这就是为什么很多非原始勾股数，其实只是更小勾股数按比例放大的结果。

什么是原始勾股数

原始勾股数指三个数的公因数中，除了 $1$ 以外没有更大的数。比如，$(3,4,5)$ 是原始勾股数，但 $(6,8,10)$ 不是，因为这三个数都能被 $2$ 整除。

这一点很重要，因为每一组非原始勾股数都来自某个原始勾股数的放大。如果你理解了原始勾股数，也就理解了更大的整个家族。

如何求勾股数

得到新勾股数有两种实用方法。

把已知勾股数按倍数放大

如果 $(a,b,c)$ 是一组勾股数，且 $k$ 是正整数，那么 $(ka,kb,kc)$ 也是一组勾股数，因为

$$(ka)^2 + (kb)^2 = k^2a^2 + k^2b^2 = k^2(a^2+b^2) = k^2c^2 = (kc)^2$$

这是构造像 $(9,12,15)$ 或 $(10,24,26)$ 这样的例子的最快方法。

使用欧几里得公式

如果 $m$ 和 $n$ 是满足 $m > n > 0$ 的整数，那么

$$a = m^2 - n^2,\quad b = 2mn,\quad c = m^2 + n^2$$

就会得到一组勾股数。

如果你想得到原始勾股数，也就是这三个数除了 $1$ 以外没有更大的公因数，那么还需要 $m$ 和 $n$ 互质，并且不能同时为奇数。

例题：生成一组勾股数

取 $m = 4$，$n = 1$。因为 $m > n > 0$，所以可以使用欧几里得公式。

那么

$$a = 4^2 - 1^2 = 15,\quad b = 2(4)(1) = 8,\quad c = 4^2 + 1^2 = 17$$

所以 $(8,15,17)$ 是一组勾股数。

你也可以直接验证：

$$8^2 + 15^2 = 64 + 225 = 289 = 17^2$$

再把它乘以 $2$，就得到 $(16,30,34)$。直角三角形的形状不变，但边长都变成了原来的两倍。

这个例子同时展示了两个核心思想：欧几里得公式可以生成勾股数，而按倍数放大可以得到更多勾股数。

勾股数中的常见错误

忘记“整数”这个条件

方程 $a^2+b^2=c^2$ 有很多实数解，但勾股数要求这三个值都必须是正整数。

把每一组有效勾股数都叫作原始勾股数

$(6,8,10)$ 的确是一组勾股数，但它不是原始勾股数，因为这三个数都有公因数 $2$。

混淆“勾股数”和“原始勾股数”

勾股数只要求正整数满足 $a^2+b^2=c^2$。只有当你想要原始勾股数时，$m$ 和 $n$ 的附加条件才重要。

把最大的数放错位置

在勾股数组 $(a,b,c)$ 中，$c$ 是斜边，所以它必须是最大的数。

勾股数有什么用

它们会出现在直角三角形几何、解析几何和初等数论中。当你想快速判断三个整数能否构成直角三角形时，它们也非常有用。

在证明题中，勾股数是丢番图方程的经典例子。也就是说，这类方程关注的是整数解，而不是所有实数解。

试试类似的问题

在欧几里得公式中取 $m = 5$、$n = 2$，然后代入 $a^2 + b^2 = c^2$ 验证结果。如果你想再进一步，可以看看Pythagorean Theorem，了解同样的关系如何用来求未知边长。