Olympiad Maths Prep

Library / /18 of 29

Algebra Difficulty 5.3 AIME, harder Prove it Ukraine

Find all functions f:RRf: \mathbb{R} \to \mathbb{R}, such that:

1) For all real x,yx, y the following equality holds
f(2x)=f(x+y)f(yx)+f(xy)f(xy). f(2x) = f(x+y)f(y-x) + f(x-y)f(-x-y).

2) f(x)0f(x) \ge 0 for all xx.

Solution

Take x=yx = y, we get:
f(2x)=f(0)f(2x)+f(0)f(2x).(1) f(2x) = f(0)f(2x) + f(0)f(-2x). \quad (1)
Take in (1) x=0x = 0 and we get f(0)=2f2(0)f(0) = 2f^2(0). So f(0)=0f(0) = 0 or f(0)=12f(0) = \frac{1}{2}.
If f(0)=0f(0) = 0, (1) implies that f(2x)=0f(2x) = 0, hence f=0f = 0.

If f(0)=12f(0) = \frac{1}{2}, (1) implies that f(2x)=12f(2x)+12f(2x)f(2x) = \frac{1}{2}f(2x) + \frac{1}{2}f(-2x) and f(2x)=f(2x)f(2x) = f(-2x).
Taking x=0x = 0 and using the fact that our function is even, we arrive at
12=f(0)=(f(y))2+(f(y))2=2(f(y))2. \frac{1}{2} = f(0) = (f(y))^2 + (f(-y))^2 = 2(f(y))^2.
This gives us that f=12f = \frac{1}{2}.

It is easy to check that both functions satisfy all the requirements.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.