Maths Olympiad Prep

Library / /6 of 8

Algebra Difficulty 8.3 Shortlist Prove it Balkan Mathematical Olympiad

Determine all real polynomials P(x)P(x) such that
P2(x)+P2(y)+P2(x+y)=2P(x2+xy+y2) P^2(x) + P^2(y) + P^2(x + y) = 2P(x^2 + xy + y^2)
for every x,yRx, y \in \mathbb{R}.

Solutions — 2

Solution 1

Setting y=0y = 0 we get
2P2(x)+P2(0)=2P(x2)(1) 2P^2(x) + P^2(0) = 2P(x^2) \qquad (1)
for every xRx \in \mathbb{R}. We claim that P(x)P(x) is a monomial. Indeed, if this is not the case, let axnax^n and bxmbx^m, with n>mn > m be the two non-zero terms with the largest powers of xx. Comparing the coefficients of xm+nx^{m+n} in (1) we get 2ab=02ab = 0, a contradiction.
So P(x)P(x) is a monomial. If P(x)=cP(x) = c, a constant, then substituting in the original equation we get 3c2=2c3c^2 = 2c giving c=0c = 0 or c=23c = \frac{2}{3}.
Otherwise P(x)=axnP(x) = ax^n for some aR{0}a \in \mathbb{R} \setminus \{0\} and nNn \in \mathbb{N}. Then P(0)=0P(0) = 0 and substituting in (1) with x=1x = 1 we get 2a2=2a2a^2 = 2a giving a=1a = 1.
Now for x=y=1x = y = 1 in the original equation we get 2+22n=23n2 + 2^{2n} = 2 \cdot 3^n. The cases n=1,2n = 1, 2 are obvious solutions, while for n3n \ge 3 we have
2+22n3n>(43)n6427>2 \frac{2 + 2^{2n}}{3^n} > \left(\frac{4}{3}\right)^n \ge \frac{64}{27} > 2
showing that no other solutions exist.
So the only possible solutions are P(x)=0,23,x,x2P(x) = 0, \frac{2}{3}, x, x^2 which are easy to check that they satisfy the equation.

Solution 2

If PP is constant, then we get P(x)=0P(x) = 0 or P(x)=23P(x) = \frac{2}{3} as in the first solution. So assume that the degree of PP is n1n \ge 1 and let ana_n be the leading coefficient. Equating the coefficients of x2nx^{2n} we 2an2=2an2a_n^2 = 2a_n giving an=1a_n = 1.
Now letting x=yx = y we get
2P2(x)+P2(2x)=2P(3x2) 2P^2(x) + P^2(2x) = 2P(3x^2)
and equating the coefficients of x2nx^{2n} we get 2+22n=23n2 + 2^{2n} = 2 \cdot 3^n which gives n=1n = 1 or n=2n = 2 as in the first solution. We can now try all polynomials of the form P(x)=x+aP(x) = x + a and P(x)=x2+ax+bP(x) = x^2 + ax + b which leads to the same solutions as in the first solution.

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.