\(\frac{a}{1+b^2}=a-\frac{ab^2}{1+b^2}\ge a-\frac{ab^2}{2b}=a-\frac{ab}{2}\)

Tương tự : \(\frac{b}{1+c^2}\ge b-\frac{bc}{2}\) ; \(\frac{c}{1+a^2}\ge c-\frac{ac}{2}\)

Cộng theo vế : \(\frac{a}{1+b^2}+\frac{b}{1+c^2}+\frac{c}{1+a^2}\ge3-\frac{1}{2}\left(ab+bc+ac\right)\ge3-\frac{1}{2}.\frac{\left(a+b+c\right)^2}{3}=\frac{3}{2}\)

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

Áp dụng BĐT AM-GM: \(1+b^2\ge2b\)

\(\Rightarrow\frac{a}{1+b^2}=a-\frac{ab^2}{1+b^2}\ge a-\frac{ab^2}{2b}=a-\frac{ab}{2}\)

Tương tự: \(\frac{b}{1+c^2}\ge b-\frac{bc}{2};\frac{c}{1+a^2}\ge c-\frac{ca}{2}\)

Cộng vế với vế 3 BĐT trên ta được:  \(\frac{a}{1+b^2}+\frac{b}{1+c^2}+\frac{c}{1+a^2}\ge\left(a+b+c\right)-\frac{ab+bc+ca}{2}=3-\frac{ab+bc+ca}{2}\)

Mà \(ab+bc+ca\le\frac{\left(a+b+c\right)^2}{3}\) 

Nên \(\frac{a}{1+b^2}+\frac{b}{1+c^2}+\frac{c}{1+a^2}\ge3-\frac{\left(a+b+c\right)^2}{6}=3-\frac{9}{6}=\frac{3}{2}\)(đpcm).

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

Lời giải

Bất đẳng thức cần chứng minh được viết lại thành

$latex \frac{1}{{{a}^{2}}}+\frac{1}{{{b}^{2}}}+\frac{1}{{{c}^{2}}}+\frac{2{{a}^{2}}}{3}+\frac{2{{b}^{2}}}{3}+\frac{2{{c}^{2}}}{3}\ge 5$

Ta chứng minh bất đẳng thức sau đây

$latex \frac{1}{{{a}^{2}}}+\frac{2{{a}^{2}}}{3}\ge \frac{7}{3}-\frac{2a}{3}$

Thật vậy, bất đẳng thức trên tương đương với

$latex \displaystyle \frac{{{\left( a-1 \right)}^{2}}\left( 2{{a}^{2}}+6a+3 \right)}{3{{a}^{2}}}\ge 0$

Hiển nhiên đúng với a là số thực dương.

Áp dụng tương tự ta được $latex \frac{1}{{{b}^{2}}}+\frac{2{{b}^{2}}}{3}\ge \frac{7}{3}-\frac{2b}{3};\,\,\frac{1}{{{c}^{2}}}+\frac{2{{c}^{2}}}{3}\ge \frac{7}{3}-\frac{2c}{3}$

Cộng theo vế các bất đẳng thức trên ta được

$latex \frac{1}{{{a}^{2}}}+\frac{1}{{{b}^{2}}}+\frac{1}{{{c}^{2}}}+\frac{2{{a}^{2}}}{3}+\frac{2{{b}^{2}}}{3}+\frac{2{{c}^{2}}}{3}\ge 7-\frac{2\left( a+b+c \right)}{3}=5$

Vậy bất đẳng thức được chứng minh. Đẳng thức xảy ra khi và chỉ khi $latex a=b=c=1$.

Chúng ta sẽ khởi đầu kỹ thuật này bằng việc đưa ra cách giải thích cho việc tìm ra bất đẳng thức phụ trên và nó cũng chính là cách giải thích cho các bài toán sau này của chúng ta.

