Maths Olympiad Prep

Library / /2 of 10

Algebra Difficulty 8.7 Shortlist Prove it Vietnam

Let P(x)R[x]P(x) \in \mathbb{R}[x] be a monic, non-constant polynomial. Determine all continuous functions f:RRf: \mathbb{R} \to \mathbb{R} such that
f(f(P(x))+y+2023f(y))=P(x)+2024f(y), f(f(P(x)) + y + 2023f(y)) = P(x) + 2024f(y),
for all reals x,yx, y.

Solution

Because the polynomial P(x)P(x) is non-constant and has the highest coefficient equal to 11, there exists a constant cc such that P(x)P(x) can take on all values above [c,+)[c, +\infty).
From equation (1), we get
f(f(x)+y+2023f(y))=x+2024f(y),xc,yR.(2) f(f(x) + y + 2023f(y)) = x + 2024f(y), \quad \forall x \ge c, y \in \mathbb{R}. \quad (2)
We will prove limx+f(x)=+\lim_{x \to +\infty} |f(x)| = +\infty. Indeed, assuming the existence of real numbers M,mM, m (we can assume mcm \ge c) such that f(x)M|f(x)| \le M for all xmx \ge m. Fix a real number y0y_0. For xmx \ge m, we have
M+y0+2023f(y0)f(x)+y0+2023f(y0)M+y0+2023f(y0). -M + y_0 + 2023f(y_0) \le f(x) + y_0 + 2023f(y_0) \le M + y_0 + 2023f(y_0).
In addition, since ff is continuous on R\mathbb{R}, there exists a real number NN such that f(x)Nf(x) \le N for all real numbers xx belonging to the interval [M+y0+2023f(y0),M+y0+2023f(y0)][-M + y_0 + 2023f(y_0), M + y_0 + 2023f(y_0)]. From here and from (2), we deduce
Nf(f(x)+y0+2023f(y0))=x+2024f(y0), N \ge f(f(x) + y_0 + 2023f(y_0)) = x + 2024f(y_0),
or Nx+2024f(y0)N \ge x + 2024f(y_0) for all xmx \ge m, contradiction. Therefore limx+f(x)=+\lim_{x \to +\infty} |f(x)| = +\infty.
From (2), it is easy to see that ff is injective on the domain [c,+)[c, +\infty). Since ff is a continuous function on R\mathbb{R}, ff is a truly monotone function on the domain [c,+)[c, +\infty). Thus, there are two possible cases.

Case 1: limx+f(x)=\lim_{x \to +\infty} f(x) = -\infty. We will prove limxf(x)=+\lim_{x \to -\infty} f(x) = +\infty. Indeed, suppose there exist real numbers L,L, \ell such that f(x)Lf(x) \le L for all xx \le \ell. Fix the real number y0y_0. Since limx+f(x)=\lim_{x \to +\infty} f(x) = -\infty, there exists a real number x0cx_0 \ge c such that x0>L2024f(y0)x_0 > L - 2024f(y_0) and f(x0)+y0+2023f(x_0) + y_0 + 2023 \le \ell. Then, from (2), we have
L<x0+2024f(y0)=f(f(x0)+y0+2023f(y0))L. L < x_0 + 2024f(y_0) = f(f(x_0) + y_0 + 2023f(y_0)) \le L.
From the received contradiction, we deduce limxf(x)=+\lim_{x \to -\infty} f(x) = +\infty. Because limx+f(x)=\lim_{x \to +\infty} f(x) = -\infty, limxf(x)=+\lim_{x \to -\infty} f(x) = +\infty and ff is continuous on R\mathbb{R} so ff is an all-reflection on R\mathbb{R}.
Now, fixing the real number x1cx_1 \ge c. We see that there exists a real number y1y_1 such that f(y1)=f(x1)2023f(y_1) = -\frac{f(x_1)}{2023}. Then, from equation (2), we deduce
x120242023f(x1)=x1+2024f(y1)=f(f(x1)+y1+2023f(y1))=f(y1)=f(x1)2023, x_1 - \frac{2024}{2023} f(x_1) = x_1 + 2024 f(y_1) = f(f(x_1) + y_1 + 2023f(y_1)) = f(y_1) = -\frac{f(x_1)}{2023},
therefore f(x1)=x1f(x_1) = x_1. Thus, f(x)=xf(x) = x for all xcx \ge c, which is a contradiction because limx+f(x)=\lim_{x \to +\infty} f(x) = -\infty.

