数学研发论坛

 找回密码
 欢迎注册
查看: 734|回复: 8

[求助] lnx/x=lnlnx/lnx

[复制链接]
发表于 2017-11-3 13:01:08 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
\(\D \frac{\ln x}{x}=\frac{\ln(\ln x)}{\ln x}\),求 \(x=?\)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2017-11-3 13:35:46 | 显示全部楼层
5.4444727541545141416855065051707898147

solution.png

点评

你的图像用什么软件画的,不像mathematica软件  发表于 2018-12-30 13:24
谢谢mathe!  发表于 2017-11-5 12:03
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-30 12:49:31 | 显示全部楼层
  1. FindRoot[Log[x]/x - Log@Log[x]/Log[x], {x, 5}, MaxIterations -> 1000,
  2. WorkingPrecision -> 100, AccuracyGoal -> 100]
复制代码

求解结果
{x -> 5.44447275415451414168550650517078981472403489629230191645529766\
9762099145031151405944166519221842226}
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-30 12:55:51 | 显示全部楼层
mathe 发表于 2017-11-3 13:35
5.4444727541545141416855065051707898147

Log[x]/x与Log@Log[x]/Log[x]
都无限接近于零,能否证明这个
方程只有一个实数解呢?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-30 13:18:46 | 显示全部楼层
mathematica 发表于 2018-12-30 12:55
Log[x]/x与Log@Log[x]/Log[x]
都无限接近于零,能否证明这个
方程只有一个实数解呢?


当x>e的时候,方程Log[x]/x是减函数
Log[x]/x的导数是(1 - Log[x])/x^2
因此当x>e^e=15.154262241479264189760430272629911905528548536856139769140746405时。
此时Log[x]/x比Log@Log[x]/Log[x]小,
而Log[x]/x与Log@Log[x]/Log[x]都趋向于0,所以
Log[x]/x-Log@Log[x]/Log[x]在区间(e^e,正无穷大)上无解。
剩下的就是证明在区间(1, e^e)上只有一个根,这个我只会画图像
不过函数Log[x]/x-Log@Log[x]/Log[x]在x=172.165附近有个极小值,挺有意思的
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-30 13:42:41 | 显示全部楼层
设$f(x)=x\log(\log(x))-\log^2(x)$
df.png
显然在$1<x<=e$时,$f(x)<0$
而在$x>e$时
$f'(x)=\log(\log(x))+1/{\log(x)}-{2\log(x)}/x$
df.png
$f''(x)=1/{x\log(x)}-1/{x\log^2(x)}-2/{x^2}+{2\log(x)}/x^2=(log(x)-1)(1/{x\log^2(x)}+2/{x^2})>0$
ddf.png
所以$f'(x)>f'(e)=0+1-2/e>0$
由此我们得出在$x>e$时$f(x)$单调增
所以${f(x)}/{x\log(x)}={\log(\log(x))}/{\log(x)}-{\log(x)}/x$在$x>e$最多一个零点

点评

给你点个赞,明白了!  发表于 2018-12-30 14:11
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2019-1-18 15:04 , Processed in 0.058421 second(s), 20 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表