Question

[Phan Thế Anh]

Cho a,b,c>0 thỏa mãn \(ab+bc+ac\le1\).Chứng minh \(a+b+c+\sqrt{3}\ge8abc\left(\frac{1}{a^2+1}+\frac{1}{b^2+1}+\frac{1}{c^2+1}\right)\)

Answer 1

[Đào Thu Hoà]

Do \(ab+bc+ca\le1\) nên:

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

Chứng minh tương tự :\(\frac{1}{b^2+1}\le\frac{1}{\left(a+b\right)\left(b+c\right)};\frac{1}{c^2+1}\le\frac{1}{\left(a+c\right)\left(b+c\right)}.\)

Suy ra \(\frac{1}{a^2+1}+\frac{1}{b^2+1}+\frac{1}{c^2+1}\le\frac{1}{\left(a+b\right)\left(a+c\right)}+\frac{1}{\left(a+b\right)\left(b+c\right)}+\frac{1}{\left(a+c\right)\left(b+c\right)}\)

\(\Leftrightarrow\frac{1}{a^2+1}+\frac{1}{b^2+1}+\frac{1}{c^2+1}\le\frac{2\left(a+b+c\right)}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)(1)

Mặt khác áp dụng bất đẳng thức AM-GM ta có: 

\(a^2b+ab^2+a^2c+ac^2+c^2b+cb^2\ge6\sqrt[6]{\left(abc\right)^6}=6abc\)

\(\Leftrightarrow9\left(a^2b+ab^2+a^2c+ac^2+c^2b+cb^2\right)+18abc\ge8\left(a^2b+ab^2+a^2c+ac^2+c^2b+cb^2\right)+24abc\)\(\Leftrightarrow9\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge8\left(a+b+c\right)\left(ab+bc+ca\right)\)

\(\Leftrightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\frac{8}{9}\left(a+b+c\right)\left(ab+bc+ca\right).\)(2)

Từ (1) và (2) suy ra:

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

Thật vậy ta có; \(\left(a+b+c\right)\left(ab+bc+ca\right)\ge3\sqrt[3]{abc}.3\sqrt[3]{ab.bc.ca}=9abc\)(BĐT AM-GM)

Lại có:\(\sqrt{3}\left(ab+bc+ca\right)\ge\sqrt{3}\sqrt{ab+bc+ca}.\left(ab+bc+ca\right)\)(Do :
\(ab+bc+ca\le1\Rightarrow1\ge\sqrt{ab+bc+ca}.\))

                                                       \(\ge3.\sqrt{3\sqrt[3]{a^2b^2c^2}}.3.\sqrt[3]{a^2b^2c^2}=9abc\)(BĐT AM-GM)

Vậy \(\left(a+b+c\right)\left(ab+bc+ca\right)+\sqrt{3}\left(ab+bc+ca\right)\ge9abc+9abc\)

\(\Rightarrow\left(a+b+c+\sqrt{3}\right)\left(ab+bc+ca\right)\ge18abc\)

\(\Rightarrow a+b+c+\sqrt{3}\ge\frac{18}{ab+bc+ca}\)(4)

Từ (3) và (4) ta có:

\(a+b+c+\sqrt{3}\ge8abc.\left(\frac{1}{a^2+1}+\frac{1}{b^2+1}+\frac{1}{c^2+1}\right)\)

Answer 2

[Tran Le Khanh Linh]

Chứng minh BĐT quen thuộc \(9\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge8\left(a+b+c\right)\left(ab+bc+ca\right)\) Kết hợp với giả thiết ta có: \(\frac{1}{a^2+1}+\frac{1}{b^2+1}+\frac{1}{c^2+1}\le\frac{1}{a^2+ab+bc+ca}+\frac{1}{b^2+ab+bc+ca}+\frac{1}{c^2+ab+bc+ca}\)

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

\(\le\frac{2\left(a+b+c\right)}{\frac{8}{9}\left(a+b+c\right)\left(ab+bc+ca\right)}=\frac{9}{4\left(ab+bc+ca\right)}\) Như vậy cần chứng minh

\(a+b+c+\sqrt{3}\ge8abc\cdot\frac{9}{4\left(ab+bc+ca\right)}=\frac{18\left(a+b+c\right)}{ab+bc+ca}\)

\(\Leftrightarrow\left(a+b+c\right)\left(ab+bc+ca\right)+\sqrt{3}\left(ab+bc+ca\right)\ge18abc\)

Ta đã có \(\left(a+b+c\right)\left(ab+bc+ca\right)\ge9abc\) nên cần chứng minh được

\(\sqrt{3}\left(ab+bc+ca\right)\ge9abc\Leftrightarrow ab+bc+ca\ge3\sqrt{3}abc\)

Theo BĐT AM-GM ta đi chứng minh một kết quả chặt hơn là:

\(3\sqrt[2]{a^2b^2c^2}\ge3\sqrt{3}abc\Leftrightarrow abc\le\frac{1}{3\sqrt{3}}\)

Và đây là điều luôn đúng vì \(abc=\sqrt{ab\cdot bc\cdot ca}\le\sqrt{\left(\frac{ab+bc+ca}{3}\right)^3}\le\sqrt{\frac{1}{27}}=\frac{1}{3\sqrt{3}}\)

Ta được đpcm. Dấu \("="\Leftrightarrow a=b=c=\frac{\sqrt{3}}{3}\)