[Proof] For n∈N, use induction to prove a more general conclusion: If an n-degree polynomial satisfies, when
k=n+2,n+3,⋯,2n+2
then, P(k)=ak, then P(2n+3)=a2n+3−1. When n=1, we have P(3)=2, P(4)=3, thus P(x)≡x−1, and
P(5)=4=a5−1.
Now assume the conclusion holds for n−1. We will prove it also holds for n. Let the polynomial P(x) have degree n, and when k=n+2,k=n+3,⋯,2n+2, we have
P(k)=ak.
Consider the polynomial
Q(x)=P(x+2)−P(x+1).
Clearly, its degree is no more than n−1, because when k=n+1,n+2,⋯,2n,
Q(k)=P(k+2)−P(k+1)=ak+2−ak+1=ak.
So Q(x) satisfies, when k=n+1,n+2,⋯,2n, Q(k)=ak. By the induction hypothesis, we have
Q(2n+1)=a2n+1−1,
but
Q(2n+1)=P(2n+3)−P(2n+2),
thus
P(2n+3)=P(2n+2)+Q(2n+1)=a2n+2+a2n+1−1=a2n+3−1