Áp dụng bất đẳng thức Bunyakovsky ta được: \(\left(ab+bc+ca+1\right)\left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}+1\right)\ge\left(a+b+c+1\right)^2\)\(\left(ab+bc+ca+1\right)\left(\frac{b}{a}+\frac{c}{b}+\frac{a}{c}+1\right)\ge\left(b+c+a+1\right)^2\)
Cộng theo vế hai bất đẳng thức này ta được \(\left(ab+bc+ca+1\right)\frac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{abc}\ge2\left(a+b+c+1\right)^2\)hay \(\frac{ab+bc+ca+1}{\left(a+b+c+1\right)^2}\ge\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)
Đến đây, ta quy bất đẳng thức cần chứng minh về dạng:\(\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}+\frac{3}{8}\sqrt[3]{\frac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{abc}}\ge1\)
Áp dụng bất đẳng thức Cauchy ta được \(\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}+\frac{1}{8}\sqrt[3]{\frac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{abc}}\)\(\ge2\sqrt{\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}.\frac{1}{8}\sqrt[3]{\frac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{abc}}}\)\(=\sqrt{\sqrt[3]{\frac{a^2b^2c^2}{\left(a+b\right)^2\left(b+c\right)^2\left(c+a\right)^2}}}=\sqrt[3]{\frac{abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}}\)(*)
Cũng theo bất đẳng thức Cauchy ta được \(\sqrt[3]{\frac{abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}}+\frac{1}{4}\sqrt[3]{\frac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{abc}}\ge2\sqrt{\frac{1}{4}}=1\)(**)
Từ (*) và (**) suy ra được \(\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}+\frac{3}{8}\sqrt[3]{\frac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{abc}}\ge1\)
Vậy bất đẳng thức được chứng minh
Đẳng thức xảy ra a = b = c = 1