Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2008 / Problems / Day 1, P2

IMC 2008 · Day 1 · P2

medium

Denote by VV the real vector space of all real polynomials in one variable, and let P:VRP : V \to \mathbb{R} be a linear map. Suppose that for all f,gVf, g \in V with P(fg)=0P(fg) = 0 we have P(f)=0P(f) = 0 or P(g)=0P(g) = 0. Prove that there exist real numbers x0x_0, cc such that P(f)=cf(x0)P(f) = c f(x_0) for all fVf \in V.

Solution (official)

We can assume that P0P \ne 0.

Let fVf \in V be such that P(f)0P(f) \ne 0. Then P(f2)0P(f^2) \ne 0, and therefore P(f2)=aP(f)P(f^2) = a P(f) for some non-zero real aa. Then 0=P(f2af)=P(f(fa))0 = P(f^2 - af) = P(f(f - a)) implies P(fa)=0P(f - a) = 0, so we get P(a)0P(a) \ne 0. By rescaling, we can assume that P(1)=1P(1) = 1. Now P(X+b)=0P(X + b) = 0 for b=P(X)b = -P(X). Replacing PP by P^\hat{P} given as P^(f(X))=P(f(X+b))\hat{P}(f(X)) = P(f(X + b)) we can assume that P(X)=0P(X) = 0.

Now we are going to prove that P(Xk)=0P(X^k) = 0 for all k1k \ge 1. Suppose this is true for all k<nk < n. We know that P(Xn+e)=0P(X^n + e) = 0 for e=P(Xn)e = -P(X^n). From the induction hypothesis we get P((X+e)(X+1)n1)=P(Xn+e)=0,P \bigl( (X + e)(X + 1)^{n-1} \bigr) = P(X^n + e) = 0, and therefore P(X+e)=0P(X + e) = 0 (since P(X+1)=10P(X + 1) = 1 \ne 0). Hence e=0e = 0 and P(Xn)=0P(X^n) = 0, which completes the inductive step. From P(1)=1P(1) = 1 and P(Xk)=0P(X^k) = 0 for k1k \ge 1 we immediately get P(f)=f(0)P(f) = f(0) for all fVf \in V.

How the field did

contestants scored
255
average (of 20)
8.74
solved (≥ 80%)
35.7%
near-0 (≤ 10%)
48.2%
discrimination
0.63

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 1999 · Day 1 · P1mediumavg 5.5/10 · solved 33% · near-0 8% · disc 0.46
IMC 2007 · Day 1 · P3hardavg 3.5/10 · solved 20% · near-0 42% · disc 0.57
IMC 2024 · Day 2 · P7easyavg 6.7/10 · solved 52% · near-0 16% · disc 0.55