Ta có :
\(\left(a-\frac{1}{b}\right)\left(b-\frac{1}{c}\right)\left(c-\frac{1}{a}\right)\ge\left(a-\frac{1}{a}\right)\left(b-\frac{1}{b}\right)\left(c-\frac{1}{c}\right)\)
\(\Leftrightarrow\frac{\left(ab-1\right)\left(bc-1\right)\left(ac-1\right)}{abc}\ge\frac{\left(a^2-1\right)\left(b^2-1\right)\left(c^2-1\right)}{abc}\)
\(\Leftrightarrow\left(ab-1\right)\left(bc-1\right)\left(ac-1\right)\ge\left(a^2-1\right)\left(b^2-1\right)\left(c^2-1\right)\)
\(\Leftrightarrow\left(ab-bc\right)^2+\left(bc-ac\right)^2+\left(ac-ab\right)^2\ge\left(a-b\right)^2+\left(b-c\right)^2+\left(c-a\right)^2\)
\(\Leftrightarrow\left(a-c\right)^2\left(b^2-1\right)+\left(b-c\right)^2\left(a^2-1\right)+\left(a-b\right)^2\left(c^2-1\right)\ge0\left(1\right)\)
Do a,b,c là các số thực dương không nhỏ hơn 1 nên (1) đúng .
Dấu đẳng thức xảy ra khi và khỉ khi : \(\hept{\begin{cases}\left(a-c\right)^2\left(b^2-1\right)=0\\\left(b-c\right)^2\left(a^2-1\right)=0\\\left(a-b\right)^2\left(c^2-1\right)=0\end{cases}\Rightarrow a=b=c}\)
Dấu "=" còn xảy ra ở các TH:
a = b = 1, c bất kì .
a = c =1, b bất kì
b = c = 1, a bất kì
( a, b, c ko nhỏ hơn 1 )