1. Phát biểu bất đẳng thức Nesbitt

Cho ba số thực dương \(a, b, c\). Bất đẳng thức Nesbitt được phát biểu như sau:

\[ \frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} \ge \frac{3}{2} \]

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

2. Ý nghĩa của tính đối xứng giữa ba biến \(a, b, c\) trong bất đẳng thức Nesbitt

Một biểu thức được gọi là đối xứng đối với các biến \(a, b, c\) nếu giá trị của biểu thức không thay đổi khi chúng ta hoán vị (đổi chỗ) bất kỳ hai biến nào đó. Nói cách khác, nếu chúng ta thay \(a\) bằng \(b\), \(b\) bằng \(a\), và \(c\) giữ nguyên, biểu thức vẫn giữ nguyên giá trị. Điều này đúng với bất kỳ cặp biến nào (a và b, b và c, hoặc a và c).

Hãy xem xét vế trái của bất đẳng thức Nesbitt: \(LHS = \frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b}\).

Nếu chúng ta hoán vị \(a\) và \(b\), ta sẽ được:

\[ \frac{b}{a+c} + \frac{a}{c+b} + \frac{c}{b+a} \]

Các em có thấy không? Biểu thức này về cơ bản là giống hệt biểu thức ban đầu, chỉ khác thứ tự các số hạng trong tổng. Ví dụ, số hạng đầu tiên \(\frac{a}{b+c}\) chuyển thành \(\frac{b}{a+c}\), số hạng thứ hai \(\frac{b}{c+a}\) chuyển thành \(\frac{a}{c+b}\), và số hạng thứ ba \(\frac{c}{a+b}\) vẫn là \(\frac{c}{b+a}\) (do \(a+b = b+a\)). Tổng của ba số hạng này vẫn không đổi.

Tương tự, nếu chúng ta hoán vị \(a\) và \(c\), hoặc \(b\) và \(c\), biểu thức cũng sẽ không thay đổi giá trị. Điều này có nghĩa là bất đẳng thức Nesbitt là một bất đẳng thức hoàn toàn đối xứng (hay còn gọi là đối xứng đầy đủ) đối với các biến \(a, b, c\).

Ý nghĩa của tính đối xứng này là: tất cả các biến \(a, b, c\) đều đóng vai trò như nhau trong bất đẳng thức. Không có biến nào “quan trọng hơn” hay “khác biệt hơn” các biến còn lại. Bất kỳ kết luận nào về \(a\) cũng phải đúng với \(b\) và \(c\) do vai trò của chúng là như nhau.

3. Tính đối xứng gợi ý về trường hợp xảy ra dấu bằng như thế nào?

Vì bất đẳng thức Nesbitt hoàn toàn đối xứng, điều này gợi ý rất mạnh mẽ rằng dấu bằng sẽ xảy ra khi tất cả các biến có giá trị “bằng nhau” hoặc “cân bằng” nhất có thể. Bởi vì nếu \(a, b, c\) có giá trị khác nhau, ví dụ \(a=1, b=2, c=3\), thì do tính đối xứng, nếu dấu bằng xảy ra tại \((1, 2, 3)\) thì nó cũng phải xảy ra tại \((2, 1, 3)\), \((3, 2, 1)\) và tất cả các hoán vị khác. Điều này dẫn đến một tình huống khá phức tạp và thường không phải là trường hợp dấu bằng cho các bất đẳng thức đối xứng đơn giản.

Trường hợp “cân bằng” nhất và đơn giản nhất, nơi tất cả các biến được đối xử hoàn toàn như nhau, là khi chúng có giá trị bằng nhau: \(a = b = c\).

Thật vậy, khi \(a=b=c\), ta thay vào vế trái của bất đẳng thức:

\[ \frac{a}{a+a} + \frac{a}{a+a} + \frac{a}{a+a} = \frac{a}{2a} + \frac{a}{2a} + \frac{a}{2a} = \frac{1}{2} + \frac{1}{2} + \frac{1}{2} = \frac{3}{2} \]

Kết quả này chính bằng vế phải của bất đẳng thức. Do đó, dấu bằng xảy ra khi \(a=b=c\). Tính đối xứng đã giúp chúng ta “dự đoán” hoặc ít nhất là có một gợi ý rất mạnh về trường hợp dấu bằng này.

4. Trường hợp biểu thức không có tính đối xứng đầy đủ mà chỉ có tính chất hoán vị (đối xứng vòng quanh)

Không phải mọi biểu thức đều có tính đối xứng đầy đủ. Có những biểu thức chỉ có tính chất đối xứng vòng quanh (cyclic symmetry hay permutation property). Điều này có nghĩa là biểu thức không thay đổi khi chúng ta thực hiện một phép hoán vị vòng tròn các biến, ví dụ: thay \(a\) bằng \(b\), \(b\) bằng \(c\), và \(c\) bằng \(a\). Ký hiệu là \(E(a, b, c) = E(b, c, a) = E(c, a, b)\). Tuy nhiên, biểu thức này có thể thay đổi nếu chúng ta chỉ hoán vị hai biến bất kỳ.

