Maths Olympiad Prep

Library / /7 of 120

, 2012

Algebra Difficulty 4.5 AIME Prove it Saudi Arabia

Prove that for every real number xx the following inequality holds:
x6+x4x3x+34>0. x^6 + x^4 - x^3 - x + \frac{3}{4} > 0.

Solution

The inequality is equivalent to
x6x3+14+x4x2+14+x2x+14>0, x^6 - x^3 + \frac{1}{4} + x^4 - x^2 + \frac{1}{4} + x^2 - x + \frac{1}{4} > 0,
which in turn is equivalent to
(x312)2+(x212)2+(x12)2>0. \left(x^3 - \frac{1}{2}\right)^2 + \left(x^2 - \frac{1}{2}\right)^2 + \left(x - \frac{1}{2}\right)^2 > 0.

Since 1212\frac{1}{\sqrt{2}} \neq \frac{1}{2}, equality cannot occur.

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.