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

[不等式] 96伊朗不等式加强版

本帖最后由 大佬最帅 于 2021-7-11 16:42 编辑

mmexport1625818335266.jpg
2021-7-11 15:40

96伊朗竞赛加强版,大佬解答一下,感谢大佬
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

这个太难,毫无头绪,暂且放弃

PS、发帖时选一下主题分类,标题最好写些关键词(比如你这帖可以写上“伊朗96加强版”),方便日后搜索。

TOP

想起贴吧的伊朗96加强,至今(2021年)也没人给出完整的解答
https://tieba.baidu.com/p/1775443408

TOP

回复 3# 青青子衿

那边的第一个已经解决了啊,13楼的配方式是对嘀……
第二个用暴力方法还是阔以证嘀……
PS、第二个的最后一个分母打错了。

TOP

回复 3# 青青子衿

MMA 辅助下弄出的装X解法:
题目:设 `a`, `b`, `c>0` 且 `4\min\{a,b,c\}\geqslant\max\{a,b,c\}`,求证
\[(ab+bc+ca)\sum\frac1{(a+b)^2}\geqslant\frac94+\frac1{16}\sum\frac{(a-b)^2}{(a+b)^2}.\]
证明:不妨设 `a=\min\{a,b,c\}`,依题意有 `4a\geqslant b`, `4a\geqslant c`,原不等式去分母可配方为
\begin{align*}
&(8a-b-c)(b+c)(2a-b-c)^2(2a+b+c)^2\\
&+4(b-a)(c-a)(b-c)^2(33b^2+33c^2+56bc-38ab-38ac-10a^2)\\
&+(b+c)(b-c)^2\bigl((b+c-2a)^3+258(b+c-2a)^2a+672(b+c-2a)a^2+288a^3\bigr)\geqslant0,
\end{align*}显然成立。

TOP

TOP

https://www.zhihu.com/question/472620191
有个“全导数”啥的,8太懂鸟……

TOP

返回列表 回复 发帖