Maths Olympiad Prep

Library / /60 of 104

Algebra Difficulty 5.9 AIME, harder Prove it Bulgaria

Problem:
Consider the polynomial f(x)=4x4+6x3+2x2+2003x20032f(x) = 4x^{4} + 6x^{3} + 2x^{2} + 2003x - 2003^{2}. Prove that:

a) the local extrema of f(x)f'(x) are positive;

b) the equation f(x)=0f(x) = 0 has exactly two real roots and find them.

Solution

Solution:

a) Since limx+f(x)=+\lim_{x \rightarrow +\infty} f'(x) = +\infty and limxf(x)=\lim_{x \rightarrow -\infty} f'(x) = -\infty, it is enough to show that the local minimum mm of f(x)f'(x) is positive. Since the equation f(x)=0f''(x) = 0 has two real roots x1>x2x_{1} > x_{2}, it follows that m=f(x1)>0m = f'(x_{1}) > 0. Now it is easy to check that x1(1;0)x_{1} \in (-1 ; 0) and m>0m > 0.

b) It follows from a) that the equation f(x)=0f'(x) = 0 has a unique real root. Since limx+f(x)=limxf(x)=+\lim_{x \rightarrow +\infty} f(x) = \lim_{x \rightarrow -\infty} f(x) = +\infty and f(0)<0f(0) < 0, we conclude that the equation f(x)=0f(x) = 0 has exactly two real roots. To find them, set y=2003y = 2003 and consider f(x)=0f(x) = 0 as a quadratic equation with respect to yy. We have
y1,2=x±x(4x+3)2 y_{1,2} = \frac{x \pm x(4x + 3)}{2}
and then either 2y=xx(4x+3)2y = x - x(4x + 3) or 2y=x+x(4x+3)2y = x + x(4x + 3). For y=2003y = 2003 the first equation has no real roots and the second one has two real roots x1,2=1±40072x_{1,2} = \frac{-1 \pm \sqrt{4007}}{2}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.