1. We start with the given functional equation for the polynomial P(x,y):
P(x−1,y−2x+1)=P(x,y).
2. We will use induction to show that P(x,y) can be expressed in terms of P(0,y−x2).
3. Consider the polynomial evaluated at x=n for n∈N:
P(n,y)=P(n−1,y−2n+1).
4. Applying the functional equation repeatedly, we get:
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(n−2,y−(2n−1)−(2(n−1)−1)).
6. Generalizing this, we get:
P(n,y)=P(0,y−(2n−1)−(2(n−1)−1)−⋯−1).
7. The sum of the first n odd numbers is n2, so:
P(n,y)=P(0,y−n2).
8. Define Qy(x)=P(x,y)−P(0,y−x2). Notice that Qy(x) is a polynomial in x.
9. From the previous steps, we know that Qy(n)=0 for all n∈N.
10. Since Qy(x) is a polynomial and has infinitely many roots (all natural numbers), it must be the zero polynomial. Therefore:
Qy(x)=0∀x∈R.
11. This implies:
P(x,y)=P(0,y−x2)∀x,y∈R.
12. Let Φ(t)=P(0,t). Then we can write:
P(x,y)=Φ(y−x2).
Thus, we have shown that there exists a polynomial Φ(x) such that P(x,y)=Φ(y−x2).
■