Chào các em học sinh lớp 9!

Hôm nay chúng ta sẽ cùng nhau giải một bài toán bất đẳng thức khá thú vị. Đây là một dạng bài thường gặp trong các kỳ thi cuối cấp, đòi hỏi chúng ta phải nắm vững các hằng đẳng thức đáng nhớ và các bất đẳng thức cơ bản.

Bài toán: Cho \(a,b>0\) thỏa mãn \(a+b=2\), chứng minh rằng
\[
a^3+b^3\ge a^4+b^4\ge a^3+b^3\ge a^2+b^2\ge a+b.
\]

Trước hết, các em hãy cùng cô phân tích yêu cầu của đề bài. Chúng ta cần chứng minh một chuỗi các bất đẳng thức liên tiếp. Điều này có nghĩa là chúng ta phải chứng minh từng cặp bất đẳng thức một.

Cụ thể, chuỗi bất đẳng thức đã cho tương đương với việc chứng minh các bất đẳng thức sau:

1. \(a^2+b^2\ge a+b\)
2. \(a^3+b^3\ge a^2+b^2\)
3. \(a^3+b^3\ge a^4+b^4\)
4. \(a^4+b^4\ge a^3+b^3\)

Các em để ý rằng, nếu chúng ta chứng minh được cả hai bất đẳng thức (3) và (4) cùng đúng, thì điều đó chỉ có thể xảy ra khi \(a^3+b^3 = a^4+b^4\). Chúng ta sẽ xem xét kỹ phần này sau khi giải quyết hai bất đẳng thức đầu tiên.

Phần 1: Chứng minh \(a^2+b^2\ge a+b\)

Từ giả thiết ta có \(a+b=2\). Vậy bất đẳng thức cần chứng minh tương đương với \(a^2+b^2\ge 2\).

Chúng ta đã biết hằng đẳng thức: \( (a+b)^2 = a^2+b^2+2ab \).

Thay \(a+b=2\) vào, ta có:

\(2^2 = a^2+b^2+2ab\)

\(4 = a^2+b^2+2ab\)

Từ đó, ta biểu diễn \(a^2+b^2\) theo \(ab\):

\(a^2+b^2 = 4-2ab\).

Bất đẳng thức cần chứng minh trở thành:

\(4-2ab\ge 2\)

Chuyển vế và rút gọn:

\(2\ge 2ab\)

\(1\ge ab\)

Để chứng minh \(1\ge ab\), chúng ta có thể sử dụng bất đẳng thức Cô-si (AM-GM) cho hai số dương \(a,b\):

\(\frac{a+b}{2}\ge \sqrt{ab}\)

Thay \(a+b=2\) vào, ta được:

\(\frac{2}{2}\ge \sqrt{ab}\)

\(1\ge \sqrt{ab}\)

Bình phương hai vế (vì cả hai vế đều không âm), ta được:

\(1^2\ge (\sqrt{ab})^2\)

\(1\ge ab\)

Bất đẳng thức này luôn đúng. Do đó, \(a^2+b^2\ge a+b\) đã được chứng minh.

Dấu “=” xảy ra khi và chỉ khi \(a=b\). Kết hợp với \(a+b=2\), ta suy ra \(a=b=1\).

Phần 2: Chứng minh \(a^3+b^3\ge a^2+b^2\)

Chúng ta cần chứng minh \(a^3+b^3 – (a^2+b^2) \ge 0\).

Ta có hằng đẳng thức: \(a^3+b^3 = (a+b)(a^2-ab+b^2)\).

Vì \(a+b=2\), nên \(a^3+b^3 = 2(a^2-ab+b^2)\).

Bất đẳng thức cần chứng minh trở thành:

\(2(a^2-ab+b^2)\ge a^2+b^2\)

Khai triển và chuyển vế:

\(2a^2-2ab+2b^2\ge a^2+b^2\)

\(2a^2-a^2-2ab+2b^2-b^2\ge 0\)

\(a^2-2ab+b^2\ge 0\)

Ta nhận thấy vế trái chính là một hằng đẳng thức:

\((a-b)^2\ge 0\)

Bất đẳng thức này luôn đúng với mọi số thực \(a,b\).

Do đó, \(a^3+b^3\ge a^2+b^2\) đã được chứng minh.

Dấu “=” xảy ra khi và chỉ khi \(a=b\). Kết hợp với \(a+b=2\), ta suy ra \(a=b=1\).

