Maths Olympiad Prep

Library / /4 of 35

Algebra Difficulty 4.8 AIME Prove it Belarus

Find all pairs of polynomials p(x),q(x)R[x]p(x), q(x) \in \mathbb{R}[x] satisfying the equality
p(x2)=p(x)q(1x)+p(1x)q(x) p(x^2) = p(x)q(1-x) + p(1-x)q(x)
for all real xx.

Solution

(Solution by A. Asanau, D. Voynov.) Replace xx by 1x1-x in
p(x2)=p(x)q(1x)+p(1x)q(x),(1) p(x^2) = p(x)q(1-x) + p(1-x)q(x), \quad (1)
then we have p((x1)2)=p(1x)q(x)+p(x)q(1x)=p(x2)p((x-1)^2) = p(1-x)q(x) + p(x)q(1-x) = p(x^2). It follows that the polynomial p(x2)p(x^2) is periodic, i.e., p(x)p(x) is a constant polynomial, p(x)=ap(x) = a for some aRa \in \mathbb{R}.
If a=0a=0, then (1) is valid for any arbitrary polynomial q(x)q(x).
If a0a \neq 0, then (1) becomes q(1x)+q(x)=1q(1-x) + q(x) = 1 for all xx. Replacing xx by x+0.5x+0.5 we can rewrite the last equality as
q(0.5x)0.5+q(0.5+x)0.5=0.(2) q(0.5 - x) - 0.5 + q(0.5 + x) - 0.5 = 0. \quad (2)
Let h(x)=q(0.5+x)0.5h(x) = q(0.5 + x) - 0.5. Then (2) shows that h(x)=h(x)h(-x) = -h(x), so we may write h(x)=xr(x2)h(x) = xr(x^2) for some polynomial r(x)r(x).
Hence q(0.5+x)=xr(x2)+0.5q(0.5 + x) = xr(x^2) + 0.5. Replace xx by x0.5x - 0.5 here, we obtain q(x)=(x0.5)r((x0.5)2)+0.5q(x) = (x - 0.5)r((x - 0.5)^2) + 0.5 which obviously satisfies the condition.

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.