Maths Olympiad Prep

Library / Irish Mathematical Olympiad /7 of 236

Irish Mathematical Olympiad

Algebra Difficulty 4.4 AIME Prove it Ireland

Prove that the cubic x3−3ax2+2x−4ax^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
x3−3ax2+2x−4a=(x−a)3−3a2x+a3+2(x−a)−2a=(x−a)3+(2−3a2)(x−a)−2a3−2a=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=x−aX = x - a, and p=(2−3a2)p = (2 - 3a^2), q=−2a(a2+1)q = -2a(a^2 + 1). The condition that this cubic has three real roots is that
(2−3a2)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 (2−3t)3+27t(t+1)2<0(2 - 3t)^3 + 27t(t + 1)^2 < 0, i.e., that 108t2−9t+8<0108t^2 - 9t + 8 < 0. But 108t2−9t+8=3(6t−14)2+8−316108t^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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.