求给定N的方程N=x₁²+x₂²-y³的最小正整数解

针对这个丢番图方程的求解需求，核心信息和已有的结论整理如下：

问题核心 #

给定正整数 $N$，寻找满足以下条件的正整数解 $(x_1, x_2, y)$：

• $x_1 > 0$、$x_2 > 0$、$y > 0$
• 方程 $N=x_1^2+x_22-y^3$ 成立

"最小解"的定义 #

目前暂定的最优解判定规则是：优先选取 $y$ 值最小的解。同时也欢迎其他合理的定义建议，比如：

• 以 $x_1x_2y$ 的乘积最小作为判定标准

举个直观的例子：

当 $N=57$ 时，存在两组有效解：
$$57=3²⁺⁷2-1³⁼¹2+8^2-23$$
按"y最小"的规则，第一组解（$y=1$）是最优解；但如果按 $x_1x_2y$ 最小来算，第一组乘积为 $3×7×1=21$，第二组为 $1×8×2=16$，此时第二组会成为最优解。

已验证的猜想结论 #

此前提出的猜想——对所有正整数 $N$，该方程都存在正整数解——已经通过构造含参数的通解得到了证明，对应的解答已被采纳。

内容的提问来源于stack exchange，提问作者Old Peter