Ta có a5 + b5 \(\ge\) a3b2 + a2b3 = a2b2 (a+b)
\(\Leftrightarrow\)a5 + b5 + ab \(\ge\) a2b2(a+b) + ab= ab[ab(a+b)+abc] = ab[ab(a+b+c)] = ab*\(\frac{abc\left(a+b+c\right)}{c}\) = ab* \(\frac{a+b+c}{c}\) (vì abc=1)
\(\Leftrightarrow\) \(\frac{ab}{a^5+b^5+ab}\le\frac{ab}{ab\cdot\frac{a+b+c}{c}}=\frac{abc}{ab\left(a+b+c\right)}=\frac{c}{a+b+c}\) (1)
Tương tự, ta có \(\frac{bc}{b^5+c^5+bc}\le\frac{a}{a+b+c}\)(2)
\(\frac{ca}{a^5+c^5+ca}\le\frac{b}{a+b+c}\)(3)
Ta cộng từng vế (1), (2), (3), ta được
\(\frac{ab}{a^5+b^5+ab}+\frac{bc}{b^5+c^5+bc}+\frac{ca}{a^5+c^5+ca}\le\frac{a+b+c}{a+b+c}=1\)
Vây ta được điều phài chứng minh