Классическая алгебра на Межведе
Ошибка.
Попробуйте повторить позже
Зафиксируем 10 натуральных чисел и обозначим через
их сумму
Предположим теперь, что на
доске в строчку записаны
чисел
каждое из которых равно либо 0, либо 1. Эти числа (в том порядке как они записаны)
разбивают на 10 групп:
Группу назовем ненулевой, если в ней содержится хотя бы одна 1. В результате разбиения, в зависимости от того какие числа
были взяты изначально, можно получить то или иное число ненулевых групп. Нас будут интересовать такие наборы
которые
при указанном разбиении дают четное число ненулевых групп. Докажите, что число таких наборов
(где ненулевых групп будет
четно) находится по формуле:
Источники:
Подсказка 1
Нас просят найти количество наборов, подходящих под условие. То есть, нам нужно, чтобы количество не нулевых групп было четно. Но если оно четно, то оно равно 0, 2, …, 10. Значит, надо посчитать, сколько у нас вариантов для 0 групп, для 2 групп и так далее, и просуммировать. Давайте начнем с простого. Сколько у нас вариантов для 0 не нулевых групп? А для 2?
Подсказка 2
Для 0 все совсем ясно - это 1 вариант, так как подходит только 000…0. Для 2 - нам надо сначала выбрать номера групп, а потом для каждой из групп найти количество вариантов и перемножить. Как-будто просится «Цэшка», но ведь у нас количество вариантов при разных выборах номеров групп будет разным. Поэтому, нам надо суммировать по всем 1 <= i < j <= 10. А что конкретно нам надо суммировать? Сколько у нас будет вариантов выбора последовательности для группы n_i, к примеру?
Подсказка 3
Верно, нам будут подходить все варианты кроме того, когда в нашей группе стоят все нули. Поэтому для 2 групп у нас будет сумма по тому, что написано выше, величин (2^n_i - 1) * (2^n_j - 1). Меняется ли что-то при увеличении количества групп? Нет. Значит, нашли сколько всего вариантов, но пока это сумма. Значит, теперь нам надо доказать, что она сворачивается в то, что написано в условии. То есть, нам надо доказать, что сумма сумм равна некоторому выражению. А на что эти суммы похожи, если вспомнить формулу раскрытия скобок в выражении (x_1 + 1) * (x_2 + 1) * … (x_k + 1)?
Подсказка 4
Конечно, эти суммы очень напоминают формулу раскрытия скобок в выражении выше, при x_i = 2^n_i - 1. Но вот только в формуле раскрытия этого выражения участвуют как суммы с четным количеством множителей, так и с нечетным. А у нас только с четным. Как нам тогда это исправить? Что нужно сделать, чтобы у нас каким-то образом убрались, уничтожились нечетные слагаемые?
Подсказка 5
Нужно подставить в выражение уже -(2^n_i - 1). Тогда, сумма в подстановках с минусом и без, не будет содержать слагаемых с нечетным количеством множителей, так как они взаимоуничтожатся. Тогда, это значит, что нам осталось найти значения выражения в подстановке с минусом и с плюсом, и сложить их, после чего поделить на два, ведь все слагаемые с четным числом множителей будут дважды включаться в сумму. Производя эти действия, получим требуемое.
Искомое число наборов посчитаем, суммируя количество наборов с заданным числом ненулевых групп:
- При
такой набор единственный;
- При
их
- При
уже
- При
в итоге
Определим многочлены
Как известно из правила раскрытия скобок, такая сумма всевозможных многочленов это сумма по всем наборам и она равна
Если мы сложим эту сумму с суммой таких же многочленов от отрицательных аргументов, то многочлены с нечётными индексами взаимноуничтожатся:
Используем полученные результаты:
что и требовалось:
Ошибка.
Попробуйте повторить позже
Вычислите с точностью до одной десятой значение выражения
Источники:
Подсказка 1
Это выражение, как мы можем заметить, бесконечное по записи, а потому, например, кусок выражения после числа 41 равен всему выражению целиком.
Подсказка 2
Если так, то мы можем просто обозначить наше выражение за x и составить уравнение на эту величину!
Подсказка 3
Если наше выражение равно x, то x = sqrt(86 + 41x). Осталось лишь решить это несложное уравнение и показать, какой из корней нам подходит!
Пусть
Тогда является положительным корнем уравнения
Отсюда находим .
_________________________________________________________________________________________________________________________________________________________________________________
В официальных решениях на сайте олимпиады доказывается, почему выражение для определено и на самом деле является
действительным числом через критерий существования предела у монотонной последовательности. Но тогда корректнее было бы
переформулировать условие задачи (и в идеале ещё не давать задачу 9-классникам), а при данной формулировке получается, что
достаточно показать невозможность другого значения, кроме как 43.
Ошибка.
Попробуйте повторить позже
Пусть и
— некоторые числовые множества, а множество
представляет собой их сумму.
(То есть множество состоит из всевозможных сумм элементов множеств
и
. Если, например,
, то
.)
Известно, что , а максимальный элемент множества
равен
Докажите или опровергните следующие утверждения:
1) и множество , и множество
содержат конечное число членов;
2) все элементы множеств и
— целые числа;
3) минимальный элемент множества не превосходит числа
Источники:
Подсказка 1
Понятно, что первые два пункта про понимание операции сложения для множеств, а третий — про оценочки. Давайте предположим, что какое-то из множеств бесконечно. Что тогда можно сказать про сумму множеств, если мы будем даже с одним элементом из другого (возможно конечного) суммы находить?
Подсказка 2
Верно, у нас получится множество вида A + b = {a + b, a из A}, при фиксированном b множество A + b бесконечно, а поскольку оно подмножество суммы A + B, то пришли к противоречию. Теперь второй пункт. Если бы у нас был какой-то целый элемент в одном из множеств, то была бы победа, потому что надо посмотреть на сумму элемента и другого множества и кое-что понять…
Подсказка 3
Потому что сумма с ним другого множества — это подмножество C, и если хоть какой-то элемент в другом множестве был бы нецелым, то и в С содержался бы нецелый элемент. При этом, поскольку все элементы другого множества целые, то и сумма любого элемента с нашим множеством, откуда начальный целый элемент — тоже целое. Значит пункт (2) доказан по модулю того, что в одном из множеств есть целый элемент. Хмм… Ну видимо, максимальный элемент А — целый, ведь про другие элементы вообще ничего не известно. А почему максимальный элемент а — целый?
Подсказка 4
Максимальный элемент целый из того, как раскрывается бином Ньютона для таких выражений. Осталось доказать пункт (3). Нам надо доказать, что минимальный элемент не больше чего-то… Но у нас есть косвенная информация только про максимальный элемент b, поскольку именно он в сумме с максимальный элементом a, дает максимальный элемент с. Это значит, что нам надо доказать, что b ≤ 2²⁸²⁸ - 2²⁵²⁵, ведь тогда и для минимального будет выполнена эта оценка. Чему это равносильно и как это доказывать, если заметить, что 2020 = 4 * 505, а 2525 = 5 * 505?
Подсказка 5
Это равносильно тому, что a ≥ 2²⁵²⁵, в силу вышеупомянутого равенства на сумму максимальных элементов. При этом надо понимать, что в а у нас одно слагаемое вносит в рост числа куда больше чем другое, поскольку одно слагаемое — это некоторое число, меньшее 1, в огромной степени, а другое — большее 1, в огромной степени. Значит, одно из них очень маленькое и нам можно его откинуть и доказывать, что первое слагаемое больше 2²⁵²⁵. Дальше дело только за алгеброй и оценкой выражения √2.
1) если множество или множество
бесконечно, то и множество
будет бесконечно, а это не так.
Поэтому можем обозначить через максимальные элементы этих множеств соответственно и заметить для решения п.3, что
.
Отдельно отметим, что такие множества существуют: например, .
2) через разложение по биному доказывается, что целое. Тогда если бы
содержало нецелые, то и
содержало
бы нецелые. Поэтому все элементы множества
целые. Отсюда аналогично получаем, что все элементы множества
целые.
3) из предыдущих пунктов понимаем, что неравенство равносильно неравенству
Докажем даже более
слабое неравенство:
Для этого заметим, что , поэтому достаточно доказать
А по биному Ньютона получаем
требуемое.
Ошибка.
Попробуйте повторить позже
Найдите какие-нибудь целые числа и
, для которых выполняется неравенство:
Источники:
Подсказка 1
Обратите внимание, что для целых x и y выражение вида (x + y√2)ⁿ для всех n будет принимать тот же вид, то есть (x + y√2)ⁿ = x₁ + y₁√2, где x₁ и y₁ тоже целые числа.
Подсказка 2
Если найти такие целые x и y, что (x + y√2)ⁿ будет больше нуля, но меньше 0.001 при каком-то n, то 1 - (x + y√2)ⁿ будет в нужном нам по условию диапазоне. Какие x и y могут подойти для этого?
Подсказка 3
При x = -1 и y = 1 мы сможем получить число в промежутке от 0 до 0.001, так как √2 – 1 < 1/2. Тогда какой степени n точно будет достаточно, чтобы (√2 - 1)ⁿ было меньше 0,001?
Подсказка 4
√2 – 1 < 1/2, значит, (√2 - 1)¹⁰ < (1/2)¹⁰ < 1/1024 < 1/1000. Остается найти (√2 - 1)¹⁰ и вычесть данное число из единицы!
Первое решение.
Мы знаем, что . Давайте посчитаем приближения
для маленьких
и найдем какое-то число,
которое будет близко к целому. Получим, что
. Теперь давайте посмотрим на
и найдем такое
, чтобы это число было близко к 1. Получим
. Повторим эту операцию еще раз уже для
. Тогда при
мы получаем
. Значит,
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
Заметим, что . Давайте найдем такие положительные
и
, что
и
. Их можно
таким способом. Начнем с
. Для этой пары выполняется первое условие, но не выполняется второе. Заменим (
,
) на (
и
). Тогда
и первое условие остается выполненным, а
увеличивается хотя бы на 1.
Значит, такими операциями мы когда-то дойдем до нужных
.
Значит, при и
мы знаем, что
(так как знак постоянно меняется) и
.
Значит,
Ошибка.
Попробуйте повторить позже
Сравните числа
Значит, нам нужно сравнить и
. Вынесем из первого числа
и применим неравенство
Бернулли:
Ошибка.
Попробуйте повторить позже
Произведение положительных чисел и
больше
Докажите, что для любого натурального
верно неравенство
По биному Ньютона:
При получим
Так как то справедливо следующее неравенство:
Тогда
Таким образом, получаем