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 khá thú vị và không kém phần thử thách, đặc biệt là việc làm sao để xuất hiện con số \(7\) ở vế phải. Đây là một câu hỏi rất hay, chứng tỏ các em đã suy nghĩ sâu sắc về bài toán. Nào, chúng ta cùng bắt đầu nhé!

Đề bài:
Cho các số thực dương \(a, b, c\) thỏa mãn \(a+b+c=1\).

Chứng minh rằng:

\(1/(a+bc) + 1/(b+ca) + 1/(c+ab) >= 7/(abc+1)\).

Lời giải chi tiết:

Để giải quyết bài toán này, chúng ta sẽ đi theo các bước sau:

1. Bước 1: Biến đổi các mẫu số ở vế trái.

Chúng ta có điều kiện \(a+b+c=1\). Hãy tận dụng điều này để biến đổi các mẫu số.

Xét mẫu số đầu tiên: \(a+bc\).

Vì \(a+b+c=1\), ta có thể viết \(a = a \cdot 1 = a(a+b+c)\).

Do đó, \(a+bc = a(a+b+c) + bc = a^2+ab+ac+bc\).

Chúng ta thấy biểu thức này có thể phân tích thành nhân tử:

\(a^2+ab+ac+bc = (a^2+ab) + (ac+bc) = a(a+b) + c(a+b) = (a+b)(a+c)\).

Vậy, chúng ta có một đẳng thức rất quan trọng:

\(a+bc = (a+b)(a+c)\).

Tương tự, với các mẫu số còn lại, chúng ta cũng có:

\(b+ca = (b+a)(b+c)\).

\(c+ab = (c+a)(c+b)\).

2. Bước 2: Thay thế vào vế trái và áp dụng Bất đẳng thức Cauchy-Schwarz (dạng Engel).

Sau khi biến đổi các mẫu số, vế trái của bất đẳng thức trở thành:

\(VT = 1/((a+b)(a+c)) + 1/((b+a)(b+c)) + 1/((c+a)(c+b))\).

Để chứng minh bất đẳng thức này, chúng ta sẽ sử dụng Bất đẳng thức Cauchy-Schwarz dưới dạng Engel:

Với \(x_i, y_i > 0\), ta có: \(x_1^2/y_1 + x_2^2/y_2 + … + x_n^2/y_n >= (x_1+x_2+…+x_n)^2 / (y_1+y_2+…+y_n)\).

Áp dụng bất đẳng thức này với \(x_1=x_2=x_3=1\):

\(VT >= (1+1+1)^2 / ((a+b)(a+c) + (b+a)(b+c) + (c+a)(c+b))\).

\(VT >= 9 / ((a+b)(a+c) + (b+a)(b+c) + (c+a)(c+b))\).

Bây giờ, chúng ta cần tính tổng các mẫu số ở dưới mẫu:

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

\(= (a^2+ac+ab+bc) + (b^2+bc+ba+ac) + (c^2+cb+ca+ab)\)

\(= a^2+b^2+c^2 + 2(ab+bc+ca) + (ab+bc+ca)\)

\(= (a^2+b^2+c^2+2ab+2bc+2ca) + (ab+bc+ca)\)

Chúng ta biết rằng \(a^2+b^2+c^2+2ab+2bc+2ca = (a+b+c)^2\).

Vì \(a+b+c=1\), nên \((a+b+c)^2 = 1^2 = 1\).

Do đó, tổng các mẫu số là \(1 + ab+bc+ca\).

Vậy, vế trái của bất đẳng thức sau khi áp dụng Cauchy-Schwarz là:

\(VT >= 9 / (1 + ab+bc+ca)\).

3. Bước 3: Chứng minh bất đẳng thức trung gian để xuất hiện số \(7\).

Chúng ta cần chứng minh rằng \(9 / (1 + ab+bc+ca) >= 7 / (abc+1)\).

Điều này tương đương với việc chứng minh:

\(9(abc+1) >= 7(1 + ab+bc+ca)\).

Khai triển hai vế, ta được:

\(9abc + 9 >= 7 + 7(ab+bc+ca)\).

\(9abc + 2 >= 7(ab+bc+ca)\).

Đây là một bất đẳng thức đã biết và thường được chứng minh bằng Bất đẳng thức Schur bậc 3.

