Trước hết theo BĐT Schur bậc 3 ta có:

\(\left(a+b+c\right)\left(a^2+b^2+c^2\right)+9abc\ge2\left(a+b+c\right)\left(ab+bc+ca\right)\)

\(\Leftrightarrow a^2+b^2+c^2+3abc\ge2\left(ab+bc+ca\right)\) (do \(a+b+c=3\)) (1)

Đặt vế trái BĐT cần chứng minh là P, ta có:

\(P=\dfrac{\left(a^2+abc\right)^2}{a^2b^2+2abc^2}+\dfrac{\left(b^2+abc\right)^2}{b^2c^2+2a^2bc}+\dfrac{\left(c^2+abc\right)^2}{a^2c^2+2ab^2c}\)

\(\Rightarrow P\ge\dfrac{\left(a^2+b^2+c^2+3abc\right)^2}{a^2b^2+b^2c^2+c^2a^2+2abc\left(a+b+c\right)}=\dfrac{\left(a^2+b^2+c^2+3abc\right)^2}{\left(ab+bc+ca\right)^2}\)

Áp dụng (1):

\(\Rightarrow P\ge\dfrac{\left[2\left(ab+bc+ca\right)\right]^2}{\left(ab+bc+ca\right)^2}=4\) (đpcm)

Dấu "=" xảy ra khi \(a=b=c=1\)

Theo bđt Cauchy - Schwart ta có:

\(\text{Σ}cyc\frac{c}{a^2\left(bc+1\right)}=\text{Σ}cyc\frac{\frac{1}{a^2}}{b+\frac{1}{c}}\ge\frac{\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^2}{\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+a+b+c}\)\(=\frac{\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^2}{\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+3}\)

\(=\frac{\left(ab+bc+ca\right)^2}{abc\left(ab+bc+ca\right)+3a^2b^2c^2}\)

Đặt \(ab+bc+ca=x;abc=y\).

Ta có: \(\frac{x^2}{xy+3y^2}\ge\frac{9}{x\left(1+y\right)}\Leftrightarrow x^3+x^3y\ge9xy+27y^2\)

\(\Leftrightarrow x\left(x^2-9y\right)+y\left(x^3-27y\right)\ge0\) ( luôn đúng )

Vậy BĐT đc CM. Dấu '=' xảy ra <=> a=b=c=1

sai rồi nhé bạn 

làm sao mà \(x\left(x^2-9y\right)+y\left(x^3-27y\right)\ge0\)lại luôn đúng

\(sigma\frac{a^2+b^2}{ab\left(a+b\right)^3}\ge sigma\frac{\frac{\left(a+b\right)^2}{2}}{\left(a+b\right)^2\left(a^3+b^3\right)}=sigma\frac{1}{2\left(a^3+b^3\right)}\ge\frac{9}{4\left(a^3+b^3+c^3\right)}=\frac{9}{4}\)

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

\(\Leftrightarrow\left(\Sigma a\right)^4\left(\Sigma a^4b^4\right)\left[\Sigma c^2\left(a^2+b^2\right)^2\right]\ge54^2\left(abc\right)^6\)

Giả sử \(c=\text{min}\left\{a,b,c\right\}\)và đặt \(a=c+u,b=c+v\) thì nhận được một BĐT hiển nhiên :P

Theo BĐT AM-GM ta có:

\(c^2\left(a^2+b^2\right)^2+a^2\left(b^2+c^2\right)^2+b^2\left(c^2+a^2\right)\ge3\sqrt[3]{\left(abc\right)^2\left[\left(a^2+b^2\right)\left(b^2+c^2\right)\left(c^2+a^2\right)\right]^2}\)

\(\ge3\sqrt[3]{\left(abc\right)^264\left(abc\right)^4}=12\left(abc\right)^2\)

