Теория чисел на ММО

Подсказка 1

Есть два возможных ответа — да или нет. Если нет, то нужно доказывать, что абсолютно для любого числа в последовательность {A^i} найдется не подходящее число, что кажется очень непростой задачей. Тогда будем доказывать, что ответ «да». Если мы хотим, чтобы верхняя целая часть Aⁿ отличалось от ближайшего натурального квадрата на 2, то хотелось бы понять, чему равна эта верхняя целая часть. Вернее, что нам было бы удобнее взять за верхнюю целую часть, чтобы она отличалась от какого-то квадрата на 2? А если вспомнить как возводится число вида t+1/t в квадрат?

Подсказка 2

Хотелось бы сделать так, чтобы число вида Aⁿ + 1/Aⁿ было бы целым и A было некоторым квадратом, чтобы как раз получить t^2n + 1/(t^2n) = (tⁿ + 1/tⁿ)²-2. Осталось только понять, чему должно быть равно t, чтобы каждое выражение вида Aⁿ + 1/Aⁿ при A = t², было бы целым. Здесь вас на поиск подходящего t может натолкнуть либо мысль о процессе построения бесконечных цепных дробей, либо же тот факт, что число вида (a+b√c)^k, где a, b, k - целые, это выражение вида t+l√c. Заметьте, это верно и для отрицательных k.

Подсказка 3

Да, можно просто сказать, что t — корень некоторого уравнения с целыми коэффициентами и отрицательным коэффициентом при x, ведь тогда t+1/t = c, где с — целая положительная константа. Тогда, по модулю факта про возведение таких иррациональностей в степень можно сказать, что задача решена, поскольку мы нашли такое t, что любое выражение вида t^k + 1/t^k — целое, а значит, мы нашли подходящее А.