Ta viết lại bất đẳng thức dưới dạng thuần nhất như sau:
a4+b4+c4−3abc(a+b+c)≥−ab(a2+b2)−bc(b2+c2)−ca(c2+a2)
Khi đó ta có thể lược bỏ đi điều kiện
abc=−1 . Tức bất đẳng thức này đúng với mọi số thực
a,b,c
Ta cần chứng minh
a4+b4+c4−3abc(a+b+c)≥−∑ab(a2+b2)=−(ab+bc+ca)(a2+b2+c2)+abc(a+b+c)
đúng với mọi số thực
a,b,c
⇔a4+b4+c4+(ab+bc+ca)(a2+b2+c2)≥4abc(a+b+c) (1)
Nếu
a+b+c=0 thì bất đẳng thức hiển nhiên đúng
Nếu
a+b+c=0
Khi đó thay bộ
(a,b,c) bởi
(−a,−b,−c) thì bất đẳng thức vẫn không đổi nên ta có thể giả sử
a+b+c>0
Vì bất đẳng thức thuần nhất do đó ta có thể chuẩn hóa
a+b+c=3
Đặt
(a,b)=(x+1,y+1) thì
c=−x−y+1
Thay vào (1) rồi thu gọn ta được
27(x2+xy+y2)≥0 (đúng)
Đẳng thức xảy ra khi
a=b=c hoặc
a+b+c=0
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