=> \(\sqrt{c^2\left(a^2+b^2\right)^2+a^2\left(b^2+c^2\right)^2+b^2\left(a^2+c^2\right)^2}\ge2\sqrt{3}abc\)

Cũng theo BĐT AM-GM \(\left(ab\right)^4+\left(bc\right)^4+\left(ca\right)^4\ge3\sqrt[3]{\left(ab\right)^4\left(bc\right)^4\left(ca\right)^4}=3\left(abc\right)^2\sqrt[3]{\left(abc\right)^2}\)

=> \(\sqrt{\left(ab\right)^4+\left(bc\right)^4+\left(ca\right)^4}\ge\sqrt{3}\cdot abc\sqrt[3]{abc}\)và \(\left(a+b+c\right)^2\ge9\sqrt[3]{\left(abc\right)^2}\)

=> \(\sqrt{c^2\left(a^2+b^2\right)^2+a^2\left(b^2+c^2\right)^2+b^2\left(c^2+a^2\right)^2}\cdot\left(a+b+c\right)^2\cdot\sqrt{\left(ab\right)^4+\left(bc\right)^4+\left(ca\right)^4}\)

\(\ge2\sqrt{3}\left(abc\right)\cdot\sqrt{3}\left(abc\right)\sqrt[3]{abc}\cdot9\sqrt[3]{\left(abc\right)^2}\ge54\left(abc\right)^3\)

Dấu "=" xảy ra <=> a=b=c

\(\hept{\begin{cases}54&A,B,C^2&\end{cases}}\)\(\sqrt[54]{454}.A.B.C\)\(\sqrt{AB^4+BC^4+CA^4}\)\(\Rightarrow AB=CA=BC^4\)nên ta sẽ lại là 54abc³

vậy suy ra  \(x = {-b \pm \sqrt{b^2-4ac} \over 2a}\) ta =\(\notin54\) chả việc gì dài dòng cả

\(\left(a+b\right)\left(b+c\right)\left(c+a\right)+abc\)

\(=abc+a^2b+ab^2+a^2c+ac^2+b^2c+bc^2+abc+abc\)

\(=\left(a+b+c\right)\left(ab+bc+ca\right)\)( phân tích nhân tử các kiểu )

\(\Rightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\left(a+b+c\right)\left(ab+bc+ca\right)-abc\left(1\right)\)

\(a+b+c\ge3\sqrt[3]{abc};ab+bc+ca\ge3\sqrt[3]{a^2b^2c^2}\Rightarrow\left(a+b+c\right)\left(ab+bc+ca\right)\ge9abc\)

\(\Rightarrow-abc\ge\frac{-\left(a+b+c\right)\left(ab+bc+ca\right)}{9}\)

Khi đó:\(\left(a+b+c\right)\left(ab+bc+ca\right)-abc\)

\(\ge\left(a+b+c\right)\left(ab+bc+ca\right)-\frac{\left(a+b+c\right)\left(ab+bc+ca\right)}{9}\)

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

Từ ( 1 ) và ( 2 ) có đpcm

Bất đẳng thức trên đúng với mọi số thực a, b, c. Ai có thể chứng minh?

chia abc

Do abc khác 0 nên ta chia cả 2 vế của bđt cho abc. Ta được:

\(\sqrt{\left(\frac{a}{c}+\frac{b}{a}+\frac{c}{b}\right)\left(\frac{b}{c}+\frac{c}{a}+\frac{a}{b}\right)}\ge1+\sqrt[3]{\left(1+\frac{bc}{a^2}\right)\left(a+\frac{ca}{b^2}\right)\left(1+\frac{ab}{c^2}\right)}\)

\(\Leftrightarrow\sqrt{3+\frac{bc}{a^2}+\frac{ca}{b^2}+\frac{ab}{c^2}+\frac{a^2}{bc}+\frac{b^2}{ca}+\frac{c^2}{ab}}\ge1+\sqrt[3]{\left(1+\frac{bc}{a^2}\right)\left(1+\frac{ca}{b^2}\right)\left(1+\frac{ab}{c^2}\right)}\)

