На одной из Ленинградок давали такую задачу:
Квадрат натурального числа содержит несколько единиц и одну двойку. Доказать, что этот квадрат делится на
.
Задача сама по себе тривиальная. Двойка не может стоять в конце, квадраты на двойку не кончаются. Также квадрат не может оканчиваться на
, иначе будет
по модулю
. Таким образом, наш квадрат имеет вид
, то есть оканчивается на
, а перед ним целое неотрицательное число единичек. Но число такого вида может давать только остатки
и
при делении на
. Так как квадраты
не дают, остаётся только
. Утверждение доказано.
Но вот у меня такое ощущение возникло, что число
-- вообще единственный квадрат такого вида. А как доказать, не знаю. Дело в том, что репьюнит может делиться на любое натуральное число
, взаимопростое с
и
. Таким образом, наш квадрат может (если он есть) давать тот же остаток на
, что и
, а это сильно затрудняет доказательство. Также по степеням двойки и пятёрки ничего интересного не нашла. Остатки, даваемые числами вида
на эти степени всегда подходят к квадратам.
Подскажите, пожалуйста, как доказывать.