Maths Olympiad Prep

Library / CIS /7 of 19

CIS

Geometry Difficulty 4.7 AIME Prove it Soviet Union

Problem:
Let f(x)=acos⁡(x+1)+bcos⁡(x+2)+ccos⁡(x+3)f(x) = a\cos(x + 1) + b\cos(x + 2) + c\cos(x + 3), where aa, bb, cc are real. Given that f(x)f(x) has at least two zeros in the interval (0,π)(0,\pi), find all its real zeros.

Solution

Solution:
Answer: f(x)f(x) must be identically zero.

We have f(x)=(acos⁡1+bcos⁡2+ccos⁡3)cos⁡x−(asin⁡1+bsin⁡2+csin⁡3)sin⁡xf(x) = (a\cos 1 + b\cos 2 + c\cos 3)\cos x - (a\sin 1 + b\sin 2 + c\sin 3)\sin x. This can be written as dcos⁡(x+θ)d\cos(x + \theta) for some dd, θ\theta. But if d≠0d \neq 0, then this has only one zero in the interval (0,π)(0,\pi). Hence d=0d = 0.

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.