Bài toán trên các biến trong cả hai vế và điều kiện đều không ràng buộc nhau điều này khiến ta nghĩ ngay sẽ tách theo từng biến để chứng minh được đơn giản hơn nếu có thể. Nhưng rõ ràng chỉ từng đó thôi là không đủ. Để ý đến dấu đẳng thức xẩy ra nên ta nghĩ đến chứng minh bất đẳng thức sau

$latex \displaystyle \frac{1}{{{a}^{2}}}+\frac{2{{a}^{2}}}{3}\ge \frac{5}{3}\Leftrightarrow \frac{\left( a-1 \right)\left( a+1 \right)\left( 2{{a}^{2}}-3 \right)}{3{{a}^{2}}}\ge 0$

Tuy nhiên đánh giá trên không hoàn toàn đúng với a thực dương.

Để ý là với cách làm trên ta chưa sử dụng điều kiện .

Như vậy ta sẽ không đi theo đường lối suy nghĩ đơn giản ban đầu nữa mà sẽ đi tìm hệ số để bất đẳng thức sau là đúng

$latex \displaystyle \frac{1}{{{a}^{2}}}+\frac{2{{a}^{2}}}{3}\ge \frac{5}{3}+ma+n\,\,\,\,\,\,\,\,\,\,\,\left( 1 \right)$

Trong đó m và n là các hệ số chưa xác định.

Thiết lập tương tự với các biến b và c ta được

$latex \displaystyle \frac{1}{{{b}^{2}}}+\frac{2{{b}^{2}}}{3}\ge \frac{5}{3}+mb+n;\,\,\frac{1}{{{c}^{2}}}+\frac{2{{c}^{2}}}{3}\ge \frac{5}{3}+mc+n$

Cộng theo vế các bất đẳng thức trên ta có

$latex \displaystyle \frac{1}{{{a}^{2}}}+\frac{1}{{{b}^{2}}}+\frac{1}{{{c}^{2}}}+\frac{2{{a}^{2}}+2{{b}^{2}}+2{{c}^{2}}}{3}\ge 5+m\left( a+b+c \right)+3n=5+3\left( m+n \right)$

Như vậy ở đây 2 hệ số m và n phải thỏa mãn điều kiện $latex \displaystyle m+n=0\Leftrightarrow n=-m$. Thế vào (1) dẫn đến

$latex \displaystyle \frac{1}{{{a}^{2}}}+\frac{2{{a}^{2}}}{3}\ge \frac{5}{3}+m\left( a-1 \right)\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left( 2 \right)$

Đến đây ta chỉ cần xác định hệ số duy nhất là m để bất đẳng thức (2) là đúng. Chú ý đẳng thức xẩy ra tại $latex a=b=c=1$ nên ta cần xác định m sao cho

$latex \displaystyle \frac{1}{{{a}^{2}}}+\frac{2{{a}^{2}}}{3}\ge \frac{5}{3}+m\left( a-1 \right)\Leftrightarrow \left( a-1 \right)\left( \frac{\left( a+1 \right)\left( 2{{a}^{2}}-3 \right)}{3{{a}^{2}}}-m \right)\ge 0$

Khi cho $latex a=1$ thì ta có $latex \displaystyle \frac{\left( a+1 \right)\left( 2{{a}^{2}}-3 \right)}{3{{a}^{2}}}=-\frac{2}{3}$ từ đó ta dự đoán rằng $latex \displaystyle m=-\frac{2}{3}$ để tạo thành đại lượng bình phương $latex {{\left( a-1 \right)}^{2}}$ trong biểu thức. Từ đó ta sẽ chứng minh bất đẳng thức phụ

$latex \frac{1}{{{a}^{2}}}+\frac{2{{a}^{2}}}{3}\ge \frac{7}{3}-\frac{2a}{3}$

Ap dung BDT Cosi nguoc dau:

    VT <=>    \(∑ a-{ab^2\over 1+b^2} ≥ ∑ a-{ab^2\over 2b}=∑ a-{ab\over 2} \)

                                     \(= a+b+c-{ab+ac+bc\over 2} \)

                                      \(≥ 3- {(a+b+c)^2\over 6}=3-{9\over 6}={3\over 2} \)           \( BDT {(a+b+c)^2\over 3} ≥ ab+ac+bc \)

 =>      DPCM

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

