21-ші «Жібек жолы» математикалық олимпиадасы, 2022 жыл

Шексіз көп сандардан құралған $\{\alpha\}$, $\{\alpha^2\}$, $\{\alpha^3\}$, $\ldots$ тізбегінде кездесетін әртүрлі сандар саны шекті екені белгілі. $\alpha$ саны бүтін сан екенін дәлелдеңіз. ($x$ санының бөлшек $\{x\}$ бөлігі деп, $\{x\} = x-[x]$ санын айтамыз. Бұл жерде $[x]$ саны $x$-тен аспайтын ең үлкен бүтін сан.) ( А. Голованов )

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

Пусть сущ. не целое $\alpha,$ что последовательность содержит $n$ различных чисел. Тогда среди любых подряд идущих $n+1$ степеней найдутся два равных:

$$\{\alpha^i\}=\{\alpha^j\}\iff \alpha^{j}(\alpha^{s}-1)\in \mathbb Z, 1\le s=i-j\le n.$$

Отсюда следует, что найдется фиксированное $1\le s\le n$ и бесконечно $j,$ что $\alpha^{j}(\alpha^{s}-1)\in\mathbb Z\implies \alpha^{j_1-j_2}=\dfrac{\alpha^{j_1}(\alpha^{s}-1)}{\alpha^{j_2}(\alpha^{s}-1)}\in \mathbb Q.$

Теперь рассмотрим только степени $\equiv 1 \pmod {(j_1-j_2)},$ откуда аналогично получаем, что для некоторых $j,s:$ $\alpha^{j}(\alpha^{s}-1)\in \mathbb Z,$ где $j_1-j_2\mid j-1$ и $j_1-j_2\mid s.$ Откуда получаем, что $\alpha \in \mathbb Q,$ откуда из $\alpha^{j}(\alpha^{s}-1)\in \mathbb Z$ следует, что $\alpha \in \mathbb Z.$