Maths Olympiad Prep

Library / /84 of 397

Algebra Difficulty 5.2 AIME, harder Prove it Taiwan

Find all real-coefficient polynomials P(x)P(x) such that for nonzero real numbers satisfying 2xyz=x+y+z2xyz = x + y + z, it always holds that
P(x)yz+P(y)zx+P(z)xy=P(xy)+P(yz)+P(zx) \frac{P(x)}{yz} + \frac{P(y)}{zx} + \frac{P(z)}{xy} = P(x - y) + P(y - z) + P(z - x)

Solution

Define
Q(x,y,z)=xP(x)+yP(y)+zP(z)xyz[P(xy)+P(yz)+P(zx)] Q(x, y, z) = xP(x) + yP(y) + zP(z) - xyz[P(x - y) + P(y - z) + P(z - x)]
Then Q(x,y,z)Q(x, y, z) is also a polynomial with real coefficients, and when xyz0xyz \neq 0,
2xyz=x+y+zQ(x,y,z)=0 2xyz = x + y + z \Rightarrow Q(x, y, z) = 0
The property above can be extended to complex numbers, that is, x,y,zx, y, z can also be substituted with complex numbers. Substituting (x,y,z)=(t,t,0)(x, y, z) = (t, -t, 0) gives P(t)=P(t)P(t) = P(-t), so P(x)P(x) is an even function. Substituting further
(x,y,z)=(x,i2,i2) (x, y, z) = \left(x, \frac{i}{\sqrt{2}}, -\frac{i}{\sqrt{2}}\right)
we obtain
xP(x)+i2(P(i2)P(i2))=12x(P(xi2)+P(x+i2)+P(2i)) \begin{aligned} & xP(x) + \frac{i}{\sqrt{2}}\left(P\left(\frac{i}{\sqrt{2}}\right) - P\left(-\frac{i}{\sqrt{2}}\right)\right) \\ & = \frac{1}{2}x\left(P\left(x - \frac{i}{\sqrt{2}}\right) + P\left(x + \frac{i}{\sqrt{2}}\right) + P(\sqrt{2}i)\right) \end{aligned}
which leads to
P(x+i2)+P(xi2)2P(x)=P(2i) P\left(x + \frac{i}{\sqrt{2}}\right) + P\left(x - \frac{i}{\sqrt{2}}\right) - 2P(x) = P(\sqrt{2}i)
This shows that degP(x)2\deg P(x) \le 2, and the general form of P(x)P(x) is ax2+bax^2 + b.

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 translated into English from zh; metadata (topic, difficulty) added by this project.