Chào các em học sinh yêu quý,

Hôm nay, chúng ta sẽ cùng nhau giải một bài toán bất đẳng thức rất thú vị. Bài toán này đòi hỏi chúng ta phải vận dụng linh hoạt các kiến thức về đại số và bất đẳng thức đã học. Các em hãy cùng chú ý theo dõi nhé!

Đề bài: Cho \(a,b,c>0\) và \(abc=1.\) Chứng minh rằng:

\[ \dfrac{ab}{a^5+b^5+ab} +\dfrac{bc}{c^5+b^5+bc} +\dfrac{ac}{a^5+c^5+ac} \leqslant 1 \]

Phân tích và Định hướng giải:

Đây là một bất đẳng thức đối xứng vòng quanh. Nhiệm vụ của chúng ta là chứng minh tổng của ba phân số nhỏ hơn hoặc bằng 1. Một cách tiếp cận thường gặp với các bài toán có dạng phân số như thế này là tìm cách đánh giá mẫu số. Nếu chúng ta có thể tìm được một mẫu số nhỏ hơn nhưng “đơn giản” hơn, hoặc một mẫu số lớn hơn sao cho khi rút gọn toàn bộ biểu thức sẽ về dạng tổng \( \dfrac{x}{x+y+z} + \dfrac{y}{x+y+z} + \dfrac{z}{x+y+z} = 1 \), thì bài toán sẽ được giải quyết.

Hãy xem xét một phân số tiêu biểu, ví dụ \(\dfrac{ab}{a^5+b^5+ab}\). Chúng ta cần tìm một đánh giá cho \(a^5+b^5\).

Một bất đẳng thức quen thuộc mà chúng ta có thể nghĩ đến là AM-GM, nhưng ở đây có lũy thừa bậc 5, có thể phức tạp. Chúng ta hãy thử một cách khác, đó là so sánh \(a^5+b^5\) với một biểu thức liên quan đến \(ab\) và \(a+b\).

Bước 1: Chứng minh bất đẳng thức phụ quan trọng

Chúng ta sẽ chứng minh bất đẳng thức sau: Với mọi \(x,y > 0\), ta có \(x^5+y^5 \ge x^2y^2(x+y)\).

Chứng minh:

Xét hiệu \(x^5+y^5 – x^2y^2(x+y)\):

\[ x^5+y^5 – x^2y^2(x+y) = x^5+y^5 – x^3y^2 – x^2y^3 \]

Chúng ta sẽ nhóm các hạng tử lại:

\[ = (x^5 – x^3y^2) + (y^5 – x^2y^3) \]

\[ = x^3(x^2 – y^2) – y^3(x^2 – y^2) \]

\[ = (x^3 – y^3)(x^2 – y^2) \]

Bây giờ chúng ta xét dấu của tích này:

• Nếu \(x \ge y\):
  • Khi đó \(x^3 \ge y^3\), nên \(x^3 – y^3 \ge 0\).
  • Và \(x^2 \ge y^2\), nên \(x^2 – y^2 \ge 0\).
  • Vậy tích \((x^3 – y^3)(x^2 – y^2) \ge 0\).
• Nếu \(x \le y\):
  • Khi đó \(x^3 \le y^3\), nên \(x^3 – y^3 \le 0\).
  • Và \(x^2 \le y^2\), nên \(x^2 – y^2 \le 0\).
  • Vậy tích \((x^3 – y^3)(x^2 – y^2) \ge 0\) (vì tích hai số âm là số dương).

Trong cả hai trường hợp, ta đều có \((x^3 – y^3)(x^2 – y^2) \ge 0\).

Do đó, \(x^5+y^5 – x^2y^2(x+y) \ge 0\), hay \(x^5+y^5 \ge x^2y^2(x+y)\). Dấu “=” xảy ra khi và chỉ khi \(x=y\).

Bước 2: Áp dụng bất đẳng thức phụ vào từng phân số

Áp dụng bất đẳng thức \(x^5+y^5 \ge x^2y^2(x+y)\) cho \(a^5+b^5\), ta có:

\[ a^5+b^5 \ge a^2b^2(a+b) \]

