Maths Olympiad Prep

Library / /23 of 27

Algebra Difficulty 7.3 National olympiad, round 2 Prove it North Macedonia

Find all functions f:RRf: \mathbb{R} \to \mathbb{R} such that for all x,yRx, y \in \mathbb{R} the following holds:
f(x2)+f(2y2)=(f(x+y)+f(y))(f(xy)+f(y)). f(x^2) + f(2y^2) = (f(x+y) + f(y))(f(x-y) + f(y)).

Solution

Let P(x,y)P(x,y) be the assertion f(x2)+f(2y2)=(f(x+y)+f(y))(f(xy)+f(y))f(x^2) + f(2y^2) = (f(x+y) + f(y))(f(x-y) + f(y)).

P(0,x)P(0,x) gives us
f(0)+f(2x2)=2f(x)(f(x)+f(x))(1) f(0) + f(2x^2) = 2f(x)(f(x) + f(-x)) \quad (1)
and P(0,x)P(0, -x) gives us
f(0)+f(2x2)=2f(x)(f(x)+f(x)).(2) f(0) + f(2x^2) = 2f(-x)(f(x) + f(-x)). \quad (2)
By combining (1) and (2) we get
f(x)2=f(x)2.(3) f(x)^2 = f(-x)^2. \quad (3)
P(0,0)P(0,0) gives us 2f(0)=4f(0)22f(0) = 4f(0)^2, thus we have two cases:

Case 1. f(0)=12f(0) = \frac{1}{2}.

P(x,0)P(x,0) gives us
f(x2)=(f(x)+12)212,(4) f(x^2) = \left(f(x) + \frac{1}{2}\right)^2 - \frac{1}{2}, \quad (4)
while P(x,0)P(-x,0), gives us
f(x2)=(f(x)+12)212(5) f(x^2) = \left(f(-x) + \frac{1}{2}\right)^2 - \frac{1}{2} \quad (5)
Combining (4) and (5) and using (3) we get
f(x)=f(x)(6) f(x) = f(-x) \quad (6)
The assertion P(x2,x2)P(x^2, x^2) can be written as
f(x4)+f(2x4)=f(2x2)+f(x2)(12+f(x2))(7) f(x^4) + f(2x^4) = f(2x^2) + f(x^2) \left( \frac{1}{2} + f(x^2) \right) \quad (7)
For an arbitrary xRx \in \mathbb{R}, let us denote a=f(x)a = f(x). Using (4) we get:
f(x2)=(a+12)212,f(x4)=(f(x2)+12)212=(a+12)412. \begin{aligned} f(x^2) &= \left(a + \frac{1}{2}\right)^2 - \frac{1}{2}, \\ f(x^4) &= \left(f(x^2) + \frac{1}{2}\right)^2 - \frac{1}{2} = \left(a + \frac{1}{2}\right)^4 - \frac{1}{2}. \end{aligned}
Using (1) and (6) we get
f(2x2)=4f(x2)12=4a212,f(2x4)=4f(x2)212=4((a+12)212)212. \begin{aligned} f(2x^2) &= 4f(x^2) - \frac{1}{2} = 4a^2 - \frac{1}{2}, \\ f(2x^4) &= 4f(x^2)^2 - \frac{1}{2} = 4\left(\left(a + \frac{1}{2}\right)^2 - \frac{1}{2}\right)^2 - \frac{1}{2}. \end{aligned}
Plugging the last 4 equations in (7) we get:
(a+12)2+4(a+12)2121=(4a21+a+12)(a+12)2 (a + \frac{1}{2})^2 + 4\left(a + \frac{1}{2}\right)^2 - \frac{1}{2} - 1 = \left(4a^2 - 1 + a + \frac{1}{2}\right)\left(a + \frac{1}{2}\right)^2
which is equivalent to
(a+12)2(4a2)=0. (a + \frac{1}{2})^2 (4a - 2) = 0.
Therefore a=±12a = \pm \frac{1}{2} and f(x)=±12f(x) = \pm \frac{1}{2}. Now if we use (6) in (1) we get
f(0)+f(2x2)=4(f(x))2=1 f(0) + f(2x^2) = 4(f(x))^2 = 1
so f(2x2)=12f(2x^2) = \frac{1}{2} for every xx, now using (6) we conclude f(x)=12f(x) = \frac{1}{2} for all xx which is easily checked to be a solution.

Case 2. f(0)=0f(0) = 0.

