繁體
|
簡體
Sclub交友聊天~加入聊天室當版主
(檢舉)
分享
新浪微博
QQ空间
人人网
腾讯微博
Facebook
Google+
Plurk
Twitter
Line
快速注册
登录
论坛
搜索
帮助
原始风格
brown
purple
green
red
orange
gray
pink
violet
blue
greyish-green
jeans
greenwall
私人消息 (0)
公共消息 (0)
系统消息 (0)
好友消息 (0)
帖子消息 (0)
应用通知 (0)
应用邀请 (0)
悠闲数学娱乐论坛(第2版)
»
初等数学讨论
» 接近双等的3元不等式
返回列表
发帖
wanhuihua
发短消息
加为好友
wanhuihua
当前离线
UID
2704
帖子
79
主题
31
精华
0
积分
651
威望
1
阅读权限
50
在线时间
312 小时
注册时间
2017-4-6
最后登录
2021-3-19
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2018-4-13 22:45
|
只看该作者
[不等式]
接近双等的3元不等式
$$
\eqalign{
& {\cal 设}a,b,c{\cal 为}{\cal 正}{\cal 数}{\cal ,}\prod {(a + 1)} = 8,{\cal 求}{\cal 证}{\cal :} \cr
& 3\sum {a^3 } + 5\sum a \geqslant 8\sum {a^2 } \cr}
$$
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
2
#
发表于 2018-4-16 16:31
|
只看该作者
换元后和上次这帖
http://kuing.orzweb.net/viewthread.php?tid=5276
是同一类型,故而我还是用那帖 11# 的方法来玩。
令 `a=2x-1`, `b=2y-1`, `c=2z-1`,则 `x`, `y`, `z>1/2`, `xyz=1`,代入原不等式等价于
\[6\sum x^3-17\sum x^2+15\sum x-12\geqslant0.\]
下面证明上式对 `x`, `y`, `z>0`, `xyz=1` 都成立。
由对称性不妨设 `z=\min\{x,y,z\}`,则 `xy\geqslant1`,令 `x+y=2p`, `xy=q^2`, `q\geqslant1`,由均值知 `p\geqslant q\geqslant1`,上式消 `z` 后可以整理为
\[2q^6(p-q)\cdot M+(q-1)^2\cdot N\geqslant0,\]
其中
\begin{align*}
M&=6(2p+q-3)^2+38p+2q-39,\\
N&=12q^7-10q^6-2q^5-6q^4-10q^3+q^2+12q+6,
\end{align*}
由 `p\geqslant q\geqslant1` 知 `M>0`,较难的是证明 `N>0`,事实上它的最小值很接近零,这大概也是楼主的标题所说的“接近双等”的原因吧,令 `q=1+t`, `t\geqslant0`,则 `N` 可化为
\[N=12t^7+74t^6+190t^5+\left( 254t^2+\frac{752}3t \right)\left( t-\frac16 \right)^2+\frac1{54}(5049t^2-1780t+162),\]
计算最后一个括号的判别式可知其恒为正,所以 `N>0`,故原不等式得证。
$\href{https://kuingggg.github.io/}{\text{About Me}}$
TOP
wanhuihua
发短消息
加为好友
wanhuihua
当前离线
UID
2704
帖子
79
主题
31
精华
0
积分
651
威望
1
阅读权限
50
在线时间
312 小时
注册时间
2017-4-6
最后登录
2021-3-19
3
#
发表于 2018-4-16 21:41
|
只看该作者
样子很漂亮,有点小暴力
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]