Maths Olympiad Prep

Track / Stage 8 / 133 of 180 #1833 of 1964

Problem 1833

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.5 Prove it

Prove that the sum a+12+a+364a+333+a+12a+364a+333\sqrt[3]{\frac{a+1}{2}+\frac{a+3}{6}\sqrt{ \frac{4a+3}{3}}} +\sqrt[3]{\frac{a+1}{2}-\frac{a+3}{6}\sqrt{ \frac{4a+3}{3}}}
is independent of aa for a34 a \ge - \frac{3}{4} and evaluate it.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Let s=a+12+a+364a+333 s = \sqrt[3]{\frac{a+1}{2} + \frac{a+3}{6}\sqrt{\frac{4a+3}{3}}} and t=a+12a+364a+333 t = \sqrt[3]{\frac{a+1}{2} - \frac{a+3}{6}\sqrt{\frac{4a+3}{3}}} . We need to prove that s+t s + t is independent of a a for a34 a \ge -\frac{3}{4} .

2. Consider the identity for the sum of cubes:
(s+t)3=s3+t3+3st(s+t) (s + t)^3 = s^3 + t^3 + 3st(s + t)
Here, s3 s^3 and t3 t^3 are given by:
s3=a+12+a+364a+33 s^3 = \frac{a+1}{2} + \frac{a+3}{6}\sqrt{\frac{4a+3}{3}}
t3=a+12a+364a+33 t^3 = \frac{a+1}{2} - \frac{a+3}{6}\sqrt{\frac{4a+3}{3}}

3. Adding these two expressions, we get:
s3+t3=(a+12+a+364a+33)+(a+12a+364a+33)=a+1 s^3 + t^3 = \left( \frac{a+1}{2} + \frac{a+3}{6}\sqrt{\frac{4a+3}{3}} \right) + \left( \frac{a+1}{2} - \frac{a+3}{6}\sqrt{\frac{4a+3}{3}} \right) = a + 1

4. Next, we need to find st st . We have:
s3t3=(a+12)2(a+36)2(4a+33) s^3 t^3 = \left( \frac{a+1}{2} \right)^2 - \left( \frac{a+3}{6} \right)^2 \left( \frac{4a+3}{3} \right)
Simplifying the right-hand side:
s3t3=(a+1)24(a+3)2(4a+3)108 s^3 t^3 = \frac{(a+1)^2}{4} - \frac{(a+3)^2 (4a+3)}{108}
=a2+2a+14(a2+6a+9)(4a+3)108 = \frac{a^2 + 2a + 1}{4} - \frac{(a^2 + 6a + 9)(4a + 3)}{108}
=a2+2a+144a3+27a2+54a+27108 = \frac{a^2 + 2a + 1}{4} - \frac{4a^3 + 27a^2 + 54a + 27}{108}
=a2+2a+144a3+27a2+54a+27108 = \frac{a^2 + 2a + 1}{4} - \frac{4a^3 + 27a^2 + 54a + 27}{108}
=27(a2+2a+1)(4a3+27a2+54a+27)108 = \frac{27(a^2 + 2a + 1) - (4a^3 + 27a^2 + 54a + 27)}{108}
=27a2+54a+274a327a254a27108 = \frac{27a^2 + 54a + 27 - 4a^3 - 27a^2 - 54a - 27}{108}
=4a3108=a327 = -\frac{4a^3}{108} = -\frac{a^3}{27}
Therefore:
s3t3=a327    (st)3=a327    st=a3 s^3 t^3 = -\frac{a^3}{27} \implies (st)^3 = -\frac{a^3}{27} \implies st = -\frac{a}{3}

5. Using the identity (s+t)3=s3+t3+3st(s+t) (s + t)^3 = s^3 + t^3 + 3st(s + t) , we substitute the known values:
(s+t)3=(a+1)+3(a3)(s+t) (s + t)^3 = (a + 1) + 3\left(-\frac{a}{3}\right)(s + t)
(s+t)3=a+1a(s+t) (s + t)^3 = a + 1 - a(s + t)
Let y=s+t y = s + t :
y3=a+1ay y^3 = a + 1 - ay
y3+ay(a+1)=0 y^3 + ay - (a + 1) = 0

6. Notice that the coefficients of the polynomial y3+ay(a+1)=0 y^3 + ay - (a + 1) = 0 sum to zero, which implies y=1 y = 1 is a root:
13+a1(a+1)=1+aa1=0 1^3 + a \cdot 1 - (a + 1) = 1 + a - a - 1 = 0

7. Since y=1 y = 1 is a solution, we factor the polynomial:
y3+ay(a+1)=(y1)(y2+y+a+1) y^3 + ay - (a + 1) = (y - 1)(y^2 + y + a + 1)

8. For a34 a \ge -\frac{3}{4} , the other roots of the quadratic y2+y+a+1=0 y^2 + y + a + 1 = 0 are complex, but the expression s+t s + t is real-valued. Therefore, the only real solution is y=1 y = 1 .

9. For a=34 a = -\frac{3}{4} , we can check directly:
s+t=34+12+34+364(34)+333+34+1234+364(34)+333 s + t = \sqrt[3]{\frac{-\frac{3}{4} + 1}{2} + \frac{-\frac{3}{4} + 3}{6}\sqrt{\frac{4(-\frac{3}{4}) + 3}{3}}} + \sqrt[3]{\frac{-\frac{3}{4} + 1}{2} - \frac{-\frac{3}{4} + 3}{6}\sqrt{\frac{4(-\frac{3}{4}) + 3}{3}}}
Simplifying:
s+t=183+183=12+12=1 s + t = \sqrt[3]{\frac{1}{8}} + \sqrt[3]{\frac{1}{8}} = \frac{1}{2} + \frac{1}{2} = 1

Thus, the sum a+12+a+364a+333+a+12a+364a+333 \sqrt[3]{\frac{a+1}{2} + \frac{a+3}{6}\sqrt{\frac{4a+3}{3}}} + \sqrt[3]{\frac{a+1}{2} - \frac{a+3}{6}\sqrt{\frac{4a+3}{3}}} is indeed independent of a a and equals 1.

The final answer is 1 \boxed{ 1 }

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.