We immediately see using P(x,0)P(x,0) that
f(x2)=f(x)2.(8) f(x^2) = f(x)^2. \qquad (8)
By comparing P(x,y)P(x,y) and P(x,y)P(x,-y) and using (3) we get:
(f(y)f(y))(f(x+y)+f(xy))=0 (f(y) - f(-y))(f(x+y) + f(x-y)) = 0
If there exists cRc \in \mathbb{R} such that f(c)f(c)f(c) \neq f(-c) we have for all xx
f(x+c)=f(xc) f(x+c) = -f(x-c)
Plugging in x+cx+c in xx here gives us:
f(x+2c)=f(x).(9) f(x+2c) = -f(x). \qquad (9)
Specially, f(2c)=0f(2c) = 0. Now, P(2cy,y)P(2c - y, y):
f((2cy)2)+f(2y2)=(f(2c)+f(y))(f(2cy)+f(y)),(f(y))2+f(2y2)=f(y)f(2c2y)+f(y)2f(2y2)=f(y)f(2c2y)=f(y)f(2y)(10) \begin{aligned} f((2c - y)^2) + f(2y^2) &= (f(2c) + f(y))(f(2c - y) + f(y)), \\ (-f(-y))^2 + f(2y^2) &= f(y)f(2c - 2y) + f(y)^2 \\ f(2y^2) &= f(y)f(2c - 2y) = -f(y)f(-2y) \end{aligned} \qquad (10)
Let S(x)S(x) denote the statement (x0)(f(x)=f(x)0)(x \neq 0) \land (f(x) = f(-x) \neq 0). If there is no dRd \in \mathbb{R} such that S(d)S(d) then f(x)=f(x)f(x) = -f(-x) for all xRx \in \mathbb{R}. P(0,x)P(0,x) gives us
f(2x2)2f(x)(f(x)+f(x))=0, f(2x^2)2f(x)(f(x) + f(-x)) = 0,
which gives us another solution f(x)=0f(x) = 0. Now, let us assume that there exists dRd \in \mathbb{R} such that S(d)S(d) holds. Obviously, S(d)S(-d) holds, as well. P(0,d)P(0,d) gives us
f(2d)=4f(d)2 f(2d) = 4f(d)^2
and (10) gives us
f(2d2)=f(d)f(2d)f(2d)=4f(d)f(2d)=4f(d)=4f(d)=f(2d). \begin{aligned} f(2d^2) &= -f(d)f(-2d) \\ f(-2d) &= -4f(d) \\ f(2d) &= -4f(-d) = -4f(d) = f(-2d). \end{aligned}
Therefore, S(2d)S(2d) also holds. Inductively, we deduce that S(2nd)S(2^n d) holds for every nNn \in \mathbb{N}. Also, f(2nd)=(4)nf(d)f(2^n d) = (-4)^n f(d), which means that ff is unbounded.

P(x,c)P(x,c), using the fact f(x2)=f(x)2f(x^2) = f(x)^2:
f(x)2+f(2c2)=f(x+c)f(xc)+f(c)(f(x+c)+f(xc))+f(c)2, f(x)^2 + f(2c^2) = f(x+c)f(x-c) + f(c)(f(x+c) + f(x-c)) + f(c)^2,
and since f(x+c)=f(xc)f(x+c) = -f(x-c) and f(2c2)=0f(2c^2) = 0 (this follows from P(0,c)P(0,c)) we have
f(x)2+f(x+c)2=f(c)2 f(x)^2 + f(x+c)^2 = f(c)^2
which implies that ff is bounded and that is contradiction. Therefore, there is no cRc \in \mathbb{R} such that f(c)=f(c)f(c) = -f(c) and therefore
f(x)=f(x), for all xR.(11) f(x) = f(-x), \text{ for all } x \in \mathbb{R}. \tag{11}
P(0,x):P(0, x):
f(2x2)=4f(x)2=4f(x2). f(2x^2) = 4f(x)^2 = 4f(x^2).
Therefore, using (11):
f(2x)=4f(x), for all xR.(12) f(2x) = 4f(x), \text{ for all } x \in \mathbb{R}. \tag{12}
P(x,y)P(x, y) can now be written as follows:
f(x)2+3f(y)2=f(y)(f(x+y)+f(xy))+f(x+y)f(xy) f(x)^2 + 3f(y)^2 = f(y)(f(x+y) + f(x-y)) + f(x+y)f(x-y)
and similarly, P(y,x)P(y, x) can be written as:
f(y)2+3f(x)2=f(x)(f(x+y)+f(xy))+f(x+y)f(xy). f(y)^2 + 3f(x)^2 = f(x)(f(x+y) + f(x-y)) + f(x+y)f(x-y).
Subtracting the previous two equalities:
(f(x)f(y))(2f(x)+2f(y)f(x+y)f(xy))=0.(13) (f(x) - f(y))(2f(x) + 2f(y) - f(x+y) - f(x-y)) = 0. \tag{13}
Assume that for some x,yRx, y \in \mathbb{R}, f(x)=f(y)=af(x) = f(y) = a. Let f(x+y)=bf(x+y) = b and f(xy)=cf(x-y) = c.
Now we have:
4a2=bc+ab+ac(14) 4a^2 = bc + ab + ac \tag{14}
P(x+y,xy):P(x+y, x-y):
f(x+y)2+4f(xy)2=(f(2x)+f(xy))(f(2y)+f(xy)) f(x+y)^2 + 4f(x-y)^2 = (f(2x) + f(x-y))(f(2y) + f(x-y))
i.e.:
b2+4c2=(4a+c)2.(15) b^2 + 4c^2 = (4a + c)^2. \tag{15}
If we plug in xx+yx \to x+y, yxyy \to x-y in (13) we get:
(f(x+y)f(xy))(2f(x+y)+2f(xy)f(2x)f(2y))=0 (f(x+y) - f(x-y))(2f(x+y) + 2f(x-y) - f(2x) - f(2y)) = 0
i.e.:
(bc)(2b+2c8a)=0. (b-c)(2b+2c-8a) = 0.
If b=cb=c (15) gives us:
5b2=(4a+b)2 5b^2 = (4a+b)^2
b2=4a2+2ab b^2 = 4a^2 + 2ab
while (14) gives us:
4a2=b2+2ab. 4a^2 = b^2 + 2ab.
Thus, ab=0ab=0 and a=b=c=0a=b=c=0 which implies 2a+2abc=02a+2a-b-c=0. On the other hand, if bcb \neq c we also have 2a+2abc=02a+2a-b-c=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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.