Forgot password?
 Create new account
View 371|Reply 14

[不等式] 再来一个三元不等式

[Copy link]

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

lemondian Posted at 2023-6-15 18:50:28 |Read mode
再来一个三元不等式:
若$x,y,z$是至多有一个为0的非负实数,证明:
$\sqrt{\dfrac{x^2+8yz}{y^2+z^2}}+\sqrt{\dfrac{y^2+8zx}{z^2+x^2}}+\sqrt{\dfrac{z^2+8xy}{x^2+y^2}}\geqslant 4$.

701

Threads

110K

Posts

910K

Credits

Credits
94172
QQ

Show all posts

kuing Posted at 2023-6-15 21:52:43

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2023-6-15 23:46:04
kuing 发表于 2023-6-15 21:52
你记得这两个帖子吗?:
https://kuing.cjhb.site/forum.php?mod=viewthread&tid=10269
http://ku ...
看懂了这两个帖子,还是写不出1#的证明
@kuing:帮忙写一个呗

701

Threads

110K

Posts

910K

Credits

Credits
94172
QQ

Show all posts

kuing Posted at 2023-6-16 22:32:39
lemondian 发表于 2023-6-15 23:46
看懂了这两个帖子,还是写不出1#的证明。
@kuing:帮忙写一个呗
确实照搬不了,抄系数2的路会放过头,抄系数256的路情形2似乎也不好搞🙁

有空再玩,这两天忙着整理片片😊

Comment

什么片片?。。。  Posted at 2023-6-17 19:05
什么片片?。。。  Posted at 2023-6-19 14:58

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2023-6-17 19:04:34
kuing 发表于 2023-6-16 22:32
确实照搬不了,抄系数2的路会放过头,抄系数256的路情形2似乎也不好搞🙁

有空再玩,这两天忙着整理片片 ...
原来这么难呀

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2023-6-19 14:44:17
kuing 发表于 2023-6-16 22:32
确实照搬不了,抄系数2的路会放过头,抄系数256的路情形2似乎也不好搞🙁

有空再玩,这两天忙着整理片片 ...
再问问:有空做做这个题呗

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2023-6-23 13:45:52
lemondian 发表于 2023-6-19 14:44
再问问:有空做做这个题呗
再顶一下子,要不就不见了

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2023-8-23 11:28:22
@kuing
把这个证一下呗

48

Threads

969

Posts

110K

Credits

Credits
14870
QQ

Show all posts

Czhang271828 Posted at 2023-8-23 17:23:37
Last edited by Czhang271828 at 2023-8-23 20:48:00
lemondian 发表于 2023-8-23 11:28
@kuing
把这个证一下呗
不妨设 $x\geq y\geq z$, 则
$$
\sqrt{\dfrac{x^2+8yz}{y^2+z^2}}+\sqrt{\dfrac{y^2+8zx}{z^2+x^2}}+\sqrt{\dfrac{z^2+8xy}{x^2+y^2}}\geq \sqrt{\dfrac{x^2+8z^2}{y^2+z^2}}+\sqrt{\dfrac{y^2+z^2}{8z^2+x^2}}+\sqrt{\dfrac{8xy}{x^2+y^2}}.
$$
然后证明对 $0<\alpha\leq 0.8$ 总有
$$
\sqrt{\dfrac{x^2+8z^2}{y^2+z^2}}+\sqrt{\dfrac{y^2+z^2}{x^2+8z^2}}\geq (x/y)^\alpha+(y/x)^\alpha.
$$
等价地, 证明 $\dfrac{x^2+8z^2}{y^2+z^2}\geq (x^2/y^2)^\alpha$ 即可. 分别取左式 $\dfrac{x^2+8y^2}{2y^2}$ 与 $\dfrac{x^2}{y^2}$, 不等式显然.

