2014 USAJMO Problems/Problem 1

Revision as of 20:45, 29 April 2014 by Xsrvmy (talk | contribs) (More detailed solution)

Problem

Let $a$, $b$, $c$ be real numbers greater than or equal to $1$. Prove that \[\min{\left (\frac{10a^2-5a+1}{b^2-5b+1},\frac{10b^2-5b+1}{c^2-5c+10},\frac{10c^2-5c+1}{a^2-5a+10}\right )}\leq abc\]

Solution

Since $(a-1)^5\geqslant 0$, \[a^5-5a^4+10a^3-10a^2+5a-1\geqslant 0\] or \[10a^2-5a+1\leqslant a^3(a^2-5a+10)\] Since $a^2-5a+10=\left( a-\dfrac{5}{2}\right) +\dfrac{15}{4}\geqslant 0$, \[\frac{10a^2-5a+1}{a^2-5a+10}\leqslant a^3\] Also note that $10a^2-5a+1=10\left( a-\dfrac{1}{4}\right)+\dfrac{3}{8}\geqslant 0$, We conclude \[0\leqslant\frac{10a^2-5a+1}{a^2-5a+10}\leqslant a^3\] Similarly, \[0\leqslant\frac{10b^2-5b+1}{b^2-5b+10}\leqslant b^3\] \[0\leqslant\frac{10c^2-5c+1}{c^2-5c+10}\leqslant c^3\] So \[\left(\frac{10a^2-5a+1}{a^2-5a+10}\right)\left(\frac{10b^2-5b+1}{b^2-5b+10}\right)\left(\frac{10c^2-5c+1}{c^2-5c+10}\right)\leqslant a^3b^3c^3\] or \[\left(\frac{10a^2-5a+1}{b^2-5b+10}\right)\left(\frac{10b^2-5b+1}{c^2-5c+10}\right)\left(\frac{10c^2-5c+1}{a^2-5a+10}\right) \leqslant(abc)^3\] Therefore, \[\min\left(\frac{10a^2-5a+1}{b^2-5b+10},\frac{10b^2-5b+1}{c^2-5c+10},\frac{10c^2-5c+1}{a^2-5a+10}\right )\leq abc.\]