Để giải bài toán bất đẳng thức này, ta sử dụng phương pháp AM-GM ngược dấu để đánh giá từng phân thức ở vế trái.
(Lưu ý: Tại điểm rơi $a=b=c=1$, vế trái bằng $1$. Để vế phải cũng bằng $1$ thì hằng số ở tử số phải là $6$ chứ không phải $2$ như hình vẽ bị mờ kìa: $\frac{3(1+1+1)-6}{3} = 1$. Do đó, ta sẽ chứng minh bất đẳng thức với tử số là $3(a+b+c)-6$).
Lời giải chi tiết:
Bước 1: Biến đổi và đánh giá từng phân thức bằng AM-GM
Ta có biến đổi đại số sau cho phân thức đầu tiên:
$\frac{a^5}{a^2+ab+b^2} = a^3 - \frac{a^3b(a+b)}{a^2+ab+b^2}$
Áp dụng bất đẳng thức AM-GM cho mẫu số: $a^2+ab+b^2 \ge 3ab > 0$. Do mẫu số nằm dưới phân thức mang dấu trừ nên ta đổi chiều bất đẳng thức:
$\frac{a^3b(a+b)}{a^2+ab+b^2} \le \frac{a^3b(a+b)}{3ab} = \frac{a^2(a+b)}{3} = \frac{a^3+a^2b}{3}$
Suy ra:
$\frac{a^5}{a^2+ab+b^2} \ge a^3 - \frac{a^3+a^2b}{3} = \frac{2a^3 - a^2b}{3}$

Bước 2: Lấy tổng hoán vị (Cyclic Sum) ba biến
Tương tự cho các phân thức còn lại và cộng vế theo vế, ta được:
$\sum_{cyc} \frac{a^5}{a^2+ab+b^2} \ge \frac{2(a^3+b^3+c^3) - (a^2b+b^2c+c^2a)}{3}$
Mặt khác, theo bất đẳng thức AM-GM ta cũng có:
 
$a^3 + a^3 + b^3 \ge 3a^2b$
$b^3 + b^3 + c^3 \ge 3b^2c$
$c^3 + c^3 + a^3 \ge 3c^2a$

Cộng lại ta được: $3(a^3+b^3+c^3) \ge 3(a^2b+b^2c+c^2a) \implies a^3+b^3+c^3 \ge a^2b+b^2c+c^2a$.
Do đó:
$\frac{2(a^3+b^3+c^3) - (a^2b+b^2c+c^2a)}{3} \ge \frac{2(a^3+b^3+c^3) - (a^3+b^3+c^3)}{3} = \frac{a^3+b^3+c^3}{3}$

Bước 3: Sử dụng điều kiện $abc=1$ để đưa về dạng bài yêu cầu
Áp dụng tiếp bất đẳng thức AM-GM bộ ba số để hạ bậc từ mũ 3 xuống mũ 1:
 
$a^3 + 1 + 1 \ge 3a$
$b^3 + 1 + 1 \ge 3b$
$c^3 + 1 + 1 \ge 3c$

Cộng cả 3 bất đẳng thức trên lại:
$a^3+b^3+c^3 + 6 \ge 3(a+b+c) \implies a^3+b^3+c^3 \ge 3(a+b+c) - 6$
Thay vào biểu thức ở Bước 2, ta thu được điều phải chứng minh:
$\sum_{cyc} \frac{a^5}{a^2+ab+b^2} \ge \frac{3(a+b+c)-6}{3}$
Dấu "=" xảy ra khi và chỉ khi $a = b = c = 1$.
Nếu bạn cần hỗ trợ thêm các bài toán bất đẳng thức tương tự bằng phương pháp Cauchy-Schwarz hoặc U.C.T (hệ số bất định), hãy cho mình biết nhé