Inequality 16

[Bài toán]: Cho a,b,c>0. CMR: \displaystyle{\frac{a^{4}}{a^{3}+b^{3}}+\frac{b^{4}}{b^{3}+c^{3}}+\frac{c^{4}}{c^{3}+a^{3}}\geq \frac{a+b+c}{2}}
                                                               Lời giải
Nhân cả hai vế BĐT với a^3+b^3+c^3, ta được:
\displaystyle{\left ( \frac{a^4}{a^3+b^3}+\frac{b^4}{b^3+c^3}+\frac{c^4}{c^3+a^3} \right )(a^3+b^3+c^3)\geq \frac{(a+b+c)(a^3+b^3+c^3)}{2}}
\Leftrightarrow a^4+b^4+c^4+\sum \displaystyle{\frac{a^4c^3}{a^3+b^3}\geq \frac{(a+b+c)(a^3+b^3+c^3)}{2}}
Áp dụng BĐT \text{Cauchy-Schwarz}
\sum \displaystyle{\frac{a^4c^3}{a^3+b^3}=\sum \frac{a^4c^4}{c(a^3+b^3)}\geq \frac{(a^2b^2+b^2c^2+c^2a^2)^2}{\sum c(a^3+b^3)}}
Áp dụng BĐT \text{AM-GM}:
\displaystyle{\frac{(\sum a^2b^2)^2}{\sum c(a^3+b^3)}+\frac{1}{4}\left ( \sum c(a^3+b^3) \right )\geq \sum a^2b^2}
\Leftrightarrow \displaystyle{\frac{(\sum a^2b^2)^2}{\sum c(a^3+b^3)}\geq \sum a^2b^2- \frac{1}{4}\left ( \sum c(a^3+b^3) \right )}
Do đó, ta phải CM:
\displaystyle{\sum a^4+\sum a^2b^2-\frac{1}{4}\left ( \sum c(a^3+b^3) \right )\geq \frac{(\sum a)(\sum a^3)}{2}}
\Leftrightarrow 4\sum a^4+4\sum a^2b^2-\sum c(a^3+b^3)\geq 2\sum a^4+2\sum c(a^3+b^3)
\Leftrightarrow 2\sum a^4+4\sum a^2b^2\geq 3\sum c(a^3+b^3)=3\sum ab(a^2+b^2)
Phải CM BĐT sau, các BĐT còn lại CM tương tự:
a^4+b^4+4a^2b^2\geq 3ab(a^2+b^2)
\Leftrightarrow (a^2+b^2)^2-3ab(a^2+b^2)+2a^2b^2\geq 0
\Leftrightarrow (a-b)^2(a^2+b^2-ab)\geq 0\qquad(\text{True})
Cộng các BĐT vừa thiết lập, ta có Q.E.D, dấu bằng xảy ra \Leftrightarrow a=b=c \blacksquare

Inequality 14

(Problem 6 – VMO 2014)
[Bài toán]: Cho a,b,c>0. Tìm GTLN của biểu thức:
T=\displaystyle{\frac{x^3y^4z^3}{(x^4+y^4)(xy+z^2)^3}+\frac{y^3z^4x^3}{(y^4+z^4)(yz+x^2)^3}+\frac{z^3x^4y^3}{(z^4+x^4)(zx+y^2)^3}}
                                                                  Lời Giải
Đặt \left ( \displaystyle{\frac{x}{y},\frac{y}{z},\frac{z}{x}} \right )=(a,b,c)
Qua biến đổi đại số sơ cấp, ta có: T=\sum \displaystyle{\frac{1}{(a^4+1)(b+c)^3}}
Có các BĐT: a^4+1\geq \displaystyle{\frac{(a^2+1)^2}{2}};(b+c)^3\geq 4bc(b^2+c^2)
Áp dụng BĐT CBS(a^2+1)(b^2+c^2)\geq (ab+c)^2;(ac+b)^2
Ta có: T\leq \sum \displaystyle{\frac{1}{2(a^2+1)\sqrt{(a^2+1)(b^2+c^2)}^2}\leq \sum \frac{1}{2(a^2+1)bc(ac+b)(ab+c)}} \leq \sum \displaystyle{\frac{1}{2(a^2+1)bc.\frac{b^2+1}{b}.\frac{c^2+1}{c}}\leq \sum \frac{1}{2(a^2+1)(b^2+1)(c^2+1)}\leq \frac{3}{2.2a.2b.2c}=\frac{3}{16}}
Dấu bằng xảy ra \Leftrightarrow x=y=z
Vậy BĐT được CM \blacksquare

