1070

1070

证明: ex1+xlnx+ey1+ylny2xy.

证明

由于ex1+xlnx=xex1lnx+xlnxx(xlnx)+xlnx=x2,
(使用了 exx+1 进行放缩), 因此LHSx2+y22xy,
等号成立当且仅当 x=y=1.