Khi đó, mẫu số của phân số thứ nhất trở thành:

\[ a^5+b^5+ab \ge a^2b^2(a+b)+ab \]

Vậy, phân số thứ nhất có thể được đánh giá như sau:

\[ \dfrac{ab}{a^5+b^5+ab} \le \dfrac{ab}{a^2b^2(a+b)+ab} \]

Chia cả tử và mẫu cho \(ab\) (vì \(a,b>0\) nên \(ab \neq 0\)):

\[ \dfrac{ab}{a^2b^2(a+b)+ab} = \dfrac{1}{ab(a+b)+1} \]

Bây giờ chúng ta sẽ sử dụng giả thiết \(abc=1\). Từ đây, ta suy ra \(ab = \dfrac{1}{c}\).

Thay \(ab = \dfrac{1}{c}\) vào biểu thức trên:

\[ \dfrac{1}{\frac{1}{c}(a+b)+1} = \dfrac{1}{\frac{a+b}{c}+1} = \dfrac{1}{\frac{a+b+c}{c}} = \dfrac{c}{a+b+c} \]

Vậy, ta có:

\[ \dfrac{ab}{a^5+b^5+ab} \le \dfrac{c}{a+b+c} \quad (*)\\]

Bước 3: Thực hiện tương tự cho các phân số còn lại

Với phân số thứ hai \(\dfrac{bc}{c^5+b^5+bc}\):

Áp dụng bất đẳng thức \(c^5+b^5 \ge c^2b^2(c+b)\):

\[ \dfrac{bc}{c^5+b^5+bc} \le \dfrac{bc}{c^2b^2(c+b)+bc} = \dfrac{1}{bc(c+b)+1} \]

Vì \(abc=1\), ta có \(bc = \dfrac{1}{a}\).

\[ \dfrac{1}{\frac{1}{a}(c+b)+1} = \dfrac{1}{\frac{c+b}{a}+1} = \dfrac{1}{\frac{c+b+a}{a}} = \dfrac{a}{a+b+c} \quad (**)\\]

Với phân số thứ ba \(\dfrac{ac}{a^5+c^5+ac}\):

Áp dụng bất đẳng thức \(a^5+c^5 \ge a^2c^2(a+c)\):

\[ \dfrac{ac}{a^5+c^5+ac} \le \dfrac{ac}{a^2c^2(a+c)+ac} = \dfrac{1}{ac(a+c)+1} \]

Vì \(abc=1\), ta có \(ac = \dfrac{1}{b}\).

\[ \dfrac{1}{\frac{1}{b}(a+c)+1} = \dfrac{1}{\frac{a+c}{b}+1} = \dfrac{1}{\frac{a+c+b}{b}} = \dfrac{b}{a+b+c} \quad (***)\\]

Bước 4: Cộng các bất đẳng thức lại

Cộng \(()\), \(()\) và \(()\) vế theo vế, ta được:

\[ \dfrac{ab}{a^5+b^5+ab} +\dfrac{bc}{c^5+b^5+bc} +\dfrac{ac}{a^5+c^5+ac} \le \dfrac{c}{a+b+c} + \dfrac{a}{a+b+c} + \dfrac{b}{a+b+c} \]

\[ = \dfrac{a+b+c}{a+b+c} = 1 \]

Vậy, bất đẳng thức đã được chứng minh.

Dấu “=” xảy ra:

Dấu “=” xảy ra khi và chỉ khi các bất đẳng thức phụ \(a^5+b^5 \ge a^2b^2(a+b)\), \(c^5+b^5 \ge c^2b^2(c+b)\), \(a^5+c^5 \ge a^2c^2(a+c)\) đều xảy ra dấu bằng. Điều này có nghĩa là \(a=b\), \(c=b\), \(a=c\). Tóm lại, dấu “=” xảy ra khi \(a=b=c\).

Kết hợp với điều kiện \(abc=1\), ta suy ra \(a=b=c=1\).

Đây là một bài toán hay, đòi hỏi sự tinh ý trong việc chọn bất đẳng thức phụ và kỹ năng biến đổi đại số. Các em hãy ôn tập lại cách chứng minh các bất đẳng thức phụ nhé!

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