\(a^2+b^2\le ab+1\)
\(\Leftrightarrow a^2-ab+b^2\le1\)
\(\Leftrightarrow\left(a+b\right)\left(a^2-ab+b^2\right)\le a+b\)
\(\Leftrightarrow a^3+b^3\le a+b\)
\(\Leftrightarrow\left(a^5+b^5\right)\left(a^3+b^3\right)\le\left(a^7+b^7\right)\left(a+b\right)\)
\(\Leftrightarrow ab^7+a^7b-a^3b^5-a^5b^3\ge0\)
\(\Leftrightarrow ab\left(b^6+a^6-a^2b^4-a^4b^2\right)\ge0\)
\(\Leftrightarrow ab\left(b-a\right)^2\left(b+a\right)^2\left(b^2+a^2\right)\ge0\) (đúng)
\(\RightarrowĐPCM\)
Dấu đẳng thức xảy ra khi ......