Nhắc lại Bất đẳng thức Schur bậc 3: Với các số thực không âm \(a,b,c\), và \(r>0\), ta có:

\(a^r(a-b)(a-c) + b^r(b-a)(b-c) + c^r(c-a)(c-b) >= 0\).

Đối với trường hợp \(r=1\), chúng ta có:

\(a(a-b)(a-c) + b(b-a)(b-c) + c(c-a)(c-b) >= 0\).

Khai triển và rút gọn, chúng ta có một dạng khác của Bất đẳng thức Schur bậc 3:

\(a^3+b^3+c^3+3abc >= ab(a+b)+bc(b+c)+ca(c+a)\).

Với điều kiện \(a+b+c=1\), ta có thể sử dụng các biến đổi sau:

• Đặt \(p=a+b+c=1\).
• Đặt \(q=ab+bc+ca\).
• Đặt \(r=abc\).

Bất đẳng thức Schur bậc 3 có thể viết lại dưới dạng: \(p^3 – 4pq + 9r >= 0\).

Thay \(p=1\) vào, ta có:

\(1^3 – 4(1)q + 9r >= 0\).

\(1 – 4q + 9r >= 0\).

Hay \(9r + 1 >= 4q\).

Chúng ta cần chứng minh \(9r + 2 >= 7q\). Từ \(9r + 1 >= 4q\), ta suy ra \(9r >= 4q – 1\).

Thay thế vào bất đẳng thức cần chứng minh (\(9r + 2 >= 7q\)):

\((4q-1) + 2 >= 7q\).

\(4q + 1 >= 7q\).

\(1 >= 3q\).

Hay \(q <= 1/3\).

Bất đẳng thức \(ab+bc+ca <= 1/3\) là một bất đẳng thức cơ bản và đúng với \(a+b+c=1\). Chúng ta có thể chứng minh nó như sau:

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

\(a^2-2ab+b^2+b^2-2bc+c^2+c^2-2ca+a^2 >= 0\).

\(2(a^2+b^2+c^2) – 2(ab+bc+ca) >= 0\).

\(a^2+b^2+c^2 >= ab+bc+ca\).

Mặt khác, \((a+b+c)^2 = a^2+b^2+c^2+2(ab+bc+ca)\).

Thay \(a^2+b^2+c^2 >= ab+bc+ca\) vào, ta được:

\((a+b+c)^2 >= (ab+bc+ca) + 2(ab+bc+ca)\).

\((a+b+c)^2 >= 3(ab+bc+ca)\).

Vì \(a+b+c=1\), ta có \(1^2 >= 3(ab+bc+ca)\).

Suy ra \(ab+bc+ca <= 1/3\). (Đúng!)

Do bất đẳng thức \(ab+bc+ca <= 1/3\) là đúng, nên suy ngược lại, bất đẳng thức \(9abc + 2 >= 7(ab+bc+ca)\) cũng đúng.

Vậy, bất đẳng thức trung gian \(9 / (1 + ab+bc+ca) >= 7 / (abc+1)\) là đúng.

4. Bước 4: Kết luận.

Chúng ta đã chứng minh được rằng:

\(1/(a+bc) + 1/(b+ca) + 1/(c+ab) >= 9 / (1 + ab+bc+ca)\).

Và \(9 / (1 + ab+bc+ca) >= 7 / (abc+1)\).

Từ hai bất đẳng thức trên, ta suy ra:

\(1/(a+bc) + 1/(b+ca) + 1/(c+ab) >= 7 / (abc+1)\).

Dấu “=” xảy ra khi và chỉ khi \(a=b=c=1/3\).

Khi đó, \(a+bc = 1/3 + 1/9 = 4/9\). Vế trái là \(3 \cdot (9/4) = 27/4\).

Và \(abc+1 = 1/27+1 = 28/27\). Vế phải là \(7 / (28/27) = 7 \cdot 27 / 28 = 27/4\).

Hai vế bằng nhau, điều này xác nhận lời giải của chúng ta là chính xác.

Vậy là chúng ta đã tìm ra “bí mật” của số \(7\). Nó xuất hiện thông qua việc sử dụng Bất đẳng thức Schur bậc 3 kết hợp với bất đẳng thức cơ bản \(ab+bc+ca \le 1/3\). Chúc các em học tốt!