Inequality 12

[Bài toán]: Cho a,b,c\geq 0 thỏa mãn a+b+c=2. CMR: (a^2+ab+b^2)(b^2+bc+c^2)(c^2+ca+a^2)\leq 3
                                                               Lời Giải
Không mất tính tổng quát, giả sử a\geq b\geq c\geq 0.
Đặt \displaystyle{t=\frac{a+b}{2};u=\frac{a-b}{2}(t,u\geq 0;t\leq 1)}
\rightarrow a^2+2ab+b^2=4t^2;a^2-2ab+b^2=4u^2
\blacktriangleright Ta phải CM: (a^2+ab+b^2)(b^2+bc+c^2)(c^2+ca+a^2)\leq 3t^2(t^2+tc+c^2)^2\qquad (*)
Ta có: +, a^2+ab+b^2=2t^2+2u^2+t^2-u^2=3t^2+u^2
+, (b^2+bc+c^2)(c^2+ca+a^2)
=c^4+a^2b^2+b^2c^2+c^2a^2+c^3(a+b)+abc(a+b+c)
=c^4+(t^2-u^2)^2+2c^2(t^2+u^2)+2tc^3+c(t^2-u^2)(c+2t)
=c^4+t^4-2t^2u^2+u^4+2t^2c^2+2u^2c^2+2tc^3+t^2c^2+2t^3c-c^2u^2-2tcu^2
=c^4+3t^2c^2+t^4+2tc(t^2+c^2)-u^2(2tc-c^2+2t^2-u^2)
Ta phải CM: \displaystyle{\frac{3t^2}{a^2+ab+b^2}-1\geq \frac{(b^2+bc+c^2)(c^2+ca+a^2)}{(t^2+tc+c^2)^2}-1}
\Leftrightarrow \displaystyle{\frac{3t^2-3t^2-u^2}{3t^2+u^2}\geq \frac{-u^2(2tc-c^2+2t^2-u^2)}{(t^2+tc+c^2)^2}}
\Leftrightarrow \displaystyle{\frac{1}{3t^2+u^2}\leq \frac{2tc-c^2+2t^2-u^2}{(t^2+tc+c^2)^2}}
\Leftrightarrow (2tc-c^2+2t^2-u^2)(3t^2+u^2)\geq (t^2+tc+c^2)^2
\Leftrightarrow 6t^3c+2tcu^2-3t^2c^2-c^2u^2+6t^4+2t^2u^2-3t^2u^2-u^4\geq t^4+t^2c^2+c^4+2t^3c+2tc^3+2t^2c^2
\Leftrightarrow 4t^3-2tc^3-6t^2c^2+5t^4-c^4\geq u^2c^2-2tc^2+t^2u^2+u^4=u^2(t-c)^2+u^4
Lại có:  5t^4+4t^3c-6t^2c^2+5t^4-c^4\geq 5t^4-5t^2c^2=5t^2(t-c)(t+c)
=5(t^3+t^2c)(t-c)\geq 5t^3(t-c)\geq 2(t-c)^4\geq u^2(t-c)^2+u^4\rightarrow (*) được CM.
\blacktriangleright Cuối cùng, ta phải CM: 3t^2(t^2+tc+c^2)^2\leq 3
Ta có: t=\displaystyle{\frac{a+b}{2}}\Rightarrow c=2-2t
\rightarrow t^2[t^2+t(2-2t)+(2-2t)^2]^2\leq 1\Leftrightarrow 3t^3-6t^2+4t-1\leq 0
\Leftrightarrow (3t^2-3t+1)(t-1)\leq 0\rightarrow \text{True}
Vậy bất đẳng thức ban đầu được CM, dấu bằng xảy ra \Leftrightarrow (a,b,c)=(1;1;0) và hoán vị \blacksquare

Inequality 10

(Olympiad Chuyên KHTN 2014)
Cho a,b,c\geq 0 thỏa mãn (a+b+2c)(b+c+2a)(c+a+2b)=1.
CMR: \displaystyle{\sum \frac{a}{b(4c+15)(b+2c)^2}\geq \frac{1}{3}}
                                                                 Lời Giải