回到原式, 只需证明存在 $0<\alpha \leq 0.8$ 使得
$$
(x/y)^\alpha+(y/x)^\alpha+\sqrt{\dfrac{8xy}{x^2+y^2}}\geq 4.
$$
记 $t=x/y\geq 1$, 下证明 $f_\alpha(t):=t^\alpha+t^{-\alpha}+\sqrt{8/(t+t^{-1})}\geq 4$. 分析单调性知, 只需证明 $f_\alpha''(1)>0$ 即可. 此时 $2\alpha^2-1>0$, 即, $\alpha > 1/\sqrt 2$.

更新

上述解法对 $\sum \sqrt{\dfrac{x^2+kyz}{y^2+z^2}}\geq 2+\sqrt{k/2}$ 成立, 若 $t+k>2t^{\sqrt[4]{k/32}}$ 在 $[1,\infty)$ 上恒成立. 粗略作图得最大值 $k=19.75\pm 0.1$.

感觉上述做法还是很粗糙, 应该可以继续玩玩. 搜到了如下结果, 可以考虑汇总?

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2023-8-23 19:13:22
Last edited by lemondian at 2023-8-23 19:38:00
Czhang271828 发表于 2023-8-23 17:23
不妨设 $x\geq y\geq z$, 则
$$
\sqrt{\dfrac{x^2+8yz}{y^2+z^2}}+\sqrt{\dfrac{y^2+8zx}{z^2+x^2}}+\sqr ...
还在看,看得不太懂,过程的有点调跃!
第五行中:取左式最小值,这个最小值是不是有错?
***************************
2个地方看不明白:
1.第5行:等价地,***
2.第8行:从这个开始“分析***”

48

Threads

969

Posts

110K

Credits

Credits
14870
QQ

Show all posts

Czhang271828 Posted at 2023-8-23 20:34:34
lemondian 发表于 2023-8-23 19:13
还在看,看得不太懂,过程的有点调跃!
第五行中:取左式最小值,这个最小值是不是有错?
***** ...
首先补上 $\alpha>0$ 吧, 反正 $(x/y)^\alpha+(y/x)^\alpha$ 对 $\pm \alpha$ 是对称的.

解释第五行的''最小值'': $f(x)=\dfrac{ax+b}{cx+d}$ 形的函数在区间上没间断点, 则最值在两端取到. 我没写上 $z=0$ 的情况, 因为 $\dfrac{x^2}{y^2}\geq \left(\dfrac{x^2}{y^2}\right)^\alpha$ 在 $(x/y)\geq 1$ 时显然成立. 现已补上.

解释第五行''等价地'': 对 $a,b\geq 1$. 显然 $a+a^{-1}\geq b+b^{-1}$ 当且仅当 $a\geq b$. 此处 $(x/y)^{\alpha}$ 与 $\dfrac{x^2+8z^2}{y^2+z^2}$ 均大于等于 $1$.

第八行可以不理会我写的, 当作导数题, 看看 $f_\alpha(t)\geq 4$ 成立的充分条件是什么.

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2023-8-23 23:24:27
还有几个问题:
1.第3行:$0<\alpha\leqslant  0.8$ 这个范围是如何来的呢?
2.还是第5行:$\dfrac{x^2+8z^2}{y^2+z^2}$中,$z$分别取值$y,0$得$\dfrac{x^2+8y^2}{2y^2}$和$\dfrac{x^2}{y^2}$.一个为最大值,一个为最小值,显然两个值均$\geqslant 1$
但还是得要说明:$\dfrac{x^2+8y^2}{2y^2}$和$\dfrac{x^2}{y^2}$的大小关系呀.

410

Threads

1044

Posts

110K

Credits

Credits
11577

Show all posts

 Author| lemondian Posted at 2024-11-6 20:36:45
今天又看了这帖,9#的证明还是看不懂哩:
主要还是在第5行:分别取左式$\dfrac{x^2+8y^2}{2y^2}$与$\dfrac{x^2}{y^2}$, 不等式显然。
为什么就显然了呢?
$\dfrac{x^2+8y^2}{2y^2}$与$\dfrac{x^2}{y^2}$大小关系不能确定呀。

手机版Mobile version|Leisure Math Forum

2025-4-20 22:09 GMT+8

Powered by Discuz!

× Quick Reply To Top Return to the list