Ta có:

sigma \(\frac{ab}{3a+4b+5c}=\) sigma \(\frac{2ab}{5\left(a+b+2c\right)+\left(a+3b\right)}\le\frac{2}{36}\left(sigma\frac{5ab}{a+b+2c}+sigma\frac{ab}{a+3b}\right)\)

Ta đi chứng minh: \(sigma\frac{ab}{a+b+2c}\le\frac{9}{4}\)

có: \(sigma\frac{ab}{a+b+2c}\le\frac{1}{4}\left(sigma\frac{ab}{c+a}+sigma\frac{ab}{b+c}\right)=\frac{1}{4}\left(a+b+c\right)=\frac{9}{4}\)

BĐT trên đúng nếu: \(sigma\frac{ab}{a+3b}\le\frac{9}{4}\)

Ta thấy: \(sigma\frac{ab}{a+3b}\le\frac{1}{16}\left(sigma\frac{ab}{a}+sigma\frac{3ab}{b}\right)=\frac{1}{16}\)( sigma \(b+sigma3a\)) \(=\frac{1}{4}\left(a+b+c\right)=\frac{9}{4}\)

\(\Leftrightarrow sigma\frac{ab}{3a+4b+5c}\le\frac{1}{18}\left(5.\frac{9}{4}+\frac{9}{4}\right)=\frac{3}{4}\)(1)

MÀ: \(\frac{1}{\sqrt{ab\left(a+2c\right)\left(b+2c\right)}}=\frac{2}{2\sqrt{\left(ab+2bc\right)\left(ab+2ca\right)}}\ge\frac{2}{2\left(ab+bc+ca\right)}\)

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

Từ (1) và (2) \(\Rightarrow T\le\frac{3}{4}-\frac{1}{27}=\frac{77}{108}\)

Vậy GTLN của biểu thức T là 77/108 <=> a=b=c=3

\(P^2=\left(\sqrt{4a+3}+\sqrt{4b+3}+\sqrt{4c+3}\right)^2\)

\(\le\left(1^2+1^2+1^2\right)\left(4a+3+4b+3+3c+3\right)\)

\(=63\)

\(\Rightarrow P\le\sqrt{63}=3\sqrt{7}\).

Dấu \(=\)khi \(\hept{\begin{cases}4a+3=4b+3=4c+3\\a+b+c=3\end{cases}}\Leftrightarrow a=b=c=1\).

Ta có:\(\sqrt{4a+3b+2}\le\frac{9+4a+3b+2}{6}=\frac{4a+3b+11}{6}\)

\(\Rightarrow\sum\frac{a^2}{\sqrt{4a+3b+2}}\ge6.\sum\frac{a^2}{4a+3b+11}\)

Lại có:\(6.\sum\frac{a^2}{4a+3b+11}\ge6.\frac{\left(a+b+c\right)^2}{7\left(a+b+c\right)+33}=\frac{54}{54}=1\)

\(\Rightarrow\sum\frac{a^2}{\sqrt{4a+3b+2}}\ge1\)

"="<=>x=y=z=1

\(VT\ge\frac{\left(a+b+c\right)^2}{\sqrt{4a+3b+2}+\sqrt{4b+3c+2}+\sqrt{4c+3a+2}}\ge\frac{\left(a+b+c\right)^2}{\sqrt{\left(1+1+1\right)\left(4a+3b+2+4b+3c+2+4c+3a+2\right)}}\)

\(\Rightarrow VT\ge\frac{\left(a+b+c\right)^2}{\sqrt{3\left(7\left(a+b+c\right)+6\right)}}=1\) (đpcm)

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

1)

Ta có: \(M=\Sigma_{cyc}\frac{\sqrt{3}\left(a+b+4c\right)}{\sqrt{3\left(a+b\right)\left(a+b+4c\right)}}\ge\Sigma_{cyc}\frac{\sqrt{3}\left(a+b+4c\right)}{\frac{3\left(a+b\right)+\left(a+b+4c\right)}{2}}=\Sigma_{cyc}\frac{\sqrt{3}\left(a+b+4c\right)}{2\left(a+b+c\right)}=3\sqrt{3}\)

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

2)

\(\Sigma_{cyc}\sqrt[3]{\left(\frac{2a}{ab+1}\right)^2}=\Sigma_{cyc}\frac{2a}{\sqrt[3]{2a\left(ab+1\right)^2}}\ge\Sigma_{cyc}\frac{2a}{\frac{2a+\left(ab+1\right)+\left(ab+1\right)}{3}}=3\Sigma_{cyc}\frac{a}{ab+a+1}\)

Ta có bổ đề: \(\frac{a}{ab+a+1}+\frac{b}{bc+b+1}+\frac{c}{ca+c+1}=1\left(abc=1\right)\)

\(\Rightarrow\Sigma_{cyc}\sqrt[3]{\left(\frac{2a}{ab+1}\right)^2}\ge3\)

\(\Leftrightarrow\Sigma\sqrt{\frac{3a^3}{\left[5a^2+\left(b+c\right)^2\right]\left(a+b+c\right)}}\le1\)

Theo Am-GM: \(VT=\Sigma\sqrt{\frac{3a^2}{5a^2+\left(b+c\right)^2}.\frac{a}{a+b+c}}\le\Sigma\frac{3a^2}{2\left(5a^2+\left(b+c\right)^2\right)}+\frac{1}{2}\)

Như vậy nó là đủ để chứng minh rằng: \(\Sigma\frac{3a^2}{5a^2+\left(b+c\right)^2}\le1\)

