Maths Olympiad Prep

Library / /3 of 4

, 2020

Algebra Difficulty 7.8 National olympiad, round 2 Prove it Netherlands

Find all functions f:RRf: \mathbb{R} \to \mathbb{R} satisfying
f(x2y)+2f(y2)=(x2+f(y))f(y) f(x^2y) + 2f(y^2) = (x^2 + f(y)) \cdot f(y)
for all x,yRx, y \in \mathbb{R}.

Solution

2f(y2)=f(y)2.(4) 2f(y^2) = f(y)^2. \qquad (4)
Using this, we can cancel the 2f(y2)2f(y^2) on the left hand side of the original functional equation against the f(y)2f(y)^2 on the right hand side:
f(x2y)=x2f(y). f(x^2y) = x^2f(y).
Substituting y=1y = 1 in this equation yields f(x2)=x2f(1)f(x^2) = x^2f(1), and substituting y=1y = -1 yields f(x2)=x2f(1)f(-x^2) = x^2f(-1). Because x2x^2 takes on all non-negative numbers as value when xRx \in \mathbb{R}, we get
f(x)={cxals x0,dxals x<0, f(x) = \begin{cases} cx & \text{als } x \ge 0, \\ dx & \text{als } x < 0, \end{cases}
with c=f(1)c = f(1) and d=f(1)d = -f(-1). Now substitute y=1y = 1 in equation (4), which yields 2f(1)=f(1)22f(1) = f(1)^2, hence 2c=c22c = c^2. It follows that c=0c = 0 or c=2c = 2. If we actually substitute y=1y = -1 in equation (4), then we find that 2f(1)=f(1)22f(1) = f(-1)^2, hence 2c=(d)22c = (-d)^2. For c=0c = 0, we get d=0d = 0, and for c=2c = 2, we get d=2d = 2 or d=2d = -2. So, there are three cases:
* c=0,d=0c = 0, d = 0: then f(x)=0f(x) = 0 for all xx;

* c=2,d=2c = 2, d = 2: then f(x)=2xf(x) = 2x for all xx;
* c=2,d=2c = 2, d = -2: then f(x)=2xf(x) = 2x for x0x \ge 0, and f(x)=2xf(x) = -2x for x<0x < 0, or, in other words, f(x)=2xf(x) = 2|x| for all xx.
Using the first function, both sides of the functional equation become 0, so this function is a solution. Using the second function, we get 2x2y+4y22x^2y + 4y^2 on the left hand side, and (x2+2y)2y=2x2y+4y2(x^2 + 2y) \cdot 2y = 2x^2y + 4y^2 on the right hand side, so this function is a solution as well. Using the third function, we get 2x2y+4y2=2x2y+4y22|x^2y| + 4|y^2| = 2x^2|y| + 4y^2 on the left hand side, and (x2+2y)2y=2x2y+4y2=2x2y+4y2(x^2 + 2|y|) \cdot 2|y| = 2x^2|y| + 4|y|^2 = 2x^2|y| + 4y^2 on the right hand side, so also this function is a solution.
Altogether, we found the three solutions: f(x)=0f(x) = 0, f(x)=2xf(x) = 2x, and f(x)=2xf(x) = 2|x|. \square

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.