Ta có:
\(\left(b-\dfrac{1}{2}\right)^2\ge0\) <=> \(b^2-b+\dfrac{1}{4}\ge0\) <=>\(b-\dfrac{1}{4}\le b^2\)
Mà :
a<1 => \(log_a\left(b-\dfrac{1}{4}\right)\ge log_ab^2=2log_ab\)
P=\(log_a\left(b-\dfrac{1}{4}\right)-\dfrac{1}{2}log_{\dfrac{a}{b}}b=log_a\left(b-\dfrac{1}{4}\right)-\dfrac{1}{2}.\dfrac{log_ab}{1-log_ab}\ge2log_ab-\dfrac{1}{2}.\dfrac{log_ab}{1-log_ab}\)
Đặt t=logab
Do b<a<1 => t=logab >1
Khi đó \(P\ge2t+\dfrac{t}{2t-2}=f\left(t\right)\). Khảo sát f(t) trên (1;+\(\infty\)) ta đc
P\(\ge\)f(t) \(\ge\) f\(\left(\dfrac{3}{2}\right)\) = \(\dfrac{9}{2}\)