f(a+b)-(a+b)ln2=2f[(a+b)/2]
f(x)'=lnx+1
f(x)''=1/x
由题意得x>0
∴f(x)''>0
∴f(x)是下凸函数
根据中值定理,下凸函数[f(a)+f(b)]/2>=f[(a+b)/2]
∴f(a)+f(b)>=f(a+b)-(a+b)ln2
得证