Phần 3: Chứng minh \(a^3+b^3\ge a^4+b^4\ge a^3+b^3\)

Như cô đã phân tích ở trên, việc chứng minh đồng thời \(X\ge Y\) và \(Y\ge X\) chỉ có thể xảy ra khi \(X=Y\).

Vậy, phần này của đề bài yêu cầu chúng ta chứng minh rằng \(a^3+b^3 = a^4+b^4\).

Chúng ta sẽ xét phương trình \(a^3+b^3 = a^4+b^4\).

Chuyển vế để có hiệu bằng 0:

\(a^3+b^3 – a^4-b^4 = 0\)

Nhóm các số hạng chứa \(a\) và \(b\) riêng:

\(a^3(1-a) + b^3(1-b) = 0\)

Vì \(a+b=2\), suy ra \(b=2-a\). Do đó \(1-b = 1-(2-a) = a-1\).

Thay \(1-b = a-1\) vào phương trình trên:

\(a^3(1-a) + (2-a)^3(a-1) = 0\)

Ta biết rằng \(a-1 = -(1-a)\), nên ta có thể viết lại:

\(a^3(1-a) – (2-a)^3(1-a) = 0\)

Đặt thừa số chung \((1-a)\) ra ngoài:

\((1-a) [a^3 – (2-a)^3] = 0\)

Phương trình này đúng khi và chỉ khi một trong các thừa số bằng 0:

• Trường hợp 1: \(1-a = 0 \Rightarrow a=1\).
  Nếu \(a=1\), thì \(b=2-a=2-1=1\).
• Trường hợp 2: \(a^3 – (2-a)^3 = 0\).
  \(a^3 = (2-a)^3\).
  Vì hàm số \(f(x)=x^3\) là hàm đơn điệu tăng, nên \(x^3=y^3\) khi và chỉ khi \(x=y\).
  Do đó, \(a = 2-a\).
  \(2a = 2\)
  \(a = 1\).
  Điều này cũng dẫn đến \(a=1\) và \(b=1\).

Vậy, điều kiện \(a^3+b^3 = a^4+b^4\) chỉ đúng khi và chỉ khi \(a=1\) và \(b=1\).

Như vậy, bất đẳng thức \(a^3+b^3\ge a^4+b^4\ge a^3+b^3\) chỉ đúng khi \(a=b=1\). Trong trường hợp tổng quát với \(a,b>0\) và \(a+b=2\) (mà không nhất thiết \(a=b=1\)), thì phần này của đề bài là không chính xác.

Để minh họa, cô sẽ lấy một ví dụ khác. Nếu ta chọn \(a=0.5\) và \(b=1.5\) (hai số này thỏa mãn \(a,b>0\) và \(a+b=2\)):
Tính \(a^3+b^3\):
\(a^3+b^3 = (0.5)^3+(1.5)^3 = 0.125+3.375 = 3.5\).
Tính \(a^4+b^4\):
\(a^4+b^4 = (0.5)^4+(1.5)^4 = 0.0625+5.0625 = 5.125\).
Trong trường hợp này, \(a^3+b^3 = 3.5\) và \(a^4+b^4 = 5.125\). Rõ ràng \(a^3+b^3 < a^4+b^4\), điều này mâu thuẫn với yêu cầu chứng minh \(a^3+b^3\ge a^4+b^4\).

Kết luận:

Qua quá trình giải chi tiết, chúng ta đã chứng minh được hai phần cuối của chuỗi bất đẳng thức:

1. \(a^2+b^2\ge a+b\) (dấu “=” xảy ra khi \(a=b=1\))
2. \(a^3+b^3\ge a^2+b^2\) (dấu “=” xảy ra khi \(a=b=1\))

Tuy nhiên, phần đầu của chuỗi bất đẳng thức là \(a^3+b^3\ge a^4+b^4\ge a^3+b^3\) chỉ đúng khi \(a=b=1\). Với các giá trị \(a,b\) khác mà vẫn thỏa mãn \(a,b>0\) và \(a+b=2\), thì bất đẳng thức này không còn đúng nữa.

Điều này cho thấy có thể đề bài gốc có một chút nhầm lẫn hoặc cần bổ sung điều kiện \(a=b=1\).

Mong rằng qua bài giải này, các em đã hiểu rõ hơn về cách tiếp cận các bài toán bất đẳng thức, cách kiểm tra tính đúng đắn của đề bài, và cách trình bày lời giải một cách logic và chặt chẽ.

Chúc các em học tốt!