Một ví dụ điển hình cho biểu thức có tính đối xứng vòng quanh nhưng không đối xứng đầy đủ là:

\[ E(a, b, c) = \frac{a}{a+b} + \frac{b}{b+c} + \frac{c}{c+a} \]

• Nếu hoán vị vòng quanh: \(a \to b, b \to c, c \to a\), ta được \(\frac{b}{b+c} + \frac{c}{c+a} + \frac{a}{a+b}\), giá trị không đổi.
• Nếu chỉ hoán vị \(a\) và \(b\): ta được \(\frac{b}{b+a} + \frac{a}{a+c} + \frac{c}{c+b}\). Biểu thức này KHÔNG giống với biểu thức gốc. (Số hạng thứ hai và thứ ba đã thay đổi đáng kể).

Vậy, nếu một biểu thức không có tính đối xứng đầy đủ mà chỉ có tính chất hoán vị vòng quanh, ta có thể luôn kết luận rằng dấu bằng xảy ra khi \(a=b=c\) hay không?

Câu trả lời là: Không, không phải lúc nào cũng có thể kết luận như vậy.

Mặc dù trường hợp \(a=b=c\) thường là một điểm đặc biệt (ví dụ, là nơi mà hàm số đạt cực trị, hoặc dấu bằng xảy ra trong nhiều bất đẳng thức có tính đối xứng vòng quanh), nhưng sự thiếu vắng của tính đối xứng đầy đủ loại bỏ đi lập luận mạnh mẽ rằng “tất cả các biến phải được đối xử như nhau tại điểm cực trị/dấu bằng”.

Ví dụ minh họa:

Xét biểu thức \(F(a, b, c) = a^2b + b^2c + c^2a\).

• Đây là biểu thức có tính đối xứng vòng quanh: \(F(a, b, c) = a^2b + b^2c + c^2a\). Hoán vị \(a \to b, b \to c, c \to a\) ta được \(b^2c + c^2a + a^2b\), vẫn là \(F(a, b, c)\).
• Nó không có tính đối xứng đầy đủ: Nếu hoán vị \(a\) và \(b\), ta được \(b^2a + a^2c + c^2b\), rõ ràng khác với biểu thức ban đầu.

Nếu chúng ta tìm cực trị (giá trị nhỏ nhất hoặc lớn nhất) cho biểu thức này (với \(a,b,c\) thỏa mãn một điều kiện nào đó, ví dụ \(a+b+c=C\)), thì trường hợp \(a=b=c\) có thể không phải là nơi đạt cực trị. Ví dụ, cho \(a+b+c=3\):

• Nếu \(a=b=c=1\), thì \(F(1,1,1) = 1^2 \cdot 1 + 1^2 \cdot 1 + 1^2 \cdot 1 = 1+1+1=3\).
• Nếu \(a=0.1, b=0.1, c=2.8\), thì \(F(0.1, 0.1, 2.8) = (0.1)^2(0.1) + (0.1)^2(2.8) + (2.8)^2(0.1) = 0.001 + 0.028 + 0.784 = 0.813\).
• Nếu \(a=2.8, b=0.1, c=0.1\), thì \(F(2.8, 0.1, 0.1) = (2.8)^2(0.1) + (0.1)^2(0.1) + (0.1)^2(2.8) = 0.784 + 0.001 + 0.028 = 0.813\).
• Nếu \(a=1, b=0.5, c=1.5\), thì \(F(1,0.5,1.5) = 1^2(0.5) + (0.5)^2(1.5) + (1.5)^2(1) = 0.5 + 0.375 + 2.25 = 3.125\).

Các ví dụ trên cho thấy \(a=b=c\) không phải lúc nào cũng là điểm cực trị hay dấu bằng cho biểu thức chỉ có tính đối xứng vòng quanh. Tính chất đối xứng vòng quanh chỉ đảm bảo rằng nếu một bộ giá trị \((a_0, b_0, c_0)\) là điểm dấu bằng hoặc cực trị, thì các hoán vị vòng quanh của nó như \((b_0, c_0, a_0)\) và \((c_0, a_0, b_0)\) cũng sẽ là điểm dấu bằng hoặc cực trị. Nhưng nó không loại trừ khả năng các giá trị \(a_0, b_0, c_0\) đó không bằng nhau.

Do đó, khi gặp một bất đẳng thức chỉ có tính đối xứng vòng quanh, việc kiểm tra \(a=b=c\) là một khởi đầu tốt, nhưng chúng ta cần cẩn trọng hơn và có thể cần các phương pháp chứng minh phức tạp hơn (như dồn biến, phương pháp S.O.S, Lagrange Multipliers, v.v.) để xác định chính xác trường hợp dấu bằng.

Hy vọng bài học này đã giúp các em hiểu rõ hơn về bất đẳng thức Nesbitt và đặc biệt là ý nghĩa sâu sắc của tính đối xứng trong toán học!