nếu ab=1 bđt ⇔aa.(1a)1/a≥a1/a.(1a)a
⇔aa−1a≥a1a−a(∗).
khi a=1 (*) đúng.
khi a>1. (*)⇔a−1a≥1a−a⇔a2≥1 (đúng) ⇒(∗)đúng
khi a<1 (*) ⇔a−1a≤1a−a⇔a2<1(đúng) ⇒(∗)đúng
vậy a.b=1 thì bđt đúng.
Nếu ab>1 ta loga cơ số a.b 2 vế ta được
(a−b)logaba≥(a−b)logabb(∗∗)
khi a=b thì (**) đúng.
khi a>b (**) ⇔logaba>logabb⇔a>b⇒(∗∗)đúng
khi a<b (**) ⇔logaba<logabb⇔a<b⇒(∗∗)đúng
nếu ab<1 ta cũng làm tương tự sẽ được đpcm.