Hôm nay, chúng ta sẽ cùng nhau giải quyết một bài toán bất đẳng thức rất thú vị và bổ ích, đặc biệt là khi các em đã được học về bất đẳng thức Cauchy (Cô-si) hay còn gọi là bất đẳng thức AM-GM (Trung bình cộng – Trung bình nhân). Đây là một công cụ mạnh mẽ để giải các bài toán chứng minh bất đẳng thức.

Đề bài: Chứng minh rằng với a, b, c là ba số dương, ta có bất đẳng thức sau:

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

Chúng ta sẽ sử dụng hướng dẫn mà đề bài đã gợi ý để chứng minh bài toán này nhé.

Hướng dẫn: Ta có vế trái = \(\left(\frac{a^2}{b+c} + \frac{b+c}{4}\right) + \left(\frac{b^2}{c+a} + \frac{c+a}{4}\right) + \left(\frac{c^2}{a+b} + \frac{a+b}{4}\right) – \frac{a+b+c}{2}\).
Vế trái \(\ge (a+b+c) – \frac{a+b+c}{2} = \frac{a+b+c}{2}\) = vế phải.

Đây là một hướng đi rất thông minh, các em ạ! Nó cho thấy cách chúng ta “thêm bớt” một lượng thích hợp để áp dụng bất đẳng thức AM-GM.

Lời giải chi tiết:

Với \(a, b, c\) là các số dương, chúng ta biết rằng bất đẳng thức AM-GM phát biểu rằng với hai số dương \(x, y\), ta luôn có \(x+y \ge 2\sqrt{xy}\).

Bây giờ, chúng ta sẽ áp dụng bất đẳng thức AM-GM cho từng cặp số hạng theo gợi ý:

Bước 1: Áp dụng bất đẳng thức AM-GM cho số hạng đầu tiên

Xét hai số dương \(\frac{a^2}{b+c}\) và \(\frac{b+c}{4}\).
Áp dụng bất đẳng thức AM-GM, ta có:

\(\frac{a^2}{b+c} + \frac{b+c}{4} \ge 2\sqrt{\frac{a^2}{b+c} \cdot \frac{b+c}{4}}\)

\(\frac{a^2}{b+c} + \frac{b+c}{4} \ge 2\sqrt{\frac{a^2}{4}}\)

Vì \(a > 0\), nên \(\sqrt{a^2} = a\). Do đó:

\(\frac{a^2}{b+c} + \frac{b+c}{4} \ge 2 \cdot \frac{a}{2}\)

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

Bước 2: Áp dụng bất đẳng thức AM-GM cho hai số hạng còn lại

Tương tự, chúng ta làm với các số hạng còn lại:

Với hai số dương \(\frac{b^2}{c+a}\) và \(\frac{c+a}{4}\), ta có:

\(\frac{b^2}{c+a} + \frac{c+a}{4} \ge 2\sqrt{\frac{b^2}{c+a} \cdot \frac{c+a}{4}}\)

\(\frac{b^2}{c+a} + \frac{c+a}{4} \ge 2\sqrt{\frac{b^2}{4}}\)

\(\frac{b^2}{c+a} + \frac{c+a}{4} \ge 2 \cdot \frac{b}{2}\)

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

Và với hai số dương \(\frac{c^2}{a+b}\) và \(\frac{a+b}{4}\), ta có:

\(\frac{c^2}{a+b} + \frac{a+b}{4} \ge 2\sqrt{\frac{c^2}{a+b} \cdot \frac{a+b}{4}}\)

\(\frac{c^2}{a+b} + \frac{a+b}{4} \ge 2\sqrt{\frac{c^2}{4}}\)

\(\frac{c^2}{a+b} + \frac{a+b}{4} \ge 2 \cdot \frac{c}{2}\)

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

Bước 3: Cộng ba bất đẳng thức lại với nhau

Cộng vế với vế của ba bất đẳng thức (1), (2), và (3), ta được:

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

Bây giờ, chúng ta sắp xếp lại vế trái:

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

Rút gọn phần trong ngoặc tròn:

\(\frac{b+c}{4} + \frac{c+a}{4} + \frac{a+b}{4} = \frac{(b+c) + (c+a) + (a+b)}{4}\)

\(= \frac{b+c+c+a+a+b}{4}\)

\(= \frac{2a+2b+2c}{4}\)

\(= \frac{2(a+b+c)}{4}\)

\(= \frac{a+b+c}{2}\)

Vậy, bất đẳng thức của chúng ta trở thành:

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

Bước 4: Chuyển vế và kết luận

Để có được bất đẳng thức cần chứng minh, chúng ta chỉ cần chuyển vế \(\frac{a+b+c}{2}\) sang bên phải:

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

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

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

Đây chính là bất đẳng thức mà chúng ta cần chứng minh. Vậy bài toán đã được giải xong!

Dấu “=” xảy ra khi nào?

Dấu “=” trong bất đẳng thức AM-GM xảy ra khi các số hạng bằng nhau. Tức là:

• \(\frac{a^2}{b+c} = \frac{b+c}{4} \implies 4a^2 = (b+c)^2 \implies 2a = b+c\) (vì \(a, b, c > 0\))
• \(\frac{b^2}{c+a} = \frac{c+a}{4} \implies 4b^2 = (c+a)^2 \implies 2b = c+a\)
• \(\frac{c^2}{a+b} = \frac{a+b}{4} \implies 4c^2 = (a+b)^2 \implies 2c = a+b\)

Từ \(2a = b+c\) và \(2b = c+a\), ta có:

\((2a – b) = c\)

\((2b – a) = c\)

Suy ra \(2a – b = 2b – a\), chuyển vế ta được \(3a = 3b\), tức là \(a = b\).

Tương tự, từ \(2b = c+a\) và \(2c = a+b\), ta cũng suy ra được \(b = c\).

Vậy, dấu đẳng thức xảy ra khi và chỉ khi \(a = b = c\).

Các em thấy không? Bất đẳng thức AM-GM là một công cụ rất mạnh mẽ và được sử dụng rất nhiều trong các bài toán chứng minh bất đẳng thức. Việc “thêm bớt” các số hạng một cách hợp lý là một kỹ thuật quan trọng mà các em cần nắm vững.

Nếu có bất kỳ thắc mắc nào, đừng ngần ngại hỏi thầy nhé!