Olympiad Maths Prep

Track / Stage 7 / 28 of 300 #1428 of 2000

Problem 1428

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.0 Prove it

Prove that if for a polynomial P(x,y)P(x, y), we have
P(x1,y2x+1)=P(x,y),P(x - 1, y - 2x + 1) = P(x, y),
then there exists a polynomial Φ(x)\Phi(x) with P(x,y)=Φ(yx2).P(x, y) = \Phi(y - x^2).

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. We start with the given functional equation for the polynomial P(x,y) P(x, y) :
P(x1,y2x+1)=P(x,y). P(x - 1, y - 2x + 1) = P(x, y).

2. We will use induction to show that P(x,y) P(x, y) can be expressed in terms of P(0,yx2) P(0, y - x^2) .

3. Consider the polynomial evaluated at x=n x = n for nN n \in \mathbb{N} :
P(n,y)=P(n1,y2n+1). P(n, y) = P(n - 1, y - 2n + 1).

4. Applying the functional equation repeatedly, we get:
P(n,y)=P(n1,y2n+1)=P(n2,y2(n1)+12n+1). P(n, y) = P(n - 1, y - 2n + 1) = P(n - 2, y - 2(n - 1) + 1 - 2n + 1).

5. Continuing this process, we have:
P(n,y)=P(n2,y(2n1)(2(n1)1)). P(n, y) = P(n - 2, y - (2n - 1) - (2(n - 1) - 1)).

6. Generalizing this, we get:
P(n,y)=P(0,y(2n1)(2(n1)1)1). P(n, y) = P(0, y - (2n - 1) - (2(n - 1) - 1) - \cdots - 1).

7. The sum of the first n n odd numbers is n2 n^2 , so:
P(n,y)=P(0,yn2). P(n, y) = P(0, y - n^2).

8. Define Qy(x)=P(x,y)P(0,yx2) Q_y(x) = P(x, y) - P(0, y - x^2) . Notice that Qy(x) Q_y(x) is a polynomial in x x .

9. From the previous steps, we know that Qy(n)=0 Q_y(n) = 0 for all nN n \in \mathbb{N} .

10. Since Qy(x) Q_y(x) is a polynomial and has infinitely many roots (all natural numbers), it must be the zero polynomial. Therefore:
Qy(x)=0xR. Q_y(x) = 0 \quad \forall x \in \mathbb{R}.

11. This implies:
P(x,y)=P(0,yx2)x,yR. P(x, y) = P(0, y - x^2) \quad \forall x, y \in \mathbb{R}.

12. Let Φ(t)=P(0,t) \Phi(t) = P(0, t) . Then we can write:
P(x,y)=Φ(yx2). P(x, y) = \Phi(y - x^2).

Thus, we have shown that there exists a polynomial Φ(x) \Phi(x) such that P(x,y)=Φ(yx2) P(x, y) = \Phi(y - x^2) .

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.