繁體
|
簡體
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版)
»
初等数学讨论
» 看似简洁的不等式
返回列表
发帖
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
1
#
跳转到
»
发表于 2019-7-3 21:08
|
显示全部帖子
第一个使用无需动脑的判别式法即可
另外,N年前我还给出过多元推广:
2019-7-3 21:08
你也可以试试看(所以先不给出处
$\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
2
#
发表于 2019-7-3 21:13
|
显示全部帖子
第二题也是经典老题(虽然出处忘了),好像是用 holder 或者权方和就行……
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
3
#
发表于 2019-7-9 22:15
|
显示全部帖子
回复
3#
kuing
看来没人鸟,说出处:《数学空间》2011 年第 2 期 P.37~38
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
4
#
发表于 2019-7-10 23:40
|
显示全部帖子
回复
6#
facebooker
《数学空间》的页面还能访问啊,本论坛首页的友情链接里就有链接,就是进入每期里的页面有点卡,但最下方的下载还是OK的
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
5
#
发表于 2019-7-10 23:51
|
显示全部帖子
回复
6#
facebooker
算了,我还是打个包给你们下吧:
人教网刊《数学空间》全1~17期(可打印)PDF打包下载.zip
链接:
https://pan.baidu.com/s/1RUuD69oS4y2w2jaoI0EEfg
提取码:kbi6
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
6
#
发表于 2019-7-23 14:52
|
显示全部帖子
回复
15#
isee
用 holder 的方法给个多元推广吧(虽然这如无意外只是在重复前人的劳动):设 `a_i` 均为正,则
\[\sum_{i=1}^n\frac{a_i}{\sqrt[n-1]{a_i^{n-1}+(n^{n-1}-1)\prod_{j\ne i}a_j}}\geqslant1.\]
证:由 \holder 不等式有
\[
\sum_{i=1}^n\bigl( a_i^n+(n^{n-1}-1)a_1a_2\cdots a_n \bigr)
\cdot\LHS^{n-1}\geqslant\left( \sum_{i=1}^na_i \right)^n,
\]即
\[
\LHS^{n-1}\geqslant
\frac{(a_1+a_2+\cdots+a_n)^n}{a_1^n+a_2^n+\cdots+a_n^n+(n^n-n)a_1a_2\cdots a_n},
\]故只需证
\[(a_1+a_2+\cdots+a_n)^n\geqslant a_1^n+a_2^n+\cdots+a_n^n+(n^n-n)a_1a_2\cdots a_n,\]容易看出这是成立的,事关 `(a_1+a_2+\cdots+a_n)^n-(a_1^n+a_2^n+\cdots+a_n^n)` 展开后的各项系数为正,具有对称性,并且系数之和为 `n^n-n`,所以均值之后必将得出 `\geqslant(n^n-n)a_1a_2\cdots a_n`。
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
7
#
发表于 2019-7-23 17:26
|
显示全部帖子
回复
15#
isee
两书上都介绍了齐次菊部不等式的方法,即给出这样的式子
\[\frac a{\sqrt{a^2+8bc}}\geqslant\frac{a^{4/3}}{a^{4/3}+b^{4/3}+c^{4/3}}.\]
刚才尝试用此方法证明楼上的 `n` 元推广,发现同样可以,只是需要多做一些准备工作。
引理
:设 `a_i>0`, $\lambda_i\inR$, `i=1`, `2`, \ldots, `n`,设
\[f(x)=a_1x^{\lambda_1}+a_2x^{\lambda_2}+\cdots+a_nx^{\lambda_n},\]若 `f'(1)=0`,则 `f(x)\geqslant f(1)` 对任意 `x>0` 恒成立。
引理的证明:因为 `f(1)=a_1+a_2+\cdots+a_n`,则由加权均值不等式,有
\[\frac{f(x)}{f(1)}=\sum_{i=1}^n\frac{a_i}{f(1)}x^{\lambda_i}\geqslant\prod_{i=1}^nx^{\lambda_ia_i/f(1)}=x^{(\lambda_1a_1+\lambda_2a_2+\cdots+\lambda_na_n)/f(1)}=x^{f'(1)/f(1)}=1.\]
现在考虑一个问题,设 `a`, `x>0`, $n\inN^+$,则 `(1+ax)^n\geqslant1+\bigl((a+1)^n-1\bigr)x^m` 何时恒成立?将不等式写成
\[\frac{(1+ax)^n-1}{x^m}\geqslant(a+1)^n-1,\]左边分子因式分解后,可写成形如引理中 `f(x)` 的形式,而 `x=1` 时取等,故只需满足 `f'(1)=0` 即可,即 `an(1+a)^{n-1}=m\bigl((1+a)^n-1\bigr)`,这样,我们就得到了如下推论。
推论
:设 `a`, `x>0`, $n\inN^+$ 且
\[m=\frac{an(1+a)^{n-1}}{(1+a)^n-1},\]则有
\[(1+ax)^n\geqslant1+\bigl((a+1)^n-1\bigr)x^m.\]
准备工作做好了,现在来寻找适当的 `k` 使得
\[\frac{a_1}{\sqrt[n-1]{a_1^{n-1}+(n^{n-1}-1)a_2a_3\cdots a_n}}\geqslant\frac{a_1^k}{a_1^k+a_2^k+\cdots+a_n^k},\]两边 `n-1` 次方化简后即
\[(a_1^k+a_2^k+\cdots+a_n^k)^{n-1}\geqslant a_1^{(k-1)(n-1)}\bigl(a_1^{n-1}+(n^{n-1}-1)a_2a_3\cdots a_n\bigr),\]令 `a_2a_3\cdots a_n=t^{n-1}`,由均值有 `a_2^k+\cdots+a_n^k\geqslant(n-1)t^k`,于是只需
\[\bigl(a_1^k+(n-1)t^k\bigr)^{n-1}\geqslant a_1^{(k-1)(n-1)}\bigl(a_1^{n-1}+(n^{n-1}-1)t^{n-1}\bigr),\]两边除以 `a_1^{k(n-1)}` 并令 `(t/a_1)^k=x`,可将上式化为
\[\bigl(1+(n-1)x\bigr)^{n-1}\geqslant1+(n^{n-1}-1)x^{(n-1)/k},\]根据推论,只需满足
\[\frac{n-1}k=\frac{(n-1)^2n^{n-2}}{n^{n-1}-1},\]即
\[k=\frac{n^{n-1}-1}{(n-1)n^{n-2}},\]这就是所需要的 `k`,这样问题就解决了。
验证一下,代 `n=3` 时果然得到 `4/3`,看来没问题。
那引理和推论都是即场想的,希望这回不是重复前人的劳动吧……
PS、其实我觉得推论中的 `n` 应该不需要限制为正整数,应该是对 `n\geqslant1` 都是成立的,但这时用不了引理来证,需要用别的方法,又或者将引理再拓广一下才行。
$\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
8
#
发表于 2019-7-26 21:02
|
显示全部帖子
回复
19#
其妙
第2个:根据 3# 的推广,取 `n=4`, `x_1=a^{3/2}` 等,即得
\[(a^3+3)(b^3+3)(c^3+3)(d^3+3)\geqslant16(a^{3/2}+b^{3/2}+c^{3/2}+d^{3/2})^2,\]这明显强于待证式,事关由幂平均有
\[\left( \frac{a^{3/2}+b^{3/2}+c^{3/2}+d^{3/2}}4 \right)^{2/3}\geqslant\frac{a+b+c+d}4.\]
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
9
#
发表于 2019-7-26 21:16
|
显示全部帖子
回复
19#
其妙
第1个,令 `f(\lambda)=\text{左边}-\text{右边}`,下面证明关于 `\lambda` 递增,求导整理配方可得
\[f'(\lambda)=(2\lambda+3)\bigl((a-1)^2+(b-1)^2+(c-1)^2\bigr)+(ab-1)^2+(bc-1)^2+(ca-1)^2\geqslant0,\]这样就可以直接扔掉这个 `\lambda` 了……
当然,没有 `\lambda` 的原题怎么证的我还没看到……
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
10
#
发表于 2019-7-26 21:34
|
显示全部帖子
回复
21#
kuing
有了,还不小心又得到了加强式
,下面证明:当 `a`, `b`, `c\geqslant0` 时有
\[(a^2+2)(b^2+2)(c^2+2)\geqslant3(a+b+c)^2+(abc-1)^2+2\sum(ab-1)^2.\]
证明:由于 `a`, `b`, `c` 中必有两个同时 `\geqslant1` 或同时 `\leqslant1`,故可不妨设 `(a-1)(b-1)\geqslant0`,则
\[\text{左边}-\text{右边}=2c(a-1)(b-1)+(a-b)^2+(c-1)^2\geqslant0.\]
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]