Ta có \(a+b+c=abc\Leftrightarrow\dfrac{a+b+c}{abc}=1\) \(\Leftrightarrow\dfrac{1}{ab}+\dfrac{1}{bc}+\dfrac{1}{ca}=1\)

Lại có \(\left(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)^2=\dfrac{1}{a^2}+\dfrac{1}{b^2}+\dfrac{1}{c^2}+2\left(\dfrac{1}{ab}+\dfrac{1}{bc}+\dfrac{1}{ca}\right)\)

\(\Leftrightarrow2^2=\dfrac{1}{a^2}+\dfrac{1}{b^2}+\dfrac{1}{c^2}+2\)

\(\Leftrightarrow\dfrac{1}{a^2}+\dfrac{1}{b^2}+\dfrac{1}{c^2}=2\) (đpcm)

Em kiểm tra lại mẫu số của biểu thức c, chắc chắn đề sai

Chia 2 vế cho \(\left(a+1\right)\left(b+1\right)\left(c+1\right)\) BĐT trở thành:

\(\dfrac{1}{a^4\left(b+1\right)\left(c+1\right)}+\dfrac{1}{b^4\left(a+1\right)\left(c+1\right)}+\dfrac{1}{c^4\left(a+1\right)\left(b+1\right)}\ge\dfrac{3}{4}\)

Đặt \(\left(a;b;c\right)=\left(\dfrac{1}{x};\dfrac{1}{y};\dfrac{1}{z}\right)\) \(\Rightarrow xyz=1\)

\(\dfrac{1}{a^4\left(b+1\right)\left(c+1\right)}=\dfrac{x^4}{\left(1+\dfrac{1}{y}\right)\left(1+\dfrac{1}{z}\right)}=\dfrac{x^4yz}{\left(y+1\right)\left(z+1\right)}=\dfrac{x^3}{\left(y+1\right)\left(z+1\right)}\)

Do đó BĐT trở thành:

\(\dfrac{x^3}{\left(y+1\right)\left(z+1\right)}+\dfrac{y^3}{\left(x+1\right)\left(z+1\right)}+\dfrac{z^3}{\left(x+1\right)\left(y+1\right)}\ge\dfrac{3}{4}\)

Một bài toán quen thuộc

Ta có: \(a=b+c\Rightarrow c=a-b\)

\(\sqrt{\dfrac{1}{a^2}+\dfrac{1}{b^2}+\dfrac{1}{c^2}}=\sqrt{\dfrac{b^2c^2+a^2c^2+a^2b^2}{a^2b^2c^2}}=\sqrt{\dfrac{b^2\left(a-b\right)^2+a^2\left(a-b\right)^2+a^2b^2}{a^2b^2c^2}}=\sqrt{\dfrac{b^4+a^2b^2-2ab^3+a^4+a^2b^2-2a^3b+a^2b^2}{a^2b^2c^2}}=\sqrt{\dfrac{\left(a^2+b^2\right)^2-2ab\left(a^2+b^2\right)+a^2b^2}{a^2b^2c^2}}=\sqrt{\dfrac{\left(a^2+b^2-ab\right)^2}{a^2b^2c^2}}=\left|\dfrac{a^2+b^2-ab}{abc}\right|\)

=> Là một số hữu tỉ do a,b,c là số hữu tỉ

\(VT\ge\dfrac{1}{\left(a^2+1\right)-1}+\dfrac{1}{\left(b^2+1\right)-1}+\dfrac{1}{\left(c^2+1\right)-1}+4-\dfrac{4}{ab+1}+4-\dfrac{4}{bc+1}+4-\dfrac{4}{ca+1}\)

\(VT\ge\dfrac{1}{a^2}+\dfrac{1}{b^2}+\dfrac{1}{c^2}-\dfrac{4}{ab+1}-\dfrac{4}{bc+1}-\dfrac{4}{ca+1}+12\)

Mặt khác \(a;b;c\ge1\Rightarrow\left(a-1\right)\left(b-1\right)\ge0\Rightarrow ab+1\ge a+b\) (và tương tự...)

\(\Rightarrow VT\ge\dfrac{1}{ab}+\dfrac{1}{bc}+\dfrac{1}{ca}-\dfrac{4}{a+b}-\dfrac{4}{b+c}-\dfrac{4}{c+a}+12\)

\(VT\ge\dfrac{4}{\left(a+b\right)^2}+\dfrac{4}{\left(b+c\right)^2}+\dfrac{4}{\left(c+a\right)^2}-\dfrac{4}{a+b}-\dfrac{4}{b+c}-\dfrac{4}{c+a}+1+1+1+9\)

\(VT\ge\left(\dfrac{2}{a+b}-1\right)^2+\left(\dfrac{2}{b+c}-1\right)^2+\left(\dfrac{2}{c+a}-1\right)^2+9\ge9\)

\(abc=1\) nên tồn tại các số dương x;y;z sao cho \(\left(a;b;c\right)=\left(\dfrac{x}{y};\dfrac{y}{z};\dfrac{z}{x}\right)\)

BĐT cần chứng minh tương đương:

\(\dfrac{y}{x+2y}+\dfrac{z}{y+2z}+\dfrac{x}{z+2x}\le1\)

\(\Leftrightarrow\dfrac{2y}{x+2y}-1+\dfrac{2z}{y+2z}-1+\dfrac{2x}{z+2x}-1\le2-3\)

\(\Leftrightarrow\dfrac{x}{x+2y}+\dfrac{y}{y+2z}+\dfrac{z}{z+2x}\ge1\)

Điều này đúng do:

\(VT=\dfrac{x^2}{x^2+2xy}+\dfrac{y^2}{y^2+2yz}+\dfrac{z^2}{z^2+2xz}\ge\dfrac{\left(x+y+z\right)^2}{x^2+y^2+z^2+2xy+2yz+2zx}=1\)