繁體
|
簡體
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版)
»
初等数学讨论
» SOP 6 —— 三元根式不等式(LBQ)
返回列表
发帖
业余的业余
发短消息
加为好友
业余的业余
当前离线
UID
2870
帖子
266
主题
36
精华
0
积分
1957
威望
5
阅读权限
90
在线时间
254 小时
注册时间
2018-12-1
最后登录
2022-2-11
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2020-7-3 07:53
|
只看该作者
[不等式]
SOP 6 —— 三元根式不等式(LBQ)
(sop 6 刘保乾) 已知 $x,y,z$ 为正实数,求证\[\sum\sqrt{\cfrac xy+\cfrac yx}\geqslant\sum\sqrt{x\left(\cfrac1y+\cfrac1z\right)}.\]
手里有合肥市第一中学的王先阳老师的一个证明,两页纸,不知道ku版有没有更简洁的证法。
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
2
#
发表于 2020-7-3 14:57
|
只看该作者
SOS 大法,也不简洁……
\begin{align*}
&\iff\sum\sqrt{(x^2+y^2)z}\geqslant\sum x\sqrt{y+z}\\
&\iff\sum\bigl( \sqrt{(x^2+y^2)z}-z\sqrt{x+y} \bigr)\geqslant0\\
&\iff\sum\frac{xz(x-z)+yz(y-z)}{\sqrt{(x^2+y^2)z}+z\sqrt{x+y}}\geqslant0\\
&\iff\sum\left( \frac{xz(x-z)}{\sqrt{(x^2+y^2)z}+z\sqrt{x+y}}+\frac{zx(z-x)}{\sqrt{(y^2+z^2)x}+x\sqrt{y+z}} \right)\geqslant0\\
&\iff\sum\frac{xz(x-z)\bigl( \sqrt{(y^2+z^2)x}+x\sqrt{y+z}-\sqrt{(x^2+y^2)z}-z\sqrt{x+y} \bigr)}{\bigl( \sqrt{(x^2+y^2)z}+z\sqrt{x+y} \bigr)\bigl( \sqrt{(y^2+z^2)x}+x\sqrt{y+z} \bigr)}\geqslant0,
\end{align*}令
\[f(x)=\sqrt{(y^2+z^2)x}+x\sqrt{y+z}-\sqrt{(x^2+y^2)z}-z\sqrt{x+y},\]求导得
\[f'(x)=\frac12\sqrt{\frac{y^2+z^2}x}+\sqrt{y+z}-x\sqrt{\frac z{x^2+y^2}}-\frac z{2\sqrt{x+y}},\]显然
\begin{gather*}
\sqrt{\frac{y^2+z^2}x}>\frac z{\sqrt x}>\frac z{\sqrt{x+y}},\\
\sqrt{y+z}>\sqrt z>x\sqrt{\frac z{x^2+y^2}},
\end{gather*}所以 `f'(x)>0`,于是当 `x\geqslant z` 时 `f(x)\geqslant f(z)=0`,当 `x\leqslant z` 时 `f(x)\leqslant f(z)=0`,即 `(x-z)f(x)\geqslant0` 恒成立,所以原不等式得证。
$\href{https://kuingggg.github.io/}{\text{About Me}}$
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
3
#
发表于 2020-7-3 17:56
|
只看该作者
原来有很简单的证法:
首先注意到两边根号下的东西的和是相等的,因此原不等式两边平方等价于
\[\sum\sqrt{\left( \frac xy+\frac yx \right)\left( \frac yz+\frac zy \right)}\geqslant\sum\sqrt{xy\left( \frac1y+\frac1z \right)\left( \frac1z+\frac1x \right)},\]由 CS 及 AG 有
\begin{align*}
\LHS&\geqslant\sum\left( \frac{\sqrt{xz}}y+\frac y{\sqrt{xz}} \right),\\
\RHS&\leqslant\sum\frac{\sqrt{xy}}2\left( \frac1y+\frac1z+\frac1z+\frac1x \right)
=\sum\left( \frac{\sqrt{xy}}z+\frac{x+y}{2\sqrt{xy}} \right),
\end{align*}故此只需证
\[\sum\frac y{\sqrt{xz}}\geqslant\sum\frac{x+y}{2\sqrt{xy}},\]升次去根号再去分母后就是非常显然的
\[2\sum b^3\geqslant\sum c(a^2+b^2),\]搞定
1
评分人数
业余的业余:
威望 + 1
TOP
业余的业余
发短消息
加为好友
业余的业余
当前离线
UID
2870
帖子
266
主题
36
精华
0
积分
1957
威望
5
阅读权限
90
在线时间
254 小时
注册时间
2018-12-1
最后登录
2022-2-11
4
#
发表于 2020-7-3 22:05
|
只看该作者
回复
3#
kuing
太牛了。膜拜下大神。
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
5
#
发表于 2020-7-4 02:38
|
只看该作者
话说 SOP 是啥意思……
TOP
业余的业余
发短消息
加为好友
业余的业余
当前离线
UID
2870
帖子
266
主题
36
精华
0
积分
1957
威望
5
阅读权限
90
在线时间
254 小时
注册时间
2018-12-1
最后登录
2022-2-11
6
#
发表于 2020-7-4 08:48
|
只看该作者
这套题目的名字叫2021 SPRING SENIOR OLYMPIA PROBLEMS(SOP 高级奥数问题). 是《数学竞赛之窗》的主编王卫华老师的公众号发布的。如果 ku 版不介意浪费版面,我可以多发几道大家试试。我是做不来的 :)
TOP
色k
发短消息
加为好友
色k
当前离线
UID
2512
帖子
814
主题
16
精华
0
积分
9819
威望
5
阅读权限
150
在线时间
10498 小时
注册时间
2015-8-2
最后登录
2023-10-1
7
#
发表于 2020-7-4 12:00
|
只看该作者
回复
6#
业余的业余
论坛这么冷清,发呗
TOP
业余的业余
发短消息
加为好友
业余的业余
当前离线
UID
2870
帖子
266
主题
36
精华
0
积分
1957
威望
5
阅读权限
90
在线时间
254 小时
注册时间
2018-12-1
最后登录
2022-2-11
8
#
发表于 2020-7-4 20:22
|
只看该作者
得令
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]