繁體
|
簡體
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版)
»
初等数学讨论
» 看似简洁的不等式
1
2
下一页
返回列表
发帖
Shiki
发短消息
加为好友
Shiki
当前离线
UID
2921
帖子
130
主题
48
精华
0
积分
776
威望
1
阅读权限
50
性别
男
在线时间
51 小时
注册时间
2019-4-22
最后登录
2021-6-9
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2019-7-3 20:04
|
只看该作者
[不等式]
看似简洁的不等式
$a,b,c \in R$
求证:
$(a^2+2)(b^2+2)(c^2+2) \geqslant 3(a+b+c)^2$
$a,b,c \in R_+$
求证:
$\sum \frac{a}{\sqrt{a^2+8bc}} \geqslant 1$
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
= =
Shiki
发短消息
加为好友
Shiki
当前离线
UID
2921
帖子
130
主题
48
精华
0
积分
776
威望
1
阅读权限
50
性别
男
在线时间
51 小时
注册时间
2019-4-22
最后登录
2021-6-9
2
#
发表于 2019-7-3 20:45
|
只看该作者
对于第一题,印象中在计神的代数不等式里有以下较弱式
$(a^2+2)(b^2+2)(c^2+2) \geqslant 9(ab+bc+ca)$
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
3
#
发表于 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
4
#
发表于 2019-7-3 21:13
|
只看该作者
第二题也是经典老题(虽然出处忘了),好像是用 holder 或者权方和就行……
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
5
#
发表于 2019-7-9 22:15
|
只看该作者
回复
3#
kuing
看来没人鸟,说出处:《数学空间》2011 年第 2 期 P.37~38
TOP
facebooker
发短消息
加为好友
facebooker
当前离线
UID
2926
帖子
268
主题
78
精华
0
积分
2467
威望
1
阅读权限
90
在线时间
2054 小时
注册时间
2019-5-4
最后登录
2024-1-18
6
#
发表于 2019-7-10 23:29
|
只看该作者
老大 现在还能下载到空间吗 人教论坛都没了啊
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
7
#
发表于 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
8
#
发表于 2019-7-10 23:51
|
只看该作者
回复
6#
facebooker
算了,我还是打个包给你们下吧:
人教网刊《数学空间》全1~17期(可打印)PDF打包下载.zip
链接:
https://pan.baidu.com/s/1RUuD69oS4y2w2jaoI0EEfg
提取码:kbi6
TOP
facebooker
发短消息
加为好友
facebooker
当前离线
UID
2926
帖子
268
主题
78
精华
0
积分
2467
威望
1
阅读权限
90
在线时间
2054 小时
注册时间
2019-5-4
最后登录
2024-1-18
9
#
发表于 2019-7-11 03:12
|
只看该作者
多谢多谢。
TOP
Shiki
发短消息
加为好友
Shiki
当前离线
UID
2921
帖子
130
主题
48
精华
0
积分
776
威望
1
阅读权限
50
性别
男
在线时间
51 小时
注册时间
2019-4-22
最后登录
2021-6-9
10
#
发表于 2019-7-11 22:33
|
只看该作者
回复
8#
kuing
谢谢谢谢
TOP
Infinity
发短消息
加为好友
Infinity
当前离线
UID
2422
帖子
157
主题
1
精华
0
积分
1102
威望
2
阅读权限
90
在线时间
234 小时
注册时间
2014-9-14
最后登录
2022-5-14
11
#
发表于 2019-7-12 14:12
|
只看该作者
回复
4#
kuing
Holder或Jensen都可以。
TOP
其妙
发短消息
加为好友
其妙
当前离线
UID
38
帖子
2386
主题
95
精华
0
积分
12885
威望
4
阅读权限
90
在线时间
1110 小时
注册时间
2013-6-22
最后登录
2022-2-10
12
#
发表于 2019-7-17 00:08
|
只看该作者
2019-7-17 00:08
妙不可言,不明其妙,不着一字,各释其妙!
TOP
isee
发短消息
加为好友
isee
当前离线
UID
15
帖子
5033
主题
697
精华
0
积分
31361
威望
18
阅读权限
90
性别
男
在线时间
8792 小时
注册时间
2013-6-15
最后登录
2022-12-7
13
#
发表于 2019-7-17 09:40
|
只看该作者
回复
12#
其妙
这个$$(b^2+2)(c^2+2)\geqslant \frac 32(b+c)^2+3$$就像几何中“巧得来的"辅助线一样,打开局面。
TOP
isee
发短消息
加为好友
isee
当前离线
UID
15
帖子
5033
主题
697
精华
0
积分
31361
威望
18
阅读权限
90
性别
男
在线时间
8792 小时
注册时间
2013-6-15
最后登录
2022-12-7
14
#
发表于 2019-7-17 09:58
|
只看该作者
第2题,在《数学奥林匹克不等式研究(数学·统计学系列)》杨学枝著,第5页
TOP
isee
发短消息
加为好友
isee
当前离线
UID
15
帖子
5033
主题
697
精华
0
积分
31361
威望
18
阅读权限
90
性别
男
在线时间
8792 小时
注册时间
2013-6-15
最后登录
2022-12-7
15
#
发表于 2019-7-17 10:16
|
只看该作者
回复
14#
isee
以上证明我是不想去搞明白的(主要是当时明白,过两天就忘记了),走马观个花而已,在《代数不等式》陈计中第38页,有
2019-7-17 10:18
但这个证明技巧性强,还用了下反证,应该是深思的结果。
同时,在第63页有
2019-7-17 10:21
也不是好啃的。
这个题,陈计真是喜欢,之后 还有反复出现,例,练习,均有,没兴趣,不截上来了。
TOP
isee
发短消息
加为好友
isee
当前离线
UID
15
帖子
5033
主题
697
精华
0
积分
31361
威望
18
阅读权限
90
性别
男
在线时间
8792 小时
注册时间
2013-6-15
最后登录
2022-12-7
16
#
发表于 2019-7-17 10:26
|
只看该作者
第一个,在 代数不等式》陈计中 第79页也有,且是12#的方法,且变也推广与加强。
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
17
#
发表于 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
18
#
发表于 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
其妙
发短消息
加为好友
其妙
当前离线
UID
38
帖子
2386
主题
95
精华
0
积分
12885
威望
4
阅读权限
90
在线时间
1110 小时
注册时间
2013-6-22
最后登录
2022-2-10
19
#
发表于 2019-7-26 20:15
|
只看该作者
anzhengping的推广:
2019-7-26 20:13
2019-7-26 20:13
1.
http://blog.sina.com.cn/s/blog_5618e6650102zgi3.html
2.
http://blog.sina.com.cn/s/blog_5618e6650102zgiv.html
暂时还无人证明
妙不可言,不明其妙,不着一字,各释其妙!
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
20
#
发表于 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
1
2
下一页
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]