Chứng minh bc/(1+a^2)+ca/(1+b^2)+ab/(1+c^2) < = 3/4

\(BĐT\Leftrightarrow\sum\dfrac{2bc}{1+a^2}\le\dfrac{3}{2}\Leftrightarrow\sum\dfrac{-2bc}{2a^2+b^2+c^2}\ge-\dfrac{3}{2}\)

\(\Leftrightarrow\sum\dfrac{2a^2+\left(b-c\right)^2}{2a^2+b^2+c^2}\ge\dfrac{3}{2}\)

ÁP dụng BĐT cauchy-schwarz:

\(\sum\dfrac{2a^2}{2a^2+b^2+c^2}\ge\dfrac{2\left(a+b+c\right)^2}{4\left(a^2+b^2+c^2\right)}=\dfrac{\left(a+b+c\right)^2}{2\left(a^2+b^2+c^2\right)}\)

và \(\sum\dfrac{\left(b-c\right)^2}{2a^2+b^2+c^2}=\dfrac{\left(b-c\right)^2}{2a^2+b^2+c^2}+\dfrac{\left(a-b\right)^2}{2c^2+a^2+b^2}+\dfrac{\left(a-c\right)^2}{2b^2+a^2+c^2}\ge\dfrac{4\left(a-c\right)^2}{4\left(a^2+b^2+c^2\right)}=\dfrac{\left(a-c\right)^2}{a^2+b^2+c^2}\)

( Lưu ý : \(\left(c-a\right)^2=\left(a-c\right)^2\)) (1)

Do vậy cần chứng minh \(\dfrac{\left(a+b+c\right)^2+2\left(a-c\right)^2}{2\left(a^2+b^2+c^2\right)}\ge\dfrac{3}{2}\)

\(\Leftrightarrow2\left(a+b+c\right)^2+4\left(a-c\right)^2\ge6\left(a^2+b^2+c^2\right)\)

\(\Leftrightarrow ab+bc-ac-b^2\ge0\)

\(\Leftrightarrow\left(a-b\right)\left(b-c\right)\ge0\) (*)

(*) không phải luôn đúng, tuy nhiên ta có thể ép cho nó đúng .

bằng cách đáng giá tương tự BĐT (1) :

\(\left\{{}\begin{matrix}\dfrac{\left(b-a\right)^2}{2c^2+a^2+b^2}+\dfrac{\left(b-c\right)^2}{2a^2+b^2+c^2}+\dfrac{\left(c-a\right)^2}{2b^2+a^2+c^2}\ge\dfrac{\left(b-a\right)^2}{a^2+b^2+c^2}\\\dfrac{\left(a-b\right)^2}{2c^2+a^2+b^2}+\dfrac{\left(c-b\right)^2}{2a^2+b^2+c^2}+\dfrac{\left(c-a\right)^2}{2b^2+a^2+c^2}\ge\dfrac{\left(c-b\right)^2}{a^2+b^2+c^2}\end{matrix}\right.\)

ta thu được BĐT cần chứng minh tương đương \(\left\{{}\begin{matrix}\left(b-c\right)\left(c-a\right)\ge0\left(3\right)\\\left(c-a\right)\left(a-b\right)\ge0\left(4\right)\end{matrix}\right.\)

Dễ thấy \(\left(a-b\right)\left(b-c\right).\left(b-c\right)\left(c-a\right).\left(c-a\right)\left(a-b\right)=\left[\left(a-b\right)\left(b-c\right)\left(c-a\right)\right]^2\ge0\)

tích của chúng là 1 số không âm nên có ít nhất 1 số không âm .Chứng tỏ có ít nhất 1 BĐT đúng

Do đó ta có đpcm

Dấu = xảy ra khi \(a=b=c=\dfrac{1}{\sqrt{3}}\)