Maths Olympiad Prep

Library / /9 of 462

Algebra Difficulty 4.4 AIME Prove it Ireland

Prove that the cubic x33ax2+2x4ax^3 - 3a x^2 + 2x - 4a has only one real root for every real number aa.

Solution

Reduce the given polynomial to normal form, which can be done by noting that
x33ax2+2x4a=(xa)33a2x+a3+2(xa)2a=(xa)3+(23a2)(xa)2a32a=X3+pX+q, \begin{aligned} x^3 - 3a x^2 + 2x - 4a &= (x-a)^3 - 3a^2 x + a^3 + 2(x-a) - 2a \\ &= (x-a)^3 + (2 - 3a^2)(x-a) - 2a^3 - 2a \\ &= X^3 + pX + q, \end{aligned}
where X=xaX = x - a, and p=(23a2)p = (2 - 3a^2), q=2a(a2+1)q = -2a(a^2 + 1). The condition that this cubic has three real roots is that
(23a2)327+(2a(a2+1))24=p327+q24<0. \frac{(2 - 3a^2)^3}{27} + \frac{(2a(a^2 + 1))^2}{4} = \frac{p^3}{27} + \frac{q^2}{4} < 0.
Letting t=a2t = a^2 the requirement is that (23t)3+27t(t+1)2<0(2 - 3t)^3 + 27t(t + 1)^2 < 0, i.e., that 108t29t+8<0108t^2 - 9t + 8 < 0. But 108t29t+8=3(6t14)2+8316108t^2 - 9t + 8 = 3(6t - \frac{1}{4})^2 + 8 - \frac{3}{16} and so there is no real number tt for which this is negative. Therefore, the cubic cannot have three real roots. As its coefficients are real numbers, this implies that it has one and only one real root.

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.