我来帮你理清这个问题的最优解法，你之前把数分成正负子集的思路方向是对的，但不用纠结那个复杂的表达式——这类最值问题里，变量往往只会取区间端点或者相同的中间值，我们可以利用这个规律大幅简化计算。

问题回顾 #

给定9个实数 (x_1, x_2, ..., x_9 \in [-1,1])，满足 (x_1^3 + x_2^3 + ... + x_9^3 = 0)，求总和 (S = x_1 + x_2 + ... + x_9) 的最大值。

核心思路：极端化变量取值 #

要最大化总和 (S)，我们需要让正数的贡献尽可能大，同时用最少的“负贡献”抵消它们的立方和。根据凸/凹函数的性质（立方函数在正数区间是凸函数，负数区间是凹函数），固定立方和的前提下，同符号的变量取相同值时，总和能达到最优——不用考虑分散的不同数值，只需要假设同符号的数都相等即可。

具体推导 #

我们分两种典型情况讨论：

1. 负数全取-1，正数取相同值 (a)
   假设共有 (k) 个正数，(9-k) 个负数（全为-1），根据立方和为0的条件：
   [
   k \cdot a^3 + (9-k) \cdot (-1)^3 = 0
   ]
   解得 (a = \sqrt[3]{\frac{9-k}{k}})，且 (a \leq 1)（因为正数不能超过1），即 (\frac{9-k}{k} \leq 1)，得 (k \geq 4.5)，也就是 (k=5,6,7,8)。

   计算对应总和：

   • (k=5)：(a=\sqrt[3]{\frac{4}{5}} \approx 0.928)，(S=5 \times 0.928 - 4 = 0.64)
   • (k=6)：(a=\sqrt[3]{\frac{3}{6}} \approx 0.794)，(S=6 \times 0.794 - 3 = 1.76)
   • (k=7)：(a=\sqrt[3]{\frac{2}{7}} \approx 0.658)，(S=7 \times 0.658 - 2 = 2.61)
   • (k=8)：(a=\sqrt[3]{\frac{1}{8}} = 0.5)，(S=8 \times 0.5 - 1 = 3)（完全符合区间限制）

2. 正数全取1，负数取相同值 (t)
   这种情况计算出来的总和都是负数（比如 (k=4) 时 (S \approx -0.64)），显然不是我们要的最大值，可以直接排除。

验证是否存在更优组合 #

我们尝试过混合不同取值的情况（比如部分正数取1、部分取中间值，部分负数取-1、部分取中间值），但计算后发现所有组合的总和都小于3。比如：

• 7个正数取 (\sqrt[3]{\frac{1}{6}} \approx 0.55)，1个负数取 (-\sqrt[3]{\frac{1}{6}} \approx -0.55)，1个负数取-1，总和约为2.3，远小于3。

结论 #

满足条件的最大总和 (S=3)，对应的取值是：8个0.5和1个-1（任意位置放置-1均可），此时立方和为 (8 \times (0.5)^3 + (-1)^3 = 1 - 1 = 0)，完全符合要求。

备注：内容来源于stack exchange，提问作者Nguyen Huy