1070

1070

证明: ex−1+xln⁡x+ey−1+yln⁡y≥2xy.

证明

由于ex−1+xln⁡x=xex−1−ln⁡x+xln⁡x≥x(x−ln⁡x)+xln⁡x=x2,
(使用了 ex≥x+1 进行放缩), 因此LHS≥x2+y2≥2xy,
等号成立当且仅当 x=y=1.