Bất đẳng thức đã cho tương đương
lnx−lny>x+y2(x−y)⇔lnyx−yx+12(yx−1)>0Đặt t=yx, t>1 ta được lnt−t+12(t−1)>0 (∗)Xeˊt f(t)=lnt−t+12(t−1), t>1f′(t)=t1−(t+1)24=t(t+1)2(t−1)2>0 với t>1⇒f(t) đo^ˋng bie^ˊn với t>1⇒f(t)>f(1)=0⇒(∗) đie^ˋu phải chứng minh.