令g(x)=x(2-lnx),首先研究一下单调性备用。
做题时心里要清楚这函数的图像是什么样的,我给你画出来了,如图所示。两个零点是0和e^2。
e^2那边:
第一种想法:图像鼓包往左偏。
“g(x)鼓包往左偏”这句话的数学含义是这样的:令h(x)=g(x) - g(e^2-x) (即g减去g左右翻转),则h(x)在(0, e^2/2) (即前半个区间)上总是正的。
因此,h(x1)>0,也就是说h(e^2-x1)<1,利用单调性即得x2<e^2-x1,证毕。
第二种想法:两个点从都在正中间e^2/2开始同速度往左右两边跑,谁先跑到g=1?
我就不写详细过程了,你发现,设它们跑了t时间,左边的g是a1(t),右边的g是a2(t),则a2'(t)-a1'(t)先是负的再是正的,这就说明a2<a1恒成立。
