设f(t)=tlnt,则求导得f'(t)=1+lnt,f''(t)=1/t（t>0）
由f''(t)=1/t>0（t>0）知f(t)在t>0时为严格下凸函数,因此由Jensen（琴生）不等式可得
1/2[f(x)+f(y)]>=f((x+y)/2)
即xlnx+ylny>=（x+y）ln[（x+y）/2]
由x不等于y知等号不能成立,因此
xlnx+ylny>（x+y）ln[（x+y）/2]