1,在前一步,我们已经证明了lnXo=e/Xo
这个式子等价于一个方程,lnx=e/x,这个方程的根是x=Xo
而求一个方程的根,如果是普通的线性方程就算了,这是个含对数,指数的超越方程,不可能直接解。一般我们对这类超越方程【形如f(x)=g(x)】的求解的办法有三种。
一是将这个方程的两边直接看做两个函数f(x)=g(x),这两个函数交点的横坐标能令两边函数拥有一样的函数值(或者叫因变量值),这个横坐标就是方程对应的解。
二是判断两个函数不同时取0,然后将一边除以另一边,这个方程变成了F(x)=f(x)/g(x)=1,接着想办法求这个方程等于1的点横坐标在哪。
三是将一边减去另一边,这个方程变成了F(x)=f(x)-g(x)=0的形式,我们想办法求F(x)的零点的横坐标在哪,这个零点就是方程的解。
本题用的是方法三。
因此本题设定的g(x)=lnx - e/x
2,如前所述,x=e是g(x)=0的解,同时我们还证明了g(x)单调递增,g(x)要么没有解,要么有一个解。既然x=e是g(x)的解,那就只能是那唯一解。而之前我们已经描述了x=Xo,那只能是Xo=e
3,g(e)=lne-e/e=1-1=0