Sử dụng bất đẳng thức AM - GM:
+⎩⎨⎧3a+7=413(a+7).8.8≤12a+7+8+8≤≤124a4+1+1+1+23=48a4+953b+7=413(b+7).8.8≤12b+7+8+8≤≤124b4+1+1+1+23=48b4+953c+7=413(c+7).8.8≤12c+7+8+8≤≤124c4+1+1+1+23=48c4+95
⇒3a+7+3b+7+3c+7≤48a4+b4+c4+3.95
Mặt khác:
3(a4+b4+c4)+3=cyc∑(a4+b4+c4+1)≥≥4(ab2+bc2+ca2)=12⇔3≤a4+b4+c4⇒3a+7+3b+7+3c+7≤≤48a4+b4+c4+95(a4+b4+c4)=2(a4+b4+c4)
Đẳng thức xảy ra a = b = c = 1