标题: 求助:一不等式的证明, 赠 TB 100
性别:男-离线 lcarron78

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


求助:一不等式的证明

求证:


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

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

将赠 TB 100,谢。

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


顶部
性别:男-离线 lcarron78

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


回复 #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

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


回复 #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 编辑 ]
顶部

正在浏览此帖的会员 - 共 1 人在线




当前时区 GMT+8, 现在时间是 2025-8-28 22:04
京ICP备2023018092号 轩辕春秋 2003-2023 www.xycq.org.cn

Powered by Discuz! 5.0.0 2001-2006 Comsenz Inc.
Processed in 0.008393 second(s), 9 queries , Gzip enabled

清除 Cookies - 联系我们 - 轩辕春秋 - Archiver - WAP