58-я Международная Математическая Oлимпиада Румыния, Клуж-Напока, 2018 год

Келесі шартты қанағаттандыратын барлық бүтін $n > 3$ сандарын табыңыз: $a_{n+1}=a_1$, $a_{n+2}=a_2$, және $i=1,2,\ldots,n$ үшін $a_{i}a_{i+1}+1=a_{i+2}$ болатын $a_1$, $a_2$,$\ldots$, $a_{n+2}$ нақты сандары табылады.

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

Ответ: все $n$ делящиеся на $3$. $a_{i}\cdot a_{i+1}\cdot a_{i+2}+a_{i+2}=a_{i+2}^2, a_{i-1}\cdot a_{i} \cdot a_{i+1}+a_{i-1}=a_{i-1} \cdot a_{i+2}. $ Суммируя по всем $i, \sum \limits_{i=1}^{n}{a_i^2}=\sum \limits_{i=1}^{n}{a_i\cdot a_{i+3}},$. Откуда легко получить, что $a_{i}=a_{i+3}$. Если n не делиться на 3, следует, что ${a_1=a_2=...=a_{n}}$. Но у трехчлена $x^2-x+1$ нету корней вообще. Если n делиться на 3, заметим, достаточно привести пример для $n=3$ и "зациклить" последовательность: $a_1=2, a_2=-1, a_3=-1$ очевидно удовлетворяет условию задачи.