繁體
|
簡體
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版)
»
初等数学讨论
» $(\prod_{i=1}^n(1+x_i))^{1/n} \ge 1+(\prod_{i=1}^nx_i)^{1/n}$
返回列表
发帖
abababa
发短消息
加为好友
abababa
当前离线
UID
2354
帖子
1355
主题
285
精华
0
积分
7965
威望
11
阅读权限
90
在线时间
179 小时
注册时间
2014-5-1
最后登录
2022-5-14
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2020-2-27 22:15
|
只看该作者
$(\prod_{i=1}^n(1+x_i))^{1/n} \ge 1+(\prod_{i=1}^nx_i)^{1/n}$
本帖最后由 abababa 于 2020-2-28 07:42 编辑
如题,如果$x_i>0$,是不是有
\[\left(\prod_{i=1}^{n}(1+x_i)\right)^{\frac{1}{n}} \ge 1+\left(\prod_{i=1}^{n}x_i\right)^{\frac{1}{n}}\]
感觉像是个著名的不等式,有没有什么名字?以及证明方法。
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
色k
发短消息
加为好友
色k
当前离线
UID
2512
帖子
814
主题
16
精华
0
积分
9819
威望
5
阅读权限
150
在线时间
10498 小时
注册时间
2015-8-2
最后登录
2023-10-1
2
#
发表于 2020-2-27 22:49
|
只看该作者
一般地,卡尔松(Carlson)不等式了解一下
进一步地,holder 不等式了解一下
TOP
abababa
发短消息
加为好友
abababa
当前离线
UID
2354
帖子
1355
主题
285
精华
0
积分
7965
威望
11
阅读权限
90
在线时间
179 小时
注册时间
2014-5-1
最后登录
2022-5-14
3
#
发表于 2020-2-28 07:46
|
只看该作者
本帖最后由 abababa 于 2020-2-28 07:51 编辑
回复
2#
色k
holder 不等式到是听说过,还有个闵可夫斯基不等式,但是我都不会用。主楼那个,虽然提示了卡尔松不等式,但还是不知道要怎么证明。
不行啊,我不等式太弱了。
先把卡尔松不等式的形式抄上:$a_{ij}\ge 0$,其中$i$从$1$到$n$,$j$从$1$到$m$
\[\left[\prod_{j=1}^{m}\left[\frac{1}{n}\sum_{i=1}^{n}a_{ij}\right]\right]^{\frac{1}{m}} \ge \frac{1}{n}\sum_{i=1}^{n}\left[\prod_{j=1}^{m}a_{ij}\right]^{\frac{1}{m}}\]
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
4
#
发表于 2020-2-28 12:58
|
只看该作者
回复
3#
abababa
突然想起,我在《数学空间》2013 年第 4 期(总第 14 期)的最后一页里写过 Carlson 不等式的均值证明……
TOP
abababa
发短消息
加为好友
abababa
当前离线
UID
2354
帖子
1355
主题
285
精华
0
积分
7965
威望
11
阅读权限
90
在线时间
179 小时
注册时间
2014-5-1
最后登录
2022-5-14
5
#
发表于 2020-2-29 13:48
|
只看该作者
本帖最后由 abababa 于 2020-2-29 13:50 编辑
回复
4#
kuing
唉,最后也没用不等式的方式证明出来,用了数学归纳法:
当$n = 1$时显然成立,假设当$n = k$时成立,即
\[\left(\prod_{i=1}^{k}(1+x_i)\right)^{\frac{1}{k}} \ge 1+\left(\prod_{i=1}^{k}x_i\right)^{\frac{1}{k}}\]
令$D = \prod_{i=1}^{k}(1+x_i), M = \prod_{i=1}^{k}x_i, x_{k+1} = c > 0$,于是有$D^{\frac{1}{k}} \ge 1+M^{\frac{1}{k}}$,当$n = k+1$时,需要证明
\[\left(\prod_{i=1}^{k+1}(1+x_i)\right)^{\frac{1}{k+1}} \ge 1+\left(\prod_{i=1}^{k+1}x_i\right)^{\frac{1}{k+1}}\]
即要证明
\[\bigl((1+c)D\bigr)^{\frac{1}{k+1}} \ge 1+(cM)^{\frac{1}{k+1}}\]
即证明
\[(1+c)^{\frac{1}{k+1}} \cdot (D^{\frac{1}{k}})^{\frac{k}{k+1}} \ge 1+(cM)^{\frac{1}{k+1}}\]
而由归纳假设知$D^{\frac{1}{k}} \ge 1+M^{\frac{1}{k}}$,因此只要证明
\[(1+c)^{\frac{1}{k+1}} \cdot (1+M^{\frac{1}{k}})^{\frac{k}{k+1}} \ge 1+(cM)^{\frac{1}{k+1}}\]
因为$(1+M^{\frac{1}{k}})^{\frac{k}{k+1}} \ge 1+M^{\frac{1}{k+1}}$,所以只要证明
\[(1+c)^{\frac{1}{k+1}} \cdot(1+M^{\frac{1}{k+1}}) \ge 1+(cM)^{\frac{1}{k+1}}\]
即证明
\[(1+c)^{\frac{1}{k+1}}+\bigl((1+c)M\bigr)^{\frac{1}{k+1}} \ge 1+(cM)^{\frac{1}{k+1}}\]
这显然成立。
TOP
色k
发短消息
加为好友
色k
当前离线
UID
2512
帖子
814
主题
16
精华
0
积分
9819
威望
5
阅读权限
150
在线时间
10498 小时
注册时间
2015-8-2
最后登录
2023-10-1
6
#
发表于 2020-2-29 15:21
|
只看该作者
回复
5#
abababa
《憋间》里的均值方法看不懂吗?
套用在这里的话,就是:把左边除到右边变成
\[\sqrt[n]{\frac{x_1x_2\cdots x_n}{(1+x_1)(1+x_2)\cdots(1+x_n)}}+\sqrt[n]{\frac1{(1+x_1)(1+x_2)\cdots(1+x_n)}}\leqslant1,\]然后由均值
\begin{align*}
\sqrt[n]{\frac{x_1x_2\cdots x_n}{(1+x_1)(1+x_2)\cdots(1+x_n)}}&\leqslant\frac1n\left(\frac{x_1}{1+x_1}+\frac{x_2}{1+x_2}+\cdots+\frac{x_n}{1+x_n}\right),\\
\sqrt[n]{\frac1{(1+x_1)(1+x_2)\cdots(1+x_n)}}&\leqslant\frac1n\left(\frac1{1+x_1}+\frac1{1+x_2}+\cdots+\frac1{1+x_n}\right),
\end{align*}相加即得证。
看懂的话,一般情况也就能理解了。而 holder 就是更一般的指数而已。
TOP
abababa
发短消息
加为好友
abababa
当前离线
UID
2354
帖子
1355
主题
285
精华
0
积分
7965
威望
11
阅读权限
90
在线时间
179 小时
注册时间
2014-5-1
最后登录
2022-5-14
7
#
发表于 2020-2-29 19:17
|
只看该作者
本帖最后由 abababa 于 2020-2-29 19:21 编辑
回复
6#
色k
谢谢,原题这个证明是看懂了,但我自己肯定想不出第一步两边除过去,这对我来说都太有技巧了。
人教论坛也上不去了,那个数学空间原来还看过一些,但对高考、教学的那些题兴趣不大,不等式一类的又看不懂,后来就没再看了。
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]