Maths Olympiad Prep

Library / /288 of 299

Algebra Difficulty 7.7 National Olympiad, round 2 Prove it Iran

Find all the functions f:Q[x]Q[x]f : \mathbb{Q}[x] \to \mathbb{Q}[x] such that

i. For all P,QQ[x]P, Q \in \mathbb{Q}[x] we have f(P+Q)=f(P)+f(Q)f(P + Q) = f(P) + f(Q);

ii. For all PQ[x]P \in \mathbb{Q}[x], we have gcd(P,f(P))=1\text{gcd}(P, f(P)) = 1 if and only if PP is square-free.

(We call a polynomial PQ[x]P \in \mathbb{Q}[x] square-free if there is no non-constant polynomial QQ[x]Q \in \mathbb{Q}[x] such that Q2Q^2 divides PP.)

Solution

Take any polynomial Q(x)Q(x) with rational coefficients then the function ff meets the condition of the problem if and only if g(P)=f(P)PQg(P) = f(P) - P \cdot Q satisfies. Where P(x)P(x) is a polynomial with rational coefficients. We shall prove this claim in one direction. In the opposite direction, just change QQ by Q-Q. Indeed, g(P+R)=f(P+R)(P+R)Q=f(P)PQ+f(R)RQ=g(P)+g(R)g(P+R) = f(P+R) - (P+R) \cdot Q = f(P) - P \cdot Q + f(R) - R \cdot Q = g(P) + g(R). The second property would indeed follow from the Euclidean algorithm. Since gcd(P,f(P))=1\text{gcd}(P, f(P)) = 1 then gcd(P,f(P)PQ)=1\text{gcd}(P, f(P) - P \cdot Q) = 1.

We can then assume that f(1)=0f(1) = 0. After this, it suffices to show that f(P)=CPf(P) = C \cdot P' satisfies the statement of problem for some non-zero rational CC.

Notice that f(nP)=nf(P)f(nP) = nf(P) for all integers nn and further for all rational numbers rr we have f(rP)=rf(P)f(rP) = rf(P). Then, if we put P(x)=adxd++a0P(x) = a_d x^d + \dots + a_0 it follows that f(P)=adf(xd)++a0f(1)=adf(xd)++a1f(x)f(P) = a_d f(x^d) + \dots + a_0 f(1) = a_d f(x^d) + \dots + a_1 f(x). Thus, it would only suffices to prove that f(xn)=nxn1f(x)f(x^n) = n x^{n-1} f(x). For n=1n = 1 it is clear. Now consider (xr)n(x-r)^n for some rational number rr and some integer n2n \ge 2. Notice that

f((xr)n)=k=0n(nk)f(xk)(r)nk=f(xn)+k=0n1(nk)kxk1f(x)(r)nk=f(xn)+nf(x)k=1n1(n1k1)xk1(r)nk=f(xn)+nf(x)+k=0n2(n1k)xk(r)nk1.\begin{align*} f((x-r)^n) &= \sum_{k=0}^{n} \binom{n}{k} f(x^k) (-r)^{n-k} = f(x^n) + \sum_{k=0}^{n-1} \binom{n}{k} k x^{k-1} f(x) (-r)^{n-k} \\ &= f(x^n) + n f(x) \sum_{k=1}^{n-1} \binom{n-1}{k-1} x^{k-1} (-r)^{n-k} \\ &= f(x^n) + n f(x) + \sum_{k=0}^{n-2} \binom{n-1}{k} x^k (-r)^{n-k-1}. \end{align*}
Hence, Hence,
f((x - r)^n) = f(x^n) + n f(x) ((x - r)^{n-1} - x^{n-1})

That is, f((xr)n)nf(x)(xr)n1=f(xn)nf(x)xn1f((x-r)^n) - n f(x)(x-r)^{n-1} = f(x^n) - n f(x)x^{n-1}. Applying the second condition, it follows that xrx-r divides the left. Hence, it should divide the right. Since the right side doesn't depend on rr, it follows that it must have infinitely many linear factors implies that it must be zero. Therefore, f(xn)=nf(x)xn1f(x^n) = n f(x)x^{n-1}. Now, it follows that f(P)=f(x)Pf(P) = f(x) P. We shall then need to prove that f(x)=Cf(x) = C for some non-zero rational number CC. Assume on the contrary, let f(x)=Q(x)f(x) = Q(x) for some non-constant polynomial Q(x)Q(x) with rational coefficients, then consider an irreducible factor T(x)T(x) of it with rational coefficients then T(x)T(x) divides f(x)f(x). Hence, T(x)T(x) divides f(T)=Q(x)T(x)f(T) = Q(x) \cdot T'(x). But, T(x)T(x) since T(x)T(x) is irreducible, it would also be square-free. Yielding gcd(T,f(T))=1\text{gcd}(T, f(T)) = 1. Hence, f(x)=Cf(x) = C. All in all, the solutions are of the form CP(x)+P(x)Q(x)C \cdot P'(x) + P(x)Q(x), for some non-zero rational number CC and any polynomial Q(x)Q(x) with rational coefficients.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.