Последовательности и прогрессии на ММО
Ошибка.
Попробуйте повторить позже
Дана последовательность для всех натуральных
Найдите сумму первых
членов этой
последовательности.
Подсказка 1
Выглядит наша последовательность сложно, но явно намекает на разложение или замену. А нельзя ли n² - 2025n + 1 как-то переписать через факториалы? Попробуйте раскрыть скобки и посмотреть, не получится ли что-то телескопическое.
Подсказка 2
Хм, а если представить n² - 2025n как (n + 1)(n + 2) минус что-то? Тогда n! умножится на скобки, и может получиться разность факториалов. Как бы это оформить?
Подсказка 3
Окей, допустим, мы разложили аₙ в сумму вида (n + 2)! - (n + 1)! - 2027 • (n + 1)! + 2027 • n!. Теперь посмотрим на сумму а₁+ a₂+ … + a₂₀₂₅. Почти все слагаемые должны сократиться! Что останется в конце?
Первое решение.
Представим в виде
Тогда получаем
Второе решение.
Перейдём к более общей задаче: будем рассматривать последовательности где k — фиксированное натуральное
число, а
— номер члена последовательности, и искать сумму первых
членов таких последовательностей.
При получаем, что сумма равна
При получаем, что сумма равна
Аналогично можно получить, что при
сумма
равна
. Возникающую гипотезу о том, что при произвольном
искомая сумма равна
нужно строго доказать. Это можно сделать
методом математической индукции.
База индукции уже проверена. Из предположения о том, что
требуется вывести
Заметим, что
Следовательно,
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Назовём тройку чисел триплетом, если одно из них равно среднему арифметическому двух других. Последовательность строится
следующим образом:
и при
число
— такое минимальное натуральное число, что среди чисел
нет трёх,
образующих триплет. Докажите, что
для любого
Источники:
Подсказка 1
Попробуем для начала понять, какими свойствами обладает наша последовательность. Что мы можем сказать про два подряд идущих члена? Какой из них может быть больше или равен другому?
Подсказка 2
Если aₓ > aₓ₊₁, то при выборе x элемента последовательности мы бы взяли aₓ₊₁, а не aₓ. Отсюда следует, что наша последовательность не убывает. Причем, если какое-то натуральное число n встретилось в последовательности в первый раз, следующий элемент последовательности будет также равен n. Может тогда некоторые элементы можно выкинуть...
Подсказка 3
Мы уже поняли, что наша последовательность не убывает и при этом a₂ₓ = a₂ₓ₋₁. Тогда требуемое неравенство можно доказать только для нечетных номеров. Введем новую последовательность {bₓ}: bₓ=a₂ₓ₋₁. Тогда нам нужно доказать, что bₓ <= ((2x-1)²+7)/8 = x(x-1)/2+1. Теперь надо подумать о том, какими свойствами обладает последовательность {bₓ} и как мы собираемся доказывать наше неравенство...
Подсказка 4
Из свойств последовательности {aₓ} вытекает, что {bₓ}- строго возрастает. Попробуйте теперь воспользоваться методом от противного вместе с принципом крайнего предположив, что bₓ- первый элемент последовательности, для которого не выполняется неравенство.
Подсказка 5
Пускай bₓ- первый элемент последовательности, для которого не выполняется неравенство. Тогда: bₓ > x(x-1)/2+1. Заметим также, что bₓ₋₁ < x(x-1)/2+1, иначе бы bₓ₋₁ >= x(x-1)/2+1 > (x-1)(x-2)/2+1, что противоречит выбору bₓ. Это означает, что среди чисел от 1 до x(x-1)/2+1 существуют все x-1 элементов последовательности (b₁, b₂, ... bₓ₋₁). Попробуйте теперь найти противоречие в количестве чисел в интервале от 1 до x(x-1)/2+1, которые не являются членами последовательности
Подсказка 6
Пускай таких чисел s штук. Тогда: s = x(x-1)/2+1-(x-1) = (x-1)(x-2)/2+1 = С²ₓ₋₁+1. Подумайте, как могло случится так, что какое-то число n (1 < n < x(x-1)/2+1)) не стало членом последовательности...
Подсказка 7
Если n не стало членом последовательности, то n образует триплет с какими-то двумя членам последовательности, меньшими bₓ. Всего таких пар С²ₓ₋₁. Т.к. каждая пара могла "забраковать" не более одного числа в промежутке от 1 до x(x-1)/2+1, то s <= С²ₓ₋₁. Это и является противоречием.
Очевидно, что последовательность не убывает. Действительно, неравенство противоречило бы выбору
Также понятно,
что любое число повторяется не более, чем дважды, иначе в последовательности найдутся три одинаковых числа, а они
образуют триплет. Теперь легко видеть, что если число
впервые встречается в последовательности в качестве
то
Таким образом, для любого натурального верно равенство
Заметим, что тогда достаточно доказать требуемое
неравенство только для нечетных индексов:
Положим Тогда нужно доказать, что
Отметим, что последовательность обладает тем свойством, что при
очередной член последовательности
- минимальное
натуральное число, которое не образует триплет с парами чисел из
где пара может иметь вид
При этом
то есть
строго возрастает, в отличие от
Пусть - минимальное натуральное число, для которого требуемое неравенство неверно, то есть
Это означает, что
среди чисел от
до
содержится ровно
член последовательности, поскольку при
по предположению
имеем
Обозначим через количество чисел в промежутке от 1 до
не принадлежащих последовательности
Тогда
Обозначим эти числа В силу минимальности каждого из
для любого
найдутся такие числа
где
что
- триплет. При это можно считать, что
- наибольший элемент в триплете, иное бы
противоречило выбору наименьшего элемента последовательности
большего
Отсюда
Тогда число
способов выбрать пару
не превосходит
то есть не больше способов выбрать два различных индекса из
В то же время парами
нужно обеспечить
чисел
Полученное противоречие завершает
решение.
Ошибка.
Попробуйте повторить позже
Какое наименьшее количество различных целых чисел нужно взять, чтобы среди них можно было выбрать как геометрическую, так и арифметическую прогрессию длины 5?
Источники:
Подсказка 1
Понятно, что чисел хотя бы 5. Немного пописав, приходим к выводу: задача была бы слишком простой, если бы ответ был бы 5 и пример находился бы просто. Поэтому попробуем доказать, что чисел хотя бы 6. Попробуем от противного, а далее попробуем найти пример на 6.
Подсказка 2
Раз уж доказываем от противного, как-то стоит эти числа записать. Работать с числами из геометрической последовательности удобнее, поэтому запишем все 5 членов через первый член и знаменательно прогрессии. Для каких из них можно записать условие на принадлежность к одной арифметической прогрессии?
Подсказка 3
Для первого, третьего и пятого члена геометрической последовательности. Помним, что удвоенный член арифметической последовательности равен сумме его соседей. Попробуем с помощью преобразований прийти к противоречию. Теперь немного попишем и попробуем найти пример на 6!
Подсказка 4
Ясно, что нам нужны и отрицательные числа тоже, тогда в геометрической прогрессии знаки членов будут противоположны. Искать среди больших чисел ну очень неудобно, поэтому попробуем найти какие-то маленькие числа, например, 1 и т.д...
(Оценка) Покажем, что никакие пять различных чисел не удовлетворяют условию задачи. Предположим противное: пусть найдутся пять
различных целых чисел, одновременно образующих геометрическую и (возможно в другом порядке) арифметическую прогрессию. Тогда они
имеют вид где
Заметим, что
по определению геометрической прогрессии. Числа
всегда
одного знака и в арифметической прогресии идут либо подряд при
либо через одного при
В любом случае должно
выполняться равенство
т.е.
откуда
но тогда среди чисел есть равные. Противоречие.
Следовательно, пяти чисел недостаточно.
(Пример) Приведём пример шести целых чисел, удовлетворяющих условию:
Действительно, числа образуются геометрическую прогрессию, а числа
- арифметическую
прогрессию.
Ошибка.
Попробуйте повторить позже
Даны две непостоянные прогрессии и
одна из которых арифметическая, а другая — геометрическая. Известно, что
и
Чему может быть равно отношение
Источники:
Подсказка 1
Вообще, у нас есть два случая: когда a_i - арифм. прогрессия, b_i - геом, и наоборот. Давайте в обоих случаях обозначим T - первые члены, d - разность арифм.прогрессии, q - разность геом.прогрессии. Как в первом случае будут переписаны условия через T, d и q?
Подсказка 2
Если подставить одно условие в другое, то можно получить уравнение на q! Проверьте все случаи, чему может быть равно q, и останется выразить d и третьи члены прогрессий
Подсказка 3
Теперь остаётся проверить второй случай: a_i - геом. прогрессия, b_i - арифм. прогрессия. Также перепишите условия, которые вам даны, в терминах T, d и q, и подставьте одно в другое)
Пусть , разность арифметической прогрессии равна
, а знаменатель геометрической равен
. Поскольку прогрессии
непостоянны,
и
. Возможны два случая:
1) Пусть — арифметическая прогрессия, а
— геометрическая. Тогда по условию получаем
Если , то
, что по условию невозможно.
Если , то
и
2) Пусть теперь — геометрическая, а
— арифметическая прогрессия. Тогда
В первом случае снова , что противоречит условию, а во втором
и
или
Ошибка.
Попробуйте повторить позже
Последовательность такова, что
при
и при всех натуральных
выполнено равенство
Найдите
Источники:
Подсказка 1!
Какие-то странные условия, попробуем получить из них что-то хорошее. Если вы знаете что-то про начальные члены последовательности, а еще про то, как они соотносятся с предыдущими, здорово бы было как-то выразить большие члены через члены от 1 до 5. Получить на них какое-то правило.
Подсказка 2!
Давайте напишем. a(n+5) +a(n+1) = a(n+4) + a(n). Заметим, что индексы в обеих частях отличаются на 4. Напишем a6+a2 = a5+a1 = чему-то, что мы уже знаем! Так, а может не только для а6+а2 мы знаем это равенство?
Подсказка 3!
Да, для всех чисел, отличающихся на 4 по номеру, мы поняли их сумму. Теперь вспомним, что мы ищем 2015. К сожалению, 2019 или 2011 мы не знаем. Попробуем получить еще что-то из условия с равенством. Попробуйте сделать так, чтобы и в левой, и в правой части оказалось одинаковое число.
Подсказка 4!
Да, подставим а(n+8) + а(n+4) = a(n+4)+an. Осталось сделать выводы и применить наши полученные знания :)
Из условия следует
А также
То есть значение зависит только от остатка
по модулю
отсюда
Ошибка.
Попробуйте повторить позже
Найдите все значения для которых найдутся такие
и
что числа
и
попарно различны и образуют в
указанном порядке арифметическую прогрессию, при этом числа
и
также образуют в указанном
порядке арифметическую прогрессию.
Подсказка 1
Если числа образуют арифметическую прогрессию, то для них выполняется характеристическое свойство арифметической прогрессии! Как оно преобразуется с помощью известных формул тригонометрии?
Подсказка 2
Верно! Получается, что 2cos(y)cos(a)-2sin(y)sin(a) = cos(x)cos(a) - sin(x)sin(a) + cos(z)cos(a) - sin(z)sin(a). Попробуем теперь сгруппировать слагаемые с sin(a) и cos(a) по отдельности. Пришло время использовать оставшуюся часть условия! Что тогда получается?
Подсказка 3
Конечно! Снова по характеристическому свойству 2cos(y) - cos(x) - cos(z) = 0. Может ли оказаться так, что sin(a) при этом не равен 0?
Подсказка 4
Если sin(a)≠0, то sin(x), sin(y), sin(z) образуют арифметическую прогрессию. Какое тогда можно найти противоречие?
Числа образуют арифметическую прогрессию, значит,
По условию числа также образуют арифметическую прогрессию, значит,
и поэтому левая
часть этого равенства равна нулю. Следовательно, либо
и
либо
т.е. числа
также образуют арифметическую прогрессию. Но в последнем случае точка с координатами
является серединой отрезка с концами в точках
и при этом все три точки лежат на единичной
окружности с центром в начале координат, что невозможно. Для
где
подходящим примером являются числа
Ошибка.
Попробуйте повторить позже
Найдите если
и при любом натуральном
— наименьшее составное число, большее
Подсказка 1
Попробуйте посчитать следующие элементы последовательности.
Подсказка 2
x₃ = 9, x₄ = 14. Попробуйте заметить зависимость и составить формулу.
Подсказка 3
Как будто xₙ = 1/2 * n(n+3) подходит, надо теперь доказать в общем виде.
Подсказка 4
Воспользуйтесь методом математической индукции.
Докажем по индукции, что
База. При формула верна:
то есть
;
то есть
Шаг индукции.
По условию, – первое составное число, большее чем
Но число
– составное. Действительно,
если
нечётно, то
Каждый из сомножителей – целое число, большее Аналогично рассматривается случай чётного
Итак, Подставляя
получаем
Ошибка.
Попробуйте повторить позже
По целому числу построим последовательность
(каждое следующее число на 1 превосходит произведение всех предыдущих). Докажите, что разности её соседних членов -
квадраты целых чисел.
Посчитаем первые разности
Докажем, что . Заметим, что