Giả sử \(c=min\left\{a,b,c\right\}\) nó tương đương:

(Gõ Latex, không hiện thì vô thống kê hỏi đáp xem)

Đây là điều hiển nhiên/

PS: Bài này quan trọng là ý tưởng phá căn thôi chứ không có gì khó. Lúc đầu UCT bất đẳng thức cuối cho đẹp nhưng phải xét các TH mệt lắm, chưa rành nên không làm cách đó:D

Chứng minh: \(\Sigma\frac{3a^2}{5a^2+\left(b+c\right)^2}\le1\), cách 2:

Đổi biến sang pqr: (Vô thống kê hỏi đáp xem nếu olm không hiện Latex)

Nếu \(p^2\le4q\) ta cần:

(Hiển nhiên)

Nếu \(p^2\ge4q\) thì cần chứng minh:

(Hiển nhiên)

Từ 2 TH trên ta thu được điều phải chứng minh.

Áp dụng BĐT Cauchy-Schwarz ta có:

\(VT\le\sqrt{\left(a+b+c\right)\left[\frac{a^2}{5a^2+\left(b+c\right)^2}+\frac{b^2}{5b^2+\left(a+c\right)^2}+\frac{c^2}{5c^2+\left(a+b\right)^2}\right]}\)

Ta sẽ chứng minh \(\frac{a^2}{5a^2+\left(b+c\right)^2}+\frac{b^2}{5b^2+\left(a+c\right)^2}+\frac{c^2}{5c^2\left(a+b\right)^2}\le\frac{1}{3}\)

Lại áp dụng Cauchy-Schwazr ta được

\( {\displaystyle \displaystyle \sum } \)\(\frac{\left(3a\right)^2}{a^2+b^2+c^2+4a^2+2bc}\le\)\( {\displaystyle \displaystyle \sum }\)\(\left(\frac{a^2}{a^2+b^2+c^2}+\frac{a^2}{2a^2+bc}+\frac{a^2}{2a^2+bc}\right)=\)\( {\displaystyle \displaystyle \sum }\)\(\frac{a^2}{a^2+b^2+c^2}+\)\( {\displaystyle \displaystyle \sum }\)\(\frac{2a^2}{2a^2+bc}\)

Do đó:

\( {\displaystyle \displaystyle \sum }\)\(\frac{a^2}{5a^2+\left(b+c\right)^2}\le\frac{1}{9}(\)\( {\displaystyle \displaystyle \sum }\)\(\frac{a^2}{a^2+b^2+c^2}+\)\( {\displaystyle \displaystyle \sum }\)\(\frac{2a^2}{2a^2+bc})\)=\(\frac{1}{9}(1+\)\( {\displaystyle \displaystyle \sum }\)\(\frac{2a^2}{2a^2+bc}\)

Bây giờ ta chỉ cần chứng minh được

\(\frac{1}{9}\)(1+\( {\displaystyle \displaystyle \sum }\)\(\frac{2a^2}{2a^2+bc}\))\(\le\frac{1}{3}\)

BĐT này tương đương với mỗi BĐT sau: 

1+\( {\displaystyle \displaystyle \sum }\)\(\frac{2a^2}{2a^2+bc}\le\frac{1}{3}\)

4-\( {\displaystyle \displaystyle \sum }\)\(\frac{bc}{2a^2+bc}\le3\)

\( {\displaystyle \displaystyle \sum }\)\(\frac{bc}{2a^2+bc}\ge1\)

BĐT cuối cùng đúng vì theo Cauchy-Schwarz thì 

\( {\displaystyle \displaystyle \sum }\)\(\frac{bc}{2a^2+bc}=\)\( {\displaystyle \displaystyle \sum }\)\(\frac{b^2c^2}{2a^2bc+b^2c^2}\ge\)\((ab+bc+ca)^2 \over {\displaystyle \displaystyle \sum }a^2b^2+2bc(a+b+c)\)=1

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

Vì a,b,c không âm và có tổng bằng 1 nên

\(0\le a,b,c\le\left\{{}\begin{matrix}a\left(1-a\right)\ge0\\b\left(1-b\right)\ge0\\c\left(1-c\right)\ge0\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}a\ge a^2\\b\ge b^2\\c\ge c^2\end{matrix}\right.\)

Suy ra \(\sqrt{5a+4}\ge\sqrt{a^2+4a+4}=\sqrt{\left(a+2\right)^2}=a+2\)

Tương tự ta có: \(\sqrt{5b+4}\ge b+2;\sqrt{5c+4}\ge c+2\)

Do đó: \(\sqrt{5a+4}+\sqrt{5b+4}+\sqrt{5c+4}\ge\left(a+b+c\right)+6=7\) (điều phải chứng minh)

CÁCH KHÁC:

Giả sử \(\Sigma_{cyc}\sqrt{5a+4}< 7\)

Có:\(\sqrt{5a+4}\le\sqrt{\frac{3}{17}}.\frac{5a+4+\frac{17}{3}}{2}=\sqrt{\frac{3}{17}}.\frac{5a+\frac{29}{3}}{2}\)\(=\sqrt{\frac{3}{17}}.\left(\frac{5}{2}a+\frac{29}{6}\right)\)

\(\Rightarrow VT\le\sqrt{\frac{3}{17}}\left[\frac{5}{2}\Sigma a+\frac{29}{2}\right]\)\(=\sqrt{51}>7\)

Ta thấy dấu = có xảy ra (!)
Vậy ta có đpcm.

#Walker