MathDB
Roots, bounding and other delusions

Source: INMO 2021 Problem 6

March 7, 2021
PolynomialsfunctionsReal RootsalgebraINMO

Problem Statement

Let R[x]\mathbb{R}[x] be the set of all polynomials with real coefficients. Find all functions f:R[x]R[x]f: \mathbb{R}[x] \rightarrow \mathbb{R}[x] satisfying the following conditions:
[*] ff maps the zero polynomial to itself, [*] for any non-zero polynomial PR[x]P \in \mathbb{R}[x], degf(P)1+degP\text{deg} \, f(P) \le 1+ \text{deg} \, P, and [*] for any two polynomials P,QR[x]P, Q \in \mathbb{R}[x], the polynomials Pf(Q)P-f(Q) and Qf(P)Q-f(P) have the same set of real roots.
Proposed by Anant Mudgal, Sutanay Bhattacharya, Pulkit Sinha