À, “đào câu” gì ở đây vậy nhỉ? Thầy (hoặc cô) nghĩ chúng ta nên “đào sâu” kiến thức toán học thì hơn! Hôm nay, thầy (hoặc cô) sẽ hướng dẫn các em khám phá một bất đẳng thức rất nổi tiếng và thú vị trong toán học, đó là Bất đẳng thức Schur.

Đừng lo lắng nhé, dù tên gọi nghe có vẻ “cao siêu” nhưng khi chúng ta đi từng bước một, các em sẽ thấy nó không hề khó đâu. Nào, chúng ta cùng bắt đầu!

Bất đẳng thức Schur có nhiều dạng, nhưng dạng cơ bản và thường gặp nhất (với \(r=1\)) dành cho ba số thực không âm \(a, b, c\) là:

Bước 1: Giả sử không mất tính tổng quát

Vì bất đẳng thức Schur là đối xứng đối với \(a, b, c\) (có nghĩa là nếu ta hoán đổi vị trí của \(a, b, c\) cho nhau thì bất đẳng thức không thay đổi), nên chúng ta có thể giả sử một thứ tự nào đó giữa \(a, b, c\) mà không làm mất đi tính tổng quát của bài toán.

Giả sử rằng: \(a \ge b \ge c \ge 0\). (Các em nhớ là \(a, b, c\) là các số không âm nhé).

Bước 2: Phân tích các nhân tử trong bất đẳng thức theo thứ tự đã giả sử

Khi chúng ta có \(a \ge b \ge c \ge 0\), chúng ta có thể xác định dấu của các hiệu:

• \(a-b \ge 0\)
• \(a-c \ge 0\)
• \(b-c \ge 0\)
• \(b-a = -(a-b) \le 0\)
• \(c-a = -(a-c) \le 0\)
• \(c-b = -(b-c) \le 0\)

Bước 3: Viết lại bất đẳng thức dựa trên thứ tự đã giả sử

Bây giờ, chúng ta sẽ viết lại từng thành phần trong tổng của bất đẳng thức:

Thành phần thứ nhất: \(a(a-b)(a-c)\)

Vì \(a \ge 0\), \(a-b \ge 0\), \(a-c \ge 0\), nên tích này chắc chắn là không âm: \(a(a-b)(a-c) \ge 0\).

Thành phần thứ hai: \(b(b-c)(b-a)\)

Ta có thể viết lại thành: \(b(b-c)[-(a-b)] = -b(b-c)(a-b)\).

Vì \(b \ge 0\), \(b-c \ge 0\), \(a-b \ge 0\), nên tích \(b(b-c)(a-b) \ge 0\).

Do đó, thành phần thứ hai là không dương: \(-b(b-c)(a-b) \le 0\).

Thành phần thứ ba: \(c(c-a)(c-b)\)

Ta có thể viết lại thành: \(c[-(a-c)][-(b-c)] = c(a-c)(b-c)\).

Vì \(c \ge 0\), \(a-c \ge 0\), \(b-c \ge 0\), nên tích này chắc chắn là không âm: \(c(a-c)(b-c) \ge 0\).

Vậy, bất đẳng thức Schur có thể viết lại dưới dạng:

Bước 4: Biến đổi đại số để chứng minh

Chúng ta sẽ nhóm các số hạng lại để thấy rõ hơn tính không âm của tổng. Hãy để ý đến nhân tử chung \((a-b)\) ở hai số hạng đầu tiên:

\(a(a-b)(a-c) – b(b-c)(a-b) + c(a-c)(b-c)\)

\(= (a-b) [a(a-c) – b(b-c)] + c(a-c)(b-c)\)

Bây giờ, hãy biến đổi phần trong dấu ngoặc vuông:

\(a(a-c) – b(b-c) = a^2 – ac – b^2 + bc\)

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

\(= (a-b)(a+b) – c(a-b)\) (Chúng ta đã dùng hằng đẳng thức \(a^2 – b^2 = (a-b)(a+b)\))

