Maths Olympiad Prep

Library / /78 of 84

, 2013

Algebra Difficulty 5.9 AIME, harder Prove it United States

Problem:

The polynomial f(x)=x33x24x+4f(x) = x^{3} - 3x^{2} - 4x + 4 has three real roots r1r_{1}, r2r_{2}, and r3r_{3}. Let g(x)=x3+ax2+bx+cg(x) = x^{3} + a x^{2} + b x + c be the polynomial which has roots s1s_{1}, s2s_{2}, and s3s_{3}, where

s1=r1+r2z+r3z2s_{1} = r_{1} + r_{2} z + r_{3} z^{2},

s2=r1z+r2z2+r3s_{2} = r_{1} z + r_{2} z^{2} + r_{3},

s3=r1z2+r2+r3zs_{3} = r_{1} z^{2} + r_{2} + r_{3} z,

and z=1+i32z = \frac{-1 + i \sqrt{3}}{2}.

Find the real part of the sum of the coefficients of g(x)g(x).

Solution

Solution:

Note that z=e2π3i=cos2π3+isin2π3z = e^{\frac{2\pi}{3} i} = \cos \frac{2\pi}{3} + i \sin \frac{2\pi}{3}, so that z3=1z^{3} = 1 and z2+z+1=0z^{2} + z + 1 = 0. Also, s2=s1zs_{2} = s_{1} z and s3=s1z2s_{3} = s_{1} z^{2}.

Then, the sum of the coefficients of g(x)g(x) is g(1)=(1s1)(1s2)(1s3)=(1s1)(1s1z)(1s1z2)=1(1+z+z2)s1+(z+z2+z3)s12z3s13=1s13g(1) = (1 - s_{1})(1 - s_{2})(1 - s_{3}) = (1 - s_{1})(1 - s_{1} z)(1 - s_{1} z^{2}) = 1 - (1 + z + z^{2}) s_{1} + (z + z^{2} + z^{3}) s_{1}^{2} - z^{3} s_{1}^{3} = 1 - s_{1}^{3}.

Meanwhile,
s13=(r1+r2z+r3z2)3=r13+r23+r33+3r12r2z+3r12r3z2+3r22r3z+3r22r1z2+3r32r1z+3r32r2z2+6r1r2r3. s_{1}^{3} = (r_{1} + r_{2} z + r_{3} z^{2})^{3} = r_{1}^{3} + r_{2}^{3} + r_{3}^{3} + 3 r_{1}^{2} r_{2} z + 3 r_{1}^{2} r_{3} z^{2} + 3 r_{2}^{2} r_{3} z + 3 r_{2}^{2} r_{1} z^{2} + 3 r_{3}^{2} r_{1} z + 3 r_{3}^{2} r_{2} z^{2} + 6 r_{1} r_{2} r_{3}.
Since the real parts of both zz and z2z^{2} are 12-\frac{1}{2}, and since all of r1,r2,r3r_{1}, r_{2}, r_{3} are real, the real part of s13s_{1}^{3} is
r13+r23+r3332(r12r2+r12r3+r22r3+r22r1+r32r1+r32r2)+6r1r2r3. r_{1}^{3} + r_{2}^{3} + r_{3}^{3} - \frac{3}{2}(r_{1}^{2} r_{2} + r_{1}^{2} r_{3} + r_{2}^{2} r_{3} + r_{2}^{2} r_{1} + r_{3}^{2} r_{1} + r_{3}^{2} r_{2}) + 6 r_{1} r_{2} r_{3}.
This can be rewritten as
(r1+r2+r3)392(r1+r2+r3)(r1r2+r2r3+r3r1)+272r1r2r3. (r_{1} + r_{2} + r_{3})^{3} - \frac{9}{2}(r_{1} + r_{2} + r_{3})(r_{1} r_{2} + r_{2} r_{3} + r_{3} r_{1}) + \frac{27}{2} r_{1} r_{2} r_{3}.
From f(x)f(x), the sum r1+r2+r3=3r_{1} + r_{2} + r_{3} = 3, r1r2+r2r3+r3r1=4r_{1} r_{2} + r_{2} r_{3} + r_{3} r_{1} = -4, r1r2r3=4r_{1} r_{2} r_{3} = -4.

Plugging in,
(r1+r2+r3)3=33=27 (r_{1} + r_{2} + r_{3})^{3} = 3^{3} = 27
923(4)=54 -\frac{9}{2} \cdot 3 \cdot (-4) = 54
272(4)=54 \frac{27}{2} \cdot (-4) = -54
So the real part is 27+5454=2727 + 54 - 54 = 27.

Therefore, the answer is 127=261 - 27 = -26.

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.