\[\[\frac{1}{{y - x}}.(\ln \frac{y}{{1 - y}} - \ln \frac{x}{{1 - x}}) > 4\]\] (1)
Đoạn này ko qui đồng thì hay hơn tí
\[\[ \Leftrightarrow\frac{1}{{y - x}}.\ln \frac{x(1-x)}{y(1 - y)} > 4 \]\]
Xét hai TH :
y >x và x >y để nhân chéo ( y-x) lên :
Với y > x :
ta được
\[\ln{x(1-x)} - 4x > \ln {y(1-y)} - 4y\] đến đây rùi cũng xét hàm giống hệt
.
* Xét hàm số:\[ \[{y = f(t) = 4t - \ln \frac{t}{{1 - t}}}\]\] (với t thuộc (0;1) )
\[\[y' = 4 - \frac{1}{{t.(1 - t) }}\]\]\[\[ = \frac{{ - \left( {2t - 1} \right)^2 }}{{t\left( {1 - t} \right)}}\]\]
Dễ thấy, với t thuộc (0;1) thì \[\[y' \le 0\]\]
=> hàm nghịch biến trên (0;1)
Xét \[\[(1) = \frac{{f(x) - f
}}{{y - x}}\]\] (**)
- TH1: y > x.
Vì f(t) là hàm nghịch biến nên với y>x, f(x) - f
>0
=> (**)>0 => điều pải chứng minh.
- TH2: Với x>y. tương tự => điều phải chứng minh