Áp dụng bđt cô - si, ta có: \(1+b^2\ge2b\)

\(\Rightarrow a\left(1-\frac{b^2}{1+b^2}\right)\ge a\left(1-\frac{b^2}{2b}\right)=a-\frac{ab}{2}\)

Tương tự ta có: \(\frac{b}{1+c^2}\ge b-\frac{bc}{2}\); \(\frac{c}{1+a^2}\ge c-\frac{ca}{2}\)

Cộng ba vế của các bđt trên, ta được:

\(\text{ Σ}_{cyc}\frac{a}{1+b^2}\ge\left(a+b+c\right)-\frac{ab+bc+ca}{2}\)

\(\ge\left(a+b+c\right)-\frac{\left(a+b+c\right)^2}{6}\ge\frac{3}{2}\)

(Dấu "=" khi a = b = c = 1)

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

Chứng minh tương tự ta có:  \(\frac{1}{b^3\left(c+a\right)}=\frac{\left(ca\right)^2}{bc+ba};\frac{1}{c^3\left(a+b\right)}=\frac{\left(ab\right)^2}{ca+cb}\)

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

Áp dụng bđt Cauchy-Schwarz dạng Engel: \(\frac{\left(ab\right)^2}{bc+ca}+\frac{\left(bc\right)^2}{ab+ca}+\frac{\left(ca\right)^2}{ab+bc}\ge\frac{\left(ab+bc+ca\right)^2}{bc+ca+ab+ca+ab+bc}=\frac{ab+bc+ca}{2}\)

Tiếp tục áp dụng bđt Cauchy với 3 số dương ta được: \(\frac{ab+bc+ca}{2}\ge\frac{3\sqrt[3]{ab.bc.ca}}{2}=\frac{3\sqrt[3]{\left(abc\right)^2}}{2}=\frac{3\sqrt[3]{1}}{2}=\frac{3}{2}\)

=> \(\frac{\left(ab\right)^2}{bc+ca}+\frac{\left(bc\right)^2}{ab+ca}+\frac{\left(ca\right)^2}{ab+bc}\ge\frac{ab+bc+ca}{2}\ge\frac{3}{2}\)

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

viết lại sigma 1/a³(b+c) = sigma 1/a²/a(b+c) 

đến đây dùng schwarz -> sigma 1/a³(b+c) >/ ab+bc+ac/2 >/ 3/2 (AM-GM cho ab,bc,ca)

\(a=b=c=1\)

Dấu bằng xảy ra thì ai mà chẳng biết

\(\frac{3a}{2}+\frac{1}{a}\ge\frac{a^2}{4}+\frac{9}{4}\left(1\right)\)

=>\(\frac{3a^2+2}{2a}\ge\frac{a^2+9}{4}\)

=>\(12a^2+8\ge2a^3+18a\left(a\in0;\sqrt{3}\right)\)

\(2\left(a-4\right)\left(x-1\right)^2\le0\)luôn đúng

=>làm tương tự như (1) sau đó cộng các vế =>\(VT\ge\frac{a^2+b^2+c^2}{4}+\frac{27}{4}=\frac{30}{4}=\frac{15}{2}\)

ta có:\(\frac{1}{a^3\left(b+c\right)}+\frac{1}{b^3\left(c+a\right)}+\frac{1}{c^3\left(a+b\right)}\)

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

>= \(\frac{\left(\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}\right)^2}{a\left(b+c\right)+b\left(c+a\right)+c\left(a+b\right)}\)(BĐT Svaxo)=\(\frac{\left(\frac{ab+bc+ca}{abc}\right)^2}{2\left(ab+bc+ca\right)}=\frac{ab+bc+ca}{2}\)

>= \(\frac{3\sqrt[3]{a^2b^2c^2}}{2}\left(BĐTAM-GM\right)=\frac{3}{2}\)(đpcm)

dấu = khi a=b=c=1