Ta có : 1/ (1+a+ab) +1/(1+b+bc) +1/(1+c+ca) =abc/ (abc+a+ab)+1/(1+b+bc)+ abc/(abc+abc^2+ba^2c^2)

=abc/(a(bc+1+b) +1(1+b+bc)+ abc/( ac(b+bc+abc)

=bc/(1+b+bx)+ 1/(1+b+bc)+b/(1+b+bc) =bc+1+b/1+b+bc= 1

           Vậy S=1

\(S=\frac{abc}{abc+a+ab}+\frac{1}{1+b+bc}+\frac{bc}{bc+bc^2+c^2ab}=\frac{bc}{bc+1+b}+\frac{1}{1+b+bc}+\frac{b}{b+bc+1}\)

\(=\frac{1+b+bc}{1+bc+b}=1\rightarrow S=1\)

\(S=1\)

Xét vế trái, ta có:  \(\frac{1}{ab}+\frac{1}{bc}+\frac{1}{ca}=\frac{ab+bc+ca}{ab}+\frac{ab+bc+ca}{bc}+\frac{ab+bc+ca}{ca}\)(Do theo giả thiết thì ab + bc + bc = 1)

\(=\left(\frac{c}{a}+\frac{c}{b}\right)+\left(\frac{a}{b}+\frac{a}{c}\right)+\left(\frac{b}{a}+\frac{b}{c}\right)+3\)

Khi đó, ta quy BĐT cần chứng minh về: \(\left(\frac{c}{a}+\frac{c}{b}\right)+\left(\frac{a}{b}+\frac{a}{c}\right)+\left(\frac{b}{a}+\frac{b}{c}\right)\)\(\ge\sqrt{\frac{1}{a^2}+1}+\sqrt{\frac{1}{b^2}+1}+\sqrt{\frac{1}{c^2}+1}\)\(=\frac{\sqrt{a^2+1}}{a}+\frac{\sqrt{b^2+1}}{b}+\frac{\sqrt{c^2+1}}{c}\)

Theo BĐT Cauchy cho 2 số dương, ta có:

\(\frac{\sqrt{a^2+1}}{a}=\frac{\sqrt{a^2+ab+bc+ca}}{a}=\frac{\sqrt{\left(a+b\right)\left(a+c\right)}}{a}\)\(\le\frac{\frac{a+b+a+c}{2}}{a}=\frac{2a+b+c}{2a}\)(1)

Tương tự ta có: \(\frac{\sqrt{b^2+1}}{b}\le\frac{2b+c+a}{2b}\)(2); \(\frac{\sqrt{c^2+1}}{c}\le\frac{2c+a+b}{2c}\)(3)

Cộng theo vế của 3 BĐT (1), (2), (3), ta được:

\(\frac{\sqrt{a^2+1}}{a}+\frac{\sqrt{b^2+1}}{b}+\frac{\sqrt{c^2+1}}{c}\)\(\le\frac{2a+b+c}{2a}+\frac{2b+c+a}{2b}+\frac{2c+a+b}{2c}\)

\(=3+\frac{1}{2}\left[\left(\frac{b}{a}+\frac{c}{a}\right)+\left(\frac{a}{b}+\frac{c}{b}\right)+\left(\frac{a}{c}+\frac{b}{c}\right)\right]\)

Đến đây, ta cần chứng minh \(\left(\frac{c}{a}+\frac{c}{b}\right)+\left(\frac{a}{b}+\frac{a}{c}\right)+\left(\frac{b}{a}+\frac{b}{c}\right)\)\(\ge3+\frac{1}{2}\left[\left(\frac{c}{a}+\frac{c}{b}\right)+\left(\frac{b}{a}+\frac{b}{c}\right)+\left(\frac{c}{a}+\frac{c}{b}\right)\right]\)

\(\Leftrightarrow\frac{1}{2}\left[\left(\frac{c}{a}+\frac{c}{b}\right)+\left(\frac{b}{a}+\frac{b}{c}\right)+\left(\frac{c}{a}+\frac{c}{b}\right)\right]\ge3\)(Điều này hiển nhiên đúng vì theo BĐT Cauchy, ta có:

\(\frac{1}{2}\left[\left(\frac{c}{a}+\frac{c}{b}\right)+\left(\frac{b}{a}+\frac{b}{c}\right)+\left(\frac{c}{a}+\frac{c}{b}\right)\right]\)\(\ge\frac{1}{2}.6\sqrt[6]{\frac{a^2b^2c^2}{a^2b^2c^2}}=3\)

Vậy bất đẳng thức được chứng minh

Đẳng thức xảy ra khi a = b = c = \(\frac{1}{\sqrt{3}}\)