求所有短边相差1的整数边长直角三角形——数论问题求解

嘿，你这个问题找对方向了！其实把你得到的方程转化为佩尔方程就能系统找出所有解，我一步步给你拆解～

你已经做了正确的假设：设短边 (a < b)，且 (b = a+1)，代入勾股定理 (a^2 + b^2 = c^2) 后，得到：

2a² + 2a + 1 = c²

这个方程是对的，接下来我们要把它变形为标准的佩尔型方程。

我们对左边关于 (a) 配方，消去一次项：

1. 先整理左边：(2(a² + a) + 1 = c²)
2. 配方：(2\left[(a + \frac{1}{2})² - \frac{1}{4}\right] + 1 = c²)
3. 展开并化简：(2(a + \frac{1}{2})² + \frac{1}{2} = c²)
4. 两边乘以4消去分数：(8(a + \frac{1}{2})² + 2 = 4c²)
5. 注意到 (8(a + \frac{1}{2})² = 2(2a+1)²)，代入后整理得：

(2a+1)² - 2c² = -1

现在令 (u = 2a+1)，(v = c)，方程就变成了经典的负佩尔方程：

u² - 2v² = -1

负佩尔方程 (u² - 2v² = -1) 有无限多组正整数解，我们可以通过递推的方式生成所有解：

• 它的最小正整数解是 ((u_0, v_0) = (1, 1))，但对应的 (a = \frac{1-1}{2} = 0)，不是正整数，所以我们取后续的解。
• 利用佩尔方程 (u² - 2v² = 1) 的基本解 ((3, 2))，可以得到递推公式：
  若 ((u_k, v_k)) 是一组解，那么下一组解为：

  u_{k+1} = 3u_k + 4v_k
  v_{k+1} = 2u_k + 3v_k
  

把 (u) 和 (v) 换回 (a, b, c)：

• (a = \frac{u - 1}{2})
• (b = a + 1 = \frac{u + 1}{2})
• (c = v)

我们来计算前几组符合条件的直角三角形：

• 第一组：((u_1, v_1) = (7, 5)) → (a=3, b=4, c=5)（经典的勾股数）
• 第二组：((u_2, v_2) = (3×7 + 4×5, 2×7 + 3×5) = (41, 29)) → (a=20, b=21, c=29)
• 第三组：((u_3, v_3) = (3×41 + 4×29, 2×41 + 3×29) = (239, 169)) → (a=119, b=120, c=169)

每一组都满足两条短边相差1，且是直角三角形，你可以验证一下它们的勾股关系哦～

另外你提到看到有用户推导出 (a = \sqrt{b+c})，其实这个结论在有效解里是成立的（比如 (3 = \sqrt{4+5})，(20 = \sqrt{21+29})），这是从勾股方程因式分解得到的特殊推论，但用佩尔方程的方法能系统生成所有解，更全面。

内容的提问来源于stack exchange，提问作者Ignacio Rojas