勾股数与高次方程

展示几个经典勾股数组，例如 (3,4,5)、(5,12,13)、(8,15,17)，并提出 x⁴ + y⁴ = z² 这个看似只是勾股定理"升级版"的方程，提问它是否也有整数解。

• 勾股数满足 a² + b² = c²
• 提出方程 x⁴ + y⁴ = z²
• 直觉认为应该有解
• 但如何证明没有？

让学习者在观看证据之前先做一次承诺：x⁴ + y⁴ = z² 是否存在正整数解？

• 选择一个假设

提供一个滑块让学习者调整 m 与 n（互素、奇偶不同），实时生成本原勾股数 (m² − n², 2mn, m² + n²)，展示其无穷性与规律。

• 调 m、n 生成新勾股数
• 观察三边之间的整除关系
• 为递降构造做准备

假设 (x, y, z) 是 x⁴ + y⁴ = z² 的一个正整数解，演示如何利用勾股数参数化把它分解为 (x², y², z) 的关系，从而构造出一个 z₁ < z 的新正整数解。

• 把 x⁴ + y⁴ = z² 视为 (x²)² + (y²)² = z²
• 应用勾股数参数化
• 得到新的更小正整数解

解释无穷递降法的逻辑：从一个正整数解出发，构造出严格更小的正整数解；如此反复，但正整数不能无限下降，从而产生矛盾。

• 良序原理
• 严格单调递减
• 无限下降不可能
• 因此原假设不成立

让学习者点击"下一步"，逐步演示从初始假设解 (x₁, y₁, z₁) 构造 (x₂, y₂, z₂)，再构造更小解，直观看到 z 值不断缩小。

• 每一步 z 严格变小
• 序列不可能无限继续
• 矛盾显现

指出无穷递降法对 x⁴ + y⁴ = z² 有效，但推广到一般费马方程 xⁿ + yⁿ = zⁿ (n≥3) 还需要更深的代数工具，说明勾股数参数化的角色有限。

• 仅对 n=4 直接奏效
• n=3 情形另需论证
• 费马大定理最终由怀尔斯证明

给学习者一个类似问题：判断 x⁴ + 4y⁴ = z² 是否有非平凡整数解。让他们尝试利用刚刚学到的递降思路或参数化方法做出判断。

• 尝试套用递降思路
• 发现需要额外代数恒等式辅助
• 体会方法的可迁移性与局限

直接回答驱动问题：勾股数的无穷参数族为费马递降法提供了从假设解到更小解的桥梁，从而证明 x⁴ + y⁴ = z² 没有正整数解。

• 勾股数参数化是工具
• 递降法导出矛盾
• x⁴ + y⁴ = z² 无正整数解
• 为费马大定理铺下第一块基石