求助：一不等式的证明 - 辕门射虎 - 轩辕春秋文化论坛 20周年


	lcarron78

组别	校尉
级别	军师将军
功绩	10
帖子	962
编号	19205
注册	2004-10-20
来自	奥克兰

#1

发表于 2006-8-25 05:20 资料主页个人空间短消息只看该作者

求助：一不等式的证明

求证：

ln(N)          ln( ln(N) )
--------    < --------------  的  开平方
N                   2 N

ln 是自然对数， N 是任一使式子有意义的正整数。

将赠 TB 100，谢。

[ 本帖最后由 lcarron78 于 2006-8-25 09:42 编辑 ]

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫公主 (司徒家的颖颖)


	虞国公主 ★

组别	限制发言用户
级别	大将军
好贴	6
功绩	517
帖子	11552
编号	1037
注册	2004-10-25
来自	天津
家族	司徒实业

#2

发表于 2006-8-26 00:03 资料主页短消息只看该作者

由于 log(log( N )) > 0, 因此 log( N ) 至少是正数．不妨设 M = log N，则等式变成
M e^(-M) < [log (M/2) e^(-M/2)]/2
由于 e^(.) > 0, 移项可得
M < [e^(M/2) log(M/2)]/2.
当 M 足够大时，可得：右边 > (1/2) e^(M/2) > M. M 较小时，可以从 M = log 8 开始一个一个检查，穷举证毕．

[广告] 《精忠报国岳飞传完整版》火热发布


	瓦灰

组别	校尉
级别	左将军
功绩	43
帖子	1299
编号	19585
注册	2004-10-26

#3

发表于 2006-8-26 09:38 资料主页文集短消息只看该作者

想到种做法不过要烦琐些,不写出来了,只说下思路.
由题可之ln(lnN)>0→N>e因为N是正整数所以N>=3,对不等式两边平方得:
[ln(N)]~2]/(N~2)<[ln(lnN)]/2N,令f(N)=[ln(lnN)]/2-[ln(N)]~2]/N,然后对f(N)求导讨论单调性.

[广告] 真诚支持说岳，携手共创辉煌


	lcarron78

组别	校尉
级别	军师将军
功绩	10
帖子	962
编号	19205
注册	2004-10-20
来自	奥克兰

#4

发表于 2006-8-27 05:40 资料主页个人空间短消息只看该作者

回复 #2 天宫公主的帖子

不妨设 M = log N，则等式变成
M e^(-M) < [log (M/2) e^(-M/2)]/2

按公主的方法，右边我得到的是

[log (M) /2 * e^(-M/2)] 的开平方。

不过思路我是明白了。

------TB已汇.

[ 本帖最后由 lcarron78 于 2006-8-27 14:20 编辑 ]

[广告] 真诚支持说岳，携手共创辉煌


	lcarron78

组别	校尉
级别	军师将军
功绩	10
帖子	962
编号	19205
注册	2004-10-20
来自	奥克兰

#5

发表于 2006-8-27 05:47 资料主页个人空间短消息只看该作者

回复 #3 瓦灰的帖子

令f(N)=[ln(lnN)]/2-[ln(N)]~2]/N,然后对f(N)求导讨论单调性.

借用公主的思路，
f(M) = [ln(M)]/2 - M^2 / e^M

M --> inf, ln(M)/2 >>1 , M^2 / e^M << 1, f(M) > 0.

另，M 较小时，可以从 M = log 8 开始一个一个检查，穷举证毕

得解。谢谢。

------TB已汇.

[ 本帖最后由 lcarron78 于 2006-8-27 14:21 编辑 ]

[广告] 《精忠报国岳飞传完整版》火热发布


	林冲岳父 (教头)

组别	百姓
级别	在野武将
功绩	0
帖子	25
编号	268404
注册	2008-2-20
来自	北京海淀
家族	轩辕狼党

#6

发表于 2008-2-21 01:48 资料主页短消息只看该作者

lg是以10为底的的对数,e是无穷自然对数.f(m)=[inM]/2 e^m
使得在im(m)<0时,f(m)>0,M=log8.得出.

[广告] 真诚支持说岳，携手共创辉煌