MathLabs

Bài 3

Cho P(x)P(x) là đa thức không hằng với hệ số nguyên sao cho P(0)≠0P(0)\neq0. Cho a1,a2,a3,…a_1,a_2,a_3,\ldots là một dãy số nguyên vô hạn sao cho P(i−j)P(i-j) chia hết ai−aja_i-a_j với mọi số nguyên dương phân biệt i,ji,j. Chứng minh rằng dãy a1,a2,a3,…a_1,a_2,a_3,\ldots phải là hằng số, tức là ana_n bằng một hằng số cc với mọi số nguyên dương nn.
Bước 3 trên 5: Hai chu kỳ của dãy theo modulo p
P(k)∣ai+k−ai,P(k+p)≡P(k)≡0 ⁣ ⁣(modp)  ⟹  p∣ai+k+p−aiP(k)\mid a_{i+k}-a_i,\qquad P(k+p)\equiv P(k)\equiv0\!\!\pmod p\implies p\mid a_{i+k+p}-a_i
Phân tích chi tiết

Với cặp (p,k)(p,k) như vậy, P(k)∣ai+k−aiP(k)\mid a_{i+k}-a_i với mọi ii, nên p∣ai+k−aip\mid a_{i+k}-a_i. Vì (k+p)−k=p(k+p)-k=p, đa thức hệ số nguyên thỏa P(k+p)≡P(k)≡0(modp)P(k+p)\equiv P(k)\equiv0\pmod p, nên p∣P(k+p)p\mid P(k+p), từ đó p∣ai+k+p−aip\mid a_{i+k+p}-a_i với mọi ii.