已知 a>b>0,证明:lna−lnba−b>ab。答案结论成立(对数均值不等式的一半)。分步解析1换元把双变量化为单变量:令 t=ba>1,则原不等式两边同除以 b 后化为 lntt−1>t。2因 lnt>0,等价于证 t−1>tlnt,即 tt−1>lnt,也即 t−t1>lnt。3再令 s=t>1,只需证 s−s1>2lns。4构造 g(s)=s−s1−2lns,g′(s)=1+s21−s2=s2(s−1)2>0(s>1)。5故 g 在 (1,+∞) 上递增,g(s)>g(1)=0,原不等式得证。点评双变量不等式的标准路线:齐次化后令 t=ba 换元,把两个字母压成一个,再用导数处理单变量函数。#双变量#换元#对数均值不等式2023 年真题全国乙卷