Áp dụng bất đẳng thức Cô-si cho hai số x4 và yz ta có : x4+yz≥2x4zy=2x2yz

Tương tự : y4+xz≥2y2xzz4+xy≥2z2xy

⇒x2x4+yz+y2y4+xz+z2z4+xy≤x22x2yz+y22y2xz+z22z2xy⇔ x2x4+yz+y2y4+xz+z2z4+xy≤121yz+1xz+1xy⇔x2x4+yz+y2y4+xz+z2z4+xy≤12.x+y+zxyz

Sử dụng bất đẳng thức phụ : a+b+c2≤3a2+b2+c2(sử dụng phép biến đổi tương đương để chứng minh)

x+y+z2≤3x+y+z⇒x+y+z2≤3.x2+y2+z2=9xyz⇒x+y+z≤3xyz⇒x+y+z2≤3.3xyz=9xyz⇒x+y+z≤3xyz4⇒x2x4+yz+y2y4+xz+z2z4+xy≤12.3xyz4xyz=32.1xyz4

Ta sẽ chứng minh xyz4≥1

Áp dụng bất đẳng thức Cô – si cho 3 số x2,y2,z2ta được :

x2+y2+z2≥3xyz23⇒3xyz≥3xyz23⇒xyz3≥1( do xyz>0)⇒xyz≥1⇒xyz4≥1

⇒x2x4+yz+y2y4+xz+z2z4+xy≤12.3xyz4xyz=32.1xyz4≤32

Dấu "="xảy ra khi x=y=z=1