Maths Olympiad Prep

Library / /2 of 21

Algebra Difficulty 5.4 AIME, harder Prove it North Macedonia

Let f:RRf: \mathbb{R} \to \mathbb{R} and let:
f(f(x)+f(y))+f(f(x)f(y))=xkf(x)+ykf(y) f(f(x)+f(y))+f(f(x)-f(y)) = x^k f(x) + y^k f(y)
hold, where kk is a given natural number. What values can f(1)f(1) have? (easier case: k=2k=2).

Solution

For x=y=0x = y = 0 we get f(2a)=af(2a) = -a (where a=f(0)a = f(0)).

For x=0x = 0 and y=2ay = 2a we get aa=a(2a)ka - a = -a (2a)^k, so a=0a = 0.

For x=y=1x = y = 1 we get f(2b)=2bf(2b) = 2b (where b=f(1)b = f(1)).

For x=2bx = 2b and y=0y = 0 we get 4b=(2b)k+14b = (2b)^{k+1}, so b=0b = 0 or b=k22b = \frac{k\sqrt{2}}{2}.

For b=0b = 0, f(x)=0f(x) = 0 for every real number xx, satisfies the equation.

For k=2k = 2 and b=22b = \frac{\sqrt{2}}{2}, f(x)=x22f(x) = \frac{x^2}{\sqrt{2}}, satisfies the equation.

For k2k \neq 2, for x=1x = 1 and y=0y = 0 we get 2f(b)=b2f(b) = b, i.e. f(b)=b2f(b) = \frac{b}{2}.

For x=y=bx = y = b, we get f(b)=2bkb2f(b) = 2b^k \frac{b}{2}, i.e. bk=12b^k = \frac{1}{2}. But that is contradictory to bk=12k1b^k = \frac{1}{2^{k-1}} (this is for k2k \neq 2).

Therefore, for k=2k = 2, f(1)f(1) can be 00 or 22\frac{\sqrt{2}}{2}, and for k2k \neq 2, f(1)=0f(1) = 0.

Want a route through all this instead of 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.