Азиатско-Тихоокеанская олимпиада по математике 2013 года | Казахстанские олимпиады

Для заданных 2k2k вещественных чисел a1a_1, a2a_2, \dots \,, aka_k, b1b_1, b2b_2, \dots \,, bkb_k определим последовательность XnX_n по формуле

Xn=i=1k[ain+bi](n=1,2,). X_n = \sum_{i=1}^{k} [a_i n + b_i] \quad (n = 1, 2, \ldots).

Докажите, что если XnX_n образуют арифметическую прогрессию, то число i=1kai\sum_{i = 1}^{k} a_i — целое. Здесь [r][r] обозначает наибольшее целое, не превосходящее rr.