Đặt \(abc=k^3\), khi đó tồn tại các số thực dương x,y,z sao cho:
\(a=\frac{ky}{x};b=\frac{kz}{y};c=\frac{kx}{z}\)
Khi đó bất đẳng thức cần chứng minh tương đương:
\(\frac{1}{\frac{ky}{x}\left(\frac{kz}{y}+1\right)}+\frac{1}{\frac{kz}{y}\left(\frac{kx}{z}+1\right)}+\frac{1}{\frac{kx}{z}\left(\frac{ky}{x}+1\right)}\ge\frac{3}{k\left(k+1\right)}\)
Hay \(\frac{x}{y+kz}+\frac{y}{z+kx}+\frac{z}{x+ky}\ge\frac{3}{k+1}\)
Áp dụng bất đẳng thức Bunhiacopxki ta được:
\(\frac{x}{y+kz}+\frac{y}{z+kx}+\frac{z}{x+ky}\)
\(=\frac{x^2}{x\left(y+kz\right)}+\frac{y^2}{y\left(z+kx\right)}+\frac{z^2}{z\left(x+ky\right)}\ge\frac{\left(x+y+z\right)^2}{x\left(y+kz\right)+y\left(z+kx\right)+z\left(x+ky\right)}\)
\(=\frac{\left(x+y+z\right)^2}{\left(k+1\right)\left(xy+yz+zx\right)}\ge\frac{3}{k+1}\)
Vậy bất đẳng thức được chứng minh, dấu "=" xảy ra khi \(a=b=c\)
