实数a,b,c,d满足约束条件下的多项式组合不等式证明求助

咱们先把问题简化一下：令单个变量的函数为 $f(x)=4x^3 - x^4$，那我们要证的就是 $36 \leq f(a)+f(b)+f(c)+f(d) \leq 48$，约束条件是 $\sum_{i=1}^4 x_i=6$ 且 $\sum_{i=1}^4 x_i^2=12$（这里$x_1=a,x_2=b,x_3=c,x_4=d$）。

第一步：确定单个变量的取值范围 #

首先得搞清楚每个变量能取到的区间。对任意一个变量$x_i$，剩下三个变量的和是$6-x_i$，平方和是$12-x_i^2$。根据柯西不等式，有：
$$3(12-x_i^2) \geq (6-x_i)^2$$
展开整理后得到：
$$36-3x_i^2 \geq 36-12x_i+x_i^2 \implies 4x_i^2-12x_i \leq0 \implies x_i(3-x_i)\geq0$$
所以每个变量都在$[0,3]$这个区间里，这个结论很关键！

第二步：分析函数$f(x)$的单调性 #

对$f(x)$求导看看它的增减性：
$$f'(x)=12x^2-4x3=4x^2(3-x)$$
在$[0,3]$区间里，$4x^2≥0$，$3-x≥0$，所以$f'(x)≥0$，也就是说**$f(x)$在$[0,3]$上是单调递增的**。

第三步：找约束下的极端情况 #

因为函数单调递增，那我们可以找变量取边界值（0或3）时的情况，看看能不能满足约束：

1. 下界情况：假设三个变量取1，一个变量取3。验证约束：

   • 和：$3×1+3=6$，满足；
   • 平方和：$3×1²+3²=3+9=12$，满足。
     计算此时的$S=f(a)+f(b)+f(c)+f(d)$：
     $$S=3×(4×1³-1⁴)+(4×3³-3⁴)=3×(4-1)+(108-81)=9+27=36$$
     刚好是不等式的下界。

2. 上界情况：假设三个变量取2，一个变量取0。验证约束：

   • 和：$3×2+0=6$，满足；
   • 平方和：$3×2²+0²=12+0=12$，满足。
     计算$S$：
     $$S=3×(4×2³-2⁴)+(4×0³-0⁴)=3×(32-16)+0=3×16=48$$
     刚好是不等式的上界。

第四步：证明极值仅出现在这些极端情况 #

我们可以用拉格朗日乘数法来确认：构造拉格朗日函数
$$L=\sum_{i=1}^4 (4x_i³-x_i⁴) -λ(\sum_{i=1}^{4x_i-6)-μ(\sum_{i=1}}4x_i²-12)$$
对每个$x_i$求偏导并令其为0：
$$12x_i²-4x_i³-λ-2μx_i=0$$
这意味着任意两个变量$x_i$和$x_j$，要么$x_i=x_j$，要么满足方程$12(x_i+x_j)-4(x_i²+x_i x_j+x_j²)-2μ=0$。也就是说，所有变量最多只能取两种不同的值，不可能有三种或四种不同的变量值。

那我们再验证一下两个变量不同的情况：比如两个变量取$m$，两个变量取$n$，满足$2m+2n=6$（即$m+n=3$），$2m²+2n²=12$（即$m²+n²=6$），解得$mn=1.5$，此时计算$S=2f(m)+2f(n)=45$，这个值刚好在36和48之间，符合范围。

总结 #

所有满足约束条件的实数$a,b,c,d$对应的$S$值，最小就是36，最大就是48，中间的情况都落在这个区间里，所以原不等式得证。

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