MathLabs

Problem 4

Let Z\mathbb{Z} denote the set of all integers. Find all polynomials P(x)P(x) with integer coefficients that satisfy the following property: for any infinite sequence a1,a2,…a_1,a_2,\ldots of integers in which each integer in Z\mathbb{Z} appears exactly once, there exist indices i<ji<j and an integer kk such that ai+ai+1+⋯+aj=P(k)a_i+a_{i+1}+\cdots+a_j=P(k).
Step 3 of 5: That block sum is P(k)
aep+aep+1+⋯+aeq≡d(modc)a_{e_p}+a_{e_p+1}+\cdots+a_{e_q}\equiv d\pmod c
Detailed analysis

Then seq−sep−1=(seq−1+aeq)−sep−1≡(sep−1+d)−sep−1=d(modc)s_{e_q}-s_{e_p-1}=(s_{e_q-1}+a_{e_q})-s_{e_p-1}\equiv(s_{e_p-1}+d)-s_{e_p-1}=d\pmod c, and this difference is exactly the block sum aep+aep+1+⋯+aeqa_{e_p}+a_{e_p+1}+\cdots+a_{e_q}, a sum of at least two consecutive terms since ep<eqe_p<e_q. Being congruent to d(modc)d\pmod c, this sum equals ck+d=P(k)ck+d=P(k) for a suitable integer kk, so every linear PP with c≠0c\ne0 has the property.