数学救急室
#d65f9d74-54d1-4442-8f46-0a9c2ddeccab中等解答题构造函数法导数

构造辅助函数证不等式

已知 a>b>0a > b > 0,证明:a−bln⁡a−ln⁡b>ab\dfrac{a - b}{\ln a - \ln b} > \sqrt{ab}。

解析
设 t=a/b>1t=a/b>1,化简为 t−1ln⁡t>t\frac{t-1}{\ln t}>\sqrt{t}。令 u=t>1u=\sqrt{t}>1(t=u2t=u^2),则 u2−12ln⁡u>u\frac{u^2-1}{2\ln u}>u,即 u−1/u>2ln⁡uu-1/u>2\ln u。设 h(u)=u−1/u−2ln⁡uh(u)=u-1/u-2\ln u(u>1u>1),h(1)=0h(1)=0,h′(u)=1+1/u2−2/u=(u−1)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,证毕。