Đặt \(\left(a;b;c\right)\rightarrow\left(\frac{2y'z'}{x'^2};\frac{2z'x'}{y'^2};\frac{2x'y'}{z'^2}\right)\) với x', y', z' > 0. Quy về chứng minh:

\(\Sigma_{cyc}\frac{x'^3}{\sqrt{x'^6+8y'^3z'^3}}\ge1\). Đặt \(\left(x'^3;y'^3;z'^3\right)=\left(x;y;z\right)\). Quy về:

\(\Sigma_{cyc}\frac{x}{\sqrt{x^2+8yz}}\ge1\). Đến đây em thấy khá quen thuộc, hình như là bài IMO nào đó, để tối lục lại.

Ok, nó đây: https://olm.vn/hoi-dap/detail/229477332481.html

Bất đắc dĩ nên em mới dùng Sigma nhiều v:

Ta có:\(\sqrt{a^3+1}=\sqrt{\left(a+1\right)\left(a^2-a+1\right)}\le\frac{a+1+a^2-a+1}{2}\)

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

Nên \(K=\text{Σ}_{cyc}\frac{1}{\sqrt{a^3+1}}\ge\text{Σ}\frac{1}{a^2+2}=Q\)

\(Q=\frac{\text{Σ}_{cyc}[2\left(a^2+2\right)\left(b^2+2\right)]}{\text{Σ}_{cyc}\left(a^2+2\right)}\)

\(=\frac{2\left(a^2b^2+c^2b^2+a^2c^2\right)+8\left(a^2+b^2+c^2\right)+24}{2\left(a^2b^2+c^2b^2+a^2c^2\right)+4\left(a^2+b^2+c^2\right)+8+a^2b^2c^2}\)

\(=\frac{2\left(\text{​​}\text{​​}\text{Σ}_{cyc}a^2b^2\right)+4\left(\text{Σ}_{cyc}a^2\right)+24+4\left(\text{Σ}_{cyc}a^2\right)}{2\left(a^2b^2+c^2b^2+a^2c^2\right)+4\left(a^2+b^2+c^2\right)+8+64}\)

\(\ge\frac{2\left(\text{Σ}a^2b^2\right)+4\left(\text{Σ}_{cyc}a^2\right)+24+12\sqrt[3]{a^2b^2c^2}}{2\left(\text{Σ}_{cyc}a^2b^2\right)+4\left(\text{Σ}_{cyc}a^2\right)+72}=1\)

Dấu "=" xảy ra khi a = b = c = 2.

Ta có : \(\frac{1}{\sqrt{a}}+\frac{1}{\sqrt{b}}+\frac{1}{\sqrt{c}}=1\Leftrightarrow\sqrt{ab}+\sqrt{bc}+\sqrt{ac}=\sqrt{abc}\)

Do đó : \(ab+bc+ac\ge\frac{abc}{3}\)

\(\Leftrightarrow3\left(ab+bc+ac\right)\ge\left(\sqrt{ab}+\sqrt{bc}+\sqrt{ac}\right)^2\)

\(\Leftrightarrow2\left(ab+bc+ca\right)\ge2\left(\sqrt{a^2bc}+\sqrt{b^2ac}+\sqrt{c^2ab}\right)\)

\(\Leftrightarrow a\left(\sqrt{b}-\sqrt{c}\right)^2+b\left(\sqrt{c}-\sqrt{a}\right)^2+c\left(\sqrt{a}-\sqrt{b}\right)^2\ge0\) (luôn đúng)

Vậy bđt ban đầu được chứng minh

\(\frac{1}{\sqrt{1+a^3}}=\frac{1}{\sqrt{\left(1+a\right)\left(a^2-a+1\right)}}\ge\frac{2}{a^2+2}\)

\(\Rightarrow VT\ge\frac{2}{a^2+2}+\frac{2}{b^2+2}+\frac{2}{c^2+2}\)

Đặt \(\left(a;b;c\right)=\left(2\sqrt{\frac{x}{y}};2\sqrt{\frac{y}{z}};2\sqrt{\frac{z}{x}}\right)\)

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

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

ko biết

Ta có: \(\frac{1}{\sqrt{1+a^2}}=\sqrt{\frac{abc}{abc+a^2\left(a+b+c\right)}}=\sqrt{\frac{bc}{ac+a^2+ab+ac}}=\sqrt{\frac{bc}{\left(a+b\right)\left(a+c\right)}}\)

Áp dụng bđt Cô-si được

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

Thiết lập các bđt còn lại cho 2 số hạng còn lại rồi cộng vào được đpcm

Dễ dàng dự đoán được dấu "=" xảy ra khi \(a=b=c=\frac{1}{3}\)Nhận thấy các đại lượng trong căn và mẫu đồng chưa bậc nên suy nghĩ đầu tiên là đồng bậc. Để ý đến giả thiết a+b+c=1 ta thấy \(a^2+abc=a^2\left(a+b+c\right)+abc=a\left(a+b\right)\left(a+c\right)\)

\(c+ab=a\left(a+b+c\right)+ab=\left(a+c\right)\left(b+c\right)\)

Hoàn toàn tương tự ta có \(b^2+abc=b\left(b+a\right)\left(b+c\right);c^2+abc=c\left(c+b\right)\left(c+a\right)\)

\(b+ac=\left(a+b\right)\left(b+c\right);a+bc=\left(a+b\right)\left(b+c\right)\)

Khi đó bất đẳng thức cần chứng minh trở thành

\(\frac{\sqrt{a\left(a+b\right)\left(a+c\right)}}{\left(a+c\right)\left(b+c\right)}+\frac{\sqrt{b\left(b+c\right)\left(b+a\right)}}{\left(a+b\right)\left(a+c\right)}+\frac{\sqrt{c\left(c+a\right)\left(c+b\right)}}{\left(b+a\right)\left(b+c\right)}\le\frac{1}{2\sqrt{abc}}\)

hay \(\frac{a\sqrt{bc\left(a+b\right)\left(a+c\right)}}{\left(a+c\right)\left(c+b\right)}+\frac{b\sqrt{ab\left(b+c\right)\left(a+b\right)}}{\left(a+b\right)\left(a+c\right)}+\frac{c\sqrt{ab\left(a+b\right)\left(b+c\right)}}{\left(c+b\right)\left(b+a\right)}\le\frac{1}{2\sqrt{abc}}\)

Quan sát bất đẳng thức trên ta liên tưởng đến bất đẳng thức Cauchy, để ý là

\(bc\left(a+b\right)\left(a+c\right)=c\left(a+b\right)\cdot b\left(a+c\right)=b\left(a+b\right)\cdot c\left(a+c\right)\)

Trong 2 cách viết trên ta chọn cách viết thứ nhất vì khi sử dụng bất đẳng thức Cauchy dạng \(2\sqrt{xy}\le x+y\)thì không tạo ra các đại lượng có chứa các bình phương. Khi đó áp dụng bất đẳng thức Cauchy ta được

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

Áp dụng tương tự ta được

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

Phép chứng minh sẽ hoàn tất nếu ta chỉ ra được \(\frac{a\left(ab+2bc+ca\right)}{2\left(c+a\right)\left(c+b\right)}+\frac{b\left(ab+bc+2ac\right)}{2\left(a+b\right)\left(a+c\right)}+\frac{c\left(2ab+bc+ca\right)}{2\left(b+c\right)\left(b+a\right)}\le1\)

hay \(a\left(ab+2bc+ca\right)\left(a+b\right)+b\left(b+c\right)\left(ab+bc+2ca\right)+c\left(c+b\right)\left(2ab+bc+ca\right)\)\(\le\left(a+b\right)\left(b+c\right)\left(c+a\right)\)

Vế trái của bất đẳng thức là bậc bốn còn vế phải là bậc ba nên ta có thể đồng bậc là

\(a\left(ab+2bc+ca\right)+b\left(b+c\right)\left(ab+bc+2ac\right)+c\left(c+b\right)\left(2ab+bc+ca\right)\)

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

Triển khai và thu gọn ta được \(a^3\left(b+c\right)+b^3\left(c+a\right)+c^3\left(a+b\right)+a^2b^2+b^2c^2+c^2a^2+5\left(a^2bc+ab^2c+abc^2\right)\)

\(\le a^3\left(b+c\right)+b^3\left(a+c\right)+c^3\left(a+b\right)+2\left(a^2b^2+b^2c^2+c^2a^2\right)+4\left(a^2bc+ba^2c+abc^2\right)\)

hay \(abc\left(a+b+c\right)\le a^2b^2+b^2c^2+c^2a^2\), đây là một đánh giá đúng

Dấu đẳng thức xảy ra tại \(a=b=c=\frac{1}{3}\)

Áp dụng giả thiết và một đánh giá quen thuộc, ta được: \(16\left(a+b+c\right)\ge\frac{1}{a}+\frac{1}{b}+\frac{1}{c}=\frac{ab+bc+ca}{abc}=\frac{\left(ab+bc+ca\right)^2}{abc\left(ab+bc+ca\right)}\ge\frac{3\left(a+b+c\right)}{ab+bc+ca}\)hay \(\frac{1}{6\left(ab+bc+ca\right)}\le\frac{8}{9}\)

Đến đây, ta cần chứng minh \(\frac{1}{\left(a+b+\sqrt{2\left(a+c\right)}\right)^3}+\frac{1}{\left(b+c+\sqrt{2\left(b+a\right)}\right)^3}+\frac{1}{\left(c+a+\sqrt{2\left(c+b\right)}\right)^3}\le\frac{1}{6\left(ab+bc+ca\right)}\)

 Áp dụng bất đẳng thức Cauchy cho ba số dương ta có \(a+b+\sqrt{2\left(a+c\right)}=a+b+\sqrt{\frac{a+c}{2}}+\sqrt{\frac{a+c}{2}}\ge3\sqrt[3]{\frac{\left(a+b\right)\left(a+c\right)}{2}}\)hay \(\left(a+b+\sqrt{2\left(a+c\right)}\right)^3\ge\frac{27\left(a+b\right)\left(a+c\right)}{2}\Leftrightarrow\frac{1}{\left(a+b+2\sqrt{a+c}\right)^3}\le\frac{2}{27\left(a+b\right)\left(a+c\right)}\)

Hoàn toàn tương tự ta có \(\frac{1}{\left(b+c+2\sqrt{b+a}\right)^3}\le\frac{2}{27\left(b+c\right)\left(b+a\right)}\); \(\frac{1}{\left(c+a+2\sqrt{c+b}\right)^3}\le\frac{2}{27\left(c+a\right)\left(c+b\right)}\)

Cộng theo vế các bất đẳng thức trên ta được \(\frac{1}{\left(a+b+\sqrt{2\left(a+c\right)}\right)^3}+\frac{1}{\left(b+c+\sqrt{2\left(b+a\right)}\right)^3}+\frac{1}{\left(c+a+\sqrt{2\left(c+b\right)}\right)^3}\le\frac{4\left(a+b+c\right)}{27\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)Phép chứng minh sẽ hoàn tất nếu ta chỉ ra được \(\frac{4\left(a+b+c\right)}{27\left(a+b\right)\left(b+c\right)\left(c+a\right)}\le\frac{1}{6\left(ab+bc+ca\right)}\)\(\Leftrightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\frac{8}{9}\left(ab+bc+ca\right)\left(a+b+c\right)\)

Đây là một đánh giá đúng, thật vậy: đặt a + b + c = p; ab + bc + ca = q; abc = r thì bất đẳng thức trên trở thành \(pq-r\ge\frac{8}{9}pq\Leftrightarrow\frac{1}{9}pq\ge r\)*đúng vì \(a+b+c\ge3\sqrt[3]{abc}\); \(ab+bc+ca\ge3\sqrt[3]{\left(abc\right)^2}\))

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

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

Bài 1: diendantoanhoc.net

Đặt \(a=\frac{1}{x};b=\frac{1}{y};c=\frac{1}{z}\) BĐT cần chứng minh trở thành

\(\frac{x}{\sqrt{3zx+2yz}}+\frac{x}{\sqrt{3xy+2xz}}+\frac{x}{\sqrt{3yz+2xy}}\ge\frac{3}{\sqrt{5}}\)

\(\Leftrightarrow\frac{x}{\sqrt{5z}\cdot\sqrt{3x+2y}}+\frac{y}{\sqrt{5x}\cdot\sqrt{3y+2z}}+\frac{z}{\sqrt{5y}\cdot\sqrt{3z+2x}}\ge\frac{3}{5}\)

Theo BĐT AM-GM và Cauchy-Schwarz ta có:

\( {\displaystyle \displaystyle \sum }\)\(_{cyc}\frac{x}{\sqrt{5z}\cdot\sqrt{3x+2y}}\ge2\)\( {\displaystyle \displaystyle \sum }\)\(\frac{x}{3x+2y+5z}\ge\frac{2\left(x+y+z\right)^2}{x\left(3x+2y+5z\right)+y\left(5x+3y+2z\right)+z\left(2x+5y+3z\right)}\)

\(=\frac{2\left(x+y+z\right)^2}{3\left(x^2+y^2+z^2\right)+7\left(xy+yz+zx\right)}\)

\(=\frac{2\left(x+y+z\right)^2}{3\left(x^2+y^2+z^2\right)+\frac{1}{3}\left(xy+yz+zx\right)+\frac{20}{3}\left(xy+yz+zx\right)}\)

\(\ge\frac{2\left(x+y+z\right)^2}{3\left(x^2+y^2+z^2\right)+\frac{1}{3}\left(x^2+y^2+z^2\right)+\frac{20}{3}\left(xy+yz+zx\right)}\)

\(=\frac{2\left(x^2+y^2+z^2\right)}{5\left[x^2+y^2+z^2+2\left(xy+yz+zx\right)\right]}=\frac{3}{5}\)

Bổ sung bài 1:

BĐT được chứng minh

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