Áp dụng bất đẳng thức AM-GM:
\displaystyle{(a+b+2c)(b+c+2a)(c+a+2b)\leq \frac{[4(a+b+c)]^3}{27}} \Leftrightarrow \displaystyle{a+b+c\geq \frac{3}{4}}
Áp dụng bất đẳng thức C-S:
+, \displaystyle{\sum \frac{a}{b+2c}=\sum \frac{a^2}{ab+2ac}\geq \frac{(a+b+c)^2}{3(ab+bc+ca)}\geq 1}
+, \displaystyle{\sum \frac{a}{b(4c+15)(b+2c)^2}}
\displaystyle{=\sum \frac{(\frac{a}{b+2c})^2}{ab(4c+15)}}
\displaystyle{\geq \frac{(\sum \frac{a}{b+2c})^2}{12abc+15(ab+bc+ca)}}
\displaystyle{\geq \frac{1}{3[4abc+5(ab+bc+ca)]}}
Cần phải CM: \displaystyle{\frac{1}{3[4abc+5(ab+bc+ca)]}\geq \frac{1}{3}}
Thật vậy: \Leftrightarrow 4abc+5(ab+bc+ca)\leq (a+b+2c)(b+c+2a)(c+a+2b)
\Leftrightarrow 4abc+5(ab+bc+ca)\leq 2(a+b+c)^3+(a+b+c)(ab+bc+ca)+abc
\Leftrightarrow 3abc+\displaystyle{\frac{17}{4}(ab+bc+ca)\leq 2(a+b+c)^3} \qquad (*)
Áp dụng bất đẳng thức AM-GM:
+, \displaystyle{\frac{1}{9}(a+b+c)^3\geq \frac{1}{9}(3\sqrt[3]{abc})^3=3abc} (1)
+, \displaystyle{\frac{17}{9}(a+b+c)^3\geq \frac{17}{12}.3(ab+bc+ca)=\frac{17}{4}(ab+bc+ca)} (2)
Cộng theo vế (1),(2) \Rightarrow (**) được chứng minh.
Dấu bằng xảy ra \displaystyle{\Leftrightarrow a=b=c=\frac{1}{4}}
Vậy BĐT ban đầu được chứng minh \blacksquare

Inequality 9

(Iran TST 1996)
Cho a,b,c không âm. CMR:
\displaystyle{\frac{1}{(x+y)^2}+\frac{1}{(y+z)^2}+\frac{1}{(z+x)^2}\geq \frac{9}{4(xy+yz+zx)}}
                                                              Lời Giải
Đặt x+y=a,y+z=b,z+x=c \qquad(a,b,c\geq 0)
\Rightarrow \displaystyle{x=\frac{a+c-b}{2};y=\frac{a+b-c}{2};z=\frac{b+c-a}{2}}
Viết lại bất đẳng thức:
\displaystyle{\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}\geq \frac{9}{2(ab+bc+ca)-(a^2+b^2+c^2)}}
\Leftrightarrow \displaystyle{(a-b)^2(\frac{2}{ab}-\frac{1}{c^2})+(b-c)^2(\frac{2}{bc}-\frac{1}{a^2})+(c-a)^2(\frac{2}{ca}-\frac{1}{b^2})}\geq 0
\rightarrow \displaystyle{S_a=\frac{2}{bc}-\frac{1}{a^2};S_b=\frac{2}{ca}-\frac{1}{b^2};S_c=\frac{2}{ab}-\frac{1}{c^2}}
Giả sử a\geq b\geq c
Dễ dàng CM: S_a\geq 0
Áp dụng tiêu chuẩn 4 của định lí S.O.S:
b^2S_c+c^2S_b\geq 0
\Leftrightarrow \displaystyle{b^2(\frac{2}{ca}-\frac{1}{b^2})+c^2(\frac{2}{ab}-\frac{1}{c^2})}\geq 0 (*)
\Leftrightarrow b^3+c^3\geq abc \qquad (**)
Ta có: a\leq b+c\Leftrightarrow x+y\leq y+z+z+x\Leftrightarrow 2z\geq 0(\text {True})
\rightarrow b^3+c^3\geq bc(b+c)\geq abc
BĐT (**) \Rightarrow (*) được CM.
Dấu bằng xảy ra \Leftrightarrow a=b=c hoặc a=b;c=0 và hoán vị.
Vậy BĐT được chứng minh \blacksquare
______________________________

Nhận xét: Đây là ví dụ tiêu biểu cho phương pháp phân tích bình phương S.O.S.