Maths Olympiad Prep

Library / Croatia competition problems /4 of 26

Croatia competition problems

Algebra Difficulty 4.9 AIME Prove it Croatia

Prove the identity
cos⁡3x3+cos⁡3x+2π3+cos⁡3x+4π3=34cos⁡x \cos^3 \frac{x}{3} + \cos^3 \frac{x+2\pi}{3} + \cos^3 \frac{x+4\pi}{3} = \frac{3}{4} \cos x
for every real number xx.

Solution

Using the identity
cos⁡t=4cos⁡3t3−3cos⁡t3 \cos t = 4 \cos^3 \frac{t}{3} - 3 \cos \frac{t}{3}
for t=xt = x, t=x+2πt = x + 2\pi and t=x+4πt = x + 4\pi, summing the relations and using the periodicity of cosine, we obtain
3cos⁡x=4(cos⁡3x3+cos⁡3x+2π3+cos⁡3x+4π3)−3(cos⁡x3+cos⁡x+2π3+cos⁡x+4π3) 3 \cos x = 4 \left( \cos^3 \frac{x}{3} + \cos^3 \frac{x+2\pi}{3} + \cos^3 \frac{x+4\pi}{3} \right) - 3 \left( \cos \frac{x}{3} + \cos \frac{x+2\pi}{3} + \cos \frac{x+4\pi}{3} \right)
Transforming the expression in the second parenthesis yields
cos⁡x3+cos⁡x+2π3+cos⁡x+4π3=2cos⁡2π3cos⁡x+2π3+cos⁡x+2π3=(2cos⁡2π3+1)cos⁡x+2π3=0. \cos \frac{x}{3} + \cos \frac{x+2\pi}{3} + \cos \frac{x+4\pi}{3} = 2 \cos \frac{2\pi}{3} \cos \frac{x+2\pi}{3} + \cos \frac{x+2\pi}{3} \\ = \left( 2 \cos \frac{2\pi}{3} + 1 \right) \cos \frac{x+2\pi}{3} = 0.
Finally, we conclude
cos⁡3x3+cos⁡3x+2π3+cos⁡3x+4π3=34cos⁡x. \cos^3 \frac{x}{3} + \cos^3 \frac{x+2\pi}{3} + \cos^3 \frac{x+4\pi}{3} = \frac{3}{4} \cos x.

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.