Problem: Suppose P(x) is a polynomial with real coefficients satisfying the condition P(cosθ+sinθ)=P(cosθ−sinθ), for every real θ. Prove that P(x) can be expressed in the form P(x)=a0+a1(1−x2)2+a2(1−x2)4+⋯+an(1−x2)2n for some real numbers a0,a1,a2,…,an and nonnegative integer n.
Solution
Solution: Changing θ to θ−π/2, we see that P(sinθ+cosθ)=P(sinθ−cosθ) This shows that P(x)=P(−x) for all x∈[−2,2] and as P is a polynomial, in fact, P(x)=P(−x) for all x∈R. Hence P(x) is an even polynomial; P(x)=Q(x2) for some polynomial Q(x). This gives Q(1+sin(2θ))=P(cosθ+sinθ)=P(cosθ−sinθ)=Q(1−sin(2θ)) Taking t=sin(2θ), we see that Q(1+t)=Q(1−t). Hence Q(0)=Q(2).
Consider Q(t)−Q(0). This vanishes both at t=0 and t=2. Hence t(2−t) is a factor of Q(t)−Q(0). We obtain Q(t)−Q(0)=t(2−t)h(t) for some polynomial h(t). Using Q(1+t)=Q(1−t), it follows that h(1+t)=h(1−t). Hence by induction we get Q(t)=k=0∑nbktk(2−t)k Hence P(x)=Q(x2)=k=0∑nbk(x2(2−x2))k=k=0∑nbk(1−(1−x2)2)k Using binomial theorem, we can write this as P(x)=k=0∑nak(1−x2)2k for some coefficients ak, 0≤k≤n.
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.