Maths Olympiad Prep

Library / /19 of 61

Algebra Difficulty 5.9 AIME, harder Prove it Belarus

Find all polynomials P(x)P(x) such that the equality
(x1)P(x+1)(x+1)P(x1)=4P(x) (x - 1)P(x + 1) - (x + 1)P(x - 1) = 4P(x)
holds for all real xx.

Solution

Answer: P(x)=ax(x1)(x+1)P(x) = a x(x-1)(x+1), where aRa \in \mathbb{R}.

Set x=1x = 1 and x=1x = -1 in the initial identity
(x1)P(x+1)(x+1)P(x1)=4P(x).(1) (x-1)P(x+1) - (x+1)P(x-1) = 4P(x). \quad (1)
Thus we obtain 2P(0)=4P(1)-2P(0) = 4P(1) and 2P(0)=4P(1)-2P(0) = 4P(-1) respectively. Setting x=0x = 0 in (1), we obtain P(1)P(1)=4P(0)-P(1) - P(-1) = 4P(0), so, taking into account two previous equalities, we have P(1)=P(0)=P(1)=0P(-1) = P(0) = P(1) = 0.

Therefore 00, 11, and 1-1 are zeroes of the polynomial P(x)P(x), hence P(x)=x(x1)(x+1)Q(x)P(x) = x(x-1)(x+1)Q(x), where Q(x)Q(x) is some polynomial. Setting this representation of P(x)P(x) in (1), we obtain
(x1)(x+1)x(x+2)Q(x+1)(x+1)(x1)(x2)xQ(x1)==4x(x1)(x+1)Q(x), (x-1)(x+1)x(x+2)Q(x+1) - (x+1)(x-1)(x-2)xQ(x-1) = \\ = 4x(x-1)(x+1)Q(x),
whence
(x+2)Q(x+1)(x2)Q(x1)=4Q(x)for all xR.(2) (x+2)Q(x+1) - (x-2)Q(x-1) = 4Q(x) \quad \text{for all } x \in \mathbb{R}. \quad (2)
Set x=2x = 2 in (2), then we obtain Q(3)=Q(2)Q(3) = Q(2). By induction on kk, show that Q(k)=Q(2)Q(k) = Q(2) for all positive integers k2k \ge 2. Indeed, let Q(k)=Q(2)Q(k) = Q(2) for all k=2,3,,mk = 2, 3, \dots, m, where m3m \ge 3. Then setting x=mx = m in (2), we obtain (m+2)Q(m+1)(m2)Q(m1)=4Q(m)(m+2)Q(m+1) - (m-2)Q(m-1) = 4Q(m), so, taking into account our assumption, we obtain (m+2)Q(m+1)=(m+2)Q(2)(m+2)Q(m+1) = (m+2)Q(2), i.e. Q(m+1)=Q(2)Q(m+1) = Q(2). It follows that Q(k)=Q(2)Q(k) = Q(2) for all positive integers k2k \ge 2.

Since the polynomial Q(x)Q(2)Q(x) - Q(2) has zero value at infinitely many points, we conclude that this polynomial is equal to zero identically, i.e. Q(x)=Q(2)=aQ(x) = Q(2) = a for some real number aa.

Therefore, the polynomial satisfying (1) needs to have the form P(x)=ax(x1)(x+1)P(x) = a x(x-1)(x+1). It is easy to verify that any polynomial of such form (for any real aa) satisfies (1).

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.