Maths Olympiad Prep

Library / /27 of 121

Algebra Difficulty 5.6 AIME, harder Prove it India

Problem:
Show that for every real number aa the equation
8x416x3+16x28x+a=0 8 x^{4}-16 x^{3}+16 x^{2}-8 x+a=0
has at least one non-real root and find the sum of all the non-real roots of the equation.

Solution

Solution:
Substituting x=y+12x = y + \frac{1}{2} in the equation, we obtain the equation in yy:
8y4+4y2+a32=0 8 y^{4} + 4 y^{2} + a - \frac{3}{2} = 0
Using the transformation z=y2z = y^{2}, we get a quadratic equation in zz:
8z2+4z+a32=0 8 z^{2} + 4 z + a - \frac{3}{2} = 0
The discriminant of this equation is 32(2a)32(2 - a) which is nonnegative if and only if a2a \leq 2. For a2a \leq 2, we obtain the roots
z1=1+2(2a)4,z2=12(2a)4 z_{1} = \frac{-1 + \sqrt{2(2 - a)}}{4}, \quad z_{2} = \frac{-1 - \sqrt{2(2 - a)}}{4}
For getting real yy we need z0z \geq 0. Obviously z2<0z_{2} < 0 and hence it gives only non-real values of yy. But z10z_{1} \geq 0 if and only if a32a \leq \frac{3}{2}. In this case we obtain two real values for yy and hence two real roots for the original equation. Thus we conclude that there are two real roots and two non-real roots for a32a \leq \frac{3}{2} and four non-real roots for a>32a > \frac{3}{2}. Obviously the sum of all the roots of the equation is 22. For a32a \leq \frac{3}{2}, two real roots are given by y1=+z1y_{1} = +\sqrt{z_{1}} and y2=z1y_{2} = -\sqrt{z_{1}}. Hence the sum of real roots is y1+12+y2+12y_{1} + \frac{1}{2} + y_{2} + \frac{1}{2} which reduces to 11. It follows the sum of the non-real roots is also 11. Thus
The sum of nonreal roots={1for a322for a>32 \text{The sum of nonreal roots} = \begin{cases} 1 & \text{for } a \leq \frac{3}{2} \\ 2 & \text{for } a > \frac{3}{2} \end{cases}

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.