Maths Olympiad Prep

Library / /4 of 9

Algebra Difficulty 8.3 Shortlist Prove it Belarus

Find all functions f:RRf : \mathbb{R} \to \mathbb{R} such that for any numbers xyx \neq y the following equality is true:
(f(x+y))2=f(x+y)+f(x)+f(y). (f(x + y))^2 = f(x + y) + f(x) + f(y).

Solution

Only two functions f(x)0f(x) \equiv 0 or f(x)3f(x) \equiv 3 are solutions to the equation. Indeed, let's put c=f(0)c = f(0). By substituting y=0y = 0, we obtain a quadratic equation
(f(x))22f(x)c=0, (f(x))^2 - 2f(x) - c = 0,
whence f(x)=11+cf(x) = 1 - \sqrt{1+c} or 1+1+c1 + \sqrt{1+c} for any x0x \neq 0.
Suppose that there are two non-zero numbers aa and bb of the same sign (ab>0ab > 0) such that f(a)=11+cf(a) = 1 - \sqrt{1+c} and f(b)=1+1+cf(b) = 1 + \sqrt{1+c}. Substituting x=ax = a and y=by = b into the original equation, we get
(f(a+b))2f(a+b)2=0, (f(a+b))^2 - f(a+b) - 2 = 0,
whence f(a+b)=1f(a+b) = -1 or 22. Let's consider two cases.

1) Case f(a+b)=1f(a+b) = -1. Since a+b0a+b \neq 0 (the sum of the same sign as both terms), then f(a+b)=1±1+cf(a+b) = 1 \pm \sqrt{1+c} and then necessarily 11+c=11 - \sqrt{1+c} = -1. This means c=3c=3 and f(a)=f(a+b)=1f(a) = f(a+b) = -1. For x=ax=a and y=a+by = a+b the original equation gives a quadratic equation
(f(2a+b))2=f(2a+b)2, (f(2a+b))^2 = f(2a+b) - 2,
which has no solutions for f(2a+b)f(2a+b), which is impossible.

2) Case f(a+b)=2f(a+b) = 2. Since a+b0a+b \neq 0, then f(a+b)=1±1+cf(a+b) = 1 \pm \sqrt{1+c} and so necessarily 1+1+c=21+\sqrt{1+c} = 2. This means that c=0c=0 and f(b)=f(a+b)=2f(b) = f(a+b) = 2. For x=a+bx=a+b and y=by=b, the original equation gives a quadratic equation for f(a+2b)f(a+2b):
(f(a+2b))2=f(a+2b)+4, (f(a+2b))^2 = f(a+2b) + 4,
which has roots 1±172\frac{1\pm\sqrt{17}}{2}. However, also a+2b0a+2b \neq 0 and f(a+2b)=1±1+0=0f(a+2b) = 1 \pm \sqrt{1+0} = 0 or 22. Contradiction.

Thus, on each of the open intervals ],0[] -\infty, 0[ and ]0,[]0, \infty[ the function ff takes only one value 11+c1 - \sqrt{1+c} or 1+1+c1 + \sqrt{1+c}. Therefore, if xx and yy are non-zero numbers of the same sign, then f(x+y)=f(x)=f(y)=1±1+cf(x+y) = f(x) = f(y) = 1 \pm \sqrt{1+c} and
(1±1+c)2=3(1±1+c), (1 \pm \sqrt{1+c})^2 = 3(1 \pm \sqrt{1+c}),
whence 1±1+c=01 \pm \sqrt{1+c} = 0 or 33. Since 11+c11+1+c1 - \sqrt{1+c} \le 1 \le 1 + \sqrt{1+c}, two options are possible:
11+c=0    c=0or1+1+c=3    c=3. 1 - \sqrt{1+c} = 0 \iff c = 0 \quad \text{or} \quad 1 + \sqrt{1+c} = 3 \iff c = 3.
Now let's substitute y=xy = -x into the original equation:
(f(0))2=f(0)+f(x)+f(x)    f(x)+f(x)=c2c for any x0. (f(0))^2 = f(0) + f(x) + f(-x) \iff f(x) + f(-x) = c^2 - c \text{ for any } x \neq 0.
If c=0c=0 then on the entire set R\mathbb{R} the function ff can take at most two values (0(0 or 1+1+0=2)1+\sqrt{1+0} = 2). If f(a)=2f(a) = 2 for some a0a \neq 0, then f(a)+f(a)=2+f(a)=020=0f(a) + f(-a) = 2 + f(-a) = 0^2 - 0 = 0, which is impossible, since f(a)=0f(-a) = 0 or 22. This means f(x)0f(x) \equiv 0.
If c=3c=3 then on the entire set R\mathbb{R} the function ff can take at most two values (3(3 or 11+3=1)1-\sqrt{1+3} = -1). If f(b)=1f(b) = -1 for some b0b \neq 0, then f(b)+f(b)=1+f(b)=323=6f(b) + f(-b) = -1 + f(-b) = 3^2 - 3 = 6, which is impossible, since f(b)=1f(-b) = -1 or 33. So f(x)3f(x) \equiv 3.
We can check that the functions f(x)0f(x) \equiv 0 or f(x)3f(x) \equiv 3 are suitable.

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.