Maths Olympiad Prep

Library / /3 of 133

Algebra Difficulty 4.4 AIME Prove it Saudi Arabia

Given x0x \geq 0, prove that
(x2+1)627+12x5x3+x \frac{\left(x^{2}+1\right)^{6}}{2^{7}}+\frac{1}{2} \geq x^{5}-x^{3}+x

Solution

Because x2+12xx^{2}+1 \geq 2x, we have
(x2+1)727(2x)727=x7,andx2+12x, \frac{\left(x^{2}+1\right)^{7}}{2^{7}} \geq \frac{(2x)^{7}}{2^{7}} = x^{7}, \quad \text{and} \quad \frac{x^{2}+1}{2} \geq x,
and deduce
(x2+1)((x2+1)627+12)=(x2+1)727+x2+12x7+x=x(x2+1)(x4x2+1)\left(x^{2}+1\right) \cdot \left(\frac{\left(x^{2}+1\right)^{6}}{2^{7}}+\frac{1}{2}\right) = \frac{\left(x^{2}+1\right)^{7}}{2^{7}} + \frac{x^{2}+1}{2} \geq x^{7} + x = x\left(x^{2}+1\right)\left(x^{4}-x^{2}+1\right).
Therefore
(x2+1)627+12x5x3+x \frac{\left(x^{2}+1\right)^{6}}{2^{7}}+\frac{1}{2} \geq x^{5}-x^{3}+x
and the equality holds when x=1x=1.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.