Ta viết lại bất đẳng thức dưới dạng thuần nhất như sau:
[imath]a^4+b^4+c^4 -3abc(a+b+c) \ge -ab(a^2+b^2)-bc(b^2+c^2)-ca(c^2+a^2)[/imath]
Khi đó ta có thể lược bỏ đi điều kiện [imath]abc=-1[/imath] . Tức bất đẳng thức này đúng với mọi số thực [imath]a,b,c[/imath]
Ta cần chứng minh [imath]a^4+b^4+c^4 -3abc(a+b+c) \geq -\sum ab(a^2+b^2)=-(ab+bc+ca)(a^2+b^2+c^2)+abc(a+b+c)[/imath]
đúng với mọi số thực [imath]a,b,c[/imath]
[imath]\Leftrightarrow a^4+b^4+c^4 + (ab+bc+ca)(a^2+b^2+c^2)\geq 4abc(a+b+c)[/imath]
(1)
Nếu [imath]a+b+c=0[/imath] thì bất đẳng thức hiển nhiên đúng
Nếu [imath]a+b+c \ne 0[/imath]
Khi đó thay bộ [imath](a,b,c)[/imath] bởi [imath](-a,-b,-c)[/imath] thì bất đẳng thức vẫn không đổi nên ta có thể giả sử [imath]a+b+c>0[/imath]
Vì bất đẳng thức thuần nhất do đó ta có thể chuẩn hóa [imath]a+b+c=3[/imath]
Đặt [imath](a,b)=(x+1,y+1)[/imath] thì [imath]c=-x-y+1[/imath]
Thay vào (1) rồi thu gọn ta được [imath]27(x^2+xy+y^2) \ge 0[/imath] (đúng)
Đẳng thức xảy ra khi [imath]a=b=c[/imath] hoặc [imath]a+b+c=0[/imath]
Nếu còn thắc mắc chỗ nào bạn hãy trả lời dưới topic này để được hỗ trợ nhé ^^
Chúc bạn học tốt ^^
Ngoài ra, bạn tham khảo kiến thức tại đây nhé
[Lý thuyết] Chuyên đề HSG : Bất đẳng thức