Maths Olympiad Prep

Library / /28 of 106

Algebra Difficulty 8.1 Shortlist Prove it China

Find all polynomials P(x)P(x) with real coefficients, which satisfy the equation
P(ab)+P(bc)+P(ca)=2P(a+b+c) P(a-b) + P(b-c) + P(c-a) = 2P(a+b+c)
for all real numbers a,b,ca, b, c such that ab+bc+ca=0ab + bc + ca = 0.

Solution

Let P(x)P(x) satisfy the given equation.
If a=b=c=0, then P(0)=0. \text{If } a = b = c = 0, \text{ then } P(0) = 0.
If b=c=0, then P(a)=P(a) for all real a. \text{If } b = c = 0, \text{ then } P(-a) = P(a) \text{ for all real } a.
Hence P(x)P(x) is even. Without loss of generality, we may assume that
P(x)=anx2n++a1x2, an0. P(x) = a_n x^{2n} + \cdots + a_1 x^2,\ a_n \neq 0.
If b=2a, c=23ab = 2a,\ c = -\frac{2}{3}a, we have that
P(a)+P(83a)+P(53a)=2P(73a), P(-a) + P\left(\frac{8}{3}a\right) + P\left(-\frac{5}{3}a\right) = 2P\left(\frac{7}{3}a\right),
or
an[1+(83)2n+(53)2n2(73)2n]a2n++a1[1+(83)2+(53)22(73)2]a2=0 a_n \left[ 1 + \left(\frac{8}{3}\right)^{2n} + \left(\frac{5}{3}\right)^{2n} - 2\left(\frac{7}{3}\right)^{2n} \right] a^{2n} + \cdots + a_1 \left[ 1 + \left(\frac{8}{3}\right)^2 + \left(\frac{5}{3}\right)^2 - 2\left(\frac{7}{3}\right)^2 \right] a^2 = 0
for all aRa \in \mathbb{R}. Then all coefficients of the polynomial with variable aa are 00.
If n3n \ge 3, it follows from 86=262144>235298=2×768^6 = 262\,144 > 235\,298 = 2 \times 7^6 that (87)2n(87)6>2\left(\frac{8}{7}\right)^{2n} \ge \left(\frac{8}{7}\right)^6 > 2. This implies
1+(83)2n+(53)2n2(73)2n>0. 1 + \left(\frac{8}{3}\right)^{2n} + \left(\frac{5}{3}\right)^{2n} - 2\left(\frac{7}{3}\right)^{2n} > 0.
Hence n2n \le 2. Let P(x)=ax4+βx2P(x) = a x^4 + \beta x^2, with a,βRa, \beta \in \mathbb{R}.

We now show that P(x)=ax4+βx2P(x) = a x^4 + \beta x^2 satisfies the given equation.
Let a,b,ca, b, c be real numbers satisfying ab+bc+ca=0ab + bc + ca = 0. Then
(ab)4+(bc)4+(ca)42(a+b+c)4=(a44a3b+6a2b24ab3+b4)2(a2+b2+c2)2=(a44a3b+6a2b24ab3+b4)2a42b42c44a2b24a2c24b2c2=(4a3b+2a2b24ab3)=4a2(ab+ca)4b2(bc+ab)4c2(ca+bc)+2(a2b2+b2c2+c2a2)=4a2bc+4b2ca+4c2ab+2a2b2+2b2c2+2c2a2=2(ab+bc+ca)2=0,(ab)2+(bc)2+(ca)22(a+b+c)2=(a22ab+b2)2a24ab=0. \begin{align*} (a-b)^4 + (b-c)^4 + (c-a)^4 - 2(a+b+c)^4 &= \sum (a^4 - 4a^3b + 6a^2b^2 - 4ab^3 + b^4) - 2(a^2 + b^2 + c^2)^2 \\ &= \sum (a^4 - 4a^3b + 6a^2b^2 - 4ab^3 + b^4) - \\ & \qquad 2a^4 - 2b^4 - 2c^4 - 4a^2b^2 - 4a^2c^2 - 4b^2c^2 \\ &= \sum (-4a^3b + 2a^2b^2 - 4ab^3) \\ &= -4a^2(ab + ca) - 4b^2(bc + ab) - 4c^2(ca + bc) + \\ & \qquad 2(a^2b^2 + b^2c^2 + c^2a^2) \\ &= 4a^2bc + 4b^2ca + 4c^2ab + 2a^2b^2 + 2b^2c^2 + 2c^2a^2 \\ &= 2(ab + bc + ca)^2 = 0, \\ (a-b)^2 + (b-c)^2 + (c-a)^2 - 2(a+b+c)^2 \\ &= \sum (a^2 - 2ab + b^2) - 2\sum a^2 - 4\sum ab \\ &= 0. \end{align*}
Hence P(x)=ax4+βx2P(x) = a x^4 + \beta x^2 satisfies the given equation.

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.