先对f(x)求导:
f'(x)=-1/(x^2*lnx)-1/((lnx)^2*x^2)
于是从f'(x)>0可以得到f(x)的单调增区间为:
(0,1/e),从f'(x)x^a两边同时取以e为底的对数,得到:
ln(2^(1/x))>ln(x^a)
即ln2/x>alnx
分离参变量:(这时候注意,此时x∈(0,1),那么lnxln2/(xlnx)于是由恒成立条件知a要大于ln2/(xlnx)的最大值
看到了吧,现在就用到函数f(x)=1/(xlnx)的单调性了,从单调区间上看,最大值在x=1/e的时候取到这时候ln2/(xlnx)=-eln2
所以a>-eln2