Тема . ММО (Московская математическая олимпиада)
Последовательности и прогрессии на ММО
Вспоминай формулы по каждой теме
Решай новые задачи каждый день
Вдумчиво разбирай решения
ШКОЛКОВО.
Готовиться с нами - ЛЕГКО!
Подтемы раздела ммо (московская математическая олимпиада)
Решаем задачу:

Ошибка.
Попробуйте повторить позже

Задача 1#67675

Назовём тройку чисел триплетом, если одно из них равно среднему арифметическому двух других. Последовательность (a )
 n  строится следующим образом: a1 = a2 = 1  и при n> 2  число an  — такое минимальное натуральное число, что среди чисел a1,a2,...,an  нет трёх, образующих триплет. Докажите, что     n2 +7
an ≤--8--  для любого n.

Источники: ММО-2023, 11.6 (см. mmo.mccme.ru)

Подсказки к задаче

Подсказка 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 <= С²ₓ₋₁. Это и является противоречием.

Показать доказательство

Очевидно, что последовательность не убывает. Действительно, неравенство a > a
 n   n+1  противоречило бы выбору a .
 n  Также понятно, что любое число повторяется не более, чем дважды, иначе в последовательности найдутся три одинаковых числа, а они образуют триплет. Теперь легко видеть, что если число c  впервые встречается в последовательности в качестве an,  то an+1 = an = c.

Таким образом, для любого натурального k  верно равенство a2k−1 = a2k.  Заметим, что тогда достаточно доказать требуемое неравенство только для нечетных индексов:

           (2k− 1)2 +7   (2k)2+7
a2k = a2k− 1 ≤---8-----≤ ---8---

Положим bk = a2k−1.  Тогда нужно доказать, что

          2
bk ≤ (2k− 1)-+-7= k(k− 1)+ 1
        8          2

Отметим, что последовательность (bn)  обладает тем свойством, что при k> 1  очередной член последовательности bk  - минимальное натуральное число, которое не образует триплет с парами чисел из {b1,...,bk−1},  где пара может иметь вид (bi,bi).  При этом bk > bk−1,  то есть (bn)  строго возрастает, в отличие от (an).

Пусть n  - минимальное натуральное число, для которого требуемое неравенство неверно, то есть bn > n(n−21)+1.  Это означает, что среди чисел от 1  до n(n−21)+ 1  содержится ровно n− 1  член последовательности, поскольку при m < n  по предположению имеем

bm ≤ m(m-− 1) +1< n(n−-1)+ 1
       2           2

Обозначим через s  количество чисел в промежутке от 1 до n(n−1)+ 1,
  2  не принадлежащих последовательности (bn).  Тогда

s= n(n-− 1)+ 1− (n − 1)= (n−-1)(n−-2)+ 1= C2n−1+1
     2                    2

Обозначим эти числа di,1≤ i≤ s.  В силу минимальности каждого из bm  для любого 1≤ k≤ s  найдутся такие числа bik,bjk,  где ik ≤ jk ≤ n− 1,  что (bik,bjk,dk)  - триплет. При это можно считать, что dk  - наибольший элемент в триплете, иное бы противоречило выбору наименьшего элемента последовательности (bn),  большего dk.  Отсюда ik < jk.  Тогда число способов выбрать пару (ik,jk)  не превосходит C2n−1,  то есть не больше способов выбрать два различных индекса из {1,2,...,n− 1}.  В то же время парами (ik,jk)  нужно обеспечить s>C2n−1  чисел di.  Полученное противоречие завершает решение.

Специальные программы

Все специальные программы

Программа
лояльности v2.0

Приглашай друзей в Школково и получай вознаграждение до 10%!

Крути рулетку
и выигрывай призы!

Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.

Бесплатное обучение
в Школково

Для детей ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Брянской областей, а также школьникам, находящимся в пунктах временного размещения Крыма обучение на платформе бесплатное.

Налоговые вычеты

Узнай, как получить налоговый вычет при оплате обучения в «Школково».

Специальное предложение
для учителей

Бесплатный доступ к любому курсу подготовки к ЕГЭ или олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!

Вернём деньги за курс
за твою сотку на ЕГЭ

Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!

cyberpunkMouse
cyberpunkMouse
Рулетка
Вы можете получить скидку в рулетке!