Maths Olympiad Prep

Library / Belarusian Mathematical Olympiad /12 of 208

Belarusian Mathematical Olympiad

Algebra Difficulty 5.0 AIME Prove it Belarus

Find all real aa such that there exists a function f:R→Rf : \mathbb{R} \to \mathbb{R} satisfying the equality f(sin⁡x)+af(cos⁡x)=cos⁡2xf(\sin x) + a f(\cos x) = \cos 2x for all real xx. (I. Voronovich)

Solution

Answer: a∈R∖{1}a \in \mathbb{R} \setminus \{1\}.

First, if a≠1a \neq 1 then it is easy to verify that the function
f(x)=2x2−1a−1f(x) = \frac{2x^2 - 1}{a - 1}
satisfies the given equation.

On the other hand, for a=1a = 1 we have the functional equation
f(sin⁡x)+f(cos⁡x)=cos⁡2x,f(\sin x) + f(\cos x) = \cos 2x,
which after changing xx by π/2−x\pi/2 - x becomes
f(cos⁡x)+f(sin⁡x)=−cos⁡2x,f(\cos x) + f(\sin x) = - \cos 2x,
i.e. cos⁡2x=−cos⁡2x\cos 2x = - \cos 2x for all real xx, a contradiction.

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.