ไม่ค่อยสวยเท่าไหร่
ช่วยตรวจสอบให้ด้วยนะครับ
จาก
\[(a+b+c)^4=\sum a^4+\sum_{sym} 4a^3b+6\sum a^2b^2+12\sum a^2bc \ ...(1)\]
และโดย AM-GM จะได้ว่า
\[\begin{array}{rcl} (\sum_{cyc} a\sqrt{8b^2+c^2})^2 &=& 9\sum a^2b^2+2\sum_{cyc} ab\sqrt{8b^2+c}\sqrt{8c^2+a} \\
&=& 9\sum a^2b^2 + 2\sum_{cyc} \sqrt{8ab^3+abc^2}\sqrt{8abc^2+a^3b} \\
&\leq& 9\sum a^2b^2 + \sum_{cyc} 8ab^3 + \sum_{cyc} a^3b +9 \sum a^2bc \ ...(2)
\end{array} \]
ที่เหลือก็ต้องพิสูจน์ว่า $(1)\geq (2)$ ซึ่งสมมูลกับ
\[ \begin{array}{rcl} \sum a^4 +3\sum_{cyc} a^3b - 4\sum_{cyc} ab^3 -3\sum a^2b^2 +3\sum a^2bc &\geq& 0 \\
\sum_{cyc} (a^2+b^2-c^2+2ab-ac-2bc)(a-b)(a-c) &\geq& 0
\end{array} \]
ซึ่งเป็นจริงตาม
Vornicu-Schur inequality ครับ