MathLabs

第4题

用 Z\mathbb{Z} 表示全体整数的集合。求所有满足下述性质的整系数多项式 P(x)P(x):对任意由 Z\mathbb{Z} 中每个整数恰好出现一次组成的无穷整数数列 a1,a2,…a_1,a_2,\ldots,总存在下标 i<ji<j 及整数 kk,使得 ai+ai+1+⋯+aj=P(k)a_i+a_{i+1}+\cdots+a_j=P(k)。
第 2/5 步:一次 P 满足条件:找到模 c 与 d 同余的区间和
si≡sj(modc), i<j  ⟹  ai+1+⋯+aj≡0(modc)s_i\equiv s_j \pmod c,\ i<j \implies a_{i+1}+\cdots+a_j\equiv 0\pmod c
详细分析

设 P(x)=cx+dP(x)=cx+d,c≠0c\ne0,令 s0=0s_0=0,si=a1+⋯+ais_i=a_1+\cdots+a_i。区间和 ai+⋯+aj=sj−si−1a_i+\cdots+a_j=s_j-s_{i-1} 对某个整数 kk 等于 P(k)=ck+dP(k)=ck+d 当且仅当 sj−si−1≡d(modc)s_j-s_{i-1}\equiv d\pmod c。由于每个整数恰好出现一次,存在无穷多个位置 ee 使 ae≡d(mod∣c∣)a_e\equiv d\pmod{|c|};取其中 ∣c∣+1|c|+1 个,记为 e1<⋯<e∣c∣+1e_1<\cdots<e_{|c|+1}。因 ael≡d(modc)a_{e_l}\equiv d\pmod c,sel mod cs_{e_l}\bmod c 由 sel−1 mod cs_{e_l-1}\bmod c 决定,而后者只有 ∣c∣|c| 种可能取值;由鸽笼原理,存在 p<qp<q 使 sep−1≡seq−1(modc)s_{e_p-1}\equiv s_{e_q-1}\pmod c。