Maths Olympiad Prep

Track / Stage 6 / 95 of 400 #1095 of 1964

Problem 1095

National Olympiad, first round
Algebra Difficulty 6.1 Prove it

Let f,gf, g be real functions defined on (−∞,+∞)(-\infty,+\infty), and satisfy the functional equation f(x+y)+f(x−y)=2f(x)g(x)f(x+y)+f(x-y)=2 f(x) g(x) for all xx and yy. Try to prove that if f(x)≠0f(x) \neq 0, and ∣f(x)∣⩽1|f(x)| \leqslant 1 for all xx, then ∣g(y)∣⩽1|g(y)| \leqslant 1 for all yy.

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.

Next problem →

Official solution

12. Let M=sup⁡∣f(x)∣M=\sup |f(x)|, then by the given condition, M>0M>0, for any δ,0<δ<M\delta, 0 < \delta < M, there exists xx such that ∣f(x)∣>M−δ|f(x)| > M-\delta. At this point, for any yy, we have
2M⩾∣f(x+y)∣+∣f(x−y)∣⩾∣f(x+y)+f(x−y)∣=2∣f(x)∣∣g(x)∣>2(M−δ)∣g(y)∣, \begin{aligned} 2 M & \geqslant|f(x+y)|+|f(x-y)| \\ & \geqslant|f(x+y)+f(x-y)| \\ & =2|f(x)||g(x)|>2(M-\delta)|g(y)|, \end{aligned}

Thus, ∣g(y)∣<2M2(M−δ)=MM−δ|g(y)| < \frac{2M}{2(M-\delta)} = \frac{M}{M-\delta}. As δ→0\delta \to 0, we have ∣g(y)∣≤1|g(y)| \leq 1. If ∣g(y)∣>1|g(y)| > 1, then there exists x0x_0 such that 2f(c+x0)f(c−x0)=f(2c)+f(2xc)=[2f(c)f(c)−f(0)]+[2f(x0)f(x0)−f(0)]=2[f2(x0)−1]>02 f(c+x_0) f(c-x_0) = f(2c) + f(2x_c) = [2 f(c) f(c) - f(0)] + [2 f(x_0) f(x_0) - f(0)] = 2[f^2(x_0) - 1] > 0, but f(c+x0)=2f(c)f(x0)−f(c−x0)=−f(x0−c)=−f(c−x0)f(c+x_0) = 2 f(c) f(x_0) - f(c-x_0) = -f(x_0 - c) = -f(c-x_0), thus f(x0+c)f(c−x0)=−f2(c−x0)≤0f(x_0 + c) f(c - x_0) = -f^2(c - x_0) \leq 0, which contradicts the previous statement. Therefore, for any x∈Rx \in \mathbf{R}, we have ∣f(x)∣≤1|f(x)| \leq 1. According to the conclusion in the problem, we can deduce that ∣g(y)∣≤1|g(y)| \leq 1.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.