Maths Olympiad Prep

Library / /8 of 37

Algebra Difficulty 7.5 National olympiad, round 2 Find the answer

Determine all functions f:RRf:\mathbb{R}\to\mathbb{R} such that for every pair of real numbers xx and yy,
f(x+y2)=f(x)+yf(y).f(x+y^2)=f(x)+|yf(y)|.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Let f:RR f: \mathbb{R} \to \mathbb{R} be a function such that for every pair of real numbers x x and y y ,
f(x+y2)=f(x)+yf(y). f(x + y^2) = f(x) + |y f(y)|.

First, set x=0 x = 0 to obtain:
f(y2)=f(0)+yf(y). f(y^2) = f(0) + |y f(y)|.

This implies that:
f(x+y2)=f(x)+f(y2)f(0). f(x + y^2) = f(x) + f(y^2) - f(0).

Define a new function g:Q+R g: \mathbb{Q}^+ \to \mathbb{R} by g(x)=f(x)f(0) g(x) = f(x) - f(0) . Then, the equation becomes:
g(x+y)=g(x)+g(y). g(x + y) = g(x) + g(y).

This is Cauchy's functional equation on the positive rationals, which implies that g g is linear. Therefore, there exists a constant a a such that:
f(x)=ax+f(0) f(x) = ax + f(0)
for all xQ+ x \in \mathbb{Q}^+ .

Next, consider the original equation for specific values of y y :
f(y2)=f(0)+yf(y). f(y^2) = f(0) + |y f(y)|.

For y=1 y = 1 , we get:
a=a+f(0). a = |a + f(0)|.

For y=2 y = 2 , we get:
4a=4a+2f(0). 4a = |4a + 2f(0)|.

These conditions imply that either f(0)=0 f(0) = 0 or f(0)=2a f(0) = -2a . If f(0)0 f(0) \neq 0 , then f(0)=2a f(0) = -2a and f(0)=4a f(0) = -4a , leading to a=0 a = 0 and f(0)=0 f(0) = 0 . Thus, we conclude that f(0)=0 f(0) = 0 .

Therefore, f(x)=ax f(x) = ax for all xQ+ x \in \mathbb{Q}^+ . Since f f is odd, f(x)=ax f(x) = ax for all xQ x \in \mathbb{Q} .

To extend this to all real numbers, let x x be an arbitrary real number and let (qn) (q_n) be a sequence of rational numbers converging to x x . Then:
f(x)=limnf(qn)=limnaqn=ax. f(x) = \lim_{n \to \infty} f(q_n) = \lim_{n \to \infty} a q_n = ax.

Thus, f(x)=ax f(x) = ax for all xR x \in \mathbb{R} .

Finally, we need to check which functions fa(x)=ax f_a(x) = ax satisfy the original equation:
fa(x+y2)=fa(x)+yfa(y). f_a(x + y^2) = f_a(x) + |y f_a(y)|.

This simplifies to:
a(x+y2)=ax+ay2. a(x + y^2) = ax + |a| y^2.

This holds if and only if a=a a = |a| , which means a0 a \geq 0 .

Therefore, the functions satisfying the problem statement are precisely the functions fa(x)=ax f_a(x) = ax with a0 a \geq 0 .

The answer is: f(x)\boxed{f(x)} = ax \text{} for } a \geq 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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.