По условию посдедняя цифпа числа х1 не 0 и не 5 (иначе делится на 5), а значит цифра y1 равно либо 1,2,3,4,6,7,8 или 9, тогда последняя цифра числа х2 а значит и число y2 равны либо 2, 4, 6, либо 8
Так как ..2+2=...4;
...4+4=..8
..6+6=...2
...8+8...=6
то последовательность y2, y3,y4, .... является периодичной с периодом 4.
Поэтому для любого n>1 ![a_{n+4}=a_n+(2+4+6+8)=a_n+20 a_{n+4}=a_n+(2+4+6+8)=a_n+20](https://tex.z-dn.net/?f=a_%7Bn%2B4%7D%3Da_n%2B%282%2B4%2B6%2B8%29%3Da_n%2B20)
а для любого t>1 ![a_{n+4t}=a_n+(2+4+6+8)t=a_n+20t a_{n+4t}=a_n+(2+4+6+8)t=a_n+20t](https://tex.z-dn.net/?f=a_%7Bn%2B4t%7D%3Da_n%2B%282%2B4%2B6%2B8%29t%3Da_n%2B20t)
Любое число
2" alt="a_n, n>2" align="absmiddle" class="latex-formula"> получается имеет вид
либо
либо
либо
где m -некоторое неотрицательное целое число
С двух членов последовательности
и
хотя бы одно делится на 4. Запишем его в виде
a_n=4l
Тогда ![a_{n+4t}=4(l+5t) a_{n+4t}=4(l+5t)](https://tex.z-dn.net/?f=a_%7Bn%2B4t%7D%3D4%28l%2B5t%29)
Среди чисел вида l+5t бесконечно много степеней двойки так как остатки от деления на 5 степеней двойки образуют переодическую последовательность 1,2,4,3,1, ... и значит , бесконечно много степеней двойки дают при делении на 5 такой же остаток, как и число l