Đặt [tex]a+b+c=p,ab+bc+ca=q,abc=r[/tex]
Sử dụng BĐT Schur:[tex]\sum a(a-b)(a-c)\geq 0[/tex]
Nhân phá ra rồi nhóm lại ta được: [tex]9r\geq p(4q-p^2)[/tex]
Áp dụng bất đẳng thức phụ trên, ta có:[tex]12+9r\geq 12+p(4q-p^2)=12+4pq-p^3[/tex]
Bất đẳng thức cần chứng minh tương đương với:[tex]12+4pq-p^3\geq 7q\Leftrightarrow (p-3)^3(2p+5)\geq 0(luôn đúng)[/tex]
Đặt [tex]a+b+c=p,ab+bc+ca=q,abc=r[/tex]
Sử dụng BĐT Schur:[tex]\sum a(a-b)(a-c)\geq 0[/tex]
Nhân phá ra rồi nhóm lại ta được: [tex]9r\geq p(4q-p^2)[/tex]
Áp dụng bất đẳng thức phụ trên, ta có:[tex]12+9r\geq 12+p(4q-p^2)=12+4pq-p^3[/tex]
Bất đẳng thức cần chứng minh tương đương với:[tex]12+4pq-p^3\geq 7q\Leftrightarrow (p-3)^3(2p+5)\geq 0(luôn đúng)[/tex]
Đặt [tex]a+b+c=p,ab+bc+ca=q,abc=r[/tex]
Sử dụng BĐT Schur:[tex]\sum a(a-b)(a-c)\geq 0[/tex]
Nhân phá ra rồi nhóm lại ta được: [tex]9r\geq p(4q-p^2)[/tex]
Áp dụng bất đẳng thức phụ trên, ta có:[tex]12+9r\geq 12+p(4q-p^2)=12+4pq-p^3[/tex]
Bất đẳng thức cần chứng minh tương đương với:[tex]12+4pq-p^3\geq 7q\Leftrightarrow (p-3)^3(2p+5)\geq 0(luôn đúng)[/tex]