幂与对称分式和的不等式
已知 为正整数,正实数 满足 。求证:
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
对正数 与正整数 ,均值不等式给 , 时为恒等式。倒数和的柯西形式为 ,要求所有 。
想法从哪来:分母是两条边和的乘积,若分子能凑成这两个一次因子的和,就能拆成简单倒数。分子中的幂次先用均值不等式线性化:一个幂与若干个一相加,可以压住相应倍数的一次项。再利用三变量和固定,把常数项也转成一次式。 凑式时不要把分子里的所有常数一次用完,留出一个一,剩余部分才恰好匹配两分母因子的和。于是目标拆成两组倒数和,第一组用分母总和固定估计,第二组用二次分母总和上界估计。这样复杂幂次只参与一次标准线性化,后续全是对称和的控制。最后在三变量全相等处检查每一步等号,包括最小幂次的情形。
把每个分子的一个常数 留到最后统一估计;其余部分利用 ,恰好拆成两个分母一次因子的倒数。两组轮换和分别用柯西不等式。
对任意 ,由均值不等式
又因 ,
因此
循环相加并使用柯西不等式,
另一方面,
而
故
将每个分子写成 ,再合并式(1)、(2),便有
当 时,所有使用的不等式同时取等号,原式左右两边均为 ,常数不能再提高。
分子含 与关于 的常数时,可用 线性化。 若分母是两个轮换一次式的乘积,常把分子拆成“可约成倒数和的部分加常数”。
须把a的n次幂线性化并拆出常数1,使两组不同倒数和的界同时在对称点取等。
已记下,谢谢!