Конструктивы в алгебре
Ошибка.
Попробуйте повторить позже
У математика есть 19 различных гирь, массы которых в килограммах равны , и абсолютно точные двухчашечные весы. Он положил несколько гирь на весы так, что установилось равновесие. Какое наибольшее число гирь могло оказаться на весах?
Подсказка 1
Какие свойства есть у логарифмов? Что хочется применить в этой задаче, чтобы сравнивать не суммы логарифмов, а что-то другое?
Подсказка 2
Мы знаем, что сумма логарифмов равна логарифму произведения: ln(a) + ln(b) = ln(ab). То есть можно сравнивать не суммы логарифмов, а произведения их аргументов.
Подсказка 3
Теперь давайте каждое число разложим на множители, чтобы привести оценку и пример.
Подсказка 4
Большие простые числа (а именно те, которые больше 10) не могут быть в произведении.
Сумма логарифмов положительных чисел равна логарифму их произведения, поэтому будем уравнивать произведения двух непересекающихся наборов чисел из множества . Разложим натуральные числа от до на простые множители:
Числа встречаются ровно по одному разу среди делителей, поэтому их следует исключить. Таким образом, на весах будет не более гирь.
Покажем, что можно уравновесить гирь. Приведем один из возможных примеров равенства произведений:
Ошибка.
Попробуйте повторить позже
Можно ли на плоскости из каждой точки с рациональными координатами выпустить луч так, чтобы никакие два луча не имели общей точки и при этом среди прямых, содержащих эти лучи, никакие две не были бы параллельны?
Источники:
Подсказка 1
Не совсем понятно, как работать с огромным количеством начАл лучей…а что если найти особенную точку и отталкиваться от нее? Как Вы думаете, на что будет похож наш рисунок, когда мы проведем все лучи?
Достаточно найти такую точку , что на любой прямой, проходящей через , лежит не более одной рациональной точки. Тогда, проведя из всевозможные лучи во все рациональные точки и удалив у каждого луча начало (от до соответствующей рациональной точки), получим искомый набор непересекающихся непараллельных лучей.
_________________________________________________________________________________________________________________________________________________________________________________
Можно указать точку явно - например, подойдёт точка . Пусть на прямой, проходящей через эту точку, есть две рациональные точки и ( ) (где рациональные). Тогда вектора ( и пропорциональны, откуда
откуда . Возводя в квадрат и перенося заведомо рациональные слагаемые в левую часть, получим, что будет рациональным число , что возможно только при или . Но из равенства (*) видим, что если выполнено хоть одно из равенств , то выполнено и второе, откуда точки и совпадают.
_________________________________________________________________________________________________________________________________________________________________________________
Можно поступить иначе - доказать существование такой точки . Проведём всевозможные прямые через пары рациональных точек. Таких прямых будет счётное количество. Так как всего направлений на плоскости несчётное количество, на ней найдётся прямая , не параллельная ни одной из проведённых прямых. Проведённые прямые высекают на счётное число точек, а всего на точек несчётное количество, поэтому там ещё останутся точки, любая из них подойдёт в качестве .
Ошибка.
Попробуйте повторить позже
Действительные числа и таковы, что
Верно ли, что тогда какие-то два из них равны?
Подсказка 1:
Не совсем понятно, как можно доказывать положительный ответ. Поэтому стоит придумать пример!
Подсказка 2:
В уравнении слишком много переменных. Как насчёт того, чтобы уменьшить их количество?
Подсказка 3:
Вы спрашиваете, как это сделать? Замените y и z на какие-нибудь выражения от х и получите уравнение. Если найдëте х, подходящий по одз и при котором x, y, z различны, то победа.
Попробуем подобрать пример, когда все попарно различны. Для упрощения давайте предположим, что и равны каким-то функциям от Например, . Переменные не должны быть равны, а значит Подставим в равенство:
Это уравнение имеет корень (мы сразу исключили Он не противоречит ОДЗ и не равен Значит, мы нашли пример.
Нет
Ошибка.
Попробуйте повторить позже
Докажите, что существует бесконечно много натуральных таких, что каждое из чисел и представимо в виде суммы квадратов двух целых чисел.
Подсказка 1
Не совсем понятно, как можно доказывать отрицательный ответ. Поэтому стоит придумать пример!
Подсказка 2:
Попробуйте придумать пример, опираясь на квадратные трëхчлены. Например, рассмотрите трехчлен (x+2)²+(x+4)². Какие есть трëхчлены, несильно отличающиеся от него и представимые в виде суммы квадратов?
Например, можно взять Тогда
Ошибка.
Попробуйте повторить позже
Верно ли, что любой многочлен с действительными коэффициентами можно представить в виде суммы кубов трёх многочленов с действительными коэффициентами?
Подсказка 1:
Не совсем ясно, как можно доказывать отрицательный ответ, поэтому стоит попробовать придумать пример для произвольного многочлена.
Подсказка 2:
Но как это сделать для произвольного? Попробуйте сделать для какого-то конкретного, например, для x. А там станет понятно, как обобщить до произвольного.
Заметим, что Если вместо подставить многочлен поделить на и внести константы в кубы, то получим равенство:
Ошибка.
Попробуйте повторить позже
Докажите, что для любого многочлена с целыми коэффициентами и любого натурального существует такое натуральное что делится на
Подсказка
Всë, что вам нужно, это вспомнить известный факт: P(x) ≡ P(x + tk) (mod k). С его помощью нужно придумать пример.
Заметим, что и имеют одинаковые остатки при делении на Следовательно, в сумме для каждого будет слагаемых вида дающих одинаковые остатки при делении на Сумма этих слагаемых делится на сумма всех слагаемых разбивается на таких сумм, а потому тоже делится на
Ошибка.
Попробуйте повторить позже
Назовём рассадку кузнечиков на прямой в различные её точки -удачной, если кузнечики, сделав необходимое число ходов по правилам чехарды, могут добиться того, что сумма попарных расстояний между ними уменьшится хотя бы в раз. При каких существует рассадка, являющаяся -удачной сразу для всех натуральных ? (В чехарде за ход один из кузнечиков прыгает в точку, симметричную ему относительно другого кузнечика.)
Источники:
Подсказка 1
Случай N=2 рассмотрите отдельно, он очевиден. Для всех N>2 попробуйте придумать пример такой рассадки.
Подсказка 2
Просто придумать рандомную рассадку сложно, поэтому хочется чтобы она циклически повторялась с каждым ходом, то есть чтобы все попарные расстояния между кузнечиками уменьшались с каждым ходом в фиксированное число раз, и картинка оставалась "подобной" предыдущей. На что это похоже?
Подсказка 3
На геометрическую прогрессию! Она и поможет нам придумать такую рассадку. Только вот рассадка 1, q, q^2, ... не очень то работает. Как можно подкорректировать координаты кузнечиков?
Подсказка 4
Давайте посадим кузнечиков в точки с координатами 0, 1, 1+q, 1+q+q^2, ... Какой тогда можно сделать первый ход, чтобы картинка стала подобна предыдущей (возможно, со сдвигом и с подбором нужного q)?
Подсказка 5
Нужно чтобы первый кузнечик перепрыгнул через второго и оказался на последнем месте! Отсюда мы получаем условие на q. И остаётся только одно: доказать, что найдётся q, удовлетворяющее этому условию, и притом оно будет из (0; 1).
Первое решение.
Для любого предъявим явно начальную рассадку, которая является -удачной для любого натурального числа
Сначала для данного построим конечную геометрическую прогрессию со знаменателем для которой выполнено условие
Требуемый набор существует при любом целом поскольку уравнение
имеет решение на интервале так как левая часть меняет знак на его концах.
Расположим теперь кузнечиков в следующих начальных точках:
Рассмотрим прыжок первого кузнечика через второго; тогда его новая координата будет равна Получилось, что прыгнувший кузнечик стал самым правым, а все кузнечики теперь расположены в точках
Сдвинув начало координат на 1 вправо, получим координаты кузнечиков
Таким образом, кузнечики уменьшили свои координаты ровно в раз. Если указанный шаг (прыжок самого левого кузнечика через ближайшего соседа) повторять раз, то попарные расстояния уменьшатся в раз, что позволит достичь любого нужного уменьшения
Второе решение.
При как бы кузнечики ни прыгали, расстояние между ними не меняется.
Пусть Рассадим 1-го, 2-го и 3-го кузнечиков на прямой в точках с координатами 0, 1, назовём этих кузнечиков Остальные произвольно рассаживаются в другие попарно различные точки. Покажем, что для всякого кузнечики далее смогут прыгать так, чтобы сумма попарных расстояний уменьшилась хотя бы в раз (исходную сумму обозначим через
Лемма.
Пусть три кузнечика сидят на прямой в попарно различных точках и отношение расстояний от одного из них до двух других иррационально. Тогда сколько бы они ни сделали прыжков друг через друга, они всё равно будут в попарно различных точках, и отношение расстояний от одного из них до двух других будет иррационально.
Доказательство леммы.
Покажем, что эти условия сохраняются при прыжке. Предположим, для некоторого кузнечика отношение расстояний до двух других рационально, тогда эти расстояния имеют вид и где рационально. Тогда расстояние между другими двумя кузнечиками ненулевое и имеет вид тогда отношение любых двух расстояний между кузнечиками рационально, противоречие. Пусть какой-то кузнечик перепрыгнул через кузнечика тогда расстояния от до обоих кузнечиков не изменились, а значит, отношение этих расстояний осталось иррациональным, в частности расстояния различны, и потому кузнечики по-прежнему находятся в попарно различных точках.
Вернёмся к задаче.
Пусть первые несколько ходов будут прыгать только кузнечики и только через друг друга, согласно лемме при таких прыжках они всегда будут оставаться в попарно различных точках. Покажем, что спустя любое количество таких ходов они смогут далее прыгать так, чтобы текущее минимальное из попарных расстояний между ними уменьшилось не менее чем в два раза.
Пусть, не умаляя общности, в текущий момент минимально расстояние между кузнечиками с координатами и а имеет координату . Отметим на прямой все точки с координатами, отличающимися от на число, кратное Понятно, что прыгая друг через друга кузнечики смогут занять любые две соседние отмеченные точки, тогда не находится в отмеченной точке (по лемме прыгая только через друг друга остаются в попарно различных точках), тогда , могут занять две соседние отмеченные точки между которыми лежит и расстояние от до одного из кузнечиков будет не более то есть наименьшее расстояние уменьшилось хотя бы в 2 раза.
Тогда за несколько ходов кузнечики могут уменьшить наименьшее расстояние между ними хотя бы в 2 раза, потом за несколько ходов ещё хотя бы в 2 раза, потом ещё, и т.д, могут за несколько ходов добиться того, чтобы расстояние между какими-то двумя из них было равно некоторому числу , меньшему — пусть они так и сделают. Назовём каких-нибудь двух кузнечиков, между которыми расстояние хорошими, и одного из них назовём далее эти кузнечики уже не прыгают.
Далее, любой кузнечик не из пары хороших может прыгая через пару хороших (в подходящем порядке) смещаться на в любую сторону на прямой, и тогда может за несколько прыжков через них оказаться на расстоянии меньшем от пусть все кузнечики кроме хороших сделают прыжки таким образом. Тогда расстояние от любого кузнечика до будет меньше а значит, все попарные расстояния меньше а значит, их сумма меньше
при
Ошибка.
Попробуйте повторить позже
В ряд слева направо стоят коробок, занумерованных подряд числами . В некоторые коробки, стоящие подряд, положат по шарику, оставив остальные пустыми. Инструкция состоит из последовательно выполняемых команд вида «поменять местами содержимое коробок № и № », где и — числа. Для каждого ли существует инструкция, в которой не больше команд, со свойством: для любой начальной раскладки указанного вида можно будет, вычеркнув из инструкции некоторые команды, получить инструкцию, после выполнения которой все коробки с шариками будут левее коробок без шариков?
Источники:
Подсказка 1
Сразу вот такое наблюдение: у нас всего N коробок, а длина инструкции может быть 100N...Да и еще шарики в коробках лежат не наугад, а подряд, т.е. еще меньше вариаций для расположения шаров в коробках... На какой ответ в задаче это намекает?
Подсказка 2
Как будто всегда можно придумать такую инструкцию) А если мы доказываем что-то, что должно работать для любого натурального числа, то давайте доказывать это по индукции! А именно, будем доказывать, что для любого N существует нужная инструкция длины меньше чем 100N. Как можно это сделать?
Подсказка 3
База понятное дело проверяется, а вот что делать с переходом...Нам в нем, очевидно, нужно пользоваться меньшим числом K, для которого условие верно. Значит, нам нужно свести ситуацию для N к меньшей ситуации. То есть, по факту нужно перенести все шарики в меньший промежуток, где они также стоят подряд. Как это можно сделать и какой промежуток брать для этого?
Подсказка 4
Давайте мы будем переносить все в левую половину (если N = 2k, то в первые k коробок, если N = 2k+1, то в первые k+1 коробок). И самая важная идея: представьте, что в коробках, в которых есть шарики - синие шарики, а в которых нет мы положили красные шарики. То есть, нам нужно синие шары положить левее красных, но при таком условии мы можем сделать наоборот, и с помощью дополнительных инструкций поменять нам на нужную ситуацию)
Подсказка 5
Если сейчас в лоб не получается придумать как перетащить все шарики синие шарики в левую половинку, то вот что поймите: мы же можем перетащить любые шарики влево а оставшиеся будут справа, а после сделать ситуацию наоборот. Поэтому перетаскивайте те шары, которых меньше (и кстати, их будет <не больше k как раз).
Подсказка 6
Раз наших шаров не больше k, то значит в i-ой и k+i-ой коробкой не больше одного нужного шарика....Попробуйте применить это и раскрутить дальше, возможно добавив какие-то инструкции)
Давайте считать, что все шарики синие. В пустые коробки положим по красному шарику. Теперь пустых коробок нет. Покажем даже более сильное утверждение: что для любого есть инструкция не длиннее чем со следующим свойством.
Пусть в коробочках, стоящих в ряд, лежат красные и синие шарики, причём для хотя бы одного из цветов шарики этого цвета лежат подряд (такие конфигурации назовём непрерывными). Тогда можно вычеркнуть часть строк и получить инструкцию, после выполнения которой все синие шарики будут левее всех красных шариков, а также можно получить инструкцию, после которой все красные шарики левее всех синих (нумерация коробок слева направо).
Воспользуемся методом математической индукции. Понятно, что для такая инструкция есть. Это база индукции. Теперь покажем, как из инструкции для сделать инструкцию для и для этого будет достаточно. Обозначим или Инструкция для будет выглядеть так:
I группа: сначала все пары вида в любом порядке
Если нечетно, сюда приходится добавить все пары вида при (назовём эти команды дополнительными).
II группа: инструкция для первых коробочек из индукционного предположения
III группа: все пары различных чисел вида в любом порядке
При длина этой инструкции не превышает
При длина этой инструкции не превышает Теперь почему она работает. Есть тот цвет, которого не больше , назовём его основным. Покажем, что можно выполнить часть инструкций I группы так, чтобы все шарики основного цвета лежали среди первых коробочек, и при этом конфигурация среди первых коробочек будет тоже непрерывной.
Есть четыре варианта того, как могут располагаться шарики основного цвета.
1) Они идут подряд, и все они среди левых коробок — ничего делать не надо;
2) Они идут подряд, и все они среди правых коробок — используем все пары вида ;
3) Они есть и среди левых коробок, и среди остальных правых, при этом они идут подряд. Заметим, что ни в какой паре вида нет двух шариков основного цвета. Все основные шарики тогда перенесем справа налево (тогда шарики не основного цвета будут среди первых шариков лежать подряд.
4) Шарики основного цвета — самые первые и самые последние. Перенеся последние влево (при нечётном используя дополнительные операции), получаем требуемое.
(Про это всё проще думать, если мыслить расположение коробочек не в ряд, а по окружности.)
После этого применим часть инструкций II группы, чтобы среди первых коробочек слева оказались все шарики основного цвета.
После этого окажется, что среди коробочек сначала идут подряд шарики одного цвета, а потом шарики другого. То есть мы пришли либо к искомой ситуации, либо к зеркальной. Перестановками третьей группы, если надо, отразим конфигурацию, и получим что хотели получить.
Ошибка.
Попробуйте повторить позже
Имеются абсолютно точные двухчашечные весы и набор из гирь, веса которых равны Докажите, что можно выбрать 10 из них и разложить по 5 гирь на разные чаши весов так, чтобы установилось равновесие.
Источники:
Подсказка 1
Не совсем ясно, как удобнее подобраться к равновесию. Быть может, найти какие-то мини-группы среди гирек, которые уже удобно делить на равные по весу части? Группы на сколько гирек попробуем найти? Раз уж у нас арктангенсы то было бы неплохо как-то от них избавиться, иначе совсем неясно, как с ними работать... С помощью чего это сделаем?
Подсказка 2
Попробуем искать группы по 3, в которых одна гирька уравновешивает две остальные, а от арктангенса избавимся, взяв тангенс от обеих частей равенства, записанного на тройку из гирек arctg(1/n), arctg(1/m) , arctg(1/k) (первые две уравновешивают третью). Что получится после преобразований и как решать получившееся равенство на n, m и k?
Подсказка 3
С помощью преобразований придём к mn - k(n+m) = 1. Выходит, если мы найдем такие k, n, m в промежутке целых чисел от 1 до 50, то задача решена! Как будем это делать?
Подсказка 4
Попробуйте разложить на множители, а далее перебирать k и для него искать m и n (возможно, перебором)
Подсказка 5
Добавьте к обеим частям равенства k², а далее проделайте действия из подсказки 4
Сначала покажем, что в данном наборе есть тройки гирь, одна из которых уравновешивает две другие. Все веса не превосходят поэтому равенства
равносильны. Воспользовавшись формулой
получаем, что
Тогда Выбирая теперь различные натуральные и раскладывая на множители, находим подходящие тройки, в которых каждое число не превосходит Результат для и представлен в следующей таблице:
Теперь покажем, как разложить гири по чашам:
1-я чаша | 2-я чаша | |
= | ||
= | ||
= |
(в таблице указано значение для гири весом Таким образом нам удалось выбрать 10 гирь и разложить по 5 гирь на разные чаши весов так, чтобы установились равновесие.
Ошибка.
Попробуйте повторить позже
В выпуклом -угольнике вершина покрашена в чёрный цвет, и вершин покрашены в красный цвет. Докажите, что существуют четырехугольника с вершинами в вершинах -угольника такие, что
- Четырехугольники и не имеют общих точек при любых ;
- Каждый выбранный четырехугольник имел вершины одного цвета (чёрного или красного) и одну другого.
Сразу забудем про одну произвольную чёрную вершину -угольника. Заметим, что среди оставшихся вершин найдутся подряд идущие, среди которых красных точек больше, чем чёрных. Будем сдвигать эту четвёрку на один по часовой стрелке пока не придём в четвёрку, в которой ровно вершины красного цвета и одна — чёрного (такое случится, так как мы рано или поздно первый раз встретим чёрную вершину). Возьмём соответствующий четырёхугольник и выкинем его. На оставшихся вершинах повторим операцию. Так будем продолжать, пока не останется красных вершин и чёрных. Затем будем по очереди проводить рассуждения для чёрного цвета, затем снова для красного и так далее. В конце останется красная вершина и две чёрные. Значит, мы нашли не пересекающихся четырёхугольника.
Ошибка.
Попробуйте повторить позже
Ромашки распускаются по утрам. У распустившейся ромашки 12 лепестков. Каждый вечер от неё отлетает один лепесток, пока не отлетят все. Днём 1-го мая на лужайке росло 20 ромашек с лепестками (хотя бы одним), у них на всех было 219 лепестков. Днём 4-го мая лепестков в сумме на всех ромашках стало 198. Сколько новых ромашек за это время распустились?
Заметим, что ко дню мая ромашки, которые распустились с по мая, могут добавить к имеющимся лепесткам либо либо либо лепестков.
Посчитаем максимальное количество лепестков у ромашек: лепестков. Посчитаем максимальное и минимальное количество лепестков, которое может остаться на изначальных ромашках мая.
Чтобы найти минимальное количество лепестков, нужно чтобы у каждой ромашки отлетало по лепестку, что означает, что у изначальных ромашек хотя бы лепестка изначально.Следовательно, каждый день отлетает по лепестков. Тогда минимальное количество лепестков будет равно: Тогда можно оценить, сколько максимум ромашек распустилось: ( потому, что нужно как можно больше новых ромашек). Следовательно, что новых ромашек меньше
Чтобы найти максимальное количество лепестков, нужно найти максимальное количество ромашек, у которых не более лепестков. Т.к. максимальное количество лепестков равно а каждая такая ромашка уменьшает количество лепестков как минимум на то таких ромашек не более т.к. изначальное количество лепестков равно Следовательно, максимальное количество лепестков равно: Тогда можно оценить, сколько минимум ромашек распустилось: ( потому, что нужно как можно меньше новых ромашек). Следовательно, что новых ромашек больше
Тогда единственное число, которое больше и меньше , это
Пример: первая ромашка с лепестком, вторая - с лепестками, остальные - с лепестками.
Ошибка.
Попробуйте повторить позже
В пяти корзинах лежат яблоки двух сортов так, что в каждой корзине есть яблоки только одного сорта. Известно, что в первой корзине находится 20 яблок, во второй — 30 , в третьей — 40 , в четвёртой — 60, в пятой — 90. После того, как содержимое одной из корзин полностью продали, яблок первого сорта стало в два раза больше, чем яблок второго сорта. Сколько яблок могло быть в проданной корзине? Если ответов несколько, укажите их все через пробел в порядке возрастания.
Источники:
Подсказка 1
Если яблок одного сорта в два раза больше, чем другого, то оставшаяся сумма яблок x + 2x = 3x делится на 3. Осталось только понять, сколько яблок какого сорта должно быть по итогу и возможно ли это.
Подсказка 2
Изначально было 240 яблок, что тоже делится на 3. Поэтому в проданной корзине не могло быть яблок, чьё количество не делится на 3, так как разность двух чисел, делящихся на 3, тоже делится на 3!
Подсказка 3
Остались варианты: 30, 60, 90. Однако обязательно надо проверить, что оставшееся количество яблок первого или второго сорта мы сможем набрать, используя оставшиеся корзины, так как в каждой должны лежать яблоки только одного сорта
Подсказка 4
Именно по этой причине в проданной корзине 30 яблок быть не может, так как второго сорта останется (240-30)/3 = 70 штук, и мы не сможем их разложить в коризны на 20, 40, 60, 90. Осталось проверить варианты на 60 и 90 яблок и, если все хорошо, привести примеры
Конечно, можно для каждой корзины попробовать её убрать и посмотреть, можно ли оставшиеся разбить на две группы, подходящих под условие. Но можно сократить перебор:
Если яблок первого сорта стало в два раза больше яблок второго сорта, то общее количество оставшихся яблок должно делиться на . Первоначальное количество яблок равно штук. Так как делится на , то количество убранных яблок тоже должно делиться на . Поэтому варианты на и яблок не подходят. Если убрали яблок, то яблок второго сорта должно быть штук. Но штук нельзя набрать используя корзины на и яблок.
Осталось проверить, что ответы и достигаются. Для этого надо предъявить примеры, как могли быть распределены яблоки по группам (сортам), чтобы количество яблок в одной группе было в два раза больше, чем в другой. Действительно:
Ошибка.
Попробуйте повторить позже
Можно ли множество из чисел
разбить на две части так, чтобы сумма чисел, попавших в одну из этих частей, отличалась от суммы чисел в другой не более, чем на (по абсолютному значению)?
Источники:
Подсказка 1
Во-первых, давайте сначала хоть как-то разобьем на две группы, а потом будем как-то менять элементы в группах, уменьшая модуль разности. Разобьем на группы так, что в первой группе в аргументе логарифма были только нечетные числа, а в другой только четные. В какой группе больше сумма? Модуль разности больше 1? Как модуль разность можно уменьшить, если мы дошли до идеи менять местами какие-то числа в разных группах?
Подсказка 2
Ну конечно, где нечетные, там сумма больше, при том, больше 1, так как у нас разность log_2(2k + 1) - log_2(2k) > 0, для всех k от 3 до 1010, а еще плюсом прибавляется log_2(5) > 1. Значит, на текущий момент модуль разности больше 1. Тогда давайте попробуем из поменять местами числа log_2(2021) и log_2(2020). Тогда у нас разность уменьшится, при том на сколько меньшее 1. Ну мы чуть-чуть улучшили ситуацию. А что нам мешает делать дальше также?
Подсказка 3
Верно, ничего. Главное понимать, что при каждой такой замене у нас будет уменьшаться разность и ни в какой момент, она не может перепрыгнуть с чего-то, что больше 1, на что-то что меньше -1, из-за того, что уменьшаем не более чем на 1. Тогда у нас рано или поздно модуль станет меньше 1, так как в начальный момент разность больше 1, а в конечный меньше -1(когда мы полностью поменяли группы). Значит, победа!
На первом шаге в группе разместим логарифмы нечетных чисел, а в группе — четных:
Обозначим через суммы чисел в группах и соответственно. Покажем, что Действительно,
Перенесем число из группы в группу а число наоборот — из в Поскольку разность уменьшилась на величину
Если для вновь образованных множеств и разность меняем местами числа и По-прежнему, разность уменьшается на величину
Если разность по процесс перекладывания чисел из одного множества в другое может быть продолжен. Если на каком-то шаге поменяет знак, то и искомое разбиение достигнуто. Это обязательно произойдет за конечное число шагов, поскольку замена множеств и местами приводит к смене знака величины
Ошибка.
Попробуйте повторить позже
На прямой отмечено различных отрезков; одна из точек прямой принадлежит всем этим отрезкам. Докажите, что среди отмеченных отрезков можно выбрать различные отрезки и пересекающиеся по отрезку длины, не меньшей где — длина отрезка
Первое решение. Введём координаты на нашей прямой. Пусть данные отрезки — это нумерацию отрезков выберем так, что Если при некотором то отрезок содержит и потому отрезки и — искомые. Поэтому в дальнейшем мы считаем, что
Рассмотрим отрезков (некоторые из них могут иметь нулевую длину). Рассмотрим кратчайший из них — пусть для определённости это а его длина равна Тогда
и, аналогично,
Поскольку и имеют общую точку, имеем откуда
Итак, длина отрезка не меньше, чем Иначе говоря, часть этого отрезка, лежащая вне имеет длину, не превосходящую Поэтому отрезки и -искомые.
Второе решение. Пусть данные отрезки — это , Как и в предыдущем решении, мы сводим задачу к случаю, когда точки пронумерованы слева направо, и так же пронумерованы точки
При всех отметим на отрезке точку так, что
Таким образом, точка находится не левее точки Значит, найдётся индекс при котором точка находится не левее точки Выберем такой индекс и положим Заметим, что точки лежат на прямой именно в таком порядке слева направо. Тогда
Это и значит, что длина общей части отрезков и не меньше, чем где — длина одного из них.
Замечание. Нетрудно привести пример попарно пересекающихся отрезков одинаковой длины любые два из которых пересекаются по отрезку длины, не превосходящей
Ошибка.
Попробуйте повторить позже
Существует ли описанный 2021-угольник, все вершины и центр вписанной окружности которого имеют целочисленные координаты?
Подсказка 1
Есть два возможных ответа - да или нет. Если нет, то нужно доказывать, что абсолютно для любого числа в последовательность {A^i} найдется не подходящее число, что ну кажется очень непростой задачей. Тогда будем доказывать, что ответ «да».
Подсказка 2
Если мы хотим, чтобы верхняя целая часть A^n отличалось от ближайшего натурального квадрата на 2, то хотелось бы понять, чему равна эта верхняя целая часть. Вернее, что нам было бы удобнее взять за верхнюю целую часть, чтобы она отличалась от какого-то квадрата на 2? А если вспомнить как возводится число вида t + 1/t в квадрат?
Подсказка 3
Хотелось бы сделать так, чтобы число вида A^n + 1/A^n было бы целым и A было некоторым квадратом, чтобы как раз получить t^2n + 1/t^2n = (t^n + 1/t^n)^2 - 2. Осталось только понять, чему должно быть равно t, чтобы каждое выражение вида A^n + 1/A^n, при A = t^2, было бы целым.
Подсказка 4
Здесь вас на поиск подходящего t может натолкнуть либо мысль о процессе построения бесконечных цепных дробей, либо же тот факт, что число вида (a + b * sqrt(c))^k, где a, b, k - целые, это выражение вида t + l * sqrt(c). Заметьте, это верно и для отрицательных k.
Подсказка 5
Да, можно просто сказать, что t — корень некоторого уравнения с целыми коэффициентами и отрицательным коэффициентом при x, ведь тогда t + 1/t = c, где с - целая положительная константа.
Подсказка 6
Тогда, по модулю факта про возведение таких иррациональностей в степень, можно сказать, что задача решена, поскольку мы нашли такое t, что любое выражение вида t^k + 1/t^k - целое, а значит, нашли подходящее А.
Будем называть точку с рациональными координатами рациональной. Рассмотрим окружность . Докажем, что на ней существует сколь угодно много рациональных точек.
Рассмотрим прямую вида с рациональным . Она проходит через точку окружности, и вторая точка пересечения с окружностью тоже будет рациональной (поскольку квадратное уравнение с рациональными коэффициентами имеет рациональный корень 0 , второй корень также рационален).
Выбирая разные рациональные , отметим на окружности 2021 рациональную точку, включая точки . Через каждую из этих 2021 точек проведём касательную к окружности и отметим точки пересечения соседних касательных, получим описанный 2021-угольник (строго это можно обосновать, например, так: сначала получим описанный квадрат, проведя касательные в четырёх указанных точках, а затем по очереди проведём остальные касательные: каждая будет отсекать от уже имеющегося многоугольника треугольник, примыкающий к вершине).
Заметим, что уравнения касательных имеют рациональные координаты (поскольку касательные перпендикулярны прямым, соединяющим начало координат с рациональными точками касания). Точка пересечения прямых с рациональными координатами рациональна (как единственное решение системы линейных уравнений с рациональными коэффициентами). Значит, вершины нашего 2021-угольника рациональны. Приведём координаты вершин к общему знаменателю и рассмотрим гомотетию с центром в начале координат и коэффициентом . Она переведёт наш 2021-угольник в удовлетворяющий условию задачи.
Ошибка.
Попробуйте повторить позже
Существует ли такое натуральное что для любых вещественных чисел и найдутся вещественные числа удовлетворяющие равенствам
Источники:
Подсказка 1:
Не совсем понятно, как можно доказывать отрицательный ответ. Поэтому стоит придумать пример!
Подсказка 2:
Вот вам одна из идей, как построить пример. Придумайте при некотором n такое разложение для пары (x, 0). Тогда разложение для (x, y) вы сможете получить из 2n слагаемых как сумму разложений (x, 0) и (0, y).
Докажем, что подходит Предварительно заметим, что любую пару с ненулевым можно получить так:
Аналогично можно получить любую пару с ненулевым Тогда любую пару с отличными от нуля и можно получить как «сумму» двух рассмотренных выше пар. Пару можно получить как сумму двух пар аналогично можно получить пару а пару — как
Существует
Ошибка.
Попробуйте повторить позже
Территория Тридесятого царства состоит из всех целых чисел. Княжеством будем называть множество вида , где и некие целые числа (то есть бесконечную в обе стороны арифметическую прогрессию). Царь хочет разделить всю территорию царства, кроме чисел 3 и 10 , на бесконечное количество непересекающихся княжеств. Возможно ли это?
Источники:
Подсказка 1
Разбить все числа на княжества означает придумать правило, по которому мы их будем добавлять в княжества. Давайте для начала подумаем, чем схожи и чем отличаются числа 3 и 10.
Подсказка 2
Чётное и нечётное, делится на 3 и даёт остаток 1... Давайте попытаемся отдельно разбить чётные и нечётные числа. Одно из ключевых свойств — делимость. Попробуйте разбить все чётные числа кроме 0 (в том числе 10) на непересекающиеся княжества.
Подсказка 3
Для этого можно воспользоваться делимостью — брать число в княжество в том случае, если оно делится на какое-то число, а на другое не делится. Тогда 0 никуда не попадёт!
Подсказка 4
Тут можно поиграться со степенями двойки — брать число в княжество, если оно делится на 2ⁿ, но не делится на 2ⁿ⁺¹. Чему в таком случае будут равны a и b? И останется только придумать, как исключить 3 и 10 при помощи того, что 0 не в княжествах.
Подсказка 5
Выходит, что a = 2ⁿ⁺¹, b = 2ⁿ. А чтобы исключить 3 и 10, нужно сделать "сдвиг" княжеств. Брать число в них не в случае делимости, а в случае каких-то остатков от деления.
Будем отдельно разбивать чётные числа и нечётные, тогда надо дважды разбить прогрессию без одной точки. Покажем, как это сделать для нечётных: поместим нечётное число в княжество , если кратно , но не кратно . Для чётных аналогично.
Ошибка.
Попробуйте повторить позже
Дан клетчатый прямоугольник , разбитый произвольным образом на доминошки .
Если две доминошки образуют квадрат , разрешается повернуть их обе на (сделать флип). Наша цель — последовательностью флипов сделать все доминошки горизонтальными (кирпичная кладка) за как можно меньшее количество операций.
Раскрасим наш прямоугольник в шахматную раскраску, считая левый нижний угол черным. Направим по сторонам квадратиков стрелочки так, чтобы черные квадратики обходились бы против часовой стрелки, а белые — по часовой стрелке.
Пусть нам дано некоторое замощение прямоугольника доминошками, которое мы обозначим через T. Сопоставим замощению его функцию высоты — это будет функция на вершинах клеток нашего прямоугольника, которую мы будем обозначать .
Определим её следующим образом. Выберем левую нижнюю вершину прямоугольника и положим ее высоту равной нулю; далее, каждую вершину соединим с путем, который проходит по линиям сетки и не пересекает доминошек. Этот путь состоит из стрелок, каждая из которых проходится либо в попутном направлении (т. е. сонаправлена с путем), либо в противоположном. Положим высоту равной разности числа попутных и противоположно направленных стрелок.
Назовем кирпичной кладкой разбиение , в котором все доминошки горизонтальны. Назовем приведенной высотой разбиения величину
Назовём рангом замощения число . Докажите, что любое замощение можно превратить в кирпичную кладку за флипов, причём за меньшее количество флипов это сделать невозможно.
Источники:
Утверждение. Функция высоты задаёт разбиение единственным образом.
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство. Покажем, что для любых соседних вершин и ребро между которыми направлено от к либо либо . Действительно, первый случай реализуется, когда стрелка от от к — это стрелка на границе доминошки, а второй случай сотвествует тому, что это стрелка, которая разделяет доминошку на две половинки.
Рассмотрим те рёбра, разность функций высоты на концах которых равна . Эти рёбра будут образовывать границы доминошек нашего разбиения; напротив, те ребра, разность функций высоты на концах которых равна , будут «закрыты» доминошками. Далее рассмотрим какую-нибудь клетку. Все стрелки на её границе направлены в одном направлении: либо по часовой стрелке, либо против. Поскольку сумма приращений функции высоты при обходе этой клетки равна нулю, это значит, что существует ровно три ребра из четырех, для которых разность значений функции высоты на их концах равна единице, и одно ребро, для которого эта разность равна минус трём; оно и будет закрыто доминошкой. То же самое можно будет сказать и про клетку, смежную с данной по этому ребру. Тем самым все клетки окажутся разбитыми на пары, то есть в итоге из функции высоты действительно однозначно получится замощение нашего прямоугольника.
_________________________________________________________________________________________________________________________________________________________________________________
Будем вести индукцию по величине .
Если , доказывать нечего, т.к. тогда , и, согласно утверждению выше, . В противном случае рассмотрим в замощении функцию , пусть — вершина, в которой эта функция достигает глобального максимума (если таких вершин несколько, выберем любую из них). Заметим, что в этой вершине можно сделать флип. Действительно, рассмотрим квадрат , центром которого является вершина . Тогда или горизонтальные, или вертикальные ребра, выходящее из , должны быть закрыты доминошками разбиения (если из вершины выходит и горизонтальное, и вертикальное ребра, то, сдвинувшись по одному из них, можно увеличить значение , что невозможно, т.к. — точка максимума). Значит, квадрат действительно разбит на две доминошки, и флип возможен.
Сделаем флип с центром в этой точке. Данный флип уменьшит приведеную высоту вершины на а высоты остальных вершин оставит без изменений. Так мы получим новое замощение , для которого . Применяя предположение индукции, получаем требуемое.
Ошибка.
Попробуйте повторить позже
Заданы квадраты со сторонами , для Можно ли все квадраты, начиная со второго, уложить в первый квадрат без наложений?
Подсказка 1
Попробуем их уложить, а в случае чего покажем, что это не удастся. Не совсем понятно, как аккуратно укладывать, если работать с квадратами по одиночке... Быть может, можно работать с ними группами?
Подсказка 2
Нам хотелось бы попробовать разбить квадраты на такие группы, чтобы для каждой группы заприметить "свой" прямоугольник, который они будут занимать в большом квадрате. Причём прямоугольники должны быть такой длины, чтобы при бесконечном суммировании получалось не больше, чем 2020.
Подсказка 3
Обратите внимание на то, что сумма обратных степеней двоек как раз равна 1!
Подсказка 4
Можно ли разбить наши квадраты на группы так, чтобы одна группа помещалась в прямоугольник с длиной 2020/2ⁿ?
Разделим квадраты на группы так, чтобы количество квадратов в группе было ровно 2 в степени номера группы:
Сумма длин сторон квадратов в -ой группе равна
Квадраты -ой группы помещаются рядом в прямоугольник с высотой и шириной 2020. Помещая эти прямоугольники, содержащие группы квадратов, один на другой, получим прямоугольник шириной 2020 и высотой, равной сумме высот прямоугольников:
то есть в первый квадрат поместились без наложения все квадраты, начиная со второго.
Да
Ошибка.
Попробуйте повторить позже
Устройство принимает на вход и выдает на выход наборы из битов (причем ). Поданный на вход набор преобразуется в выходной набор
где — стандартная операция сложения битов: .
Подав теперь этот набор на вход, получим на выходе набор , который вновь подадим на вход и получим и т.д.
Докажите, что если все наборы
оказались различными, то .
Источники:
Заметим, что для всех вектор содержит четное число единиц, так как
Значит, в рассматриваемой последовательности
все векторы, начиная со второго, имеют четное количество единиц. Количество всех векторов, имеющих четное количество единиц, равно . Поэтому претендентом на самое большое количество различных векторов является последовательность (*), начинающаяся с вектора, содержащего нечетное количество единиц и продолжающаяся всеми векторами с четным количеством единиц. Количество векторов в такой последовательности будет Таким образом,
Для получения оценки рассмотрим отдельно случай когда среди векторов последовательности (*) нет нулевого вектора и когда он есть.
Если в последовательности (*) нет вектора , то она содержит не более векторов и
Пусть теперь последовательность (*) содержит вектор ( ). Рассмотрим два случая.
1) Если — нечетное число, то
и других векторов, переходящих в нулевой нет. При этом не существует векторов таких, что
Таким образом в этом случае последовательность (*) содержит максимум два вектора и
2) Если — четное число, то
и найдутся два вектора
содержащие четное число единиц такие, что
Последовательность (*) не может содержать одновременно векторы и , поэтому в этом случае она содержит не более векторов, так что