Maths Olympiad Prep

Library / /31 of 520

Algebra Difficulty 5.1 AIME, harder Find the answer

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

f(a2)f(b2)(f(a)+b)(af(b)), for all a,bR f\left(a^{2}\right)-f\left(b^{2}\right) \leqslant(f(a)+b)(a-f(b)), \quad \text { for all } a, b \in \mathbb{R}

A number or a short expression. Spacing and $ signs are ignored.

Solution

By taking (a,b)=(0,0)(a, b)=(0,0), we obtain f(0)20f(0)^{2} \leqslant 0 hence f(0)=0f(0)=0. By taking (a,b)=(x,0)(a, b)=(x, 0) and then (a,b)=(0,x)(a, b)=(0, x), we find that f(x2)=xf(x)f\left(x^{2}\right)=x f(x). By substituting into the initial equation, we deduce that af(a)bf(b)(f(a)+b)(af(b)a f(a)-b f(b) \leqslant(f(a)+b)(a-f(b), thus f(a)f(b)abf(a) f(b) \leqslant a b for all a,ba, b. On the other hand, f(x2)=xf(x)f\left(x^{2}\right)=x f(x) implies that xf(x)=xf(x)x f(x)=-x f(-x), so ff is odd. By replacing bb with b-b in f(a)f(b)abf(a) f(b) \leqslant a b, we deduce that f(a)f(b)=abf(a) f(b)=a b for all aa and bb. In particular, f(1)2=1f(1)^{2}=1 so f(1)=1f(1)=1 or f(1)=1f(1)=-1. Since f(a)f(1)=af(a) f(1)=a for all aa, we conclude that f(x)=xf(x)=x or f(x)=xf(x)=-x for all xx.
Conversely, it is easily verified that the functions f(x)=xf(x)=x and f(x)=xf(x)=-x are solutions to the functional equation.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.