只需证
(t?1)lnt2(t?1)?2,即证lnt??0
t?1t?114(t?1)22(t?1)???0, 设h(t)?lnt?,h(t)??22t(t?1)t(t?1)t?12(t?1)在(0,1)上单调递增,h(t)?h(1)?0, t?12(t?1)?0 即h(t)?lnt?t?1则h(t)?lnt?2所以,lnx1?lnx2?2即2x1x2?e。
只需证
(t?1)lnt2(t?1)?2,即证lnt??0
t?1t?114(t?1)22(t?1)???0, 设h(t)?lnt?,h(t)??22t(t?1)t(t?1)t?12(t?1)在(0,1)上单调递增,h(t)?h(1)?0, t?12(t?1)?0 即h(t)?lnt?t?1则h(t)?lnt?2所以,lnx1?lnx2?2即2x1x2?e。