IBM Ponder This #070 · 2004 年 2 月

Denis Boris 提出了这个问题。

ABC 是本原整数边直角三角形，面积也为整数；“本原”表示各边长的最大公因数为 1。DEF 是整数边等腰三角形。两者的周长相同，面积也相同。

1. 求 ABC 与 DEF 的边长。
2. 证明解的唯一性。官方在原题中说明，当时并不知道第二问的解答。

解答

认真尝试后再打开

待补充。