Maths Olympiad Prep

Library / Problems from Ukrainian Authors /5 of 18

Problems from Ukrainian Authors

Algebra Difficulty 6.1 National Olympiad Prove it Ukraine

**Find all functions f:R→Rf: \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(−x2−xy). 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(−x2−xy)=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=−x2≤0,b=xy∈Ra = -x^2 \le 0, b = xy \in \mathbb{R} when a≠0a \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)=kx∀x<0g(x) = kx \quad \forall x < 0. Let us assume that x≥0x \ge 0. Substituting y=−1−xy = -1 - x into (∗∗∗)(***), we obtain g(x)=g(−1)−g(−1−x)=kxg(x) = g(-1) - g(-1 - x) = kx for every positive number xx. Thus, we proved that
f(x)=g(x)−f2(0)/2=kx−f2(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,(k2−k)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)=x−2f(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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.