\(= (a-b)(a+b-c)\)

Thay kết quả này trở lại biểu thức ban đầu, ta được:

\((a-b)(a-b)(a+b-c) + c(a-c)(b-c)\)

Bước 5: Chứng minh từng thành phần là không âm

Bây giờ chúng ta cần chứng minh tổng trên \(\ge 0\). Ta sẽ xem xét từng thành phần:

Thành phần thứ nhất: \((a-b)^2 (a+b-c)\)

• \((a-b)^2\): Đây là bình phương của một số thực, nên \((a-b)^2 \ge 0\).
• \((a+b-c)\): Vì chúng ta đã giả sử \(a \ge b \ge c \ge 0\):
  • \(a \ge c \implies a-c \ge 0\)
  • \(b \ge 0\)

  Vậy \(a+b-c = (a-c) + b \ge 0 + 0 = 0\).
  
  Từ đó suy ra \((a+b-c) \ge 0\).

Vì cả hai nhân tử đều không âm, nên tích của chúng là không âm: \((a-b)^2 (a+b-c) \ge 0\).

Thành phần thứ hai: \(c(a-c)(b-c)\)

• \(c\): Theo giả thiết, \(c \ge 0\).
• \((a-c)\): Vì \(a \ge c\), nên \((a-c) \ge 0\).
• \((b-c)\): Vì \(b \ge c\), nên \((b-c) \ge 0\).

Vì cả ba nhân tử đều không âm, nên tích của chúng là không âm: \(c(a-c)(b-c) \ge 0\).

Bước 6: Kết luận

Vì cả hai thành phần \((a-b)^2 (a+b-c)\) và \(c(a-c)(b-c)\) đều không âm, nên tổng của chúng cũng sẽ không âm:

Dấu bằng xảy ra khi nào?

Dấu bằng xảy ra khi cả hai thành phần đều bằng 0:

\((a-b)^2 (a+b-c) = 0\) VÀ \(c(a-c)(b-c) = 0\).

Từ điều kiện thứ nhất: \(a=b\) HOẶC \(a+b-c=0\).

Từ điều kiện thứ hai: \(c=0\) HOẶC \(a=c\) HOẶNG \(b=c\).

Kết hợp các trường hợp và nhớ điều kiện \(a \ge b \ge c \ge 0\):

1. Nếu \(a=b=c\): Khi đó tất cả các hiệu đều bằng 0, nên bất đẳng thức bằng 0.

2. Nếu \(c=0\): Bất đẳng thức trở thành \((a-b)^2 (a+b) \ge 0\). Dấu bằng xảy ra khi \(a=b\) (và \(c=0\)). Ví dụ: \((1,1,0)\).

3. Nếu \(a=b\) và \(b=c\) (tức là \(a=b=c\)), đã xét ở trên.

4. Nếu \(a+b-c=0\): Vì \(a \ge b \ge c \ge 0\), điều này chỉ xảy ra khi \(b=0\) và \(a=c\). (Ví dụ: \((1,0,1)\), nhưng trường hợp này đã được giả sử \(a \ge b \ge c\) nên phải là \(1 \ge 0 \ge 1\), suy ra \(1=0\), tức là \(a=b=c=0\)).

Vậy, dấu bằng xảy ra khi và chỉ khi:

• \(a=b=c\)
• Hoặc khi hai trong ba số \(a, b, c\) bằng nhau và số còn lại bằng 0. (Ví dụ: \((k,k,0)\) hoặc \((k,0,k)\) hoặc \((0,k,k)\) với \(k \ge 0\)).

Thầy (hoặc cô) hy vọng qua bài giải chi tiết này, các em đã hiểu rõ hơn về cách chứng minh bất đẳng thức Schur. Đây là một bất đẳng thức rất hữu ích trong nhiều bài toán đại số nâng cao đó! Nếu có bất kỳ thắc mắc nào, đừng ngần ngại hỏi lại nhé!