Case 2: limx+f(x)=+\lim_{x \to +\infty} f(x) = +\infty. In this case, it is easy to see that ff is a strictly increasing function on the domain [c,+)[c, +\infty).
Now, suppose there are two real numbers a,ba, b such that f(a)=f(b)f(a) = f(b). Since limx+f(x)=+\lim_{x \to +\infty} f(x) = +\infty so there exists a real number dcd \ge c such that f(d)+a+2023f(a)cf(d) + a + 2023f(a) \ge c and f(d)+b+2023f(b)cf(d) + b + 2023f(b) \ge c. Then, from equation (2), we have
f(f(d)+a+2023f(a))=d+2024f(a)=d+2024f(b)=f(f(d)+b+2023f(b)). f(f(d) + a + 2023f(a)) = d + 2024f(a) = d + 2024f(b) = f(f(d) + b + 2023f(b)).
Because ff increases strictly over the domain [c,+)[c, +\infty), f(d)+a+2023f(a)=f(d)+b+2023f(b)f(d) + a + 2023f(a) = f(d) + b + 2023f(b), implies a=ba = b. Thus, the function ff is one-to-one on R\mathbb{R}. Because ff is continuous on R\mathbb{R} and ff is strictly increasing on the domain [c,+)[c, +\infty) so from here, we deduce that ff increases strictly on R\mathbb{R}.
Next, we will prove limxf(x)=\lim_{x \to -\infty} f(x) = -\infty. Indeed, suppose there exist real numbers V,νV, \nu such that f(x)Vf(x) \ge V for all xνx \le \nu. Substituting y=f(x)y = -f(x) into equation (2), we get
f(2023f(f(x)))=x+2024f(f(x)),xc.(3) f(2023f(-f(x))) = x + 2024f(-f(x)), \quad \forall x \ge c. \quad (3)
Since limx+f(x)=+\lim_{x \to +\infty} f(x) = +\infty, there exists a real number x2cx_2 \ge c such that x2>f(2023f(ν))2024Vx_2 > f(2023f(\nu)) - 2024V and f(x2)νf(x_2) \ge -\nu. We have f(x2)ν-f(x_2) \le \nu so f(f(x2))Vf(-f(x_2)) \ge V, follows output
x2+2024f(f(x2))x2+2024V. x_2 + 2024f(-f(x_2)) \ge x_2 + 2024V.
There is again f(x2)ν-f(x_2) \le \nu so f(f(x2))f(ν)f(-f(x_2)) \le f(\nu), infers
f(2023f(f(x2)))f(2023f(ν)). f(2023f(-f(x_2))) \le f(2023f(\nu)).
Combined with (3), we get
f(2023f(ν))f(2023f(f(x2)))=x2+2024f(f(x2))x2+2024L>f(2023f(ν)). \begin{aligned} f(2023f(\nu)) &\ge f(2023f(-f(x_2))) = x_2 + 2024f(-f(x_2)) \\ &\ge x_2 + 2024L > f(2023f(\nu)). \end{aligned}
From the received contradiction, we deduce limxf(x)=\lim_{x \to -\infty} f(x) = -\infty. We have limx+f(x)=+\lim_{x \to +\infty} f(x) = +\infty, limxf(x)=\lim_{x \to -\infty} f(x) = -\infty and ff is continuous on R\mathbb{R} so ff is an all-reflection on R\mathbb{R}. At here, doing the same substitution as case 1 above, we have f(x)=xf(x) = x for all xcx \ge c. Now, in equation (2), fix the real number xx and choose xcx \ge c enough so that f(x)+y+2023f(y)cf(x) + y + 2023f(y) \ge c. We have
x+y+2023f(y)=f(x)+y+2023f(y)=f(f(x)+y+2023f(y))=x+2024f(y). \begin{aligned} x + y + 2023f(y) &= f(x) + y + 2023f(y) \\ &= f(f(x) + y + 2023f(y)) = x + 2024f(y). \end{aligned}
It follows that f(y)=yf(y) = y. Thus, we have f(x)=xf(x) = x for all real numbers xx. It is easy to verify that f(x)=xf(x) = x indeed satisfies the condition of the problem.

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.