Maths Olympiad Prep

Library / /5 of 19

Algebra Difficulty 6.1 National olympiad Prove it Ukraine

**Find all functions f:RRf: \mathbb{R} \to \mathbb{R} such that the following condition is fulfilled for arbitrary real numbers xx and yy**
f2(x+y)=f2(x)+2f(xy)+f2(y). f^2(x + y) = f^2(x) + 2f(xy) + f^2(y).

Solution

Let us denote the equation given in the statement of a problem by ()(*) and substitute y=xy = -x into it. We obtain
f2(x)+f2(x)+2f(x2)=f2(0){ (**).} f^2(x) + f^2(-x) + 2f(-x^2) = f^2(0) \text{\{ (**).\}}
Substituting x=x+y,y=xx = x + y, y = -x into ()(*), we get
f2(y)=f2(x+y)+f2(x)+2f(x2xy). f^2(y) = f^2(x + y) + f^2(-x) + 2f(-x^2 - xy).
Adding ()(*) and ()(**) to the last-mentioned equality, we obtain
f(xy)+f(x2xy)=f(x2)f2(0)/2. f(xy) + f(-x^2 - xy) = f(-x^2) - f^2(0)/2.
Let us denote g(x)=f(x)+f2(0)/2g(x) = f(x) + f^2(0)/2. Let a=x20,b=xyRa = -x^2 \le 0, b = xy \in \mathbb{R} when a0a \ne 0. The last-mentioned equality assumes the form
g(a)+g(b)=g(a+b){ (***)}. g(a) + g(b) = g(a + b) \text{\{ (***)\}.}
If a,b<0a, b < 0, then we obtain the Cauchy's equation. Let us prove that g(x)g(x) is bounded above when x<0x < 0. Then from the Cauchy's equation we get that g(x)=kxg(x) = kx for arbitrary negative number xx and real number kk. From ()(**) we get

Thus, g(x)=kxx<0g(x) = kx \quad \forall x < 0. Let us assume that x0x \ge 0. Substituting y=1xy = -1 - x into ()(***), we obtain g(x)=g(1)g(1x)=kxg(x) = g(-1) - g(-1 - x) = kx for every positive number xx. Thus, we proved that
f(x)=g(x)f2(0)/2=kxf2(0)/2=kx+c f(x) = g(x) - f^{2}(0)/2 = kx - f^{2}(0)/2 = kx + c
for every real xx. Substituting the explicit form of the function ff into ()(*), we obtain:
k2(x+y)2+2kc(x+y)+c2=k2x2+2kcx+c2+2kxy+2c+k2y2+2kcy+c2,(k2k)xy=c2+2c. \begin{align*} k^2 (x + y)^2 + 2kc(x + y) + c^2 &= k^2 x^2 + 2kcx + c^2 + 2kxy + 2c + k^2 y^2 + 2kcy + c^2, \\ (k^2 - k)xy &= c^2 + 2c. \end{align*}
Considering that xyxy is able to possess arbitrary real value, from the last-mentioned equality we get that k{0,1}k \in \{0,1\}, c{0,2}c \in \{0,-2\}.
Thus, we obtain that the condition can be fulfilled only by the functions f(x)=0f(x) = 0, f(x)=2f(x) = -2, f(x)=xf(x) = x, and f(x)=x2f(x) = x - 2. We verify that all these functions fulfill the condition of the problem by checking.

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.