什么是勾股数？
勾股数是指满足勾股定理 \(a^2 + b^2 = c^2\) 的三个正整数 (a, b, c)。最经典的例子就是 (3, 4, 5)，因为 \(9 + 16 = 25\)。这样的数组对应着三条边长都为整数的直角三角形，在几何、数论、建筑工程和三角学中都有重要应用。
如何使用本工具
输入两个整数 m 和 n，要求 m 大于 n，且二者都大于 0。点击计算，工具会套用欧几里得公式，瞬间生成一组有效的勾股数 (a, b, c)。同时还会显示 \(a^2\)、\(b^2\) 以及 \(a^2 + b^2\) 的值，方便你确认结果是否等于 \(c^2\)。
公式详解
欧几里得公式指出，对于任意满足 \(m > n > 0\) 的整数：
$$(a,\,b,\,c) = \left(\text{m}^{2} - \text{n}^{2},\ \ 2\,\text{m}\,\text{n},\ \ \text{m}^{2} + \text{n}^{2}\right)$$
将它们代入 \(a^2 + b^2\)，可得 \((m^2-n^2)^2 + (2mn)^2 = m^4 - 2m^2 n^2 + n^4 + 4m^2 n^2 = m^4 + 2m^2 n^2 + n^4 = (m^2 + n^2)^2\)，正好等于 \(c^2\)。这就证明了任意一对 (m, n) 都能得到一组真正的勾股数。当 m 与 n 互质，且不同时为奇数时，所生成的就是本原勾股数（三项没有公因数）。
实例演算
设 m = 2，n = 1。则 $$a = 2^2 - 1^2 = 3,\quad b = 2 \times 2 \times 1 = 4,\quad c = 2^2 + 1^2 = 5$$ 所得勾股数为 (3, 4, 5)，验证一下：\(3^2 + 4^2 = 9 + 16 = 25 = 5^2\)，完全成立。
常见问题
为什么 m 必须大于 n？ 如果 \(m \le n\)，那么 \(a = m^2 - n^2\) 就会等于零或为负数，而这无法作为三角形的边长。
这个公式能生成所有勾股数吗？ 欧几里得公式（再配合一个缩放系数）可以生成全部勾股数。而单独一对 (m, n) 每次只能得到一组本原勾股数或其倍数。
什么是本原勾股数？ 本原勾股数是指 a、b、c 三者除 1 以外没有其他公因数的数组，比如 (3, 4, 5) 或 (5, 12, 13)。