ĐẶT: \(x=\frac{bc}{a^2};y=\frac{ca}{b^2};z=\frac{ab}{c^2}\Rightarrow xyz=1\)

KHI ĐÓ TA CẦN CHỨNG MINH:

\(\sqrt{3+x+y+z+\frac{1}{x}+\frac{1}{y}+\frac{1}{z}}\ge1+\sqrt[3]{\left(1+x\right)\left(1+y\right)\left(1+z\right)}\)

\(\Leftrightarrow\sqrt{3+x+y+z+xy+yz+zx}\ge1+\sqrt[3]{2+x+y+z+xy+yz+zx}\)

ĐẶT : \(t=\sqrt[3]{2+x+y+z+xy+yz+zx}\)

ÁP DỤNG BĐT AM-GM TA CÓ:

\(x+y+z+xy+yz+zx\ge6\sqrt[6]{xyz.xy.yz.zx}=6\)        (DO xyz=1)

\(\Rightarrow t\ge\sqrt[3]{2+6}=2\)

VẬY BẤT ĐẲNG THỨC ĐÃ CHO TƯƠNG ĐƯƠNG VỚI:

\(\sqrt{t^3+1}\ge1+t\Leftrightarrow t^3+1\ge t^2+2t+1\Leftrightarrow t^3-t^2-2t\ge0\Leftrightarrow t\left(t+1\right)\left(t-2\right)\ge0\)

ĐÚNG VỚI : \(t\ge2\)

ĐẲNG THỨC XẢY RA KHI VÀ CHỈ KHI a=b=c

\(\Rightarrow DPCM\) 

Do a, b, c là các số thực dương nên abc khác 0

Bất đẳng thức cần chứng minh tương đương với \(\sqrt{\left(\frac{a}{c}+\frac{b}{a}+\frac{c}{b}\right)\left(\frac{b}{c}+\frac{c}{a}+\frac{a}{b}\right)}\ge1+\)\(+\sqrt[3]{\left(\frac{a^2}{bc}+1\right)\left(\frac{b^2}{ca}+1\right)\left(\frac{c^2}{ab}+1\right)}\)(Chia cả 2 vế của bất đẳng thức cho abc khác 0)

Đặt \(x=\frac{a}{b};y=\frac{b}{c};z=\frac{c}{a}\)thì \(\hept{\begin{cases}x,y,z>0\\xyz=1\end{cases}}\)và bất đẳng thức trên trở thành \(\sqrt{\left(xy+yz+zx\right)\left(x+y+z\right)}\ge1+\sqrt[3]{\left(\frac{x}{z}+1\right)\left(\frac{y}{x}+1\right)\left(\frac{z}{y}+1\right)}\)\(\Leftrightarrow\sqrt{\left(x+y\right)\left(y+z\right)\left(z+x\right)+xyz}\ge1+\sqrt[3]{\frac{\left(x+y\right)\left(y+z\right)\left(z+x\right)}{xyz}}\)\(\Leftrightarrow\sqrt{\left(x+y\right)\left(y+z\right)\left(z+x\right)+1}\ge1+\sqrt[3]{\left(x+y\right)\left(y+z\right)\left(z+x\right)}\)

Đặt \(t=\sqrt[3]{\left(x+y\right)\left(y+z\right)\left(z+x\right)}\)suy ra \(t\ge2\). Khi đó ta viết lại bất đẳng thức cần chứng minh thành \(\sqrt{t^3+1}\ge1+t\Leftrightarrow t^3+1\ge t^2+2t+1\Leftrightarrow t\left(t-2\right)\left(t+1\right)\ge0\)

Bất đẳng thức cuối cùng luôn đúng do \(t\ge2\)

Vậy bài toán được chứng minh 

Đẳng thức xảy ra khi a = b = c