Maths Olympiad Prep

Library / /89 of 121

Algebra Difficulty 6.6 National Olympiad Prove it India

Problem:

Let P(x)P(x) be a given polynomial with integer coefficients. Prove that there exist two polynomials Q(x)Q(x) and R(x)R(x), again with integer coefficients, such that (i) P(x)Q(x)P(x) Q(x) is a polynomial in x2x^{2}; and (ii) P(x)R(x)P(x) R(x) is a polynomial in x3x^{3}.

Solution

Solution:

Let P(x)=a0+a1x+a2x2++anxnP(x)=a_{0}+a_{1} x+a_{2} x^{2}+\cdots+a_{n} x^{n} be a polynomial with integer coefficients.

Part (i) We may write
P(x)=a0+a2x2+a4x4++x(a1+a3x2+a5x5+) P(x)=a_{0}+a_{2} x^{2}+a_{4} x^{4}+\cdots+x\left(a_{1}+a_{3} x^{2}+a_{5} x^{5}+\cdots\right)
Define
Q(x)=a0+a2x2+a4x4+x(a1+a3x2+a5x5+) Q(x)=a_{0}+a_{2} x^{2}+a_{4} x^{4}+\cdots-x\left(a_{1}+a_{3} x^{2}+a_{5} x^{5}+\cdots\right)
Then Q(x)Q(x) is also a polynomial with integer coefficients and
P(x)Q(x)=(a0+a2x2+a4x4+)2x2(a1+a3x2+a5x5+)2 P(x) Q(x)=\left(a_{0}+a_{2} x^{2}+a_{4} x^{4}+\cdots\right)^{2}-x^{2}\left(a_{1}+a_{3} x^{2}+a_{5} x^{5}+\cdots\right)^{2}
is a polynomial in x2x^{2}.

Part (ii) We write again
P(x)=A(x)+xB(x)+x2C(x) P(x)=A(x)+x B(x)+x^{2} C(x)
where
A(x)=a0+a3x3+a6x6+B(x)=a1+a4x3+a7x6+C(x)=a2+a5x3+a8x6+ \begin{aligned} & A(x)=a_{0}+a_{3} x^{3}+a_{6} x^{6}+\cdots \\ & B(x)=a_{1}+a_{4} x^{3}+a_{7} x^{6}+\cdots \\ & C(x)=a_{2}+a_{5} x^{3}+a_{8} x^{6}+\cdots \end{aligned}
Note that A(x),B(x)A(x), B(x) and C(x)C(x) are polynomials with integer coefficients and each of these is a polynomial in x3x^{3}. We may introduce
S(x)=A(x)+ωxB(x)+ω2x2C(x)T(x)=A(x)+ω2xB(x)+ωx2C(x) \begin{aligned} & S(x)=A(x)+\omega x B(x)+\omega^{2} x^{2} C(x) \\ & T(x)=A(x)+\omega^{2} x B(x)+\omega x^{2} C(x) \end{aligned}
where ω\omega is an imaginary cube-root of unity. Then
S(x)T(x)=(A(x))2+x2(B(x))2+x4(C(x))2xA(x)B(x)x3B(x)C(x)x2C(x)A(x) \begin{aligned} S(x) T(x)=(A(x))^{2}+x^{2}(B(x))^{2}+x^{4}(C(x))^{2} & \\ & -x A(x) B(x)-x^{3} B(x) C(x)-x^{2} C(x) A(x) \end{aligned}
since ω3=1\omega^{3}=1 and ω+ω2=1\omega+\omega^{2}=-1. Taking R(x)=S(x)T(x)R(x)=S(x) T(x), we obtain
P(x)R(x)=(A(x))3+x3(B(x))3+x6(C(x))33x3A(x)B(x)C(x) P(x) R(x)=(A(x))^{3}+x^{3}(B(x))^{3}+x^{6}(C(x))^{3}-3 x^{3} A(x) B(x) C(x)
which is a polynomial in x3x^{3}. This follows from the identity
(a+b+c)(a2+b2+c2abbcca)=a3+b3+c33abc (a+b+c)\left(a^{2}+b^{2}+c^{2}-a b-b c-c a\right)=a^{3}+b^{3}+c^{3}-3 a b c
Alternately, R(x)R(x) may be directly defined by
R(x)=(A(x))2+x2(B(x))2+x4(C(x))2xA(x)B(x)x3B(x)C(x)x2C(x)A(x) \begin{aligned} & R(x)=(A(x))^{2}+x^{2}(B(x))^{2}+x^{4}(C(x))^{2} \\ &-x A(x) B(x)-x^{3} B(x) C(x)-x^{2} C(x) A(x) \end{aligned}

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.