Maths Olympiad Prep

Library / Team Selection Tests /2 of 11

Team Selection Tests

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:R→Rf: \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),∀x≥c,y∈R.(2) f(f(x) + y + 2023f(y)) = x + 2024f(y), \quad \forall x \ge c, y \in \mathbb{R}. \quad (2)
We will prove lim⁡x→+∞∣f(x)∣=+∞\lim_{x \to +\infty} |f(x)| = +\infty. Indeed, assuming the existence of real numbers M,mM, m (we can assume m≥cm \ge c) such that ∣f(x)∣≤M|f(x)| \le M for all x≥mx \ge m. Fix a real number y0y_0. For x≥mx \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
N≥f(f(x)+y0+2023f(y0))=x+2024f(y0), N \ge f(f(x) + y_0 + 2023f(y_0)) = x + 2024f(y_0),
or N≥x+2024f(y0)N \ge x + 2024f(y_0) for all x≥mx \ge m, contradiction. Therefore lim⁡x→+∞∣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: lim⁡x→+∞f(x)=−∞\lim_{x \to +\infty} f(x) = -\infty. We will prove lim⁡x→−∞f(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 x≤ℓx \le \ell. Fix the real number y0y_0. Since lim⁡x→+∞f(x)=−∞\lim_{x \to +\infty} f(x) = -\infty, there exists a real number x0≥cx_0 \ge c such that x0>L−2024f(y0)x_0 > L - 2024f(y_0) and f(x0)+y0+2023≤ℓf(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 lim⁡x→−∞f(x)=+∞\lim_{x \to -\infty} f(x) = +\infty. Because lim⁡x→+∞f(x)=−∞\lim_{x \to +\infty} f(x) = -\infty, lim⁡x→−∞f(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 x1≥cx_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
x1−20242023f(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 x≥cx \ge c, which is a contradiction because lim⁡x→+∞f(x)=−∞\lim_{x \to +\infty} f(x) = -\infty.

Case 2: lim⁡x→+∞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 lim⁡x→+∞f(x)=+∞\lim_{x \to +\infty} f(x) = +\infty so there exists a real number d≥cd \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 lim⁡x→−∞f(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)),∀x≥c.(3) f(2023f(-f(x))) = x + 2024f(-f(x)), \quad \forall x \ge c. \quad (3)
Since lim⁡x→+∞f(x)=+∞\lim_{x \to +\infty} f(x) = +\infty, there exists a real number x2≥cx_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 lim⁡x→−∞f(x)=−∞\lim_{x \to -\infty} f(x) = -\infty. We have lim⁡x→+∞f(x)=+∞\lim_{x \to +\infty} f(x) = +\infty, lim⁡x→−∞f(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 x≥cx \ge c. Now, in equation (2), fix the real number xx and choose x≥cx \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,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.