41-я Балканская математическая олимпиада. Варна, Болгария, 2024 год

$n \ge k \ge 3$ — бүтін сандар болсын. Бүтін сандардан тұратын кез келген $1 \le a_1 < a_2 < \ldots < a_k \le n$ сандар тізбегі үшін төмендегі үш шартты қанағаттандыратын теріс емес бүтін сандардан құралған $b_1, b_2, \ldots, b_k$ тізбегін таңдап алуға болатынын дәлелдеңіз:
   i) барлық $1 \le i \le k$ үшін $0 \le b_i \le n$,
   ii) барлық оң $b_i$ сандары әртүрлі,
   iii) $1 \le i \le k$ үшін $a_i + b_i$ қосындылары тұрақты емес арифметикалық прогрессияның бастапқы $k$ мүшесінің орын ауыстыруы болып келеді.

Комментарий/решение

Построим последовательность

$a_k-(k-1), a_k-(k-2), ... a_k.$

Если какой-то $a_i=a_k-j,$ где $0\leq j \leq k-1$

Тогда возьмем $b_i=0$.

А для остальных $a_i$ будем действовать следующим образом$:$

Пусть $a_n$ наименьшее из оставшихся чисел, а

$a_k-m$ наибольшее из остальных чисел нужной нам последовательности.

Тогда будем брать $b_n=a_k-a_n+m$. Легко заметить, что все такие $b_n$ будут различными. ч.т.д.