Đề bài

Cho các số dương a, b, c thỏa mãn điều kiện abc = 1.
Chứng minh rằng: (a^2 - a + 1)(b^2 - b + 1)(c^2 - c + 1) >= 1

Bài giải chi tiết

Bước 1: Phân tích và biến đổi biểu thức

Nhận thấy rằng việc nhân trực tiếp cả ba biểu thức ở vế trái sẽ rất phức tạp và khó để sử dụng giả thiết abc = 1. Do đó, chúng ta sẽ tìm cách biến đổi từng biểu thức (a^2 - a + 1), (b^2 - b + 1), (c^2 - c + 1) về một dạng khác thuận lợi hơn.

Ta nhớ lại hằng đẳng thức đáng nhớ "Tổng của hai lập phương":
x^3 + 1 = (x + 1)(x^2 - x + 1)

Từ hằng đẳng thức này, ta có thể suy ra:
x^2 - x + 1 = (x^3 + 1) / (x + 1)

Vì a, b, c là các số dương nên a+1, b+1, c+1 đều là số dương. Do đó, ta có thể áp dụng phép biến đổi trên cho từng nhân tử của vế trái:

• a^2 - a + 1 = (a^3 + 1) / (a + 1)
• b^2 - b + 1 = (b^3 + 1) / (b + 1)
• c^2 - c + 1 = (c^3 + 1) / (c + 1)

Thay các biểu thức này vào bất đẳng thức cần chứng minh, ta được:
((a^3 + 1) / (a + 1)) * ((b^3 + 1) / (b + 1)) * ((c^3 + 1) / (c + 1)) >= 1

<=> (a^3 + 1)(b^3 + 1)(c^3 + 1) >= (a + 1)(b + 1)(c + 1)

Bây giờ, chúng ta sẽ khai triển và rút gọn cả hai vế của bất đẳng thức mới này.

• Xét vế trái (VT):
  VT = (a^3 + 1)(b^3 + 1)(c^3 + 1)
  VT = (a^3b^3 + a^3 + b^3 + 1)(c^3 + 1)
  VT = a^3b^3c^3 + a^3b^3 + a^3c^3 + a^3 + b^3c^3 + b^3 + c^3 + 1
  Theo giả thiết, abc = 1 nên a^3b^3c^3 = (abc)^3 = 1^3 = 1.
  VT = 1 + a^3b^3 + a^3c^3 + b^3c^3 + a^3 + b^3 + c^3 + 1
  VT = 2 + a^3 + b^3 + c^3 + (ab)^3 + (bc)^3 + (ca)^3
• Xét vế phải (VP):
  VP = (a + 1)(b + 1)(c + 1)
  VP = (ab + a + b + 1)(c + 1)
  VP = abc + ab + ac + a + bc + b + c + 1
  Theo giả thiết abc = 1:
  VP = 1 + ab + ac + bc + a + b + c + 1
  VP = 2 + (a + b + c) + (ab + bc + ca)

Vậy, bất đẳng thức cần chứng minh tương đương với:
2 + a^3 + b^3 + c^3 + (ab)^3 + (bc)^3 + (ca)^3 >= 2 + (a + b + c) + (ab + bc + ca)
<=> a^3 + b^3 + c^3 + (ab)^3 + (bc)^3 + (ca)^3 >= a + b + c + ab + bc + ca

Từ giả thiết abc = 1, ta có: ab = 1/c, bc = 1/a, ca = 1/b. Thay vào bất đẳng thức trên:
a^3 + b^3 + c^3 + (1/c)^3 + (1/a)^3 + (1/b)^3 >= a + b + c + 1/c + 1/a + 1/b
<=> (a^3 + 1/a^3) + (b^3 + 1/b^3) + (c^3 + 1/c^3) >= (a + 1/a) + (b + 1/b) + (c + 1/c)

Để chứng minh bất đẳng thức này, ta sẽ chứng minh một bất đẳng thức phụ đơn giản hơn.

Bước 2: Chứng minh bất đẳng thức phụ

Ta sẽ chứng minh rằng với mọi x > 0, ta luôn có: x^3 + 1/x^3 >= x + 1/x.

Để chứng minh, ta sử dụng phương pháp xét hiệu:
x^3 + 1/x^3 - (x + 1/x)
= (x + 1/x)(x^2 - x*(1/x) + 1/x^2) - (x + 1/x)
= (x + 1/x)(x^2 - 1 + 1/x^2) - (x + 1/x)
Đặt (x + 1/x) làm nhân tử chung:
= (x + 1/x) * ( (x^2 - 1 + 1/x^2) - 1 )
= (x + 1/x) * (x^2 - 2 + 1/x^2)
= (x + 1/x) * (x - 1/x)^2

• Vì x > 0 nên x + 1/x > 0.
• Bình phương của một số luôn không âm, nên (x - 1/x)^2 >= 0.

Do đó, (x + 1/x) * (x - 1/x)^2 >= 0 với mọi x > 0.
Vậy bất đẳng thức phụ x^3 + 1/x^3 >= x + 1/x đã được chứng minh.
Dấu "=" xảy ra khi (x - 1/x)^2 = 0, tức là x = 1/x, suy ra x^2 = 1. Vì x > 0 nên x = 1.

Bước 3: Hoàn thành chứng minh

Áp dụng bất đẳng thức phụ vừa chứng minh cho các số dương a, b, c, ta có:

• a^3 + 1/a^3 >= a + 1/a (1)
• b^3 + 1/b^3 >= b + 1/b (2)
• c^3 + 1/c^3 >= c + 1/c (3)

Cộng vế theo vế của ba bất đẳng thức (1), (2), (3), ta được:
(a^3 + 1/a^3) + (b^3 + 1/b^3) + (c^3 + 1/c^3) >= (a + 1/a) + (b + 1/b) + (c + 1/c)

Đây chính là bất đẳng thức mà chúng ta đã suy ra ở cuối Bước 1. Vì bất đẳng thức này đúng, nên bất đẳng thức ban đầu cũng đúng.

Kết luận: Vậy, với a, b, c > 0 và abc = 1, ta đã chứng minh được (a^2 - a + 1)(b^2 - b + 1)(c^2 - c + 1) >= 1.

Dấu "=" xảy ra khi dấu "=" ở cả ba bất đẳng thức phụ xảy ra, tức là:
a = 1, b = 1 và c = 1.
Điều này thỏa mãn giả thiết abc = 1*1*1 = 1.

Lời khuyên

1. Nhận dạng và biến đổi: Khi gặp một bài toán có vẻ phức tạp, đừng vội vàng khai triển trực tiếp. Hãy quan sát xem có thể biến đổi các biểu thức bằng cách sử dụng các hằng đẳng thức đáng nhớ hay không. Việc biến đổi x^2 - x + 1 thành (x^3+1)/(x+1) là mấu chốt của bài toán này.
2. Sử dụng giả thiết: Giả thiết abc = 1 rất quan trọng. Sau khi biến đổi, hãy tìm cách áp dụng giả thiết này để rút gọn biểu thức.
3. Chia để trị: Thay vì giải quyết một bất đẳng thức phức tạp, ta có thể đưa nó về việc chứng minh một bất đẳng thức phụ đơn giản hơn (x^3 + 1/x^3 >= x + 1/x) rồi áp dụng nó cho từng biến. Đây là một chiến lược rất hiệu quả trong chứng minh bất đẳng thức.
4. Nắm vững các phương pháp cơ bản: Phương pháp xét hiệu (A >= B <=> A - B >= 0) là một trong những công cụ cơ bản và mạnh nhất để chứng minh bất đẳng thức.