Maths Olympiad Prep

Library / /8 of 21

, 2006

Algebra Difficulty 6.3 National Olympiad Prove it Vietnam

Find all polynomials P(x)P(x) with real coefficients satisfying the condition
P(x2)+x(3P(x)+P(x))=(P(x))2+2x2 P(x^2) + x(3P(x) + P(-x)) = (P(x))^2 + 2x^2
for all real numbers xx.

Solution

Let P(x)P(x) be a polynomial satisfying the condition of the problem. We have:
P(x2)+x(3P(x)+P(x))=(P(x))2+2x2,xR,(1) P(x^2) + x(3P(x) + P(-x)) = (P(x))^2 + 2x^2, \quad x \in \mathbb{R}, \quad (1)

It is clear that degP>0\deg P > 0. Consider the cases:
i) degP=1\deg P = 1.
P(x)P(x) has the form P(x)=ax+bP(x) = ax + b, a0a \neq 0. Substituting it into (1) gives:
(a23a+2)x2+2b(a2b)x+b2b0(2) (a^2 - 3a + 2)x^2 + 2b(a - 2b)x + b^2 - b \equiv 0 \quad (2)
It is evident that:
(2)(a=1,b=0),(a=2,b=0),(a=2,b=1). (2) \Leftrightarrow (a = 1, b = 0), (a = 2, b = 0), (a = 2, b = 1).
So we get the polynomials: P(x)=xP(x) = x, P(x)=2xP(x) = 2x, and P(x)=2x+1P(x) = 2x + 1.

Put P(x)=axn+S(x)P(x) = ax^n + S(x), a0a \neq 0, (3).
Where S(x)S(x) is a polynomial of degree degS(x)=k<n\deg S(x) = k < n.
Substituting (3) into (1) gives:
(a2a)x2n+(S(x))2S(x2)+2axnS(x)(3+(1)n)axn+1+(3S(x)+S(x))x2x2.(4) (a^2 - a)x^{2n} + (S(x))^2 - S(x^2) + 2ax^n \cdot S(x) \equiv \\ \equiv (3 + (-1)^n)ax^{n+1} + (3S(x) + S(-x))x - 2x^2. \quad (4)
Since the degree of left hand side of (4) is equal to (n+1)(n + 1) and since n+1<2nn + 1 < 2n, (4) implies that a2a=0a^2 - a = 0 and so a=1a = 1. Therefore, from (4) we obtain:
2xnS(x)+(S(x))2S(x2)(3+(1)n)xn+1+(3S(x)+S(x))x2x2(5) 2x^n S(x) + (S(x))^2 - S(x^2) \equiv (3 + (-1)^n)x^{n+1} + (3S(x) + S(-x))x - 2x^2 \quad (5)

Since degree of the left hand side of (5) is equal to (n+k)(n + k) and the degree of right hand side of (5) is equal to (n+1)(n+1), (5) implies that k=1k = 1.
Moreover, by substituting x=0x = 0 into (5), we obtain (S(0))2S(0)=0(S(0))^2 - S(0) = 0, i.e S(0)=0S(0) = 0 or S(0)=1S(0) = 1. So S(x)=pxS(x) = px or S(x)=px+1S(x) = px + 1.

a) In case S(x)=pxS(x) = px, by substituting it into (5), we get:
(3+(1)n2p)xn+1(p23p+2)x20 (3 + (-1)^n - 2p)x^{n+1} - (p^2 - 3p + 2)x^2 \equiv 0
Which is equivalent to:
{3+(1)n2p=0p23p+2=0 \begin{cases} 3 + (-1)^n - 2p = 0 \\ p^2 - 3p + 2 = 0 \end{cases}
p=1,n1(mod2) \Leftrightarrow p = 1, n \equiv 1 \pmod{2}
or p=2,n0(mod2). \text{or } p = 2, n \equiv 0 \pmod{2}.
So we obtain the polynomials:
P(x)=x2n+1+x and P(x)=x2n+2x. P(x) = x^{2n+1} + x \text{ and } P(x) = x^{2n} + 2x.
Direct verifications shows that these polynomials satisfy (1).

b) In case S(x)=px+1S(x) = px + 1, by substituting it in to (5) we get:
(3+(1)n2p)xn+12xn(p23p+2)x22(p2)x0 (3 + (-1)^n - 2p)x^{n+1} - 2x^n - (p^2 - 3p + 2)x^2 - 2(p-2)x \equiv 0
which implies that 202 \equiv 0. This contradiction show that in this case, there is no S(x)S(x) satisfying (5) and so there is no P(x)P(x) satisfying (1).

All in all, the polynomials P(x)P(x) satisfying the condition of the problem are:
P(x)=x,P(x)=x2n+2x,nN P(x) = x, \quad P(x) = x^{2n} + 2x, \quad n \in \mathbb{N}
P(x)=x2n+1+x,nN. P(x) = x^{2n+1} + x, \quad n \in \mathbb{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.