题库网
#d65f9d74-54d1-4442-8f46-0a9c2ddeccab中等解答题构造函数法导数

构造辅助函数证不等式

已知 a>b>0a > b > 0,证明:ablnalnb>ab\dfrac{a - b}{\ln a - \ln b} > \sqrt{ab}

解析
t=a/b>1t=a/b>1,化简为 t1lnt>t\frac{t-1}{\ln t}>\sqrt{t}。令 u=t>1u=\sqrt{t}>1t=u2t=u^2),则 u212lnu>u\frac{u^2-1}{2\ln u}>u,即 u1/u>2lnuu-1/u>2\ln u。设 h(u)=u1/u2lnuh(u)=u-1/u-2\ln uu>1u>1),h(1)=0h(1)=0h(u)=1+1/u22/u=(u1)2/u2>0h'(u)=1+1/u^2-2/u=(u-1)^2/u^2>0。故 h(u)>h(1)=0h(u)>h(1)=0,证毕。