Последовательности и прогрессии → .05 Периодичность и зацикливание
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
На доске записаны в ряд сто чисел, отличных от нуля. Известно, что каждое из них, кроме первого и последнего, является произведением
двух чисел, соседних с ним. Первое число равно Какое число записано последним?
Подсказка 1
Удобно рассмотреть 4 подряд идущих числа (скажем, с первого по четвёртый члены), ведь для двух центральных выполнено свойство из условия. Посмотрите, что это может давать, как связь первого и четвёртого, ведь нам нужно по первому члену понять, чему равен последний член.
Подсказка 2
В силу свойства из условия можно сказать, что a_1 * a_4 = 1. Но это верно и для следующих индексов. Как нам тогда найти сотый член?
Обозначим данные числа через По условию
и
Так как в заданном ряду нет нулей, то
перемножив эти равенства почленно, получим
то есть
Аналогично из равенств
и
получим,
что
Таким образом,
значит, последовательность периодична, а длина ее периода —
Следовательно,
тогда
Ошибка.
Попробуйте повторить позже
Последовательность периодична с периодом 7. В ней оставлены только 1-й, 10-й, 100-й, 1000-й и т.д. члены. Докажите, что полученная последовательность периодична.
Подсказка 1
Если нам дано, что наша последовательность периодична, то значение i-ого члена определяется значением члена с номером i mod 7. Тогда и значение 10, 100, 1000, … членов определяется исключительно их номерами mod 7. Значит, что нам нужно доказать?
Подсказка 2
Нам нужно доказать, что степени 10 зацикливаются mod 10. Ну это верно, так как мы смотрели вебинары по теории чисел и знаем, что оно циклится (более того, проходит всю систему вычетов по модулю 7). Либо же можно самостоятельно выписать этот цикл и убедиться в верности данного факта.
Пусть — период данной последовательности
Для того чтобы найти члены новой последовательности, надо найти
остатки от деления на
чисел
Тогда удобно рассмотреть деление числа 1000…на
«в столбик», выписывая на каждом
шаге получающиеся остатки:
Заметим, что, получив остаток
мы опять делим
на
и получаем остаток
Следовательно, последовательность остатков периодична, поэтому периодична и новая последовательность. Ее период:
Ошибка.
Попробуйте повторить позже
— некий полином с целыми коэффициентами,
и
— целые числа. Построим последовательность
, где
, и
и пусть
— остаток от деления
на
.
1. Пусть . Докажите, что период последовательности
(то есть, такое наименьшее
, что
при достаточно больших
) равен 2.
2. Найдите длину предпериода той же последовательности (то есть такое наибольшее , что
, где
—
период).
3. Назовем полином стабильным по модулю , если существует
, такое что для любого
найдется
, для которого
. Докажите, что полином
нестабилен по модулю
, если
является квадратом нечётного
числа.
4. Докажите, что многочлен стабилен для бесконечного числа натуральных
.
Пункт 1, подсказка 1
Если мы докажем, что с какого-то момента a_(n+2) - a_n = a_(n+1) - a_(n-1) (mod 3^2022), то и требуемое тоже будет доказано. Попробуйте выразить a_(n+2) - a_n через a_(n+1) и a_(n-1).
Пункт 1, подсказка 2
Мы получаем, что если a_(n+1) - a_(n-1) делится на 3^k, то и a_(n+2) - an делится на 3^k. Теперь, если мы докажем, что a_(n+1) - a_(n-1) делится на 3^(k+1), то сможем сказать, что с какого-то момента k станет >= 2022. Попробуйте для этого доказать, что a_(n+1) и a_(n-1) имеют одинаковые остатки при делении на 3.
Пункт 1, подсказка 3
Для этого посмотрите на значение a_n по mod 3.
Пункт 2, подсказка 1
Как подсказывает нам прошлый пункт задачи, нужно рассматривать остатки от деления a_n на степени 3. Попробуйте найти таким способом зацикливание.
Пункт 2, подсказка 2
Отлично! Теперь мы знаем, что остатки от деления a_n на 9 и на 27 зацикливаются. Тогда, зная, что степень вхождения 3 в выражение a_(n+1) - a_(n-1) каждый раз растёт, попробуйте вывести рекуррентную формулу для этой степени вхождения.
Пункт 2, подсказка 3
Если v_n - степень вхождения 3 в a_(n+1) - a_(n-1), то v_2 = 1, v_3 = 2, v_(2k+1) = v_2k + 2 и v_(2k+2) = v_(2k+1). Теперь осталось лишь решить неравенство v_k < 2022.
Пункт 3, подсказка 1
Нам нужно определить такое B, чтобы для него нашлось A, такой, что ни один r_k не равен B. Сразу сделать это довольно трудно. Попробуйте для начала подставлять небольшие A и посмотреть на значения полинома.
Пункт 3, подсказка 2
Отлично! Мы знаем, что f(2) = 2. Очень удобно будет доказывать, что есть такое A, что не будет остатка 2, ведь M - квадрат нечётного числа. Осталось лишь подобрать такое A и доказать, что r_k никогда не равен 2. Попробуйте найти A так, чтобы в нём как слагаемое присутствовало q (M = q^2).
Пункт 3, подсказка 3
Можно взять A = 2 + k*q (k и q взаимно просты). Теперь попробуйте рассмотреть f(A) по mod M.
Пункт 4, подсказка 1
Доказать, что это верно для произвольного множество бесконечных чисел, не представляется возможным. Поэтому нужно определить, для каких чисел мы это будем делать. Предыдущие пункты задачи явно подсказывают, что M должна быть степенью какого-то числа. Попробуйте перебирать небольшие числа и посмотреть, является ли стабильным полином по этому модулю.
Пункт 4, подсказка 2
Так, теперь мы знаем, что для 7 многочлен стабилен. Тогда попробуем доказать, что это верно и для 7^k. Легче всего сделать это по индукции. База уже есть, осталось доказать переход. И победа!
1. Легко видеть, что остатки от деления на 3 чередуются с периодом 2 (1, 0, 1, 0, . . .) поэтому период остатков по модулю
тем более не равен 1.
Покажем что он равен 2.
Заметим, что
Отсюда следует, что если делится на
, то тем же свойством обладает и
, а если вдобавок
,
дают
остаток от 1 деления на 3, то
делится на
.
Учитывая, что такая ситуация имеет место при каждом четном , получаем, что соответствующее
может неограниченно увеличиваться,
в частности,
делится на
при некотором
(а значит и при всех
). Поэтому период
равен
двум.
2. Выпишем остатки от деления на 9 и на 27: легко убедиться, что это 2-периодические последовательности
и
соответственно.
Поэтому число не делится на 3 при нечетных
, делится на 3, но не на 9 при
и делится на 9, но не на 27 при
четных
.
То есть если — степень вхождения 3 в число
, то
,
а дальше
и
.
Отсюда легко видеть, что наибольшее такое, что
равно 2022, то есть
— последняя среди разностей вида
не кратная
.
3. Пусть , тогда
- нечетное число.
Заметим, что ,значит, достаточно показать, что существует число, проделывая операцию из условия над которым мы
не получим 2.
Рассмотрим числа вида , где НОД
Нетрудно заметить, что
То есть числа вида , где НОД
переходят в себя, но число 2 не имеет такого вида, поэтому полином
нестабилен по модулю
, если
является квадратом нечётного числа.
4. Индукцией по докажем, что для
многочлен
стабилен.
Обозначим через , то что
База
Таким образом, имеем цикл длины 3 везде одинаковый.
Переход
Пусть по модулю многочлен стабилизируется так, что всегда встретится
Тогда по модулю остаток
будет
, что не зависит от
, при
, что бывает по базе индукции, поэтому многочлен стабилизируется и по модулю
.
Ошибка.
Попробуйте повторить позже
Последовательность чисел такова, что
для всех натуральных Найдите
Подсказка 1
Что нам дано в условии: есть 12 чисел а₁, ...а₁₂, первое и последнее известны, а также есть 10 соотношений, их связывающие (для n от 1 до 10). По сути есть система из 10 уравнений с 10 неизвестными, и нам обещают, что она разрешима единственным образом. Что самое простое и естественное хочется сделать, когда перед нами куча несложных уравнений с кучей неизвестных?
Подсказка 2
Конечно, для упрощения системы хочется начать выражать неизвестные друг через друга! Зачем нам думать о всех 10 неизвестных, если можно уменьшить их количество?
Подсказка 3
Например, а₃ = (а₂+1)/а₁. То есть а₃ = a₂+1, и а₃ дальше в нашей системе уже фигурировать не будет. Попробуйте так же выразить несколько следующих членов последовательности, может, что-нибудь красивое получится!
Для краткости обозначим за
и найдём несколько первых членов последовательности при
, что, как мы увидим, будет
выполнено:
Следовательно, она периодична с периодом 5. В таком случае
Ошибка.
Попробуйте повторить позже
Дана бесконечная числовая последовательность о которой известно следующее:
Найдите все
значения, которые может принимать
Источники:
Подсказка 1
Формула для n-го элемента содержит предыдущий и последующий, поэтому имеет смысл выразить друг через друга соседние элементы и составить уравнение.
Подсказка 2
Получим, что или произведение членов, стоящих через 2, равно 1, или же произведение рядом стоящих членов равно нулю.
Подсказка 3
Нам известно первое число, поэтому достаточно разобрать два вышеуказанных случая, начиная с первых элементов!
Запишем это условие для двух последовательных членов
Подставим во втором случае тогда
откуда
далее можно подставить
и так далее по
индукции. В итоге возможно
В первом случае
Перейдём от
к
действуем аналогично, теперь либо
либо
Совершая такие переходы, приходим к другому возможному значению
Остальные значения невозможны.