免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

[不等式] 证$a^5/b^2+b^5/c^2+c^5/a^2\geqslant a^3+b^3+c^3$

本帖最后由 isee 于 2021-9-15 13:18 编辑

最近在知论遇到不少可以直接用权方和不等式等等来解决一些竞赛中最入门的不等式,这肯定是受 kuing 的影响了,硬生生的学会了一些~~可能不是最佳的,但可以解了~~感谢坛主及各位~

如今天又遇到一个:当$a,b,c$为正实数,求证:$\frac {a^5}{b^2}+\frac{b^5}{c^2}+\frac{c^5}{a^2}\geqslant a^3+b^3+c^3$.






















最开始的证明:

由式子的对称性(这里的对称性应该没用,此时就划掉了),不妨设 $a\geqslant b\geqslant c>0$,则
$$\frac 1{a^2}\leqslant \frac 1{b^2}\leqslant \frac 1{c^2},$$$$c^5\leqslant b^5\leqslant a^5,$$ 则由排序不等式知(乱序和不小于反序和)
$$\frac {a^5}{b^2}+\frac {b^5}{c^2}+\frac {c^5}{a^2}\geqslant a^5\cdot \frac {1}{a^2}+b^5\cdot \frac {1}{b^2}+c^5\cdot \frac 1{c^2}=a^3+b^3+c^3.$$

下面有评$a\geqslant c\geqslant b$,怎么办?

我想了想,虽然 $\left\{\frac 1{a^2},\frac 1{b^2},\frac 1{c^2}\right\}$与 $\left\{c^5,b^5,a^5\right\}$ 同序,但是排序不等式实际所用者并不多,会有争议,此外该问题应该不是竞赛题,故重新给出一个相对麻烦的证明.

由柯西不等式有
\begin{align*}
\frac {a^5}{b^2}+\frac {b^5}{c^2}+\frac {c^5}{a^2}&=\frac {a^6}{b^2a}+\frac {b^6}{c^2b}+\frac {c^6}{a^2c}\\[1em]
&\geqslant \frac {(a^3+b^3+c^3)^2}{b^2a+c^2a+a^2c}\tag{01} \end{align*}
另一方面由均值不等式有
\begin{align*} b^3+b^3+a^3&\geqslant 3b^2a\\[1em]
c^3+c^3+b^3&\geqslant 3c^2b\\[1em]
a^3+a^3+c^3&\geqslant 3a^2c
\end{align*}

三式相加,整理即为 $a^3+b^3+c^3\geqslant b^2a+c^2b+a^2c$ ,于是(01)式化为
\begin{align*}
\frac {a^5}{b^2}+\frac {b^5}{c^2}+\frac {c^5}{a^2}
&\geqslant \frac {(a^3+b^3+c^3)^2}{b^2a+c^2a+a^2c}\\[1em]
&\geqslant  \frac {(a^3+b^3+c^3)(b^2a+c^2a+a^2c)}{b^2a+c^2a+a^2c}\\[1em]
&=a^3+b^3+c^3.
\end{align*}
各不等式取“=”时, $a=b=c$.
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

本帖最后由 yao4015 于 2021-9-15 12:46 编辑

这个可以直接均值
\begin{align*}
25\times \frac{a^5}{b^2}+10\times \frac{b^5}{c^2}+4\times \frac{c^5}{a^2}&\geq 39\times \sqrt[39]{\frac{a^{5\times 25 }}{b^{2\times 25}}\times \frac{b^{5\times 10 }}{c^{2\times 10}} \times \frac{c^{5\times 4 }}{a^{2\times 4}}}\\
&=39 \sqrt[39]{a^{117}}\\
&=39 a^3
\end{align*}
于是,我们有
\begin{align*}
25\times \frac{a^5}{b^2}+10\times \frac{b^5}{c^2}+4\times \frac{c^5}{a^2}&\geq 39 a^3\\
4\times \frac{a^5}{b^2}+25\times \frac{b^5}{c^2}+10\times \frac{c^5}{a^2}&\geq 39 b^3\\
10\times \frac{a^5}{b^2}+4\times \frac{b^5}{c^2}+25\times \frac{c^5}{a^2}&\geq 39 c^3
\end{align*}
三式相加,除以39,就得到原不等式。

另外说点题外话: 类似的单项式的循环和与另一个单项式的循环和,它们可以比较大小的充分必要条件是存在一个与上面类似的均值不等式解法。
更一般地,循环和还可以改为一个指定的置换群作用,结论也是对的。这是带群作用的 Muirhead 推广。
1

评分人数

TOP

回复 2# yao4015

服气服气,厉害厉害

PS:间接说明此不等试不是送分的,哈哈哈哈哈

TOP

仅轮换对称而非全对称,不能设 a>=b>=c。
但这并不代表不能用排序不等式,这题用排序不等式是合理的。
由于无论任何大小顺序,`\{a^5,b^5,c^5\}` 与 `\{\frac1{a^2},\frac1{b^2},\frac1{c^2}\}` 必为逆序,故不等式右边是逆序和,而左边为乱序和,所以不等式成立。
说清楚了就不怕什么争议。
1

评分人数

TOP

回复 4# kuing


后来在论坛又翻了翻不等式类就想明白了,总是乱序和与反序列和   

TOP

本帖最后由 isee 于 2021-9-15 14:44 编辑

回复 5# isee

以下摘自   《不等式探秘》,订彭翕成著,附录一


在对称不等式和轮换对称不等式的证明中,我们分别作如下处理:
对于对称不等式 f(x  1  ,x  2  ,……,x  k  )≥0,可以不妨设
x  1  ≥x  2  ≥……≥x  k  (或 x  1  ≤x  2  ≤……≤x  k  ,或其他任意
一种大小关系),若此时不等式成立,则原不等式成立。这是因为
我们可以交换 x  1  ,x  2  的位置,得到的式子与原式一样,于是
当 x  2  ≥x  1  ≥……≥x  k  时原不等式也成立,而变量所有的大小顺序
情况均可经过有限次这样的交换而得出,于是原不等式成立。
也就是说,对于对称不等式,我们只需证明一种顺序情况即可。

对于轮换对称不等式 f(x  1  ,x  2  ,……,x  k  )≥0,可以不妨设
x  1  ,x  2  ,……,x  k  中 x  1  (或 x  2  ,……,或 x  k  )最大(小),
若此时不等式成立,则原不等式成立。这是由于我们可以作轮换
x  1  →x  2  ,x  2  →x  3  ,……,x  k  →x  1  ,得到的式子与原式一样,
所以当 x  2  最大(小)时原不等式也成立,依此类推,其他元最大(小)时
原不等式均成立。因此,对于轮换对称不等式,我们只需证明其中
一元最大(小)的情况即可。

TOP

补上题源链接 https://www.zhihu.com/question/486877414
其他证法亦不错

TOP

本帖最后由 TSC999 于 2021-9-17 22:32 编辑

由于原不等式不是完全对称的,以下用排序不等式的证明,啰嗦了没有?  

用排序不等式证明.png
2021-9-17 22:27

TOP

回复 8# TSC999

三个数是有大小的,但由于要证的式子具有轮换对称性,不管是哪种情况,调换后,都是满足最大数、中间数、最小数,不妨设 a≥b≥c即可。

无需分类讨论a≥b≥c,a≥c≥b,b≥a≥c,b≥c≥a,c≥a≥b,c≥b≥a六种情况,只需要讨论其中任一种就可以了。

TOP

返回列表 回复 发帖