Выглядит верным, основная идея доказательства, - последить за периодичностью ноликов в записи

.
Пусть

- основание системы счисления,

-

-ый знак после запятой в записи

. Если

рационально, с какого-то момента его запись станет периодической:

. Возьмем какое-нибудь

, очевидно

, а вместе с ним должны быть ноликами и все

. Это возможно только при условии

Но так не будет, достаточно аккуратно подобрать

для контрпримера; например, для

при достаточно большом

(таком, чтоб еще слагаемое

"переварить"), указанная дробная часть будет не то, что меньше

, а больше

.
Доказательство выглядит рабочим для всех натуральных

; конкретно для

, возможно, потребуется больше аккуратности, уж больно близки

и
